GaloisInc / cclyzerpp

cclyzer++ is a precise and scalable pointer analysis for LLVM code.
https://galoisinc.github.io/cclyzerpp/
BSD 3-Clause "New" or "Revised" License
134 stars 15 forks source link

ci, docker: Disaggregate Clang and LLVM versions, Clang 11, LLVM 10+11 #93

Closed langston-barrett closed 1 year ago

langston-barrett commented 1 year ago

Towards #12

langston-barrett commented 1 year ago

Oh whoops, the dev container needs a version of Clang that is no newer than the version of LLVM, since it compiles the C programs in the test suite... Or we could check in the LLVM IR files...

langston-barrett commented 1 year ago

I think the right answer is to limit the version of Clang to that of the highest supported version of LLVM, and only run the golden tests when using the highest supported versions. That way, we keep just one copy of the golden tests and save on CI minutes.

langston-barrett commented 1 year ago

Well, after updating the golden tests for Clang+LLVM 11, there are a lot of changes... Will have to go through those manually to see if they're reasonable...