[release] 0.15.3 #755

apalache-bot · 2021-04-19T14:10:15Z

Reviewer instructions

Check the changelog to ensure the version increment is consistent with https://semver.org/.
- If a different version should be released, follow the instructions.
Review the changeset as a sanity check.
Approve the PR, if it pases muster.
Merge this branch (do not squash or rebase), but DO NOT DELETE THE BRANCH.
After the release has been published to github, delete this branch.

Type checker: Showing an error on missing annotations CONSTANTs or VARIABLEs, see [FEATURE] Warn about unmatched type annotations #705
Model checker: Fix an exception on Cardinality(a..b) > i, see [BUG] Unhandled exception - Scala MatchError #748

IR: simplified SimpleFormalParam and OperFormalParam into OperParam, see [FEATURE] Simplify FormalParam #656
IR: made consistent the names of IR operators (may break JSON compatibility), see [FEATURE] Standardize operator names in the IR #634

shonfeder added 2 commits April 19, 2021 14:10

[release] 0.15.3

c1c1b5d

Bump version to 0.15.4-SNAPSHOT

46c4b32

shonfeder approved these changes Apr 19, 2021

View reviewed changes

shonfeder merged commit b4d8abe into unstable Apr 19, 2021

shonfeder deleted the release/0.15.3 branch April 19, 2021 14:35