crux-0.10: CHANGELOG.md

# 0.10 -- 2026-09-10

- Add support for GHC 9.12 (at 9.12.2) and bump from 9.10.1 to 9.10.3.

- **Breaking:** Drop the `Generic` instances from `ColorOptions`, `CruxOptions`,
  `EarlyConfig`, and `OutputOptions`.
- The following `Lens'` functions are now exported: `outputOptionsL`,
  `colorOptionsL`, `simVerboseL`, `printFailuresL`, `quietModeL` (from
  `Crux.Config.Common`), and `colorOptionsL`, `noColorsErrL`, `noColorsOutL`
  (from `Crux.Config.Load`).
- Add a `FloatModeRepr` argument to `SimulatorCallbacks`.
- Add `baseFreshFloatOverride` and `baseFreshFloatOverride'` to
  `Crux.Overrides`.

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