AliveToolkit/alive2

LLVM version

Closed this issue · 1 comments

Ryuanxue commented

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

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