# Changelog

All notable changes to this project will be documented here.

The format follows [Keep a Changelog](https://keepachangelog.com/en/1.1.0/), and this project follows [Semantic Versioning](https://semver.org/spec/v2.0.0.html).

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