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/lijiaying.github.io
lijiaying/boolector
A Satisfiability Modulo Theories (SMT) solver for the theories of fixed-size bit-vectors, arrays and uninterpreted functions.
lijiaying/buck
A fast build system that encourages the creation of small, reusable modules over a variety of platforms and languages.
lijiaying/cddlib
An efficient implementation of the Double Description Method
lijiaying/codechecker
CodeChecker is an analyzer tooling, defect database and viewer extension for the Clang Static Analyzer and Clang Tidy
lijiaying/ELINA
ELINA: ETH LIbrary for Numerical Analysis
lijiaying/eran
ETH Robustness Analyzer for Deep Neural Networks
lijiaying/fastsmt
Learning to Solve SMT Formulas Fast
lijiaying/fuzz
lijiaying/FuzzingPaper
Recent Fuzzing Paper
lijiaying/gosat
SMT solver for the theory of floating-point arithmetic
lijiaying/Interval-Attack
Interval attacks (adversarial ML)
lijiaying/lijiaying
lijiaying/lijiaying_new.github.io
Github Pages template for academic personal websites, forked from mmistakes/minimal-mistakes
lijiaying/Marabou
lijiaying/minisat
A minimalistic and high-performance SAT solver
lijiaying/mnist_challenge
A challenge to explore adversarial robustness of neural networks on MNIST.
lijiaying/moonshine
lijiaying/ReluVal
The released code of ReluVal in USENIX Security 2018
lijiaying/seahorn
SeaHorn Verification Framework
lijiaying/smack
SMACK Software Verifier and Verification Toolchain
lijiaying/storm
A blackbox mutational fuzzer for detecting critical bugs in SMT solvers
lijiaying/stp
Simple Theorem Prover, an efficient SMT solver for bitvectors
lijiaying/SynthHorn
LinearArbitrary-SeaHorn is a CHC solver for LLVM-based languages.
lijiaying/taichi
Productive & portable programming language for high-performance, sparse & differentiable computing
lijiaying/tempout
lijiaying/testgit
lijiaying/vim
The official Vim repository
lijiaying/yinyang
SMT Solver Testing Framework
lijiaying/z3test
Test and benchmark repository for Z3.