This repository was archived by the owner on Jul 31, 2023. It is now read-only.
This repository was archived by the owner on Jul 31, 2023. It is now read-only.
Use official Crux-mir/llvm releases #57
Description
Now that Galois has released Crux-MIR and Crux-LLVM, we should switch to using their releases either using their tarballs or their docker images.