Open
Description
crux-llvm-0.10 has been released on Hackage. We should update copilot-verifier to be able to build against it.
{{ message }}
No type
No projects
No milestone
None yet
No branches or pull requests
crux-llvm-0.10 has been released on Hackage. We should update copilot-verifier to be able to build against it.