crux-0.9: CHANGELOG.md

# 0.9 -- 2026-01-29

# 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 `st`
  parameter.

* `showBVLiteral` has been renamed to `showBVLiteralSigned` and
  two additional functions `showBVLiteralUnsigned` and `showBVLiteralDecimal`
  were added to improve printing of bit vectors

# 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

* Add support for GHC 9.8

# 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.