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

add more reserved Boogie keywords #425

Merged

gauravpartha merged 1 commit into master from add_boogie_reserved_keywords

Jul 4, 2022

Contributor

gauravpartha commented Jul 4, 2022 •

edited

Loading

Closes #418.


          add more reserved Boogie keywords

2c1251d

gauravpartha mentioned this pull request

Missing boogieReservedNames #418

Closed

gauravpartha merged commit 8e11a84 into master

gauravpartha deleted the add_boogie_reserved_keywords branch

July 4, 2022 07:08

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

Labels

None yet