Skip to content

Actions: vonaka/verify-rust-std

Actions

VeriFast (negative)

Actions

Loading...
Loading

Show workflow options

Create status badge

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