Canada

Arie Gurfinkel

Elite
@agurfinkel
arieg.bitbucket.io

btor2mlir. BTOR2 MLIR project

26

minisat. A minimalistic and high-performance SAT solver

26

spacer-on-jupyter. Jupyter Notebook

21

verifyTrusty. All things related to verification of trusty TEE OS

7

innard-benchmarks. Benchmarks for IC3 with Inner Signals paper

6

brunch. Data processing and execution

3

ICE-C5. Comparison between open source C5.0 code and ICE-C5.0 code

2

glucose-3-drup. Glucose 3.0 with online DRUP proofs and proof traversal (for interpolation)

1
8
Apply