AliveToolkit / alive2
git clone https://github.com/AliveToolkit/alive2.git
Automatic verification of LLVM optimizations
—
stars, 24h
—
stars, 7 days
—
stars, 30 days
1.2k
★ total
161
forks · 77 open issues
Star history starts 2026-10-20; the chart appears after the second daily snapshot.
LanguageC++
LicenseMIT
Created2018-06-09 (8y ago)
Last push1d ago
OwnerOrganization
GitHub topics
automatic-verificationllvmllvm-irmodel-checkingsmtsymbolic-executiontranslation-validationverification