Skip to content

Write contracts + pre/post conditions for all unsafe methods in duration #136

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

Merged
merged 22 commits into from
Dec 11, 2024
Merged

Write contracts + pre/post conditions for all unsafe methods in duration #136

Show file tree
Hide file tree
Changes from 8 commits
Commits
Show all changes
22 commits
Select commit Hold shift + click to select a range
ced3509
write contracts + pre/post conditions for all unsafe methods in time
sgpthomas Oct 24, 2024
0294fa6
Merge branch 'main' into verify_duration_challenge9
sgpthomas Oct 24, 2024
6639910
remove redundant checks + reorder harnesses to match fn def order
sgpthomas Oct 25, 2024
bc9a6d6
add panic harness for Duration::new
sgpthomas Oct 25, 2024
e0abb38
re-add debug_assert
sgpthomas Oct 25, 2024
ba86e4f
Merge branch 'verify_duration_challenge9' of github.com:sgpthomas/ver…
sgpthomas Oct 25, 2024
e63b29d
Merge branch 'main' into verify_duration_challenge9
sgpthomas Nov 7, 2024
fc338af
update TempInvariant to Invariant trait
cvick32 Nov 7, 2024
5fe6c11
revert Cargo.lock
cvick32 Nov 25, 2024
d4bd7f7
remove useless cfg[kani] and delete comment
cvick32 Nov 25, 2024
75a457d
Update library/core/src/time.rs
sgpthomas Nov 25, 2024
f42c801
Update library/core/src/time.rs
sgpthomas Nov 25, 2024
8b7113d
add should_panic harness for Duration::new
cvick32 Nov 26, 2024
58f7f53
change comments to preconditions, add cfg(not(kani)) to checked_div
cvick32 Dec 3, 2024
6bbb5a9
change to true in checked_div post-condition
cvick32 Dec 3, 2024
f19b024
remove comment
cvick32 Dec 3, 2024
8435e17
add should_panic on contract proofs, remove requires, and add cfg_att…
cvick32 Dec 4, 2024
a9131b7
Merge branch 'main' into verify_duration_challenge9
tautschnig Dec 6, 2024
f4fd8e0
add non-panicking harnesses and safe_duration
cvick32 Dec 6, 2024
dff2db7
Merge branch 'verify_duration_challenge9' of https://github.com/sgpth…
cvick32 Dec 6, 2024
8ccd95a
Merge branch 'main' into verify_duration_challenge9
cvick32 Dec 9, 2024
bdf9eb9
Merge branch 'main' into verify_duration_challenge9
tautschnig Dec 10, 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
88 changes: 88 additions & 0 deletions library/Cargo.lock
View file
Open in desktop

Some generated files are not rendered by default. Learn more about how customized files appear on GitHub.

Loading
Loading