Skip to content

Actions: sgpthomas/verify-rust-std

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
53 workflow runs
53 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Merge branch 'main' into verify_duration_challenge9 Kani #13: Commit bdf9eb9 pushed by tautschnig
December 10, 2024 13:19 3h 0m 50s verify_duration_challenge9
verify_duration_challenge9
December 10, 2024 13:19 3h 0m 50s
Merge branch 'main' into verify_duration_challenge9 Build Book #3: Commit 8ccd95a pushed by cvick32
December 9, 2024 22:18 4m 21s verify_duration_challenge9
verify_duration_challenge9
December 9, 2024 22:18 4m 21s
Merge branch 'main' into verify_duration_challenge9 Rust Tests #12: Commit 8ccd95a pushed by cvick32
December 9, 2024 22:18 6m 33s verify_duration_challenge9
verify_duration_challenge9
December 9, 2024 22:18 6m 33s
Merge branch 'main' into verify_duration_challenge9 Kani #12: Commit 8ccd95a pushed by cvick32
December 9, 2024 22:18 3h 4m 13s verify_duration_challenge9
verify_duration_challenge9
December 9, 2024 22:18 3h 4m 13s
Merge branch 'verify_duration_challenge9' of https://github.com/sgpth… Rust Tests #11: Commit dff2db7 pushed by cvick32
December 6, 2024 17:34 6m 56s verify_duration_challenge9
verify_duration_challenge9
December 6, 2024 17:34 6m 56s
Merge branch 'verify_duration_challenge9' of https://github.com/sgpth… Kani #11: Commit dff2db7 pushed by cvick32
December 6, 2024 17:34 2h 25m 48s verify_duration_challenge9
verify_duration_challenge9
December 6, 2024 17:34 2h 25m 48s
add comment that includes functions that must be verified Kani #10: Commit a0ed822 pushed by cvick32
December 6, 2024 17:02 4m 52s verify_smallsort_challenge8
verify_smallsort_challenge8
December 6, 2024 17:02 4m 52s
add comment that includes functions that must be verified Rust Tests #10: Commit a0ed822 pushed by cvick32
December 6, 2024 17:02 7m 4s verify_smallsort_challenge8
verify_smallsort_challenge8
December 6, 2024 17:02 7m 4s
Merge branch 'main' into verify_duration_challenge9 Rust Tests #9: Commit a9131b7 pushed by tautschnig
December 6, 2024 09:48 6m 19s verify_duration_challenge9
verify_duration_challenge9
December 6, 2024 09:48 6m 19s
Merge branch 'main' into verify_duration_challenge9 Build Book #2: Commit a9131b7 pushed by tautschnig
December 6, 2024 09:48 4m 33s verify_duration_challenge9
verify_duration_challenge9
December 6, 2024 09:48 4m 33s
Merge branch 'main' into verify_duration_challenge9 Kani #9: Commit a9131b7 pushed by tautschnig
December 6, 2024 09:48 2h 18m 16s verify_duration_challenge9
verify_duration_challenge9
December 6, 2024 09:48 2h 18m 16s
add should_panic on contract proofs, remove requires, and add cfg_att… Rust Tests #8: Commit 8435e17 pushed by cvick32
December 4, 2024 23:19 6m 23s verify_duration_challenge9
verify_duration_challenge9
December 4, 2024 23:19 6m 23s
add should_panic on contract proofs, remove requires, and add cfg_att… Kani #8: Commit 8435e17 pushed by cvick32
December 4, 2024 23:19 48m 4s verify_duration_challenge9
verify_duration_challenge9
December 4, 2024 23:19 48m 4s
remove comment Kani #7: Commit f19b024 pushed by cvick32
December 3, 2024 18:19 6h 0m 28s verify_duration_challenge9
verify_duration_challenge9
December 3, 2024 18:19 6h 0m 28s
remove comment Rust Tests #7: Commit f19b024 pushed by cvick32
December 3, 2024 18:19 8m 30s verify_duration_challenge9
verify_duration_challenge9
December 3, 2024 18:19 8m 30s
change comments to preconditions, add cfg(not(kani)) to checked_div Kani #6: Commit 58f7f53 pushed by cvick32
December 3, 2024 18:09 6h 0m 27s verify_duration_challenge9
verify_duration_challenge9
December 3, 2024 18:09 6h 0m 27s
change comments to preconditions, add cfg(not(kani)) to checked_div Rust Tests #6: Commit 58f7f53 pushed by cvick32
December 3, 2024 18:09 8m 2s verify_duration_challenge9
verify_duration_challenge9
December 3, 2024 18:09 8m 2s
start on smallsort Rust Tests #5: Commit 775c0ae pushed by cvick32
November 26, 2024 18:56 6m 42s verify_smallsort_challenge8
verify_smallsort_challenge8
November 26, 2024 18:56 6m 42s
start on smallsort Kani #5: Commit 775c0ae pushed by cvick32
November 26, 2024 18:56 4h 10m 0s verify_smallsort_challenge8
verify_smallsort_challenge8
November 26, 2024 18:56 4h 10m 0s
add should_panic harness for Duration::new Kani #4: Commit 8b7113d pushed by cvick32
November 26, 2024 17:09 6h 0m 26s verify_duration_challenge9
verify_duration_challenge9
November 26, 2024 17:09 6h 0m 26s
add should_panic harness for Duration::new Rust Tests #4: Commit 8b7113d pushed by cvick32
November 26, 2024 17:09 8m 3s verify_duration_challenge9
verify_duration_challenge9
November 26, 2024 17:09 8m 3s
Update library/core/src/time.rs Rust Tests #3: Commit f42c801 pushed by sgpthomas
November 25, 2024 20:13 15m 50s verify_duration_challenge9
verify_duration_challenge9
November 25, 2024 20:13 15m 50s
Update library/core/src/time.rs Kani #3: Commit f42c801 pushed by sgpthomas
November 25, 2024 20:13 6h 0m 27s verify_duration_challenge9
verify_duration_challenge9
November 25, 2024 20:13 6h 0m 27s
Update library/core/src/time.rs Kani #2: Commit 75a457d pushed by sgpthomas
November 25, 2024 20:13 6h 0m 28s verify_duration_challenge9
verify_duration_challenge9
November 25, 2024 20:13 6h 0m 28s
Update library/core/src/time.rs Rust Tests #2: Commit 75a457d pushed by sgpthomas
November 25, 2024 20:13 7m 17s verify_duration_challenge9
verify_duration_challenge9
November 25, 2024 20:13 7m 17s