Skip to content

Actions: model-checking/verify-rust-std

Actions

Run GOTO Transcoder (ESBMC)

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
goto-transcoder.yml
962 workflow runs
962 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Testable Models for SIMD Intrinsics Run GOTO Transcoder (ESBMC) #962: Pull request #423 synchronize by karthikbhargavan
September 2, 2025 09:36 4m 6s cryspen:main
cryspen:main
September 2, 2025 09:36 4m 6s
Show contest status in repo README Run GOTO Transcoder (ESBMC) #961: Pull request #482 opened by btj
August 28, 2025 21:53 15m 45s btj:challenges-in-readme
btj:challenges-in-readme
August 28, 2025 21:53 15m 45s
Add a tour of the RawVec proof Run GOTO Transcoder (ESBMC) #960: Pull request #481 opened by btj
August 28, 2025 20:16 14m 25s btj:rawvec-tour
btj:rawvec-tour
August 28, 2025 20:16 14m 25s
Challenge 1 status update Run GOTO Transcoder (ESBMC) #959: Pull request #433 synchronize by AlexLB99
August 26, 2025 19:04 16m 41s AlexLB99:complete-transmute
AlexLB99:complete-transmute
August 26, 2025 19:04 16m 41s
Challenge 1 status update Run GOTO Transcoder (ESBMC) #958: Pull request #433 synchronize by AlexLB99
August 26, 2025 19:00 16m 41s AlexLB99:complete-transmute
AlexLB99:complete-transmute
August 26, 2025 19:00 16m 41s
Add loop invariants and harnesses for some ascii functions Run GOTO Transcoder (ESBMC) #957: Pull request #452 synchronize by thanhnguyen-aws
August 26, 2025 18:28 18m 46s thanhnguyen-aws:asciiinvariant
thanhnguyen-aws:asciiinvariant
August 26, 2025 18:28 18m 46s
Run GOTO Transcoder (ESBMC) Run GOTO Transcoder (ESBMC) #956: Merge group checks requested
August 25, 2025 18:02 16m 43s
August 25, 2025 18:02 16m 43s
Update Kani Metrics Run GOTO Transcoder (ESBMC) #955: Pull request #478 reopened by tautschnig
August 25, 2025 16:49 17m 37s update-kani-metrics
update-kani-metrics
August 25, 2025 16:49 17m 37s
Add loop invariants and harnesses for DecimalSeq functions Run GOTO Transcoder (ESBMC) #954: Pull request #439 synchronize by tautschnig
August 25, 2025 15:47 14m 32s thanhnguyen-aws:decseqinvariant
thanhnguyen-aws:decseqinvariant
August 25, 2025 15:47 14m 32s
Add loop invariants and harnesses for some ascii functions Run GOTO Transcoder (ESBMC) #953: Pull request #452 synchronize by thanhnguyen-aws
August 22, 2025 17:24 15m 35s thanhnguyen-aws:asciiinvariant
thanhnguyen-aws:asciiinvariant
August 22, 2025 17:24 15m 35s
Add loop invariants and harnesses for some ascii functions Run GOTO Transcoder (ESBMC) #952: Pull request #452 synchronize by thanhnguyen-aws
August 22, 2025 17:13 5m 35s thanhnguyen-aws:asciiinvariant
thanhnguyen-aws:asciiinvariant
August 22, 2025 17:13 5m 35s
Add Flux specifications to path/bstr/hash/time Run GOTO Transcoder (ESBMC) #951: Pull request #438 synchronize by nilehmann
August 22, 2025 16:16 14m 49s flux-rs:verify-time-rs
flux-rs:verify-time-rs
August 22, 2025 16:16 14m 49s
Add loop invariants and harnesses for some ascii functions Run GOTO Transcoder (ESBMC) #950: Pull request #452 synchronize by thanhnguyen-aws
August 22, 2025 16:06 16m 5s thanhnguyen-aws:asciiinvariant
thanhnguyen-aws:asciiinvariant
August 22, 2025 16:06 16m 5s
Add loop invariants and harnesses for DecimalSeq functions Run GOTO Transcoder (ESBMC) #949: Pull request #439 synchronize by thanhnguyen-aws
August 22, 2025 15:44 15m 17s thanhnguyen-aws:decseqinvariant
thanhnguyen-aws:decseqinvariant
August 22, 2025 15:44 15m 17s
Add loop invariants and harnesses for DecimalSeq functions Run GOTO Transcoder (ESBMC) #948: Pull request #439 synchronize by tautschnig
August 22, 2025 10:43 15m 26s thanhnguyen-aws:decseqinvariant
thanhnguyen-aws:decseqinvariant
August 22, 2025 10:43 15m 26s
Add loop invariants and harnesses for DecimalSeq functions Run GOTO Transcoder (ESBMC) #947: Pull request #439 synchronize by tautschnig
August 22, 2025 10:35 6m 12s thanhnguyen-aws:decseqinvariant
thanhnguyen-aws:decseqinvariant
August 22, 2025 10:35 6m 12s
Add loop invariants and harnesses for DecimalSeq functions Run GOTO Transcoder (ESBMC) #946: Pull request #439 synchronize by tautschnig
August 22, 2025 08:50 14m 50s thanhnguyen-aws:decseqinvariant
thanhnguyen-aws:decseqinvariant
August 22, 2025 08:50 14m 50s
Add loop invariant and harness for repeat Run GOTO Transcoder (ESBMC) #945: Pull request #468 synchronize by tautschnig
August 22, 2025 08:44 16m 46s thanhnguyen-aws:repeatinvariant
thanhnguyen-aws:repeatinvariant
August 22, 2025 08:44 16m 46s
Add loop invariants and harnesses for DecimalSeq functions Run GOTO Transcoder (ESBMC) #944: Pull request #439 synchronize by tautschnig
August 22, 2025 08:22 15m 47s thanhnguyen-aws:decseqinvariant
thanhnguyen-aws:decseqinvariant
August 22, 2025 08:22 15m 47s
Add and update rewards to open challenges lacking one Run GOTO Transcoder (ESBMC) #943: Pull request #459 synchronize by tautschnig
August 22, 2025 07:58 15m 59s tautschnig:add-rewards
tautschnig:add-rewards
August 22, 2025 07:58 15m 59s
Add loop_invariant and harness for array reverse Run GOTO Transcoder (ESBMC) #942: Pull request #430 synchronize by tautschnig
August 22, 2025 06:58 15m 38s thanhnguyen-aws:reverseinvariant
thanhnguyen-aws:reverseinvariant
August 22, 2025 06:58 15m 38s
Loop invariants and harnesses for memchr functions Run GOTO Transcoder (ESBMC) #941: Pull request #429 synchronize by tautschnig
August 22, 2025 06:58 16m 20s thanhnguyen-aws:memchrinvariant
thanhnguyen-aws:memchrinvariant
August 22, 2025 06:58 16m 20s
Add loop invariant and harness for repeat Run GOTO Transcoder (ESBMC) #940: Pull request #468 synchronize by tautschnig
August 22, 2025 06:56 17m 40s thanhnguyen-aws:repeatinvariant
thanhnguyen-aws:repeatinvariant
August 22, 2025 06:56 17m 40s
Add loop invariants and harnesses for DecimalSeq functions Run GOTO Transcoder (ESBMC) #939: Pull request #439 synchronize by thanhnguyen-aws
August 21, 2025 21:52 16m 26s thanhnguyen-aws:decseqinvariant
thanhnguyen-aws:decseqinvariant
August 21, 2025 21:52 16m 26s
Add loop invariants and harnesses for DecimalSeq functions Run GOTO Transcoder (ESBMC) #938: Pull request #439 synchronize by thanhnguyen-aws
August 21, 2025 20:56 14m 58s thanhnguyen-aws:decseqinvariant
thanhnguyen-aws:decseqinvariant
August 21, 2025 20:56 14m 58s