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¶
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¶
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)