Arie Gurfinkel's repositories
verifyTrusty
All things related to verification of trusty TEE OS
innard-benchmarks
Benchmarks for IC3 with Inner Signals paper
glucose-3-drup
Glucose 3.0 with online DRUP proofs and proof traversal (for interpolation)
aws-c-common
Core c99 package for AWS SDK for C. Includes cross-platform primitives, configuration, data structures, and error handling.
c-rust
Repo for hosting examples of interoperability of rust and C using LLVM 14.
fopExamples
Examples of reasoning globally vs locally in IVy
JAR2019synthesis
Repository for journal paper on synthesis algorithms
libc-stubs
libc stub functions for use with sea-dsa
mainframer
Tool for remote builds. Sync project to remote machine, execute command, sync back.
pcminer
PC-miner tool for program chairs
pharos-to-llvm
A script that converts a serialized representation of the Pharos IR to LLVM IR
spacer-diverging-examples
Diverging examples for spacer
spacer-star-exec
Configurations for creating packages for Spacer solver to run on StarExec cluster
tea-dsa-extras
TeaDsa benchmarks and scripts