Skip to content

decreases clause for recursive methods in Dafny#109

Merged
namin merged 2 commits into
mainfrom
decreases
Jun 7, 2026
Merged

decreases clause for recursive methods in Dafny#109
namin merged 2 commits into
mainfrom
decreases

Conversation

@namin

@namin namin commented Jun 7, 2026

Copy link
Copy Markdown
Member

No description provided.

@namin
namin merged commit baf70ab into main Jun 7, 2026
28 of 29 checks passed
@namin
namin deleted the decreases branch June 7, 2026 03:55
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant