Skip to content

fix: Make FuncExtensions internal again, handle it in DafnyGeneratedFromDafnyPost.py instead#5860

Merged
MikaelMayer merged 6 commits intodafny-lang:masterfrom
robin-aws:revert-csharp-runtime-funcextensions-change
Oct 29, 2024
Merged

fix: Make FuncExtensions internal again, handle it in DafnyGeneratedFromDafnyPost.py instead#5860
MikaelMayer merged 6 commits intodafny-lang:masterfrom
robin-aws:revert-csharp-runtime-funcextensions-change

Commits

Commits on Oct 25, 2024

Commits on Oct 28, 2024

Commits on Oct 29, 2024