Skip to content

Actions: model-checking/verify-rust-std

Actions

Kani

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
kani.yml
1,766 workflow runs
1,766 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Testable Models for SIMD Intrinsics Kani #2238: Pull request #423 synchronize by karthikbhargavan
September 5, 2025 08:00 8m 37s cryspen:main
cryspen:main
September 5, 2025 08:00 8m 37s
Testable Models for SIMD Intrinsics Kani #2237: Pull request #423 synchronize by karthikbhargavan
September 2, 2025 09:36 9m 17s cryspen:main
cryspen:main
September 2, 2025 09:36 9m 17s
Show contest status in repo README Kani #2236: Pull request #482 opened by btj
August 28, 2025 21:53 1h 29m 24s btj:challenges-in-readme
btj:challenges-in-readme
August 28, 2025 21:53 1h 29m 24s
Add a tour of the RawVec proof Kani #2235: Pull request #481 opened by btj
August 28, 2025 20:16 1h 9m 29s btj:rawvec-tour
btj:rawvec-tour
August 28, 2025 20:16 1h 9m 29s
Challenge 1 status update Kani #2234: Pull request #433 synchronize by AlexLB99
August 26, 2025 19:04 1h 55m 48s AlexLB99:complete-transmute
AlexLB99:complete-transmute
August 26, 2025 19:04 1h 55m 48s
Challenge 1 status update Kani #2233: Pull request #433 synchronize by AlexLB99
August 26, 2025 19:00 1h 59m 30s AlexLB99:complete-transmute
AlexLB99:complete-transmute
August 26, 2025 19:00 1h 59m 30s
Add loop invariants and harnesses for some ascii functions Kani #2232: Pull request #452 synchronize by thanhnguyen-aws
August 26, 2025 18:28 1h 42m 28s thanhnguyen-aws:asciiinvariant
thanhnguyen-aws:asciiinvariant
August 26, 2025 18:28 1h 42m 28s
Kani Kani #2231: Merge group checks requested
August 25, 2025 18:02 1h 16m 42s
August 25, 2025 18:02 1h 16m 42s
Update Kani Metrics Kani #2230: Pull request #478 reopened by tautschnig
August 25, 2025 16:49 1h 31m 26s update-kani-metrics
update-kani-metrics
August 25, 2025 16:49 1h 31m 26s
Add loop invariants and harnesses for DecimalSeq functions Kani #2229: Pull request #439 synchronize by tautschnig
August 25, 2025 15:47 1h 12m 21s thanhnguyen-aws:decseqinvariant
thanhnguyen-aws:decseqinvariant
August 25, 2025 15:47 1h 12m 21s
Add loop invariants and harnesses for some ascii functions Kani #2228: Pull request #452 synchronize by thanhnguyen-aws
August 22, 2025 17:24 1h 22m 15s thanhnguyen-aws:asciiinvariant
thanhnguyen-aws:asciiinvariant
August 22, 2025 17:24 1h 22m 15s
Add loop invariants and harnesses for some ascii functions Kani #2227: Pull request #452 synchronize by thanhnguyen-aws
August 22, 2025 17:13 18m 13s thanhnguyen-aws:asciiinvariant
thanhnguyen-aws:asciiinvariant
August 22, 2025 17:13 18m 13s
Add Flux specifications to path/bstr/hash/time Kani #2226: Pull request #438 synchronize by nilehmann
August 22, 2025 16:16 1h 34m 23s flux-rs:verify-time-rs
flux-rs:verify-time-rs
August 22, 2025 16:16 1h 34m 23s
Add loop invariants and harnesses for some ascii functions Kani #2225: Pull request #452 synchronize by thanhnguyen-aws
August 22, 2025 16:06 1h 30m 21s thanhnguyen-aws:asciiinvariant
thanhnguyen-aws:asciiinvariant
August 22, 2025 16:06 1h 30m 21s
Add loop invariants and harnesses for DecimalSeq functions Kani #2224: Pull request #439 synchronize by thanhnguyen-aws
August 22, 2025 15:44 1h 32m 17s thanhnguyen-aws:decseqinvariant
thanhnguyen-aws:decseqinvariant
August 22, 2025 15:44 1h 32m 17s
Add loop invariants and harnesses for DecimalSeq functions Kani #2223: Pull request #439 synchronize by tautschnig
August 22, 2025 10:43 1h 17m 12s thanhnguyen-aws:decseqinvariant
thanhnguyen-aws:decseqinvariant
August 22, 2025 10:43 1h 17m 12s
Add loop invariants and harnesses for DecimalSeq functions Kani #2222: Pull request #439 synchronize by tautschnig
August 22, 2025 10:35 17m 5s thanhnguyen-aws:decseqinvariant
thanhnguyen-aws:decseqinvariant
August 22, 2025 10:35 17m 5s
Add loop invariants and harnesses for DecimalSeq functions Kani #2221: Pull request #439 synchronize by tautschnig
August 22, 2025 08:50 1h 30m 2s thanhnguyen-aws:decseqinvariant
thanhnguyen-aws:decseqinvariant
August 22, 2025 08:50 1h 30m 2s
Add loop invariant and harness for repeat Kani #2220: Pull request #468 synchronize by tautschnig
August 22, 2025 08:44 6h 0m 27s thanhnguyen-aws:repeatinvariant
thanhnguyen-aws:repeatinvariant
August 22, 2025 08:44 6h 0m 27s
Add loop invariants and harnesses for DecimalSeq functions Kani #2219: Pull request #439 synchronize by tautschnig
August 22, 2025 08:22 1h 6m 13s thanhnguyen-aws:decseqinvariant
thanhnguyen-aws:decseqinvariant
August 22, 2025 08:22 1h 6m 13s
Add and update rewards to open challenges lacking one Kani #2218: Pull request #459 synchronize by tautschnig
August 22, 2025 07:58 1h 16m 31s tautschnig:add-rewards
tautschnig:add-rewards
August 22, 2025 07:58 1h 16m 31s
Add loop_invariant and harness for array reverse Kani #2217: Pull request #430 synchronize by tautschnig
August 22, 2025 06:58 1h 33m 7s thanhnguyen-aws:reverseinvariant
thanhnguyen-aws:reverseinvariant
August 22, 2025 06:58 1h 33m 7s
Loop invariants and harnesses for memchr functions Kani #2216: Pull request #429 synchronize by tautschnig
August 22, 2025 06:58 6h 0m 32s thanhnguyen-aws:memchrinvariant
thanhnguyen-aws:memchrinvariant
August 22, 2025 06:58 6h 0m 32s
Add loop invariant and harness for repeat Kani #2215: Pull request #468 synchronize by tautschnig
August 22, 2025 06:56 6h 0m 27s thanhnguyen-aws:repeatinvariant
thanhnguyen-aws:repeatinvariant
August 22, 2025 06:56 6h 0m 27s
Add loop invariants and harnesses for DecimalSeq functions Kani #2214: Pull request #439 synchronize by thanhnguyen-aws
August 21, 2025 21:52 1h 8m 15s thanhnguyen-aws:decseqinvariant
thanhnguyen-aws:decseqinvariant
August 21, 2025 21:52 1h 8m 15s