v0.2.0

Changelog

• 1871942 feature: - new @old syntax - allows short stmt in expressions - uses numbered old_ parameter names
• 2783e24 feature: add @invariant on struct types
• ded9084 feature: add @let support
• 0f879b7 feature: add @old resolution to short-stmt part of contracts
• 4e7ce68 feature: add @UnModified
• cf30524 feature: add description for directives
• d3574b7 feature: add directive syntax for contract clauses (#4)
• ebc6a66 feature: add support of multiline contract clauses
• db6af7b feature: also enforce invariants at the entry of methods (invariants as @requires)
• ab8d7eb feature: generate @let code after @requires code
• aced12c feature: generate contract's code inside its own lexical scope
• a8654ae feature: implement @old with local variables thus expression types are handled by GO
• e951367 feature: warns when @old in @requires
• c426100 fix: @Ensure code not generated due to a newline in template
• 3e5566a fix: author name in license
• 37c952a fix: deferred functions for requires are generated with wrong parameters/arguments
• 9ad3e72 fix: linter warnings
• 1c7890d fix: release machinery
• ac7975d fix: tests do not pass