Changelog

All notable changes to this project will be documented in this file.

The format is based on Keep a Changelog, and this project adheres to Semantic Versioning.

Unreleased

Fix CTLs with exactly two looking tables (#1555)
Make Starks without constraints provable (#1552)

[0.2.1] - 2024-03-01 (`starky` crate only)

Changed

Always compile cross_table_lookups::debug_utils (#1540)

[0.2.0] - 2024-02-20

Initial CHANGELOG tracking.