Skip to content

v0.5.0
Compare
Choose a tag to compare
@cd1m0 cd1m0 released this 19 May 09:22
· 422 commits to develop since this release
v0.5.0
bf577d5

NOTE: THIS IS A BREAKING RELEASE

In this release we change the annotation syntax to support a # prefix before annotation keywords invariant/if_succeeds/if_updated/define.

So for example if_succeeds x > 0 should now be #if_succeeds x > 0.
The old-style annotations without a # is deprecated, but will still be supported. You will get warning on stderr for each instance of an annotation without a #.

This change makes it easier to discern annotations from other text in a docstrings, for other tools (such as IDE plugins)

Assets 2
Loading