gocontracts v1.3.0 Release Notes

Release Date: 2019-01-26 // over 3 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