search

runtimeverification / llvm-backend

KORE to llvm translation
BSD 3-Clause "New" or "Revised" License
34 stars 19 forks source link

Update to new Nixpkgs version #1070

Closed Baltoli closed 1 month ago

Baltoli commented 1 month ago

This will allow us to run LLVM 18 in CI; the only change needed to our Nix code here is a small difference in the API of the llvmPackages_* derivations.