Add first proof#25

Open

jaisnan wants to merge 38 commits intoadd-permissionsfrom

add-result-contract

Commits on Jul 10, 2024

Add first proof
jaisnan
committed

Commits on Jul 11, 2024

Add contracts for Layout and Alignment (#33)
tautschnig
authored

Commits on Jul 16, 2024

Commits on Jul 18, 2024

Update toolchain to 07-17
jaisnan
committed

Commits on Jul 19, 2024

Add a challenge for `btree::node` module (#26)
zhassan-aws
authored

Commits on Aug 1, 2024

char and ascii_char contracts (#48)
Carolyn Zech
authored

Commits on Aug 12, 2024

Add scripts for local subtree update (#46)
jaisnan
authored

Commits on Aug 16, 2024

prevent merge conflicts
Carolyn Zech
committed
Squashed 'library/' changes from a2cf63619d7..9cc3bc6add3
Carolyn Zech
committed
Merge commit '9d7b4208352e30d0e2a3090a964ef6f711c407e9' into sync-2024-08-07
Carolyn Zech
committed
put kani imports back
Carolyn Zech
committed
Update toolchain to 2024-08-07
Carolyn Zech
committed
remove unstable ptr-to-ref-cast-checks and update submodules
Carolyn Zech
committed
Merge branch 'main' into add-result-contract
jaisnan
authored

Commits on Aug 26, 2024

Challenge proposal: NonNull (#52)
tautschnig
authored

Commits on Aug 27, 2024

Challenge Proposal: `core::time::Duration` (#73)
feliperodri
authored
`NonZero` Challenge (#70)

Carolyn Zech
and
feliperodri
authored
Simplify pr workflow to require 2 approvals on all PR's (#74)
jaisnan
authored
Challenge Proposal: Floats/Ints (#58)
Carolyn Zech
authored

Commits on Aug 28, 2024

Merge branch 'main' into add-result-contract
jaisnan
authored