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,175 workflow runs
1,175 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Stop using GNU parallel on windows-2022 runner Build and Test the Rust API #3972: Pull request #8669 synchronize by tautschnig
June 27, 2025 10:37 2m 3s tautschnig:debug-vs-2022-parallel
tautschnig:debug-vs-2022-parallel
June 27, 2025 10:37 2m 3s
Stop using GNU parallel on windows-2022 runner Build and Test the Rust API #3971: Pull request #8669 synchronize by tautschnig
June 27, 2025 09:22 1m 28s tautschnig:debug-vs-2022-parallel
tautschnig:debug-vs-2022-parallel
June 27, 2025 09:22 1m 28s
Stop using GNU parallel on windows-2022 runner Build and Test the Rust API #3970: Pull request #8669 synchronize by tautschnig
June 27, 2025 08:42 1m 31s tautschnig:debug-vs-2022-parallel
tautschnig:debug-vs-2022-parallel
June 27, 2025 08:42 1m 31s
Stop using GNU parallel on windows-2022 runner Build and Test the Rust API #3969: Pull request #8669 opened by tautschnig
June 27, 2025 08:17 1m 36s tautschnig:debug-vs-2022-parallel
tautschnig:debug-vs-2022-parallel
June 27, 2025 08:17 1m 36s
Merge pull request #8666 from tautschnig/remove-make_with_expr Build and Test the Rust API #3968: Commit 4cc3f54 pushed by kroening
June 27, 2025 04:53 4m 35s develop
develop
June 27, 2025 04:53 4m 35s
Fix support for with_exprt with more than 3 operands Build and Test the Rust API #3967: Pull request #8668 opened by tautschnig
June 26, 2025 20:12 1m 41s tautschnig:with-expr-fixes
tautschnig:with-expr-fixes
June 26, 2025 20:12 1m 41s
Merge pull request #8667 from tautschnig/release-6.7.0 Build and Test the Rust API #3966: Commit 5d1438a pushed by tautschnig
June 26, 2025 11:52 1m 38s develop
develop
June 26, 2025 11:52 1m 38s
Release CBMC 6.7.0 Build and Test the Rust API #3965: Pull request #8667 synchronize by tautschnig
June 25, 2025 20:51 2m 17s tautschnig:release-6.7.0
tautschnig:release-6.7.0
June 25, 2025 20:51 2m 17s
Release CBMC 6.7.0 Build and Test the Rust API #3964: Pull request #8667 synchronize by tautschnig
June 25, 2025 20:35 1m 51s tautschnig:release-6.7.0
tautschnig:release-6.7.0
June 25, 2025 20:35 1m 51s
Release CBMC 6.7.0 Build and Test the Rust API #3963: Pull request #8667 opened by tautschnig
June 25, 2025 18:57 35m 11s tautschnig:release-6.7.0
tautschnig:release-6.7.0
June 25, 2025 18:57 35m 11s
Merge pull request #8649 from tautschnig/fix-quantifier-conversion Build and Test the Rust API #3962: Commit eeb8689 pushed by remi-delmas-3000
June 25, 2025 18:40 30m 57s develop
develop
June 25, 2025 18:40 30m 57s
Merge pull request #8627 from tautschnig/simp_mult_offset Build and Test the Rust API #3961: Commit 2bba498 pushed by tautschnig
June 25, 2025 18:23 15m 54s develop
develop
June 25, 2025 18:23 15m 54s
Merge pull request #8450 from tautschnig/no-make_and Build and Test the Rust API #3960: Commit c524281 pushed by tautschnig
June 25, 2025 18:21 16m 24s develop
develop
June 25, 2025 18:21 16m 24s
Field sensitivity: account for array size in all index expressions Build and Test the Rust API #3959: Pull request #8579 synchronize by tautschnig
June 25, 2025 10:51 58m 50s tautschnig:bugfixes/field-sensitivity-union
tautschnig:bugfixes/field-sensitivity-union
June 25, 2025 10:51 58m 50s
Deprecate make_and in favour of conjunction(expr, expr) Build and Test the Rust API #3958: Pull request #8450 synchronize by tautschnig
June 25, 2025 09:40 1h 55m 31s tautschnig:no-make_and
tautschnig:no-make_and
June 25, 2025 09:40 1h 55m 31s
Deprecate make_and in favour of conjunction(expr, expr) Build and Test the Rust API #3957: Pull request #8450 synchronize by tautschnig
June 25, 2025 08:46 47m 42s tautschnig:no-make_and
tautschnig:no-make_and
June 25, 2025 08:46 47m 42s
Simplify multiple-of-element size access to arrays Build and Test the Rust API #3956: Pull request #8627 synchronize by tautschnig
June 25, 2025 08:43 2h 6m 52s tautschnig:simp_mult_offset
tautschnig:simp_mult_offset
June 25, 2025 08:43 2h 6m 52s
Merge pull request #8572 from tautschnig/arm-ci Build and Test the Rust API #3955: Commit 5cd085b pushed by tautschnig
June 25, 2025 08:42 20m 39s develop
develop
June 25, 2025 08:42 20m 39s
Move is_{true,false,zero,one} from exprt to constant_exprt Build and Test the Rust API #3954: Pull request #8664 synchronize by tautschnig
June 25, 2025 08:37 2h 31m 14s tautschnig:constant_exprt-is
tautschnig:constant_exprt-is
June 25, 2025 08:37 2h 31m 14s
Remove deprecated make_with_expr Build and Test the Rust API #3953: Pull request #8666 opened by tautschnig
June 25, 2025 08:33 11m 15s tautschnig:remove-make_with_expr
tautschnig:remove-make_with_expr
June 25, 2025 08:33 11m 15s
Remove deprecated is_null_pointer Build and Test the Rust API #3952: Pull request #8665 opened by tautschnig
June 25, 2025 08:31 2h 10m 0s tautschnig:remove-is_null_pointer
tautschnig:remove-is_null_pointer
June 25, 2025 08:31 2h 10m 0s
Deprecate make_and in favour of conjunction(expr, expr) Build and Test the Rust API #3951: Pull request #8450 synchronize by tautschnig
June 25, 2025 08:25 1h 7m 57s tautschnig:no-make_and
tautschnig:no-make_and
June 25, 2025 08:25 1h 7m 57s
Move is_{true,false,zero,one} from exprt to constant_exprt Build and Test the Rust API #3950: Pull request #8664 opened by tautschnig
June 25, 2025 08:13 2h 25m 0s tautschnig:constant_exprt-is
tautschnig:constant_exprt-is
June 25, 2025 08:13 2h 25m 0s
C library: Refine and improve stdio models Build and Test the Rust API #3949: Pull request #8043 synchronize by tautschnig
June 25, 2025 07:43 2h 40m 18s tautschnig:bugfixes/stdio
tautschnig:bugfixes/stdio
June 25, 2025 07:43 2h 40m 18s
Make goto_symext::language_mode protected Build and Test the Rust API #3948: Pull request #8646 synchronize by tautschnig
June 25, 2025 07:37 2h 51m 0s tautschnig:language_mode-protected
tautschnig:language_mode-protected
June 25, 2025 07:37 2h 51m 0s