Alive2

Automatic verification of LLVM optimizations

Project website

The package has no detailed description

unstable

channel

21.0

version

Yes

supported

No

broken

Free

license

80

platforms