Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

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

Merged
merged 33 commits into from
Dec 9, 2024
Merged

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

Show file tree
Hide file tree
Changes from all commits
Commits
Show all changes
33 commits
Select commit Hold shift + click to select a range
0ccf81e
Adds contracts for byte_add, byte_sub and byte_offset
stogaru Nov 14, 2024
aec0394
Removes unnecessary rustfmt formnatting
stogaru Nov 15, 2024
60ba93e
Adds comment for amgic numbers
stogaru Nov 15, 2024
57c591f
Adds some comments
stogaru Nov 15, 2024
a02ed87
Adds slice harnesses
stogaru Nov 15, 2024
2fdebd6
Adds contracts for byte_offset, byte_add and byte_sub
stogaru Nov 16, 2024
cd0a134
Runs rustfmt
stogaru Nov 16, 2024
4aa89da
Merge branch 'main' into verify/ptr_mut_byte
stogaru Nov 19, 2024
fdfad2c
Merge branch 'main' into verify/ptr_mut_byte
stogaru Nov 21, 2024
40eb29d
Some refactoring
stogaru Nov 21, 2024
81fe7c9
Refactors the function contracts
stogaru Nov 21, 2024
bee4503
Merge branch 'main' into verify/ptr_const_byte
stogaru Nov 22, 2024
52963f7
Merge branch 'main' into verify/ptr_mut_byte
stogaru Nov 24, 2024
38066e1
Merge branch 'main' into verify/ptr_const_byte
stogaru Nov 24, 2024
2d32b07
Merge branch 'verify/ptr_const_byte' into verify/ptr_mut_byte
stogaru Nov 24, 2024
5e4f616
Addresses commennts on PR
stogaru Nov 26, 2024
dea6e0e
Merge branch 'main' into verify/ptr_mut_byte
stogaru Nov 26, 2024
7e979cb
Implemented proof for contracts for dyn trait for byte_add, byte_sub …
xsxszab Nov 27, 2024
c98d839
Reverted unnecessary changes to minimize conflict.
xsxszab Nov 27, 2024
5cffb98
Merge branch 'main' into verify/ptr_byte_dyn
xsxszab Nov 28, 2024
1dab4e3
Formatted code using rustfmt
xsxszab Nov 28, 2024
572f092
Merge branch 'main' into verify/ptr_byte_dyn
xsxszab Dec 4, 2024
df6d4ed
Manually updated changes from verify/ptr_mut_byte.
xsxszab Dec 4, 2024
633df86
Updated tracking issues; Updated magic number comments; Replaced kani…
xsxszab Dec 5, 2024
5069cf3
Formatted code using rustfmt.
xsxszab Dec 5, 2024
8736e19
Merge branch 'main' into verify/ptr_byte_dyn
xsxszab Dec 6, 2024
d5ab23f
Rearranged proof for contracts.
xsxszab Dec 6, 2024
f81a009
Improved comments for dyn Trait related code.
xsxszab Dec 6, 2024
7d2e9ad
Merge branch 'main' into verify/ptr_byte_dyn
feliperodri Dec 7, 2024
e360f06
Merge branch 'main' into verify/ptr_byte_dyn
xsxszab Dec 9, 2024
7b61c2f
Fixed compilation error after merge.
xsxszab Dec 9, 2024
b03ba84
Rearranged Proofs in const_ptr.rs; Formatted code using rustfmt.
xsxszab Dec 9, 2024
72c922b
Improved comments.
xsxszab Dec 9, 2024
File filter

Filter by extension

Filter by extension
Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
Loading
Loading