0.7.2 -- 2025-03-21
- Add support for the Bitwuzla SMT solver.
- Add
--debug option for starting the Crucible debugger.
- For the sake of the
--debug flag, Crux now depends on the
crucible-{debug,syntax} packages.
0.7.1 -- 2024-08-30
0.7 -- 2024-02-05
- Add a
Crux.Overrides module, which defines common functionality for defining
overrides, which are shared among several Crux backends.
0.6
- Corresponds to the 0.6 release of
crux-llvm and crux-mir.
SimulatorCallbacks now returns SimulatorHooks, a new data type that
allows hooking into the simulation process at various steps.