Changelog for crux-0.8.0.0
0.8 -- 2025-11-09
-
We now support running simulations with custom users state. For this reason, some of the Crux types now have an additional
stparameter. -
showBVLiteralhas been renamed toshowBVLiteralSignedand two additional functionsshowBVLiteralUnsignedandshowBVLiteralDecimalwere added to improve printing of bit vectors
0.7.2 -- 2025-03-21
- Add support for the Bitwuzla SMT solver.
- Add
--debugoption for starting the Crucible debugger. - For the sake of the
--debugflag, Crux now depends on thecrucible-{debug,syntax}packages.
0.7.1 -- 2024-08-30
- Add support for GHC 9.8
0.7 -- 2024-02-05
- Add a
Crux.Overridesmodule, which defines common functionality for defining overrides, which are shared among several Crux backends.
0.6
- Corresponds to the 0.6 release of
crux-llvmandcrux-mir. SimulatorCallbacksnow returnsSimulatorHooks, a new data type that allows hooking into the simulation process at various steps.