Pinned Repositories
boogie
Boogie
boolector
A Satisfiability Modulo Theories (SMT) solver for the theories of fixed-size bit-vectors, arrays and uninterpreted functions.
buck
A fast build system that encourages the creation of small, reusable modules over a variety of platforms and languages.
cddlib
An efficient implementation of the Double Description Method
codechecker
CodeChecker is an analyzer tooling, defect database and viewer extension for the Clang Static Analyzer and Clang Tidy
ELINA
ELINA: ETH LIbrary for Numerical Analysis
lijiaying.github.io
Ziyuan
lijiaying's Repositories
lijiaying/Ziyuan
lijiaying/boogie
Boogie
lijiaying/icse20
Main repo for ICSE'20 artifacts track
lijiaying/kint
git://g.csail.mit.edu/kint
lijiaying/klee-cl
A fork of KLEE-CL for my PhD work
lijiaying/libsvm
lijiaying/mySecurify
Security Scanner for Ethereum Smart Contracts
lijiaying/reluplex
lijiaying/thesis-template
lijiaying/xsat
A Fast Floating-Point Satisfiability Solver