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

Update formal verification #691

Closed

QGarchery wants to merge 2 commits into main from verif/update-verification

Contributor

QGarchery commented Sep 26, 2024

This PR:

updates to the new CVL version, the change being the syntax for declaring the use of the bitvector theory
updates to the new Halmos version, with a new way to declare symbolic storage

QGarchery added 2 commits

September 26, 2024 17:37


          fix: use new syntax for enabling bitvector theory

3eca462


          chore: new syntax for symbolic storage in Halmos

2aa88a6

QGarchery self-assigned this

Contributor Author

QGarchery commented Sep 27, 2024

Closing in favor of #692 and #693

QGarchery closed this

MathisGD deleted the verif/update-verification branch

September 27, 2024 13:42

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

Labels

None yet