Pinned Repositories
AppXLauncher
boolector
A Satisfiability Modulo Theories (SMT) solver for the theories of fixed-size bit-vectors, arrays and uninterpreted functions.
btor2chc
A tool to convert btor2 to CHC smt-lib.
btor2llvm
A tool to convert btor2 files to LLVM.
clever-v
Variability Aware Functional Equivalence Checker
spl-tools
TypeChef
Type checking ifdef variability
TypeChef-BusyboxAnalysis
TypeChef-LinuxAnalysis
TypeChef-Ubuntu-Headers
stepwise-alan's Repositories
stepwise-alan/btor2llvm
A tool to convert btor2 files to LLVM.
stepwise-alan/btor2chc
A tool to convert btor2 to CHC smt-lib.
stepwise-alan/TypeChef
Type checking ifdef variability
stepwise-alan/AppXLauncher
stepwise-alan/boolector
A Satisfiability Modulo Theories (SMT) solver for the theories of fixed-size bit-vectors, arrays and uninterpreted functions.
stepwise-alan/chc-tools
Tools for manipulating CHC and related files
stepwise-alan/clam
Static Analyzer for LLVM bitcode based on Abstract Interpretation
stepwise-alan/clever-v
Variability Aware Functional Equivalence Checker
stepwise-alan/clover-print-demo
This project demonstrates how to create and print custom receipts using Clover's SDK.
stepwise-alan/csc2226-final-project
A variability-aware model checker using SeaHorn as the backend engine.
stepwise-alan/exp-hwmcc
stepwise-alan/spl-tools
stepwise-alan/TypeChef-BusyboxAnalysis
stepwise-alan/TypeChef-LinuxAnalysis
stepwise-alan/TypeChef-Ubuntu-Headers
stepwise-alan/ProTem
stepwise-alan/QRCoder
A pure C# Open Source QR Code implementation
stepwise-alan/seahorn
SeaHorn Verification Framework
stepwise-alan/stepwise-alan
Config files for my GitHub profile.
stepwise-alan/stepwise-alan.github.io
stepwise-alan/wpfui
WPF UI provides the Fluent experience in your known and loved WPF framework. Intuitive design, themes, navigation and new immersive controls. All natively and effortlessly.