[release] 0.19.0 #1186

apalache-bot · 2021-12-20T00:40:33Z

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.

The global config file is now named $HOME/.tlaplus/apalache.cfg, see Add ConfigManager #1160

Support for a local config file (defaulting to $PWD/.apalache.cfg) see Add ConfigManager #1160

Fix the use of set union in the array encoding, see [BUG] Unconstrained sets due to incorrect use of set membership implications #1162
Fix preprocesor's normalization of negated temporal formulas and negated LET .. IN expressions, see New test scenarios for Normalizer #1165

shonfeder added 2 commits December 20, 2021 00:40

[release] 0.19.0

55ea7d7

Bump version to 0.19.1-SNAPSHOT

9bb155b

shonfeder approved these changes Dec 20, 2021

View reviewed changes

shonfeder enabled auto-merge December 20, 2021 00:47

shonfeder merged commit e089a96 into unstable Dec 20, 2021

shonfeder deleted the release/0.19.0 branch February 4, 2022 14:56