Allow revealing using a static receiver#5760
Merged
keyboardDrummer merged 7 commits intodafny-lang:masterfrom Sep 10, 2024
Merged
Allow revealing using a static receiver#5760keyboardDrummer merged 7 commits intodafny-lang:masterfrom
keyboardDrummer merged 7 commits intodafny-lang:masterfrom
Commits
Commits on Sep 10, 2024
- committed
- committed
- committed
- committed
- committed
- authored
- andauthored
