Skip to content

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.

0.2.0 - 2025-06-22

Compare with 0.1.0

Added

  • Added user interface for SMT contracts (by Stefan Panjkovic)
  • Added implementation of SMT contracts (by Inigo Incer)

Fixed

  • Fixing test (204f466 by Inigo Incer).
  • Fixing a bug in variable isolation (c84d086 by Inigo Incer).
  • Fixing spacing (2fd7340 by Inigo Incer).
  • Fixing documentation (it did not build) (022fa89 by Inigo Incer).

0.1.0 - 2023-09-03

Compare with first commit

Added

  • Added tests for polyhedral contracts (by Apurva Badithela, Josefine Graebener, Inigo Incer, Piergiuseppe Mallozzi, Ayush Pandey, Nicolas Rouquette, and Sheng-Jung Yu)
  • Added methodology for software release (by Apurva Badithela, Josefine Graebener, Inigo Incer, and Ayush Pandey)
  • Added toolchain for software development (by Inigo Incer, Piergiuseppe Mallozzi, Ayush Pandey, and Nicolas Rouquette)
  • Added parser for polyhedral constraints (by Nicolas Rouquette)
  • Added contract support for polyhedral constraints (by Inigo Incer)
  • Added implementation of contract algebra (by Inigo Incer)