Function Contracts: Interior Mutability Tests#3351

Merged

feliperodri merged 38 commits intomodel-checking:mainfrom pi314mm:int-mut-tests

Jul 30, 2024

+233

Commits on Jul 17, 2024

add tests
Matias Scharager
committed
fix tests
Matias Scharager
committed
preserves memory
Matias Scharager
committed
fmt
Matias Scharager
committed
OnceCell
Matias Scharager
committed

Commits on Jul 18, 2024

documentation
Matias Scharager
committed
stub
Matias Scharager
committed
more comments
Matias Scharager
committed

Commits on Jul 19, 2024

fix test
Matias Scharager
committed
Merge branch 'main' into int-mut-tests
pi314mm
authored
rfc update
Matias Scharager
committed

Commits on Jul 22, 2024

unsafecell and cell can be reached through public api
Matias Scharager
committed
Merge branch 'main' into int-mut-tests
pi314mm
authored
triple slash for comments
Matias Scharager
committed

Commits on Jul 23, 2024

more tests
Matias Scharager
committed
fmt
Matias Scharager
committed

Commits on Jul 24, 2024

fix tests
Matias Scharager
committed
comments
Matias Scharager
committed
comments
Matias Scharager
committed
Merge branch 'main' into int-mut-tests
pi314mm
authored

Commits on Jul 25, 2024

add explanation in docs
Matias Scharager
committed

Commits on Jul 26, 2024

delete
Matias Scharager
committed
Merge branch 'main' into int-mut-tests
pi314mm
authored
Merge branch 'main' into int-mut-tests
pi314mm
authored

Commits on Jul 30, 2024