This is the public repository for the CDSSpec specification compiler.

Irvine Research Compiler

C++11 memory model checker benchmarks

C++11 memory model checker

Data structure repair

SATCheck ModelChecker

SAT Solver Library