Remove function-context-height variable in Boogie encoding#6046
Merged
RustanLeino merged 27 commits intodafny-lang:masterfrom RustanLeino:remove-functionHeightJan 17, 2025
+988-1,111
Commits
Commits on Jan 11, 2025
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
Commits on Jan 13, 2025
- committed
- committed
- committed
- committed
- committed
- committed
- committed
Commits on Jan 14, 2025
- committed
- committed
- committed
- committed
- committed
- committed
- committed