Changelog

Copy Markdown View Source

All notable changes to this project will be documented here.

The format follows Keep a Changelog, and this project follows Semantic Versioning.

[Unreleased]

[0.2.0] - 2026-05-14

Added

  • CLI parity for current Quint run and test flags.
  • Generated/effective seed tracking with replay reproduction messages.
  • QuintConnect.Step.Switch.quint_switch/2 for action dispatch and nondet binding.
  • Tictactoe and compact two-phase commit Quint examples.

Changed

  • Replay mismatch errors now include trace, step, seed, and pretty state details.

[0.1.0] - 2026-05-12

Added

  • Initial Elixir package for replaying Quint ITF traces through ExUnit.
  • Quint CLI runner for quint run and quint test.
  • ITF trace and value decoding.
  • Driver, state projection, step helper, replay, and ExUnit DSL APIs.
  • Self-hosted Quint specs that validate package behavior through its own DSL.
  • Apache-2.0 license and open-source project documentation.