Skip to content

Latest commit

 

History

History
28 lines (24 loc) · 666 Bytes

CHANGELOG.md

File metadata and controls

28 lines (24 loc) · 666 Bytes

1.3.0

  • Added support for initialization in conditions
  • Added support for preambles
  • Refactored code into separate modules, improved test coverage

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

1.1.1

  • Fixed in-place writes so that temporary file lives on the same volume

1.1.0

  • Added flag -r to remove the condition checks from the code
  • Made in-place write atomic

1.0.0

  • Initial version