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.