Skip to content

Actions: qinheping/verify-rust-std

Actions

Kani

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
kani.yml
50 workflow runs
50 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Update Kani version Kani #25: Commit 708fcbe pushed by qinheping
November 8, 2024 03:00 38m 53s loop-contracts/small_slice_eq
loop-contracts/small_slice_eq
November 8, 2024 03:00 38m 53s
Merge branch 'main' into loop-contracts/small_slice_eq Kani #24: Commit 458dc4a pushed by qinheping
November 8, 2024 01:50 15m 9s loop-contracts/small_slice_eq
loop-contracts/small_slice_eq
November 8, 2024 01:50 15m 9s
Remove proof without contracts for testing Kani #23: Commit 6f1e879 pushed by qinheping
November 7, 2024 21:12 14m 46s loop-contracts/small_slice_eq
loop-contracts/small_slice_eq
November 7, 2024 21:12 14m 46s
Merge branch 'main' into loop-contracts/small_slice_eq Kani #22: Commit ed059a1 pushed by qinheping
November 7, 2024 20:25 8m 9s loop-contracts/small_slice_eq
loop-contracts/small_slice_eq
November 7, 2024 20:25 8m 9s
Update toolchain and kani version config Kani #21: Commit c738450 pushed by qinheping
November 7, 2024 16:03 42m 5s sync-2024-11-03
sync-2024-11-03
November 7, 2024 16:03 42m 5s
Merge commit 'dbb25f2e07bc339a577a78ea5eff872bafc33b4c' into sync-202… Kani #20: Commit d425502 pushed by qinheping
November 7, 2024 15:19 5m 6s sync-2024-11-03
sync-2024-11-03
November 7, 2024 15:19 5m 6s
Add kani script instructions to book (#135) Kani #19: Commit bd56a76 pushed by qinheping
November 6, 2024 20:45 43m 28s main
main
November 6, 2024 20:45 43m 28s
Add loop contracts and harness for ptr::swap_nonoverlapping_simple_un… Kani #18: Commit 37e06ce pushed by qinheping
November 5, 2024 03:48 4m 34s swap_nonoverlapping_simple_untyped
swap_nonoverlapping_simple_untyped
November 5, 2024 03:48 4m 34s
Merge branch 'main' into add_loop_invariants_predicate Kani #17: Commit 8cf84f9 pushed by qinheping
October 28, 2024 05:11 40m 38s add_loop_invariants_predicate
add_loop_invariants_predicate
October 28, 2024 05:11 40m 38s
Add loop contracts and harness for slice::binary_search_by Kani #16: Commit b8e78e2 pushed by qinheping
October 28, 2024 05:09 6h 0m 27s binary_search_by
binary_search_by
October 28, 2024 05:09 6h 0m 27s
Add loop_invariants predicate Kani #15: Commit a1e2136 pushed by qinheping
October 25, 2024 06:11 21m 37s add_loop_invariants_predicate
add_loop_invariants_predicate
October 25, 2024 06:11 21m 37s
Add loop_invariants predicate Kani #14: Commit 57cecd4 pushed by qinheping
October 25, 2024 06:10 23m 52s add_loop_invariants_predicate
add_loop_invariants_predicate
October 25, 2024 06:10 23m 52s
Add loop contracts and harness for str::small_slice_eq Kani #13: Commit d3ef481 pushed by qinheping
October 24, 2024 18:36 5m 11s loop-contracts/small_slice_eq
loop-contracts/small_slice_eq
October 24, 2024 18:36 5m 11s
Make the harness running in CI Kani #12: Commit 365d85c pushed by qinheping
October 24, 2024 18:22 1m 18s loop-contracts/small_slice_eq
loop-contracts/small_slice_eq
October 24, 2024 18:22 1m 18s
Merge branch 'main' into sift_up Kani #11: Commit 521394a pushed by tautschnig
October 22, 2024 21:31 3m 41s sift_up
sift_up
October 22, 2024 21:31 3m 41s
Update library/alloc/src/collections/binary_heap/mod.rs Kani #10: Commit eed4094 pushed by tautschnig
October 22, 2024 20:17 3m 54s sift_up
sift_up
October 22, 2024 20:17 3m 54s
Add loop contracts and harness for Slice::repeat Kani #9: Commit 29bc9d3 pushed by qinheping
October 22, 2024 17:53 3m 38s repeat
repeat
October 22, 2024 17:53 3m 38s
Add loop contracts and harness for Slice::partition_dedup_by Kani #8: Commit 69d8bd3 pushed by qinheping
October 22, 2024 15:58 3m 35s partition_dedup_by
partition_dedup_by
October 22, 2024 15:58 3m 35s
Update the script Kani #7: Commit 1422f9d pushed by qinheping
October 22, 2024 07:19 3m 23s loop-contracts/small_slice_eq
loop-contracts/small_slice_eq
October 22, 2024 07:19 3m 23s
Add loop contracts and harness for BinaryHeap::sift_up Kani #6: Commit 746b5de pushed by qinheping
October 22, 2024 06:38 3m 32s sift_up
sift_up
October 22, 2024 06:38 3m 32s
Add loop contracts and harness for Kani #5: Commit e8a7fca pushed by qinheping
October 19, 2024 05:12 18m 51s loop-contracts/small_slice_eq
loop-contracts/small_slice_eq
October 19, 2024 05:12 18m 51s
Contracts & Harnesses for wrapping_shl (#112) Kani #4: Commit 3a967e3 pushed by qinheping
October 18, 2024 19:51 20m 36s main
main
October 18, 2024 19:51 20m 36s
Merge branch 'main' into challenge/select Kani #3: Commit 0700bf4 pushed by tautschnig
August 20, 2024 13:13 11m 10s challenge/select
challenge/select
August 20, 2024 13:13 11m 10s
Merge branch 'main' into challenge/select Kani #2: Commit 0c16dd7 pushed by jaisnan
August 19, 2024 14:59 8m 16s challenge/select
challenge/select
August 19, 2024 14:59 8m 16s
Add scripts for local subtree update (#46) Kani #1: Commit ec6d98e pushed by qinheping
August 17, 2024 04:40 3m 20s main
main
August 17, 2024 04:40 3m 20s