This makes changes in preparation for releases of crux-llvm-0.8 and crux-mir-0.8. For the first time ever, we are also planning to release the following libraries to Hackage:
crucible
crucible-symio
crucible-llvm
crux
crux-llvm
This will make it possible to install crux-llvm directly from Hackage. To that end, I have performed some tidying up of these libraries' .cabal files to make them suitable for Hackage.
This makes changes in preparation for releases of
crux-llvm-0.8andcrux-mir-0.8. For the first time ever, we are also planning to release the following libraries to Hackage:cruciblecrucible-symiocrucible-llvmcruxcrux-llvmThis will make it possible to install
crux-llvmdirectly from Hackage. To that end, I have performed some tidying up of these libraries'.cabalfiles to make them suitable for Hackage.