Change ensures into closures#3207

Merged

pi314mm merged 15 commits intomodel-checking:mainfrom

pi314mm:result_rename

Jun 5, 2024

Commits on May 28, 2024

Commits on May 30, 2024

closure syntax
pi314mm
committed
attempting to fix tests
Matias Scharager
committed
more tests pass
Matias Scharager
committed

Commits on May 31, 2024

change rewriter
Matias Scharager
committed
more tests pass
Matias Scharager
committed
change to pass by reference
Matias Scharager
committed
Merge branch 'main' into result_rename
pi314mm
authored
fix more tests
Matias Scharager
committed

Commits on Jun 3, 2024

comments
Matias Scharager
committed
Merge branch 'main' into result_rename
pi314mm
authored
format
Matias Scharager
committed

Commits on Jun 5, 2024

Merge branch 'main' into result_rename
pi314mm
authored
updated rfc
Matias Scharager
committed