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

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

C++ front-end fixes Build and Test CBMC #11187: Pull request #8275 synchronize by tautschnig
July 8, 2025 09:21 1h 43m 18s tautschnig:bugfixes/cpp-constexpr
tautschnig:bugfixes/cpp-constexpr
July 8, 2025 09:21 1h 43m 18s
Higher radix multiplier encoding Build and Test CBMC #11186: Pull request #7991 synchronize by tautschnig
July 8, 2025 09:20 6h 5m 5s tautschnig:feature/multiplier-encoding
tautschnig:feature/multiplier-encoding
July 8, 2025 09:20 6h 5m 5s
Support C17, C23 standards with goto-cc Build and Test CBMC #11185: Pull request #8673 synchronize by tautschnig
July 8, 2025 09:07 1h 20m 32s tautschnig:bugfixes/8617-attributes-c23
tautschnig:bugfixes/8617-attributes-c23
July 8, 2025 09:07 1h 20m 32s
Restrict with_exprt to exactly three operands Build and Test CBMC #11184: Pull request #8674 synchronize by tautschnig
July 7, 2025 09:20 1h 28m 3s tautschnig:three-operand-with
tautschnig:three-operand-with
July 7, 2025 09:20 1h 28m 3s
SMT2 back-end: flatten with_exprt operands Build and Test CBMC #11183: Pull request #8670 synchronize by tautschnig
July 7, 2025 09:19 2h 52m 25s tautschnig:convert-with
tautschnig:convert-with
July 7, 2025 09:19 2h 52m 25s
Support C17, C23 standards with goto-cc Build and Test CBMC #11182: Pull request #8673 synchronize by tautschnig
July 7, 2025 09:17 2h 1m 55s tautschnig:bugfixes/8617-attributes-c23
tautschnig:bugfixes/8617-attributes-c23
July 7, 2025 09:17 2h 1m 55s
Merge pull request #8669 from tautschnig/debug-vs-2022-parallel Build and Test CBMC #11181: Commit e88ed5f pushed by tautschnig
July 7, 2025 09:16 1h 17m 46s develop
develop
July 7, 2025 09:16 1h 17m 46s
operator== for exprt and bool, int, nullptr_t Build and Test CBMC #11180: Pull request #8675 synchronize by tautschnig
July 7, 2025 07:02 6h 0m 22s tautschnig:operator-equals
tautschnig:operator-equals
July 7, 2025 07:02 6h 0m 22s
operator== for exprt and bool, int, nullptr_t Build and Test CBMC #11179: Pull request #8675 synchronize by tautschnig
July 6, 2025 10:41 6h 0m 14s tautschnig:operator-equals
tautschnig:operator-equals
July 6, 2025 10:41 6h 0m 14s
operator== for exprt and bool, int, nullptr_t Build and Test CBMC #11178: Pull request #8675 opened by tautschnig
July 5, 2025 18:36 6h 0m 14s tautschnig:operator-equals
tautschnig:operator-equals
July 5, 2025 18:36 6h 0m 14s
Restrict with_exprt to exactly three operands Build and Test CBMC #11177: Pull request #8674 synchronize by tautschnig
July 5, 2025 17:23 6h 0m 18s tautschnig:three-operand-with
tautschnig:three-operand-with
July 5, 2025 17:23 6h 0m 18s
Restrict with_exprt to exactly three operands Build and Test CBMC #11176: Pull request #8674 synchronize by tautschnig
July 5, 2025 15:37 6h 0m 15s tautschnig:three-operand-with
tautschnig:three-operand-with
July 5, 2025 15:37 6h 0m 15s
Restrict with_exprt to exactly three operands Build and Test CBMC #11175: Pull request #8674 synchronize by tautschnig
July 5, 2025 11:23 6h 0m 14s tautschnig:three-operand-with
tautschnig:three-operand-with
July 5, 2025 11:23 6h 0m 14s
Restrict with_exprt to exactly three operands Build and Test CBMC #11174: Pull request #8674 opened by tautschnig
July 5, 2025 11:00 6h 0m 13s tautschnig:three-operand-with
tautschnig:three-operand-with
July 5, 2025 11:00 6h 0m 13s
Support C17, C23 standards with goto-cc Build and Test CBMC #11173: Pull request #8673 synchronize by tautschnig
July 5, 2025 09:27 6h 0m 17s tautschnig:bugfixes/8617-attributes-c23
tautschnig:bugfixes/8617-attributes-c23
July 5, 2025 09:27 6h 0m 17s
Support C17, C23 standards with goto-cc Build and Test CBMC #11172: Pull request #8673 synchronize by tautschnig
July 5, 2025 00:13 6h 0m 17s tautschnig:bugfixes/8617-attributes-c23
tautschnig:bugfixes/8617-attributes-c23
July 5, 2025 00:13 6h 0m 17s
Support C17, C23 standards with goto-cc Build and Test CBMC #11171: Pull request #8673 opened by tautschnig
July 4, 2025 23:27 6h 0m 54s tautschnig:bugfixes/8617-attributes-c23
tautschnig:bugfixes/8617-attributes-c23
July 4, 2025 23:27 6h 0m 54s
C library: Refine and improve stdio models Build and Test CBMC #11170: Pull request #8043 synchronize by tautschnig
July 4, 2025 21:41 6h 0m 15s tautschnig:bugfixes/stdio
tautschnig:bugfixes/stdio
July 4, 2025 21:41 6h 0m 15s
C library: Refine and improve stdio models Build and Test CBMC #11169: Pull request #8043 synchronize by tautschnig
July 4, 2025 20:18 6h 0m 15s tautschnig:bugfixes/stdio
tautschnig:bugfixes/stdio
July 4, 2025 20:18 6h 0m 15s
C library: Refine and improve stdio models Build and Test CBMC #11168: Pull request #8043 synchronize by tautschnig
July 4, 2025 20:01 6h 0m 16s tautschnig:bugfixes/stdio
tautschnig:bugfixes/stdio
July 4, 2025 20:01 6h 0m 16s
Higher radix multiplier encoding Build and Test CBMC #11167: Pull request #7991 synchronize by tautschnig
July 3, 2025 09:45 15m 17s tautschnig:feature/multiplier-encoding
tautschnig:feature/multiplier-encoding
July 3, 2025 09:45 15m 17s
SMT2 back-end: flatten with_exprt operands Build and Test CBMC #11166: Pull request #8670 synchronize by tautschnig
July 2, 2025 11:49 6h 0m 14s tautschnig:convert-with
tautschnig:convert-with
July 2, 2025 11:49 6h 0m 14s
SMT2 back-end: flatten with_exprt operands Build and Test CBMC #11165: Pull request #8670 opened by tautschnig
July 2, 2025 11:43 6h 0m 14s tautschnig:convert-with
tautschnig:convert-with
July 2, 2025 11:43 6h 0m 14s
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