alive2

21.0

Automatic verification of LLVM optimizations

Install

brew install alive2

Architecture	Platforms	Version	Download
Apple Silicon	Golden Gate	21.0	File SHA-256 `d274056fef92cb8d35ba41e4ddb15e0e00b6b8d768e19dfc7d288bde53737e5a`
Apple Silicon	Tahoe	21.0	File SHA-256 `931b34cb850a65f95e06ab2a89353246be54bdcaf6b2b4715a238f051b40206a`
Apple Silicon	Sequoia	21.0	File SHA-256 `71925aa424b17ebae12b1814ff3e62ead260a10f7427f1d21d31eebf0f69dc89`
Apple Silicon	Sonoma	21.0	File SHA-256 `4cb092264a0d24937d3cb5c27c9e83c0ba43b121a4ec903918de096e520b8c53`
Intel	Sonoma	21.0	File SHA-256 `d4c1fc8506bd3e1784eb36e441e4dd38c1bca22bbd60b8abad15c30b403136b3`
ARM64	Linux	21.0	File SHA-256 `94a0b799c7260777405c892fcebfd7942462a3f1b33a6456d9497477c879895a`
x86_64	Linux	21.0	File SHA-256 `499312176a17d4874b3bab005293337c587029c9dbe8cb77d75ed3da1d25d8dd`