DOrder. DOrder -- Automatically Learning Shape Specifications
Poling. Poling -- SMT Aided Linearizability Proofs
VRL_CodeReview. Python
SynthHorn. LinearArbitrary-SeaHorn is a CHC solver for LLVM-based languages.
