Features
- Added tests for polyhedral contracts (by @abadithela, @jgraeb, @iincer, @pierg, @ayush9pandey, @NicolasRouquette, and @YuTaiwan)
- Added methodology for software release (by @abadithela, @jgraeb, @iincer, and @ayush9pandey)
- Added toolchain for software development (by @iincer, @pierg, @ayush9pandey, and @NicolasRouquette)
- Added parser for polyhedral constraints (by @NicolasRouquette)
- Added contract support for polyhedral constraints (by @iincer)
- Added implementation of contract algebra (by @iincer)
Full Changelog: https://github.com/pacti-org/pacti/commits/0.1.0
Contributors
pierg, NicolasRouquette, and 5 other contributors