SSealbook

AliveToolkit/alive2

Automatic verification of LLVM optimizations

automatic-verificationllvmllvm-irmodel-checkingsmtsymbolic-executiontranslation-validationverification

License & maintenance

MIT is a permissive license: free to use commercially with attribution.

Last code push 6 days ago.