Skip to content

Actions: btj/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

Filter by Status

Filter by Branch

Filter by Actor

Add a tour of the RawVec proof VeriFast (negative) #41: Commit e9a3227 pushed by btj
August 28, 2025 20:14 35s rawvec-tour
rawvec-tour
August 28, 2025 20:14 35s
Merge branch 'main' into verifast-raw-vec VeriFast (negative) #40: Commit db7f020 pushed by tautschnig
August 19, 2025 12:18 20s verifast-raw-vec
verifast-raw-vec
August 19, 2025 12:18 20s
RawVec proof: insert line breaks for readability VeriFast (negative) #39: Commit 010fa2a pushed by btj
August 15, 2025 20:59 21s verifast-raw-vec
verifast-raw-vec
August 15, 2025 20:59 21s
Merge branch 'main' into verifast-raw-vec VeriFast (negative) #38: Commit 229c478 pushed by btj
August 13, 2025 18:50 27s verifast-raw-vec
verifast-raw-vec
August 13, 2025 18:50 27s
Merge branch 'main' into verifast-linked-list VeriFast (negative) #37: Commit eac968c pushed by btj
August 13, 2025 18:49 24s verifast-linked-list
verifast-linked-list
August 13, 2025 18:49 24s
Bump VeriFast to 25.07 VeriFast (negative) #36: Commit 5fff44f pushed by btj
August 9, 2025 11:12 24s bump-verifast
bump-verifast
August 9, 2025 11:12 24s
Merge branch 'main' into verifast-linked-list VeriFast (negative) #35: Commit b12bb9b pushed by btj
August 9, 2025 11:08 19s verifast-linked-list
verifast-linked-list
August 9, 2025 11:08 19s
Bump VeriFast to 25.07 VeriFast (negative) #34: Commit 7d4ae6d pushed by btj
August 9, 2025 10:55 20s bump-verifast
bump-verifast
August 9, 2025 10:55 20s
Add a README.md describing the proof VeriFast (negative) #33: Commit af88e3a pushed by btj
August 7, 2025 19:11 20s verifast-raw-vec
verifast-raw-vec
August 7, 2025 19:11 20s
README.md: VeriFast soundness includes std specs VeriFast (negative) #32: Commit e9fd0e4 pushed by btj
August 7, 2025 18:15 29s verifast-linked-list
verifast-linked-list
August 7, 2025 18:15 29s
Merge branch 'main' into verifast-raw-vec VeriFast (negative) #31: Commit fa16327 pushed by feliperodri
August 6, 2025 16:02 21s verifast-raw-vec
verifast-raw-vec
August 6, 2025 16:02 21s
Merge branch 'main' into verifast-linked-list VeriFast (negative) #30: Commit b96760a pushed by btj
August 6, 2025 06:44 26s verifast-linked-list
verifast-linked-list
August 6, 2025 06:44 26s
Patch VeriFast proofs VeriFast (negative) #29: Commit feee434 pushed by btj
August 6, 2025 06:41 20s verifast-raw-vec
verifast-raw-vec
August 6, 2025 06:41 20s
Merge branch 'main' into verifast-raw-vec VeriFast (negative) #28: Commit a68ae47 pushed by feliperodri
August 6, 2025 01:58 30s verifast-raw-vec
verifast-raw-vec
August 6, 2025 01:58 30s
VeriFast solution for challenge 19 (RawVec) VeriFast (negative) #27: Commit 54e0fef pushed by btj
July 24, 2025 05:06 23s verifast-raw-vec
verifast-raw-vec
July 24, 2025 05:06 23s
Merge branch 'main' into verifast-linked-list VeriFast (negative) #26: Commit 84296da pushed by btj
July 23, 2025 10:52 29s verifast-linked-list
verifast-linked-list
July 23, 2025 10:52 29s
README.md: Mention target architecture caveat VeriFast (negative) #25: Commit 0bbc27c pushed by btj
July 6, 2025 19:53 19s verifast-linked-list
verifast-linked-list
July 6, 2025 19:53 19s
Merge branch 'main' into verifast-linked-list VeriFast (negative) #24: Commit 31d55fc pushed by btj
July 6, 2025 13:23 23s verifast-linked-list
verifast-linked-list
July 6, 2025 13:23 23s
README: Mention allocator unsoundness VeriFast (negative) #23: Commit 171911b pushed by btj
July 5, 2025 13:15 32s verifast-linked-list
verifast-linked-list
July 5, 2025 13:15 32s
Don't run update-subtree.yml in forks (#400) VeriFast (negative) #22: Commit 94c1dc1 pushed by btj
June 30, 2025 06:43 19s main
main
June 30, 2025 06:43 19s
Add a README giving a tour of the proof VeriFast (negative) #21: Commit f2a3e42 pushed by btj
June 5, 2025 14:15 37s verifast-linked-list
verifast-linked-list
June 5, 2025 14:15 37s
Patch the linked_list.rs proof VeriFast (negative) #20: Commit dee31cd pushed by btj
June 3, 2025 08:26 31s verifast-linked-list
verifast-linked-list
June 3, 2025 08:26 31s
Refinement-checked linked_list.rs proof VeriFast (negative) #19: Commit 10df662 pushed by btj
June 3, 2025 07:59 36s verifast-linked-list
verifast-linked-list
June 3, 2025 07:59 36s
Update Kani Metrics (#376) VeriFast (negative) #18: Commit bacd51c pushed by btj
June 3, 2025 06:43 32s main
main
June 3, 2025 06:43 32s
update-subtree action: patch VeriFast proofs VeriFast (negative) #17: Commit 9171dfb pushed by btj
May 29, 2025 20:20 26s update-subtree-patch-verifast-proofs
update-subtree-patch-verifast-proofs
May 29, 2025 20:20 26s