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
401 workflow runs
401 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Update Kani Metrics Run GOTO Transcoder (ESBMC) #351: Pull request #333 reopened by tautschnig
April 22, 2025 10:42 17m 47s update-kani-metrics
update-kani-metrics
April 22, 2025 10:42 17m 47s
Add safety preconditions to std/src/alloc.rs Run GOTO Transcoder (ESBMC) #350: Pull request #330 synchronize by tautschnig
April 18, 2025 18:39 16m 43s tautschnig:alloc-rs-contracts
tautschnig:alloc-rs-contracts
April 18, 2025 18:39 16m 43s
Implement kani::Arbitrary for Wrapping, Saturating, and Simd types Run GOTO Transcoder (ESBMC) #349: Pull request #328 synchronize by carolynzech
April 18, 2025 16:23 18m 5s carolynzech:wrapping-saturating-derive
carolynzech:wrapping-saturating-derive
April 18, 2025 16:23 18m 5s
Add kmir tool description and CI workflow Run GOTO Transcoder (ESBMC) #348: Pull request #310 synchronize by gregorymakodzeba
April 18, 2025 15:53 17m 45s runtimeverification:add-kmir-tool
runtimeverification:add-kmir-tool
April 18, 2025 15:53 17m 45s
Implement kani::Arbitrary for Wrapping, Saturating, and Simd types Run GOTO Transcoder (ESBMC) #347: Pull request #328 synchronize by carolynzech
April 18, 2025 15:31 17m 19s carolynzech:wrapping-saturating-derive
carolynzech:wrapping-saturating-derive
April 18, 2025 15:31 17m 19s
Implement kani::Arbitrary for Wrapping, Saturating, and Simd types Run GOTO Transcoder (ESBMC) #346: Pull request #328 synchronize by carolynzech
April 18, 2025 15:28 17m 23s carolynzech:wrapping-saturating-derive
carolynzech:wrapping-saturating-derive
April 18, 2025 15:28 17m 23s
Implement kani::Arbitrary for Wrapping, Saturating, and Simd types Run GOTO Transcoder (ESBMC) #345: Pull request #328 synchronize by carolynzech
April 18, 2025 15:27 4m 7s carolynzech:wrapping-saturating-derive
carolynzech:wrapping-saturating-derive
April 18, 2025 15:27 4m 7s
Merge subtree update for toolchain nightly-2025-04-07 Run GOTO Transcoder (ESBMC) #344: Pull request #329 reopened by tautschnig
April 18, 2025 15:24 18m 2s sync-2025-04-07
sync-2025-04-07
April 18, 2025 15:24 18m 2s
Add safety preconditions to core/src/iter/range.rs Run GOTO Transcoder (ESBMC) #343: Pull request #331 synchronize by tautschnig
April 18, 2025 14:58 16m 43s tautschnig:iter-range-rs-contracts
tautschnig:iter-range-rs-contracts
April 18, 2025 14:58 16m 43s
Add safety preconditions to std/src/alloc.rs Run GOTO Transcoder (ESBMC) #342: Pull request #330 synchronize by tautschnig
April 18, 2025 14:57 17m 13s tautschnig:alloc-rs-contracts
tautschnig:alloc-rs-contracts
April 18, 2025 14:57 17m 13s
Add safety preconditions to core/src/iter/range.rs Run GOTO Transcoder (ESBMC) #341: Pull request #331 opened by tautschnig
April 18, 2025 14:51 17m 0s tautschnig:iter-range-rs-contracts
tautschnig:iter-range-rs-contracts
April 18, 2025 14:51 17m 0s
Add safety preconditions to std/src/alloc.rs Run GOTO Transcoder (ESBMC) #340: Pull request #330 opened by tautschnig
April 18, 2025 14:51 17m 24s tautschnig:alloc-rs-contracts
tautschnig:alloc-rs-contracts
April 18, 2025 14:51 17m 24s
Implement kani::Arbitrary for Wrapping, Saturating, and Simd types Run GOTO Transcoder (ESBMC) #339: Pull request #328 opened by carolynzech
April 17, 2025 20:34 4m 0s carolynzech:wrapping-saturating-derive
carolynzech:wrapping-saturating-derive
April 17, 2025 20:34 4m 0s
Add loop_invariants for some Int power functions Run GOTO Transcoder (ESBMC) #338: Pull request #327 synchronize by thanhnguyen-aws
April 17, 2025 18:44 4m 40s thanhnguyen-aws:addvariant
thanhnguyen-aws:addvariant
April 17, 2025 18:44 4m 40s
Run GOTO Transcoder (ESBMC) Run GOTO Transcoder (ESBMC) #337: Merge group checks requested
April 17, 2025 15:03 16m 41s
April 17, 2025 15:03 16m 41s
Run GOTO Transcoder (ESBMC) Run GOTO Transcoder (ESBMC) #336: Merge group checks requested
April 17, 2025 15:03 16m 21s
April 17, 2025 15:03 16m 21s
Run GOTO Transcoder (ESBMC) Run GOTO Transcoder (ESBMC) #335: Merge group checks requested
April 17, 2025 15:03 16m 11s
April 17, 2025 15:03 16m 11s
Add loop_invariants for some Int power functions Run GOTO Transcoder (ESBMC) #334: Pull request #327 synchronize by thanhnguyen-aws
April 16, 2025 14:55 4m 0s thanhnguyen-aws:addvariant
thanhnguyen-aws:addvariant
April 16, 2025 14:55 4m 0s
Add loop_invariants for some Int power functions Run GOTO Transcoder (ESBMC) #333: Pull request #327 synchronize by thanhnguyen-aws
April 15, 2025 20:46 3m 52s thanhnguyen-aws:addvariant
thanhnguyen-aws:addvariant
April 15, 2025 20:46 3m 52s
Subtree update automation: create merge PR even when subtree/library is up-to-date Run GOTO Transcoder (ESBMC) #332: Pull request #326 synchronize by tautschnig
April 15, 2025 20:36 17m 4s tautschnig:disentable-update-logic
tautschnig:disentable-update-logic
April 15, 2025 20:36 17m 4s
Add loop_invariants for some Int power functions Run GOTO Transcoder (ESBMC) #331: Pull request #327 opened by thanhnguyen-aws
April 15, 2025 20:06 4m 9s thanhnguyen-aws:addvariant
thanhnguyen-aws:addvariant
April 15, 2025 20:06 4m 9s
Subtree update automation: create merge PR even when subtree/library is up-to-date Run GOTO Transcoder (ESBMC) #330: Pull request #326 opened by tautschnig
April 15, 2025 12:22 17m 12s tautschnig:disentable-update-logic
tautschnig:disentable-update-logic
April 15, 2025 12:22 17m 12s
Add kmir tool description and CI workflow Run GOTO Transcoder (ESBMC) #329: Pull request #310 synchronize by jberthold
April 15, 2025 05:51 16m 37s runtimeverification:add-kmir-tool
runtimeverification:add-kmir-tool
April 15, 2025 05:51 16m 37s
Add kmir tool description and CI workflow Run GOTO Transcoder (ESBMC) #328: Pull request #310 synchronize by jberthold
April 15, 2025 05:51 18m 17s runtimeverification:add-kmir-tool
runtimeverification:add-kmir-tool
April 15, 2025 05:51 18m 17s
Merge subtree update for toolchain nightly-2025-04-06 (#320) Run GOTO Transcoder (ESBMC) #327: Commit 0d860d0 pushed by github-merge-queue bot
April 14, 2025 15:54 17m 12s main
main
April 14, 2025 15:54 17m 12s