Skip to content

Actions: diffblue/cbmc

Actions

Build and Test CBMC

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
pull-request-checks.yaml
1,176 workflow runs
1,176 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

SMT2 back-end: flatten with_exprt operands Build and Test CBMC #11166: Pull request #8670 synchronize by tautschnig
July 2, 2025 11:49 In progress tautschnig:convert-with
tautschnig:convert-with
July 2, 2025 11:49 In progress
SMT2 back-end: flatten with_exprt operands Build and Test CBMC #11165: Pull request #8670 opened by tautschnig
July 2, 2025 11:43 In progress tautschnig:convert-with
tautschnig:convert-with
July 2, 2025 11:43 In progress
Merge pull request #8665 from tautschnig/remove-is_null_pointer Build and Test CBMC #11164: Commit 48490fb pushed by kroening
June 30, 2025 10:02 6h 0m 14s develop
develop
June 30, 2025 10:02 6h 0m 14s
Stop using GNU parallel on windows-2022 runner Build and Test CBMC #11163: Pull request #8669 synchronize by tautschnig
June 27, 2025 10:37 50m 19s tautschnig:debug-vs-2022-parallel
tautschnig:debug-vs-2022-parallel
June 27, 2025 10:37 50m 19s
Stop using GNU parallel on windows-2022 runner Build and Test CBMC #11162: Pull request #8669 synchronize by tautschnig
June 27, 2025 09:22 59m 46s tautschnig:debug-vs-2022-parallel
tautschnig:debug-vs-2022-parallel
June 27, 2025 09:22 59m 46s
Stop using GNU parallel on windows-2022 runner Build and Test CBMC #11161: Pull request #8669 synchronize by tautschnig
June 27, 2025 08:42 6h 0m 51s tautschnig:debug-vs-2022-parallel
tautschnig:debug-vs-2022-parallel
June 27, 2025 08:42 6h 0m 51s
Stop using GNU parallel on windows-2022 runner Build and Test CBMC #11160: Pull request #8669 opened by tautschnig
June 27, 2025 08:17 1h 6m 16s tautschnig:debug-vs-2022-parallel
tautschnig:debug-vs-2022-parallel
June 27, 2025 08:17 1h 6m 16s
Merge pull request #8666 from tautschnig/remove-make_with_expr Build and Test CBMC #11159: Commit 4cc3f54 pushed by kroening
June 27, 2025 04:53 6h 0m 14s develop
develop
June 27, 2025 04:53 6h 0m 14s
Fix support for with_exprt with more than 3 operands Build and Test CBMC #11158: Pull request #8668 opened by tautschnig
June 26, 2025 20:12 6h 0m 15s tautschnig:with-expr-fixes
tautschnig:with-expr-fixes
June 26, 2025 20:12 6h 0m 15s
Merge pull request #8667 from tautschnig/release-6.7.0 Build and Test CBMC #11157: Commit 5d1438a pushed by tautschnig
June 26, 2025 11:52 58m 13s develop
develop
June 26, 2025 11:52 58m 13s
Release CBMC 6.7.0 Build and Test CBMC #11156: Pull request #8667 synchronize by tautschnig
June 25, 2025 20:51 1h 5m 4s tautschnig:release-6.7.0
tautschnig:release-6.7.0
June 25, 2025 20:51 1h 5m 4s
Release CBMC 6.7.0 Build and Test CBMC #11155: Pull request #8667 synchronize by tautschnig
June 25, 2025 20:35 55m 20s tautschnig:release-6.7.0
tautschnig:release-6.7.0
June 25, 2025 20:35 55m 20s
Release CBMC 6.7.0 Build and Test CBMC #11154: Pull request #8667 opened by tautschnig
June 25, 2025 18:57 1h 46m 34s tautschnig:release-6.7.0
tautschnig:release-6.7.0
June 25, 2025 18:57 1h 46m 34s
Merge pull request #8649 from tautschnig/fix-quantifier-conversion Build and Test CBMC #11153: Commit eeb8689 pushed by remi-delmas-3000
June 25, 2025 18:40 1h 40m 12s develop
develop
June 25, 2025 18:40 1h 40m 12s
Merge pull request #8627 from tautschnig/simp_mult_offset Build and Test CBMC #11152: Commit 2bba498 pushed by tautschnig
June 25, 2025 18:23 1h 7m 11s develop
develop
June 25, 2025 18:23 1h 7m 11s
Merge pull request #8450 from tautschnig/no-make_and Build and Test CBMC #11151: Commit c524281 pushed by tautschnig
June 25, 2025 18:21 1h 14m 26s develop
develop
June 25, 2025 18:21 1h 14m 26s
Field sensitivity: account for array size in all index expressions Build and Test CBMC #11150: Pull request #8579 synchronize by tautschnig
June 25, 2025 10:51 2h 4m 36s tautschnig:bugfixes/field-sensitivity-union
tautschnig:bugfixes/field-sensitivity-union
June 25, 2025 10:51 2h 4m 36s
Deprecate make_and in favour of conjunction(expr, expr) Build and Test CBMC #11149: Pull request #8450 synchronize by tautschnig
June 25, 2025 09:40 3h 31m 35s tautschnig:no-make_and
tautschnig:no-make_and
June 25, 2025 09:40 3h 31m 35s
Deprecate make_and in favour of conjunction(expr, expr) Build and Test CBMC #11148: Pull request #8450 synchronize by tautschnig
June 25, 2025 08:46 4h 17m 42s tautschnig:no-make_and
tautschnig:no-make_and
June 25, 2025 08:46 4h 17m 42s
Simplify multiple-of-element size access to arrays Build and Test CBMC #11147: Pull request #8627 synchronize by tautschnig
June 25, 2025 08:43 3h 18m 40s tautschnig:simp_mult_offset
tautschnig:simp_mult_offset
June 25, 2025 08:43 3h 18m 40s
Merge pull request #8572 from tautschnig/arm-ci Build and Test CBMC #11146: Commit 5cd085b pushed by tautschnig
June 25, 2025 08:42 2h 33m 39s develop
develop
June 25, 2025 08:42 2h 33m 39s
Move is_{true,false,zero,one} from exprt to constant_exprt Build and Test CBMC #11145: Pull request #8664 synchronize by tautschnig
June 25, 2025 08:37 3h 21m 21s tautschnig:constant_exprt-is
tautschnig:constant_exprt-is
June 25, 2025 08:37 3h 21m 21s
Remove deprecated make_with_expr Build and Test CBMC #11144: Pull request #8666 opened by tautschnig
June 25, 2025 08:33 3h 0m 11s tautschnig:remove-make_with_expr
tautschnig:remove-make_with_expr
June 25, 2025 08:33 3h 0m 11s
Remove deprecated is_null_pointer Build and Test CBMC #11143: Pull request #8665 opened by tautschnig
June 25, 2025 08:31 3h 17m 51s tautschnig:remove-is_null_pointer
tautschnig:remove-is_null_pointer
June 25, 2025 08:31 3h 17m 51s
Deprecate make_and in favour of conjunction(expr, expr) Build and Test CBMC #11142: Pull request #8450 synchronize by tautschnig
June 25, 2025 08:25 1h 59m 29s tautschnig:no-make_and
tautschnig:no-make_and
June 25, 2025 08:25 1h 59m 29s