search

AliveToolkit / alive2

Automatic verification of LLVM optimizations
MIT License
766 stars 97 forks source link

repeat the LLVM version #1041

Closed regehr closed 4 months ago

regehr commented 4 months ago

I know it says at the top that a recent version of LLVM is required, but I don't think it hurts to repeat this lower down in the README