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

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

C library: Refine and improve stdio models Build and Test the Rust API #3949: Pull request #8043 synchronize by tautschnig
2h 40m 18s tautschnig:bugfixes/stdio
tautschnig:bugfixes/stdio
2h 40m 18s
Make goto_symext::language_mode protected Build and Test the Rust API #3948: Pull request #8646 synchronize by tautschnig
2h 51m 0s tautschnig:language_mode-protected
tautschnig:language_mode-protected
2h 51m 0s
Add aarch64 (Arm 64-bit) CI job Build and Test the Rust API #3947: Pull request #8572 synchronize by tautschnig
1m 51s tautschnig:arm-ci
tautschnig:arm-ci
1m 51s
unwindsett: goto_model is only needed for options processing Build and Test the Rust API #3946: Pull request #8643 synchronize by tautschnig
2m 13s tautschnig:unwindsett-constructor
tautschnig:unwindsett-constructor
2m 13s
Merge pull request #8645 from tautschnig/move-unwindsett Build and Test the Rust API #3945: Commit 7a6e2f7 pushed by kroening
1m 59s develop
develop
1m 59s
Add aarch64 (Arm 64-bit) CI job Build and Test the Rust API #3944: Pull request #8572 synchronize by tautschnig
27m 45s tautschnig:arm-ci
tautschnig:arm-ci
27m 45s
Merge pull request #8659 from tautschnig/goto-analyzer-typecast Build and Test the Rust API #3943: Commit 4e21449 pushed by tautschnig
2m 19s develop
develop
2m 19s
Simplify multiple-of-element size access to arrays Build and Test the Rust API #3942: Pull request #8627 synchronize by tautschnig
13m 22s tautschnig:simp_mult_offset
tautschnig:simp_mult_offset
13m 22s
Add aarch64 (Arm 64-bit) CI job Build and Test the Rust API #3941: Pull request #8572 synchronize by tautschnig
9m 59s tautschnig:arm-ci
tautschnig:arm-ci
9m 59s
Simplify multiple-of-element size access to arrays Build and Test the Rust API #3940: Pull request #8627 synchronize by tautschnig
25m 48s tautschnig:simp_mult_offset
tautschnig:simp_mult_offset
25m 48s
Add aarch64 (Arm 64-bit) CI job Build and Test the Rust API #3939: Pull request #8572 synchronize by tautschnig
3m 7s tautschnig:arm-ci
tautschnig:arm-ci
3m 7s
Merge pull request #8647 from tautschnig/value-set-offset Build and Test the Rust API #3938: Commit 0beaf25 pushed by tautschnig
2m 35s develop
develop
2m 35s
Add aarch64 (Arm 64-bit) CI job Build and Test the Rust API #3937: Pull request #8572 synchronize by tautschnig
1m 27s tautschnig:arm-ci
tautschnig:arm-ci
1m 27s
Add aarch64 (Arm 64-bit) CI job Build and Test the Rust API #3936: Pull request #8572 synchronize by tautschnig
1m 46s tautschnig:arm-ci
tautschnig:arm-ci
1m 46s
Value set: lift offset from numeric constants to expressions Build and Test the Rust API #3935: Pull request #8647 synchronize by tautschnig
1m 53s tautschnig:value-set-offset
tautschnig:value-set-offset
1m 53s
Value set: lift offset from numeric constants to expressions Build and Test the Rust API #3934: Pull request #8647 synchronize by tautschnig
5m 35s tautschnig:value-set-offset
tautschnig:value-set-offset
5m 35s
Merge pull request #8642 from tautschnig/simp-value-set Build and Test the Rust API #3933: Commit eef9677 pushed by tautschnig
3m 26s develop
develop
3m 26s
goto-analyzer: support typecasts as left-hand sides Build and Test the Rust API #3932: Pull request #8659 synchronize by tautschnig
1m 56s tautschnig:goto-analyzer-typecast
tautschnig:goto-analyzer-typecast
1m 56s
Merge pull request #8657 from tautschnig/fixup-linker-script-merge Build and Test the Rust API #3931: Commit 0bb2d02 pushed by tautschnig
18m 54s develop
develop
18m 54s
Merge pull request #8658 from tautschnig/no-m64 Build and Test the Rust API #3930: Commit 7e1a97a pushed by tautschnig
1m 22s develop
develop
1m 22s
Merge pull request #8584 from tautschnig/signed-read Build and Test the Rust API #3929: Commit 8e49f91 pushed by tautschnig
4m 18s develop
develop
4m 18s
Introduce value-set supported simplifier for goto-symex Build and Test the Rust API #3928: Pull request #8642 synchronize by tautschnig
2m 41s tautschnig:simp-value-set
tautschnig:simp-value-set
2m 41s
Avoid need for preprocessor calls with -m64 Build and Test the Rust API #3927: Pull request #8658 synchronize by tautschnig
2m 8s tautschnig:no-m64
tautschnig:no-m64
2m 8s
fixup! fix exprt::opX accesses in linker_script_merge Build and Test the Rust API #3926: Pull request #8657 synchronize by tautschnig
1m 42s tautschnig:fixup-linker-script-merge
tautschnig:fixup-linker-script-merge
1m 42s
Merge pull request #8660 from tautschnig/use-vs-2025 Build and Test the Rust API #3925: Commit c9653bd pushed by kroening
12m 3s develop
develop
12m 3s