BetaRare
AliveToolkit/alive2
Automatic verification of LLVM optimizations
- Owner
- AliveToolkit (organization)
- Stars
- Stars: 1,198
- Forks
- Forks: 161
- Language
- C++
- License
- MIT
- Created
- 2018
- Topics
- llvmverificationtranslation-validationautomatic-verificationsmtllvm-irsymbolic-executionmodel-checking
- Tier
- Beta (700 to 1,999 ★) What this tier means
Nearby in C++
All C++ repos- RamadhanAmizudin/malwareStars: 1,198C++Beta
- aitorzip/DeepGTAVStars: 1,198C++Beta
- DeepRec-AI/DeepRecStars: 1,198C++Beta
- google/double-conversionStars: 1,197C++Beta