Skip to content

Actions: btj/verify-rust-std

Actions

Kani

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
kani.yml
24 workflow runs
24 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Add a tour of the RawVec proof Kani #24: Commit e9a3227 pushed by btj
August 28, 2025 20:14 1h 13m 44s rawvec-tour
rawvec-tour
August 28, 2025 20:14 1h 13m 44s
Merge branch 'main' into verifast-raw-vec Kani #23: Commit db7f020 pushed by tautschnig
August 19, 2025 12:18 1h 10m 39s verifast-raw-vec
verifast-raw-vec
August 19, 2025 12:18 1h 10m 39s
Merge branch 'main' into verifast-raw-vec Kani #22: Commit 229c478 pushed by btj
August 13, 2025 18:50 1h 42m 54s verifast-raw-vec
verifast-raw-vec
August 13, 2025 18:50 1h 42m 54s
Merge branch 'main' into verifast-linked-list Kani #21: Commit eac968c pushed by btj
August 13, 2025 18:49 1h 13m 34s verifast-linked-list
verifast-linked-list
August 13, 2025 18:49 1h 13m 34s
Merge branch 'main' into verifast-linked-list Kani #20: Commit b12bb9b pushed by btj
August 9, 2025 11:08 1h 41m 38s verifast-linked-list
verifast-linked-list
August 9, 2025 11:08 1h 41m 38s
Bump VeriFast to 25.07 Kani #19: Commit 7d4ae6d pushed by btj
August 9, 2025 10:55 1h 7m 33s bump-verifast
bump-verifast
August 9, 2025 10:55 1h 7m 33s
Merge branch 'main' into verifast-raw-vec Kani #18: Commit fa16327 pushed by feliperodri
August 6, 2025 16:02 1h 14m 9s verifast-raw-vec
verifast-raw-vec
August 6, 2025 16:02 1h 14m 9s
Merge branch 'main' into verifast-linked-list Kani #17: Commit b96760a pushed by btj
August 6, 2025 06:44 1h 8m 38s verifast-linked-list
verifast-linked-list
August 6, 2025 06:44 1h 8m 38s
Merge branch 'main' into verifast-raw-vec Kani #16: Commit a68ae47 pushed by feliperodri
August 6, 2025 01:58 1h 6m 48s verifast-raw-vec
verifast-raw-vec
August 6, 2025 01:58 1h 6m 48s
VeriFast solution for challenge 19 (RawVec) Kani #15: Commit 54e0fef pushed by btj
July 24, 2025 05:06 1h 1m 20s verifast-raw-vec
verifast-raw-vec
July 24, 2025 05:06 1h 1m 20s
Merge branch 'main' into verifast-linked-list Kani #14: Commit 84296da pushed by btj
July 23, 2025 10:52 1h 5m 36s verifast-linked-list
verifast-linked-list
July 23, 2025 10:52 1h 5m 36s
Merge branch 'main' into verifast-linked-list Kani #13: Commit 31d55fc pushed by btj
July 6, 2025 13:23 1h 23m 49s verifast-linked-list
verifast-linked-list
July 6, 2025 13:23 1h 23m 49s
Don't run update-subtree.yml in forks (#400) Kani #12: Commit 94c1dc1 pushed by btj
June 30, 2025 06:43 1h 20m 33s main
main
June 30, 2025 06:43 1h 20m 33s
Refinement-checked linked_list.rs proof Kani #11: Commit 10df662 pushed by btj
June 3, 2025 07:59 1h 50m 57s verifast-linked-list
verifast-linked-list
June 3, 2025 07:59 1h 50m 57s
Update Kani Metrics (#376) Kani #10: Commit bacd51c pushed by btj
June 3, 2025 06:43 2h 15m 11s main
main
June 3, 2025 06:43 2h 15m 11s
Merge subtree update for toolchain nightly-2025-05-22 (#364) Kani #9: Commit b4f59e8 pushed by btj
May 29, 2025 19:58 1h 29m 23s main
main
May 29, 2025 19:58 1h 29m 23s
Fix typo in comment ('contact' -> 'contract') (#352) Kani #8: Commit e0e6e83 pushed by btj
May 10, 2025 19:40 3h 42m 35s main
main
May 10, 2025 19:40 3h 42m 35s
Add Challenges 17 18 for slices (#265) Kani #7: Commit d2b6a64 pushed by btj
April 3, 2025 20:20 1h 54m 16s main
main
April 3, 2025 20:20 1h 54m 16s
Patch VeriFast proofs Kani #6: Commit a92a295 pushed by btj
April 3, 2025 15:30 1h 58m 2s patch-verifast-proofs
patch-verifast-proofs
April 3, 2025 15:30 1h 58m 2s
VeriFast docs: rename fn to reverse_in_place Kani #5: Commit 0f5042e pushed by btj
February 12, 2025 07:53 47m 5s verifast-tool
verifast-tool
February 12, 2025 07:53 47m 5s
Add proof of LinkedList::unlink_node Kani #4: Commit 7fb4275 pushed by btj
February 11, 2025 12:18 1h 20m 26s verifast-tool
verifast-tool
February 11, 2025 12:18 1h 20m 26s
Update Kani Metrics (#245) Kani #3: Commit e2146fa pushed by btj
February 11, 2025 12:15 45m 33s main
main
February 11, 2025 12:15 45m 33s
Fix a sloppy sentence in the VeriFast chapter Kani #2: Commit 2abfa2e pushed by btj
February 1, 2025 08:45 1h 4m 35s verifast-linked-list
verifast-linked-list
February 1, 2025 08:45 1h 4m 35s
Fix a sloppy sentence in the VeriFast chapter Kani #1: Commit 4d7a0ff pushed by btj
February 1, 2025 08:42 41m 6s verifast-tool
verifast-tool
February 1, 2025 08:42 41m 6s