AliveToolkit / alive2

Automatic verification of LLVM optimizations
872Updated 3 weeks ago

Alternatives and similar repositories for alive2:

Users that are interested in alive2 are comparing it to the libraries listed below