Pull requests: dafny-lang/rfcs
Pull requests list
Reads clauses on methods
enhancement
New feature or request
#6
opened Sep 21, 2021 by
robin-aws
Loading…
RFC: Unicode strings and characters
breaking-change
Any change that will cause existing Dafny codebases to break (excluding verification instability)
#13
opened Jul 14, 2022 by
robin-aws
Loading…
ProTip!
Type g p on any issue or pull request to go back to the pull request listing page.