search

runtimeverification / llvm-backend

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

Update CI matrix for LLVM 18 #1071

Closed Baltoli closed 4 months ago

Baltoli commented 4 months ago

We have already made all the changes required to update the backend to LLVM 18:

This PR finalises the process by adding LLVM 18 to our CI matrix.