Contracts: History Expressions via "old" monad#3232

Merged

feliperodri merged 73 commits intomodel-checking:mainfrom pi314mm:old

Jun 18, 2024

+746-101

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
curried remember
Matias Scharager
committed
build_ensures function
Matias Scharager
committed
count_remembers
Matias Scharager
committed
counting works
Matias Scharager
committed
format
Matias Scharager
committed

Commits on Jun 5, 2024

merge resolution
Matias Scharager
committed
change currying
Matias Scharager
committed

Commits on Jun 6, 2024

old
Matias Scharager
committed
format
Matias Scharager
committed
changed dereference to prevent bug
Matias Scharager
committed
format
Matias Scharager
committed
more tests
Matias Scharager
committed
more tests
Matias Scharager
committed
interesting test
Matias Scharager
committed

Commits on Jun 7, 2024

more code documentation
Matias Scharager
committed

Commits on Jun 10, 2024

more documentation
Matias Scharager
committed
fix formating
Matias Scharager
committed
Merge branch 'main' into old
pi314mm
authored

Commits on Jun 11, 2024

Update library/kani/src/contracts.rs

pi314mm
and
JustusAdam
authored
Update library/kani/src/contracts.rs

pi314mm
and
JustusAdam
authored
more details in tests
Matias Scharager
committed
format
Matias Scharager
committed
rename
Matias Scharager
committed
Merge branch 'main' into old
pi314mm
authored
changed from vec to hashmap
Matias Scharager
committed
Merge branch 'main' into old
pi314mm
authored
rearranged place where renaming happens
Matias Scharager
committed
fixed test
Matias Scharager
committed
change doc
Matias Scharager
committed
format
Matias Scharager
committed
delete test
Matias Scharager
committed

Commits on Jun 12, 2024

Merge branch 'main' into old
pi314mm
authored

Commits on Jun 14, 2024

Merge branch 'main' into old
pi314mm
authored

Commits on Jun 17, 2024

newlines
Matias Scharager
committed
change closure
Matias Scharager
committed
Update library/kani_macros/src/sysroot/contracts/mod.rs

pi314mm
and
feliperodri
authored
Update library/kani_macros/src/sysroot/contracts/shared.rs

pi314mm
and
feliperodri
authored
Update library/kani_macros/src/sysroot/contracts/shared.rs

pi314mm
and
feliperodri
authored
Update library/kani_macros/src/sysroot/contracts/shared.rs

pi314mm
and
feliperodri
authored
Merge branch 'main' into old
pi314mm
authored
comments
Matias Scharager
committed
stub test
Matias Scharager
committed
rfc update
Matias Scharager
committed
Merge branch 'main' into old
pi314mm
authored
Update tests/expected/function-contract/history/clone_pass.rs

pi314mm
and
feliperodri
authored
Apply suggestions from code review

pi314mm
and
feliperodri
authored
Update side_effect.rs
pi314mm
authored
stub_verified
Matias Scharager
committed
added links
Matias Scharager
committed
Merge branch 'main' into old
pi314mm
authored
fix stub
Matias Scharager
committed
Merge branch 'old' of github.com:pi314mm/kani into old
Matias Scharager
committed
Merge branch 'main' into old
pi314mm
authored

Commits on Jun 18, 2024

Merge branch 'main' into old
pi314mm
authored
Merge branch 'main' into old
pi314mm
authored
more tests
Matias Scharager
committed
hash
Matias Scharager
committed
ignore test
Matias Scharager
committed
format
Matias Scharager
committed
small edits to tests
Matias Scharager
committed