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