search

AliveToolkit / alive2

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

LLVM version #1040

Closed Ryuanxue closed 1 month ago

Ryuanxue commented 1 month ago

Hello,

I am trying to use this project, and I need to utilize Translation Validation. According to the building instructions, I should compile LLVM first and then reconfigure Alive2, correct? I would like to know the specific versions of LLVM and Clang required for this project. I look forward to your response. Thank you very much.

regehr commented 1 month ago

you should build Alive2 against the main branch of Clang/LLVM from the git repo