Add safety preconditions to alloc/src/alloc.rs#118
Draft
tautschnig wants to merge 13 commits intomodel-checking:mainmodel-checking/verify-rust-std:mainfrom
tautschnig:bedrock-library/alloc/src/alloc.rstautschnig/verify-rust-std:bedrock-library/alloc/src/alloc.rsCopy head branch name to clipboard
Draft
Add safety preconditions to alloc/src/alloc.rs#118tautschnig wants to merge 13 commits intomodel-checking:mainmodel-checking/verify-rust-std:mainfrom tautschnig:bedrock-library/alloc/src/alloc.rstautschnig/verify-rust-std:bedrock-library/alloc/src/alloc.rsCopy head branch name to clipboard
tautschnig wants to merge 13 commits intomodel-checking:mainmodel-checking/verify-rust-std:mainfrom
tautschnig:bedrock-library/alloc/src/alloc.rstautschnig/verify-rust-std:bedrock-library/alloc/src/alloc.rsCopy head branch name to clipboard
Commits
Commits on Oct 17, 2024
Add safety preconditions to alloc/src/alloc.rs
Show description for 9822a02committedAdd safety dependency to alloc and std crates
Show description for 80a8886committed- committed
- committed
- committed
- committed
- committed
- committed
Commits on Oct 18, 2024
- committed
- committed
- committed
- committed