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

Make all generated Boogie declarations extern #128

Closed

l-kent wants to merge 2 commits into main from boogie-extern

Contributor

l-kent commented Oct 25, 2023

Implements #125

This will allow a separate Boogie file to be used to override {:extern} declarations, which will aid in experimentation and prototyping.

l-kent added 2 commits

October 26, 2023 09:34


          make all generated boogie declarations extern

a8296a6


          update expected

7e19902

l-kent requested a review from ailrst

October 25, 2023 23:43

Contributor

ailrst commented Oct 27, 2023

I've generalized adding attributes to boogie statements and included this change in #131 as well

l-kent closed this

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

Labels

None yet