Skip to content
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

Deprecate statement level refinements #2765

Closed
davidcok opened this issue Sep 20, 2022 · 0 comments · Fixed by #2756
Closed

Deprecate statement level refinements #2765

davidcok opened this issue Sep 20, 2022 · 0 comments · Fixed by #2756
Assignees
@davidcok

Comments

@davidcok
Copy link
Collaborator

This is extracting a portion of Issue #2425 to just the matter of deprecating refinement of statements, such as if, while, assert, assume.
@davidcok davidcok self-assigned this Sep 20, 2022
This was referenced Sep 20, 2022
Closed
Merged
davidcok added a commit that referenced this issue Sep 26, 2022
@davidcok
Deprecating statement refinement syntax - #2765 (#2756)
195c21e 
Fixes #2765, which was part of #2425

<small>By submitting this pull request, I confirm that my contribution
is made under the terms of the [MIT
license](https://github.com/dafny-lang/dafny/blob/master/LICENSE.txt).</small>

Co-authored-by: davidcok <davidcok@github.com>
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees

@davidcok davidcok

Labels
None yet
Projects
None yet
Milestone
No milestone
Development

Successfully merging a pull request may close this issue.

Deprecating statement refinement syntax - #2765 davidcok/dafny
1 participant
@davidcok