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