Ensure that contract closures are FnOnce#4151

Merged

tautschnig merged 19 commits intomodel-checking:mainfrom

vonaka:force_fn_once

Jul 4, 2025

Commits on Jun 11, 2025

Ensure that contract closures are FnOnce
Fedor Ryabinin
committed
Wrap modifies closure
Fedor Ryabinin
committed
Merge branch 'model-checking:main' into force_fn_once
vonaka
authored

Commits on Jun 12, 2025

Handle force_fn during the contract pass
Fedor Ryabinin
committed
Merge branch 'model-checking:main' into force_fn_once
vonaka
authored

Commits on Jun 13, 2025

Merge branch 'model-checking:main' into force_fn_once
vonaka
authored

Commits on Jun 17, 2025

Add tests for contracts for functions returning mut ref
Fedor Ryabinin
committed
Merge branch 'model-checking:main' into force_fn_once
vonaka
authored
Merge branch 'force_fn_once' of github.com:vonaka/kani into force_fn_once
Fedor Ryabinin
committed

Commits on Jun 18, 2025

Merge branch 'main' into force_fn_once
vonaka
authored

Commits on Jun 24, 2025

Update tests
Fedor Ryabinin
committed
Add a bit of explanations
Fedor Ryabinin
committed
Undo updates of submodules.
Fedor Ryabinin
committed
Merge branch 'model-checking:main' into force_fn_once
vonaka
authored

Commits on Jun 25, 2025

Update tests
Fedor Ryabinin
committed
Make force_fn_onces unreachable
Fedor Ryabinin
committed
Undo updates of compiler and core
Fedor Ryabinin
committed
Update comments
Fedor Ryabinin
committed

Commits on Jul 3, 2025

update module documentation
carolynzech
committed