Skip to content

Actions: diffblue/cbmc

Actions

Build and Test the Rust API

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
pull-request-check-rust-api.yaml
1,025 workflow runs
1,025 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

unwindsett: goto_model is only needed for options processing Build and Test the Rust API #3946: Pull request #8643 synchronize by tautschnig
June 25, 2025 07:31 2m 13s tautschnig:unwindsett-constructor
tautschnig:unwindsett-constructor
June 25, 2025 07:31 2m 13s
Merge pull request #8645 from tautschnig/move-unwindsett Build and Test the Rust API #3945: Commit 7a6e2f7 pushed by kroening
June 25, 2025 04:08 1m 59s develop
develop
June 25, 2025 04:08 1m 59s
Add aarch64 (Arm 64-bit) CI job Build and Test the Rust API #3944: Pull request #8572 synchronize by tautschnig
June 24, 2025 15:01 27m 45s tautschnig:arm-ci
tautschnig:arm-ci
June 24, 2025 15:01 27m 45s
Merge pull request #8659 from tautschnig/goto-analyzer-typecast Build and Test the Rust API #3943: Commit 4e21449 pushed by tautschnig
June 24, 2025 15:01 2m 19s develop
develop
June 24, 2025 15:01 2m 19s
Simplify multiple-of-element size access to arrays Build and Test the Rust API #3942: Pull request #8627 synchronize by tautschnig
June 24, 2025 14:13 13m 22s tautschnig:simp_mult_offset
tautschnig:simp_mult_offset
June 24, 2025 14:13 13m 22s
Add aarch64 (Arm 64-bit) CI job Build and Test the Rust API #3941: Pull request #8572 synchronize by tautschnig
June 24, 2025 14:09 9m 59s tautschnig:arm-ci
tautschnig:arm-ci
June 24, 2025 14:09 9m 59s
Simplify multiple-of-element size access to arrays Build and Test the Rust API #3940: Pull request #8627 synchronize by tautschnig
June 24, 2025 13:20 25m 48s tautschnig:simp_mult_offset
tautschnig:simp_mult_offset
June 24, 2025 13:20 25m 48s
Add aarch64 (Arm 64-bit) CI job Build and Test the Rust API #3939: Pull request #8572 synchronize by tautschnig
June 24, 2025 13:16 3m 7s tautschnig:arm-ci
tautschnig:arm-ci
June 24, 2025 13:16 3m 7s
Merge pull request #8647 from tautschnig/value-set-offset Build and Test the Rust API #3938: Commit 0beaf25 pushed by tautschnig
June 24, 2025 12:49 2m 35s develop
develop
June 24, 2025 12:49 2m 35s
Add aarch64 (Arm 64-bit) CI job Build and Test the Rust API #3937: Pull request #8572 synchronize by tautschnig
June 24, 2025 12:46 1m 27s tautschnig:arm-ci
tautschnig:arm-ci
June 24, 2025 12:46 1m 27s
Add aarch64 (Arm 64-bit) CI job Build and Test the Rust API #3936: Pull request #8572 synchronize by tautschnig
June 24, 2025 12:17 1m 46s tautschnig:arm-ci
tautschnig:arm-ci
June 24, 2025 12:17 1m 46s
Value set: lift offset from numeric constants to expressions Build and Test the Rust API #3935: Pull request #8647 synchronize by tautschnig
June 24, 2025 11:23 1m 53s tautschnig:value-set-offset
tautschnig:value-set-offset
June 24, 2025 11:23 1m 53s
Value set: lift offset from numeric constants to expressions Build and Test the Rust API #3934: Pull request #8647 synchronize by tautschnig
June 20, 2025 22:13 5m 35s tautschnig:value-set-offset
tautschnig:value-set-offset
June 20, 2025 22:13 5m 35s
Merge pull request #8642 from tautschnig/simp-value-set Build and Test the Rust API #3933: Commit eef9677 pushed by tautschnig
June 20, 2025 22:12 3m 26s develop
develop
June 20, 2025 22:12 3m 26s
goto-analyzer: support typecasts as left-hand sides Build and Test the Rust API #3932: Pull request #8659 synchronize by tautschnig
June 20, 2025 21:32 1m 56s tautschnig:goto-analyzer-typecast
tautschnig:goto-analyzer-typecast
June 20, 2025 21:32 1m 56s
Merge pull request #8657 from tautschnig/fixup-linker-script-merge Build and Test the Rust API #3931: Commit 0bb2d02 pushed by tautschnig
June 20, 2025 21:06 18m 54s develop
develop
June 20, 2025 21:06 18m 54s
Merge pull request #8658 from tautschnig/no-m64 Build and Test the Rust API #3930: Commit 7e1a97a pushed by tautschnig
June 20, 2025 20:49 1m 22s develop
develop
June 20, 2025 20:49 1m 22s
Merge pull request #8584 from tautschnig/signed-read Build and Test the Rust API #3929: Commit 8e49f91 pushed by tautschnig
June 20, 2025 20:02 4m 18s develop
develop
June 20, 2025 20:02 4m 18s
Introduce value-set supported simplifier for goto-symex Build and Test the Rust API #3928: Pull request #8642 synchronize by tautschnig
June 20, 2025 19:58 2m 41s tautschnig:simp-value-set
tautschnig:simp-value-set
June 20, 2025 19:58 2m 41s
Avoid need for preprocessor calls with -m64 Build and Test the Rust API #3927: Pull request #8658 synchronize by tautschnig
June 20, 2025 19:45 2m 8s tautschnig:no-m64
tautschnig:no-m64
June 20, 2025 19:45 2m 8s
fixup! fix exprt::opX accesses in linker_script_merge Build and Test the Rust API #3926: Pull request #8657 synchronize by tautschnig
June 20, 2025 19:45 1m 42s tautschnig:fixup-linker-script-merge
tautschnig:fixup-linker-script-merge
June 20, 2025 19:45 1m 42s
Merge pull request #8660 from tautschnig/use-vs-2025 Build and Test the Rust API #3925: Commit c9653bd pushed by kroening
June 19, 2025 08:46 12m 3s develop
develop
June 19, 2025 08:46 12m 3s
Fix loop assign clause for Kani Build and Test the Rust API #3924: Pull request #8661 opened by thanhnguyen-aws
June 18, 2025 15:21 12m 12s thanhnguyen-aws:fixloopassign
thanhnguyen-aws:fixloopassign
June 18, 2025 15:21 12m 12s
CI: use Visual Studio 2025 runners instead of 2019 Build and Test the Rust API #3923: Pull request #8660 opened by tautschnig
June 17, 2025 14:57 45m 54s tautschnig:use-vs-2025
tautschnig:use-vs-2025
June 17, 2025 14:57 45m 54s
goto-analyzer: support typecasts as left-hand sides Build and Test the Rust API #3922: Pull request #8659 opened by tautschnig
June 17, 2025 13:44 1h 42m 12s tautschnig:goto-analyzer-typecast
tautschnig:goto-analyzer-typecast
June 17, 2025 13:44 1h 42m 12s