Skip to content

Actions: AlexLB99/verify-rust-std

Actions

VeriFast (negative)

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
verifast-negative.yml
86 workflow runs
86 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Update Kani Metrics (#519) VeriFast (negative) #86: Commit 3b82716 pushed by AlexLB99
28s main
main
28s
Add loop_invariant and harness for array reverse (#430) VeriFast (negative) #85: Commit 3bb48f0 pushed by AlexLB99
26s main
main
26s
Testable Models for SIMD Intrinsics (#423) VeriFast (negative) #84: Commit ffda6a8 pushed by AlexLB99
26s main
main
26s
Merge branch 'main' into complete-transmute VeriFast (negative) #83: Commit d246b99 pushed by thanhnguyen-aws
23s complete-transmute
complete-transmute
23s
Merge branch 'model-checking:main' into complete-transmute VeriFast (negative) #82: Commit 3735522 pushed by AlexLB99
26s complete-transmute
complete-transmute
26s
Add missing line breaks in 0020-str-pattern-pt1.md (#426) VeriFast (negative) #81: Commit 4c08921 pushed by AlexLB99
23s main
main
23s
fixed mismerge VeriFast (negative) #80: Commit 7e8d09c pushed by AlexLB99
3m 17s check_align_to
check_align_to
3m 17s
Merge branch 'model-checking:main' into check_align_to VeriFast (negative) #79: Commit ed67c16 pushed by AlexLB99
24s check_align_to
check_align_to
24s
formatting VeriFast (negative) #78: Commit 68dd9ba pushed by AlexLB99
3m 59s check_align_to
check_align_to
3m 59s
moved align_to_mut_wrapper contract to align_to_mut VeriFast (negative) #77: Commit fc2a863 pushed by AlexLB99
3m 6s check_align_to
check_align_to
3m 6s
Merge branch 'model-checking:main' into check_align_to VeriFast (negative) #76: Commit 31a8d89 pushed by AlexLB99
7m 13s check_align_to
check_align_to
7m 13s
moved contract from align_to_mut_wrapper to align_to_mut VeriFast (negative) #75: Commit 7d0c289 pushed by AlexLB99
18s testing_clean
testing_clean
18s
Run more automatic harnesses (use patterns w/ regex support) (#397) VeriFast (negative) #74: Commit a4edf5f pushed by AlexLB99
20s testing_clean
testing_clean
20s
Merge subtree update for toolchain nightly-2025-07-02 (#407) VeriFast (negative) #73: Commit 45ed9e9 pushed by AlexLB99
23s testing_clean
testing_clean
23s
updated/added comments to slice/mod.rs VeriFast (negative) #72: Commit 9e62272 pushed by AlexLB99
30s check_align_to
check_align_to
30s
align_to and align_to_mut contracts VeriFast (negative) #71: Commit 106a110 pushed by AlexLB99
29s check_align_to
check_align_to
29s
reformatting VeriFast (negative) #70: Commit e795288 pushed by AlexLB99
23s check_align_to
check_align_to
23s
more bug fixes VeriFast (negative) #69: Commit 3fb0c96 pushed by AlexLB99
24s check_align_to
check_align_to
24s
fixed ensures clause unit type edge case VeriFast (negative) #68: Commit aa415ee pushed by AlexLB99
1m 59s check_align_to
check_align_to
1m 59s
Don't run update-subtree.yml in forks (#400) VeriFast (negative) #67: Commit 94c1dc1 pushed by AlexLB99
24s testing_clean
testing_clean
24s
Don't run update-subtree.yml in forks (#400) VeriFast (negative) #66: Commit 94c1dc1 pushed by AlexLB99
25s main
main
25s
moved align_to_mut_wrapper out of trait impl VeriFast (negative) #65: Commit ee50a7a pushed by AlexLB99
23s check_align_to
check_align_to
23s
Merge branch 'model-checking:main' into testing_clean VeriFast (negative) #64: Commit e18a060 pushed by AlexLB99
30s testing_clean
testing_clean
30s
fixed formatting VeriFast (negative) #63: Commit ab94cc1 pushed by AlexLB99
30s testing_clean
testing_clean
30s
reduced slice sizes to avoid object-bits error VeriFast (negative) #62: Commit 8afe8f6 pushed by AlexLB99
21s testing_clean
testing_clean
21s