gocontracts v1.3.0 Release Notes
Release Date: 2019-01-26 // about 6 years ago-
- ➕ Added support for initialization in conditions
- ➕ Added support for preambles
- 🔨 Refactored code into separate modules, improved test coverage
Previous changes from v1.2.0
-
- ➕ Added a release script
- ➕ Added
-version
flag - 🛠 Fixed negation of complex boolean expressions
- gocontracts does not change code if no contracts in the description nor in the function implementation
- 👍 Single-line function definitions are supported
- ⚡️ Updated to go 1.11