Skip to content

Actions: kasimte/verify-rust-std

Actions

VeriFast (negative)

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
verifast-negative.yml
64 workflow runs
64 workflow runs

Filter by Event

⌥ + click/return to exclude

Filter by Status

⌥ + click/return to exclude

Filter by Branch

⌥ + click/return to exclude

Filter by Actor

⌥ + click/return to exclude
Challenge 13: contracts and proofs for CStr trait implementations and… VeriFast (negative) #66: Commit 8fa3909 pushed by kasimte
35s exp-0829
exp-0829
35s
Challenge 29: Verify the safety of Box and ThinBox in alloc::boxed VeriFast (negative) #65: Commit d9684c5 pushed by kasimte
37s ci-check-0901
ci-check-0901
37s
Bound the from_bytes_with_nul contract proof to the measured CI envelope VeriFast (negative) #64: Commit 37bd4d8 pushed by kasimte
37s exp-0829
exp-0829
37s
Strengthen the RangeFrom indexing postcondition and annotate measured… VeriFast (negative) #63: Commit 17ff8e9 pushed by kasimte
32s exp-0829
exp-0829
32s
Challenge 29: Verify the safety of Box and ThinBox in alloc::boxed VeriFast (negative) #62: Commit 3c67fe4 pushed by kasimte
34s ci-check-0830
ci-check-0830
34s
Merge remote-tracking branch 'public/main' into pr-549-fixes VeriFast (negative) #61: Commit 9a8654f pushed by kasimte
33s challenge-16
challenge-16
33s
Challenge 29: Verify the safety of Box and ThinBox in alloc::boxed VeriFast (negative) #60: Commit 26a04d2 pushed by kasimte
29s ci-check-0829
ci-check-0829
29s
wb: cover sweep, conformance pass, pinned rustfmt VeriFast (negative) #59: Commit 6886c36 pushed by kasimte
35s canary-ch29-0829
canary-ch29-0829
35s
VeriFast (negative) VeriFast (negative) #58: by kasimte
49s canary/613-merge
canary/613-merge
49s
Verify Arc and Weak in alloc::sync with Kani VeriFast (negative) #55: Commit d52e3ab pushed by kasimte
33s canary-ch27-0827
canary-ch27-0827
33s
Challenge 26: verify the safety of Rc and Weak in alloc::rc VeriFast (negative) #54: Commit 715ea53 pushed by kasimte
44s challenge-26
challenge-26
44s
Challenge 26: verify the safety of Rc and Weak in alloc::rc VeriFast (negative) #53: Commit f01d234 pushed by kasimte
14m 4s wb-ci-e-2026-08-27
wb-ci-e-2026-08-27
14m 4s
Challenge 26: verify the safety of Rc and Weak in alloc::rc VeriFast (negative) #52: Commit 0f23a80 pushed by kasimte
37s wb-ci-d-2026-08-27
wb-ci-d-2026-08-27
37s
Challenge 26: verify the safety of Rc and Weak in alloc::rc VeriFast (negative) #51: Commit 7156eee pushed by kasimte
36s wb-ci-c-2026-08-27
wb-ci-c-2026-08-27
36s
Challenge 26: verify the safety of Rc and Weak in alloc::rc VeriFast (negative) #50: Commit a85267e pushed by kasimte
40s wb-ci-b-2026-08-27
wb-ci-b-2026-08-27
40s
Challenge 26: verify the safety of Rc and Weak in alloc::rc VeriFast (negative) #49: Commit 98e68c4 pushed by kasimte
44s wb-ci-2026-08-26
wb-ci-2026-08-26
44s
Challenge 26: verify the safety of Rc and Weak in alloc::rc VeriFast (negative) #48: Commit a473389 pushed by kasimte
36s wb-ci-2026-08-26
wb-ci-2026-08-26
36s
Merge remote-tracking branch 'public/main' into pr-549-fixes VeriFast (negative) #47: Commit 9a8654f pushed by kasimte
37s challenge-16
challenge-16
37s
Pair every harness assume with a kani::cover non-vacuity witness VeriFast (negative) #46: Commit 8a0f0b1 pushed by kasimte
42s canary-covers-20260825
canary-covers-20260825
42s
Apply pinned-toolchain rustfmt to the new harnesses VeriFast (negative) #45: Commit 28f7c64 pushed by kasimte
32s challenge-16
challenge-16
32s
Apply pinned-toolchain rustfmt to the new harnesses VeriFast (negative) #44: Commit 28f7c64 pushed by kasimte
33s canary-strengthen-20260819
canary-strengthen-20260819
33s
Document intentionally bounded windows for mul/isqrt equality checks VeriFast (negative) #43: Commit d4ef682 pushed by kasimte
38s challenge-12-nonzero
challenge-12-nonzero
38s
Address review feedback: real loop invariants and contract documentation VeriFast (negative) #42: Commit 000221a pushed by kasimte
38s challenge-16
challenge-16
38s
Restore char/tuple harness bounds to MAX_LEN=50; the object-bits redu… VeriFast (negative) #41: Commit b38171c pushed by kasimte
38s canary-20260817
canary-20260817
38s
Reduce char/tuple harness bounds to fit CBMC object-bits under new to… VeriFast (negative) #40: Commit 37d3b27 pushed by kasimte
37s canary-20260817
canary-20260817
37s