Subtree update: fixes branch#10

Closed

carolynzech wants to merge 10 commits intomainfrom

no-assert-contracts

Commits on Feb 21, 2025

Squashed 'library/' changes from 78fc550584d..0b9e7db9ccf
gitbot
committed
Merge from 124cc92199ffa924f6b4c7cc819a85b65e0c3984 with conflicts
gitbot
committed
Update toolchain to 2025-02-10

gitbot
authored and
Carolyn Zech
committed
Update Kani version & fix conflicts
Carolyn Zech
committed

Commits on Feb 24, 2025

run without asserting contracts
Carolyn Zech
committed
count cannot overflow isize in preconditions for byte_add and byte_sub
Carolyn Zech
committed
Bump toolchain & version to 2/11
Carolyn Zech
committed

Commits on Feb 25, 2025

restore submodule changes
Carolyn Zech
committed

Commits on Feb 26, 2025

const ptr, mut ptr, and nonnull contract fixes
Carolyn Zech
committed
comment out failing proofs
Carolyn Zech
committed