CHANGELOG.md

Changelog

All notable changes to this project will be documented in this file.

The format is based on Keep a Changelog, and this project adheres to Semantic Versioning.

Unreleased

0.6.7

• Correctly handle return statement inside closures.

0.6.6

• Update syn requirement to 2.

0.6.5

• Improve support for async functions and mutable borrows in contracts.

0.6.4

• Add effective contract type to invariant violation messages.

0.6.3

Fixed

• improved hygiene around self parameters
• fix contract messages containing {} emitting warnings as they are interpreted as format strings

0.6.2

Changed

• better handling of mutable borrows and lifetime relationships for functions with contracts

0.6.1

Added

• support for impl Trait return types

0.6.0

Changed

• pre is now requires
• post is now ensures

0.5.2

Fixed

• Unused braces in function body generated code are removed

0.5.1

Changed

• Trait methods now handle attributes better.

0.5.0

Changed

• Implication operator is now ->.

0.4.0

Added

• Added support for MIRAI assertions
• Added implication operator

0.3.0

Added

• Pseudo-function old(expr) which in a post-condition evaluates the expression before function execution.
• Automatic generation of documentation containing all contracts.

0.2.2

Fixed

• Errors inside functions/methods are now properly reported with the correct source location.

Changed

• internal handling of contracts is now done in a single proc-macro pass instead of one for each contract.

0.2.1

Fixed

• Functions/methods with explicit return statements no longer skip post conditions

0.2.0

Added

• contract_trait attribute to make all implementors of a trait respect contracts.

0.1.1

Added

• Feature flags to override contract behavior.
  • disable_contracts ignores all checks
  • override_debug only checks contracts in debug configurations.
  • override_log only prints using the log-crate interface.

0.1.0

Added

• attributes pre/post/invariant and debug_ versions of each.