Skip to content

Actions: vonaka/verify-rust-std

Actions

Kani

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
kani.yml
40 workflow runs
40 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
Merge branch 'main' into llm_contracts_ty_invariants Kani #40: Commit 026b849 pushed by feliperodri
1h 43m 37s llm_contracts_ty_invariants
llm_contracts_ty_invariants
1h 43m 37s
Undo formatting of portable-simd. Kani #39: Commit 4d704a2 pushed by vonaka
1h 9m 40s llm_08_22
llm_08_22
1h 9m 40s
Fix from_boxed_utf8 proof Kani #38: Commit 52176d3 pushed by vonaka
42m 50s llm_08_22
llm_08_22
42m 50s
Fix imports Kani #37: Commit be59263 pushed by vonaka
1h 54m 6s llm_08_22
llm_08_22
1h 54m 6s
Merge branch 'model-checking:main' into llm_08_22 Kani #36: Commit 839cf59 pushed by vonaka
2h 44m 51s llm_08_22
llm_08_22
2h 44m 51s
Update Kani Metrics (#478) Kani #35: Commit 8de7d8f pushed by vonaka
2h 49m 8s main
main
2h 49m 8s
Fix imports Kani #34: Commit 3704250 pushed by vonaka
1h 18m 17s llm_08_22
llm_08_22
1h 18m 17s
More LLM-generated pre-condition Kani #33: Commit bed0eeb pushed by vonaka
1h 11m 52s llm_08_22
llm_08_22
1h 11m 52s
VeriFast solution for Challenge 5 (linked_list.rs) (#238) Kani #32: Commit 1231f86 pushed by vonaka
2h 32m 53s main
main
2h 32m 53s
Merge branch 'model-checking:main' into llm_contracts_ty_invariants Kani #31: Commit 58ff655 pushed by vonaka
1h 42m 41s llm_contracts_ty_invariants
llm_contracts_ty_invariants
1h 42m 41s
Update library/alloctests/tests/sort/known_good_stable_sort.rs Kani #30: Commit 18a102c pushed by tautschnig
1h 54m 26s llm_contracts_ty_invariants
llm_contracts_ty_invariants
1h 54m 26s
Update library/core/src/fmt/rt.rs Kani #29: Commit 81301b0 pushed by tautschnig
1h 41m 49s llm_contracts_ty_invariants
llm_contracts_ty_invariants
1h 41m 49s
Fix imports Kani #28: Commit 751d1a7 pushed by vonaka
2h 15m 21s llm_contracts_ty_invariants
llm_contracts_ty_invariants
2h 15m 21s
Merge branch 'llm_contracts_ty_invariants' of github.com:vonaka/verif… Kani #27: Commit 1cf8201 pushed by vonaka
1h 40m 11s llm_contracts_ty_invariants
llm_contracts_ty_invariants
1h 40m 11s
Merge branch 'model-checking:main' into llm_contracts_ty_invariants Kani #26: Commit 00f3bc8 pushed by vonaka
3h 36m 58s llm_contracts_ty_invariants
llm_contracts_ty_invariants
3h 36m 58s
Merge subtree update for toolchain nightly-2025-08-18 (#467) Kani #25: Commit c090506 pushed by vonaka
1h 29m 17s main
main
1h 29m 17s
Fix imports Kani #24: Commit 9346adc pushed by vonaka
9m 6s llm_contracts_ty_invariants
llm_contracts_ty_invariants
9m 6s
Fix imports Kani #23: Commit 1b72505 pushed by vonaka
10m 20s llm_contracts_ty_invariants
llm_contracts_ty_invariants
10m 20s
LLM-generated contracts + type invariants Kani #22: Commit 78910a4 pushed by vonaka
10m 54s llm_contracts_ty_invariants
llm_contracts_ty_invariants
10m 54s
Add Flux to list of approved tools (#455) Kani #21: Commit 80da01f pushed by vonaka
1h 12m 57s main
main
1h 12m 57s
Stability attribute Kani #20: Commit 1242e65 pushed by tautschnig
1h 38m 8s llm_contracts_fail
llm_contracts_fail
1h 38m 8s
Fix syntax Kani #19: Commit 9ef3aa9 pushed by tautschnig
24m 13s llm_contracts_fail
llm_contracts_fail
24m 13s
Update library/core/src/hint.rs Kani #18: Commit f8afdfe pushed by tautschnig
24m 52s llm_contracts_fail
llm_contracts_fail
24m 52s
Update library/core/src/iter/adapters/step_by.rs Kani #17: Commit 583e475 pushed by tautschnig
17m 51s llm_contracts_fail
llm_contracts_fail
17m 51s
Add type invariant Kani #16: Commit d41de3f pushed by tautschnig
9m 41s llm_contracts_fail
llm_contracts_fail
9m 41s