search

AliveToolkit / alive2

Automatic verification of LLVM optimizations
MIT License
719 stars 93 forks source link

use InitLLVM interface #1060

Closed regehr closed 1 week ago