Feat: Predicates can name their return parameter#2454
Merged
MikaelMayer merged 15 commits intomasterfrom feat-predicate-return-nameAug 3, 2022
+112-39
Commits
Commits on Jul 19, 2022
Commits on Aug 2, 2022
Commits on Aug 3, 2022
- committed
- committed
- committed
- committed
- authored
- committed
Merge branch 'feat-predicate-return-name' of https://github.com/dafny-lang/dafny into feat-predicate-return-name
committed- authored
- committed
Merge branch 'feat-predicate-return-name' of https://github.com/dafny-lang/dafny into feat-predicate-return-name
committed