Alive2

Automatic verification of LLVM optimizations

Project website

Installation methods

Open it in a graphical application? In development

channel:

unstable

version:

21.0

supported:

Yes

broken:

No

license:

Free

platforms:

78