Pre-compiled binaries for Intel x86_64 and source code is available above. Please note that the binaries have been compiled in Ubuntu 16.06 and depend on Clang 6.0 and LLVM 6.0.
CAV'18 Experiments
This release was used to perform a number of experiments in our CAV'18 paper. A package containing benchmarks, binaries, scripts, and instructions to replicate the results of the paper is available here: