New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom

[release] 0.8.2 #486

Closed

apalache-bot wants to merge 2 commits into unstable from release/0.8.2

Contributor

apalache-bot commented Jan 25, 2021

0.8.2

Bug fixes

handling big integers, [FEATURE] Make sure that apalache works with math over big integers #450

Features

constant simplification over strings, [FEATURE] Better constant propagation #197

shonfeder added 2 commits

January 25, 2021 00:37


          [release] 0.8.2

3f3c1d0


          Bump version to 0.8.3-SNAPSHOT

d8136ec

Collaborator

konnov commented Jan 25, 2021

I would like to add #483 and one the bugfix to #468 (a PR will be ready soon) to this release

shonfeder closed this

shonfeder deleted the release/0.8.2 branch

January 25, 2021 15:58

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet