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