Closed Baltoli closed 2 years ago
Following https://github.com/runtimeverification/llvm-backend/pull/572, we can drop the x-suffixed script as llvm-kompile has been updated.
Following https://github.com/runtimeverification/llvm-backend/pull/572, we can drop the x-suffixed script as llvm-kompile has been updated.