Pinned Repositories
brunch
Data processing and execution
btor2mlir
BTOR2 MLIR project
glucose-3-drup
Glucose 3.0 with online DRUP proofs and proof traversal (for interpolation)
ICE-C5
Comparison between open source C5.0 code and ICE-C5.0 code
innard-benchmarks
Benchmarks for IC3 with Inner Signals paper
minisat
A minimalistic and high-performance SAT solver
smtlib-mode
An Emacs major mode to edit and run SMTLIB v2 files
spacer-on-jupyter
verifyTrusty
All things related to verification of trusty TEE OS
z3
The Z3 Theorem Prover
agurfinkel's Repositories
agurfinkel/minisat
A minimalistic and high-performance SAT solver
agurfinkel/spacer-on-jupyter
agurfinkel/btor2mlir
BTOR2 MLIR project
agurfinkel/verifyTrusty
All things related to verification of trusty TEE OS
agurfinkel/brunch
Data processing and execution
agurfinkel/innard-benchmarks
Benchmarks for IC3 with Inner Signals paper
agurfinkel/z3
The Z3 Theorem Prover
agurfinkel/glucose-3-drup
Glucose 3.0 with online DRUP proofs and proof traversal (for interpolation)
agurfinkel/abc
ABC: System for Sequential Logic Synthesis and Formal Verification
agurfinkel/aws-c-common
Core c99 package for AWS SDK for C. Includes cross-platform primitives, configuration, data structures, and error handling.
agurfinkel/bmc-gsa19
Example of using jupyter for results
agurfinkel/btor2llvm
A tool to convert btor2 files to LLVM.
agurfinkel/c-rust
Repo for hosting examples of interoperability of rust and C using LLVM 14.
agurfinkel/ddSMT
A delta debugger for SMT benchmarks in SMT-LIB v2.
agurfinkel/deepSpacer
agurfinkel/ece653-a2
Repo for ECE653 A2
agurfinkel/fopExamples
Examples of reasoning globally vs locally in IVy
agurfinkel/Ghidrall
Adaption of the r2ghidra-dec product to lift binaries to LLVM IR
agurfinkel/JAR2019synthesis
Repository for journal paper on synthesis algorithms
agurfinkel/ldv-bench
agurfinkel/libc-stubs
libc stub functions for use with sea-dsa
agurfinkel/mainframer
Tool for remote builds. Sync project to remote machine, execute command, sync back.
agurfinkel/pcminer
PC-miner tool for program chairs
agurfinkel/pharos-to-llvm
A script that converts a serialized representation of the Pharos IR to LLVM IR
agurfinkel/seahorn
SeaHorn Verification Framework
agurfinkel/seaurchin
Seahorn for Rust
agurfinkel/spacer-diverging-examples
Diverging examples for spacer
agurfinkel/spacer-star-exec
Configurations for creating packages for Spacer solver to run on StarExec cluster
agurfinkel/SVF
Pointer Analysis and Program Dependence Analysis for C and C++ Programs
agurfinkel/tea-dsa-extras
TeaDsa benchmarks and scripts