stepwise-alan

Pinned Repositories

AppXLauncher
Language:C++00
boolector
A Satisfiability Modulo Theories (SMT) solver for the theories of fixed-size bit-vectors, arrays and uninterpreted functions.
Language:SMT0 0 00
btor2chc
A tool to convert btor2 to CHC smt-lib.
Language:Python20
btor2llvm
A tool to convert btor2 files to LLVM.
Language:Python2 1 01
chc-tools
Tools for manipulating CHC and related files
Language:Python00
clam
Static Analyzer for LLVM bitcode based on Abstract Interpretation
Language:C00
clever-v
Language:Scala00
clover-print-demo
This project demonstrates how to create and print custom receipts using Clover's SDK.
Language:Java00
csc2226-final-project
A variability-aware model checker using SeaHorn as the backend engine.
Language:Python00
exp-hwmcc
Language:Jupyter Notebook00

stepwise-alan's Repositories

stepwise-alan/btor2chc
A tool to convert btor2 to CHC smt-lib.
Language:Python20
stepwise-alan/btor2llvm
A tool to convert btor2 files to LLVM.
Language:Python2 1 01
stepwise-alan/AppXLauncher
Language:C++00
stepwise-alan/boolector
A Satisfiability Modulo Theories (SMT) solver for the theories of fixed-size bit-vectors, arrays and uninterpreted functions.
Language:SMT0 0 00
stepwise-alan/chc-tools
Tools for manipulating CHC and related files
Language:Python00
stepwise-alan/clam
Static Analyzer for LLVM bitcode based on Abstract Interpretation
Language:C00
stepwise-alan/clever-v
Language:Scala00
stepwise-alan/clover-print-demo
This project demonstrates how to create and print custom receipts using Clover's SDK.
Language:Java00
stepwise-alan/csc2226-final-project
A variability-aware model checker using SeaHorn as the backend engine.
Language:Python00
stepwise-alan/exp-hwmcc
Language:Jupyter Notebook00
stepwise-alan/spl-tools
Language:Scala1
stepwise-alan/stepwise-alan
Config files for my GitHub profile.
stepwise-alan/stepwise-alan.github.io
Language:HTML1 0
stepwise-alan/TypeChef
Type checking ifdef variability
Language:C
stepwise-alan/TypeChef-BusyboxAnalysis
Language:C0 0