Projects in Awesome Lists by AliveToolkit

A curated list of projects in awesome lists by AliveToolkit .

• Sort

  • Recently synced
  • Stars

https://github.com/AliveToolkit/alive2

Automatic verification of LLVM optimizations

automatic-verification llvm llvm-ir model-checking smt symbolic-execution translation-validation verification

Last synced: 26 Apr 2025

https://github.com/alivetoolkit/alive2

Automatic verification of LLVM optimizations

automatic-verification llvm llvm-ir model-checking smt symbolic-execution translation-validation verification

Last synced: 14 May 2025