Skip to content

Actions: thanhnguyen-aws/verify-rust-std

Actions

VeriFast

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
verifast.yml
30 workflow runs
30 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Merge branch 'main' into vecchallenge VeriFast #30: Commit dc48c06 pushed by thanhnguyen-aws
March 7, 2025 16:44 27s vecchallenge
vecchallenge
March 7, 2025 16:44 27s
Merge branch 'main' into strIterchallenges VeriFast #29: Commit cdfd027 pushed by thanhnguyen-aws
March 6, 2025 23:49 20s strIterchallenges
strIterchallenges
March 6, 2025 23:49 20s
Merge branch 'main' into slicechallenges VeriFast #28: Commit 87a1663 pushed by thanhnguyen-aws
March 6, 2025 23:46 22s slicechallenges
slicechallenges
March 6, 2025 23:46 22s
Update Kani Metrics (#263) VeriFast #27: Commit 05d9d56 pushed by thanhnguyen-aws
March 6, 2025 17:40 22s main
main
March 6, 2025 17:40 22s
Merge branch 'main' into morechallenges VeriFast #26: Commit 5a82c7c pushed by thanhnguyen-aws
March 5, 2025 23:03 33s morechallenges
morechallenges
March 5, 2025 23:03 33s
reduce ARR_SIZE write_bytes harness VeriFast #25: Commit d21014a pushed by thanhnguyen-aws
March 4, 2025 23:31 21s refinechallenges
refinechallenges
March 4, 2025 23:31 21s
re-add file VeriFast #24: Commit 0ca03a8 pushed by thanhnguyen-aws
March 4, 2025 22:10 23s refinechallenges
refinechallenges
March 4, 2025 22:10 23s
delete file VeriFast #23: Commit 9c685f4 pushed by thanhnguyen-aws
March 4, 2025 22:01 21s refinechallenges
refinechallenges
March 4, 2025 22:01 21s
update write functions contracts and harnesses VeriFast #22: Commit aa5dd30 pushed by thanhnguyen-aws
March 4, 2025 00:53 30s refinechallenges
refinechallenges
March 4, 2025 00:53 30s
Merge branch 'main' into refinechallenges VeriFast #21: Commit e03cf73 pushed by thanhnguyen-aws
March 3, 2025 20:42 24s refinechallenges
refinechallenges
March 3, 2025 20:42 24s
Merge branch 'main' into fixaupdatebug VeriFast #20: Commit 2bb07fc pushed by thanhnguyen-aws
March 3, 2025 20:38 29s fixaupdatebug
fixaupdatebug
March 3, 2025 20:38 29s
Merge branch 'model-checking:main' into morechallenges VeriFast #19: Commit 7437d1e pushed by thanhnguyen-aws
February 28, 2025 16:08 33s morechallenges
morechallenges
February 28, 2025 16:08 33s
remove check_mut_byte_offset_unit_invalid_count and check_const_byte_… VeriFast #18: Commit 8b05ed7 pushed by thanhnguyen-aws
February 25, 2025 15:53 27s fixproof
fixproof
February 25, 2025 15:53 27s
fix const_ptr mut_ptr byte_add contracts VeriFast #17: Commit 172978a pushed by thanhnguyen-aws
February 25, 2025 02:02 1m 14s fixproof
fixproof
February 25, 2025 02:02 1m 14s
restore submoduleMerge branch 'no-assert-contracts' of https://github… VeriFast #16: Commit 542f60f pushed by thanhnguyen-aws
February 25, 2025 01:45 34s fixproof
fixproof
February 25, 2025 01:45 34s
fix typos VeriFast #15: Commit 5be082f pushed by thanhnguyen-aws
February 25, 2025 01:37 28s fixproof
fixproof
February 25, 2025 01:37 28s
fix NonNull as_uninit_slice_mut VeriFast #14: Commit c36dec5 pushed by thanhnguyen-aws
February 25, 2025 01:28 28s fixproof
fixproof
February 25, 2025 01:28 28s
fix NonNull byte_add contract VeriFast #13: Commit 67c0143 pushed by thanhnguyen-aws
February 25, 2025 00:52 23s fixproof
fixproof
February 25, 2025 00:52 23s
fix check_const_add_unit check_mut_add_unit VeriFast #12: Commit 002f8a7 pushed by thanhnguyen-aws
February 25, 2025 00:47 28s fixproof
fixproof
February 25, 2025 00:47 28s
Bump toolchain & version to 2/11 VeriFast #11: Commit d85a058 pushed by thanhnguyen-aws
February 25, 2025 00:09 23s testCI
testCI
February 25, 2025 00:09 23s
Test CI VeriFast #10: Pull request #7 synchronize by thanhnguyen-aws
February 24, 2025 22:25 52m 24s tempbranch
tempbranch
February 24, 2025 22:25 52m 24s
Merge branch 'no-assert-contracts' of https://github.com/carolynzech/… VeriFast #9: Commit 69515ac pushed by thanhnguyen-aws
February 24, 2025 22:24 43m 59s testCI
testCI
February 24, 2025 22:24 43m 59s
Test CI VeriFast #8: Pull request #7 synchronize by thanhnguyen-aws
February 24, 2025 22:19 47m 20s tempbranch
tempbranch
February 24, 2025 22:19 47m 20s
update stdarch VeriFast #7: Commit 010b6a5 pushed by thanhnguyen-aws
February 24, 2025 22:19 27m 36s tempbranch
tempbranch
February 24, 2025 22:19 27m 36s
Test CI VeriFast #6: Pull request #7 synchronize by thanhnguyen-aws
February 24, 2025 22:15 18m 15s tempbranch
tempbranch
February 24, 2025 22:15 18m 15s