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