fix: Account for the optional equality support of map/seq inside newtypes#5980
Merged
RustanLeino merged 14 commits intodafny-lang:masterfrom RustanLeino:issue-5972-addendumDec 17, 2024
+616-115
Commits
Commits on Dec 12, 2024
Commits on Dec 13, 2024
- committed
- committed
Commits on Dec 16, 2024
- committed
- committed
- authored
- committed
Merge branch 'issue-5972-addendum' of https://github.com/RustanLeino/dafny into issue-5972-addendum
committed- committed