Added `<dyn Trait>` Proof for Contracts for `byte_add`, `byte_sub`, and `byte_offset`#188

Merged

feliperodri merged 33 commits intomodel-checking:mainfrom

stogaru:verify/ptr_byte_dyn

Dec 9, 2024

Commits on Nov 14, 2024

Adds contracts for byte_add, byte_sub and byte_offset
stogaru
committed

Commits on Nov 15, 2024

Commits on Nov 16, 2024

Commits on Nov 19, 2024

Merge branch 'main' into verify/ptr_mut_byte
stogaru
authored

Commits on Nov 21, 2024

Commits on Nov 22, 2024

Merge branch 'main' into verify/ptr_const_byte
stogaru
authored

Commits on Nov 24, 2024

Commits on Nov 26, 2024

Commits on Nov 27, 2024

Commits on Nov 28, 2024

Commits on Dec 4, 2024

Commits on Dec 5, 2024

Commits on Dec 6, 2024

Commits on Dec 7, 2024

Merge branch 'main' into verify/ptr_byte_dyn
feliperodri
authored