3.1.0
·
375 commits
to develop
since this release
7bad691
This commit was signed with the committer’s verified signature.
| Type | Description | Link |
|---|---|---|
| Improvement | Preconditions provide contract information for static analysis | #784 |