Skip to content

Actions: diffblue/cbmc

Actions

Build Xen with CPROVER tools

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
build-and-test-Xen.yaml
955 workflow runs
955 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Restrict with_exprt to exactly three operands Build Xen with CPROVER tools #10148: Pull request #8674 synchronize by tautschnig
July 5, 2025 15:37 12m 21s tautschnig:three-operand-with
tautschnig:three-operand-with
July 5, 2025 15:37 12m 21s
Restrict with_exprt to exactly three operands Build Xen with CPROVER tools #10147: Pull request #8674 synchronize by tautschnig
July 5, 2025 11:23 13m 40s tautschnig:three-operand-with
tautschnig:three-operand-with
July 5, 2025 11:23 13m 40s
Restrict with_exprt to exactly three operands Build Xen with CPROVER tools #10146: Pull request #8674 opened by tautschnig
July 5, 2025 11:00 23m 11s tautschnig:three-operand-with
tautschnig:three-operand-with
July 5, 2025 11:00 23m 11s
Support C17, C23 standards with goto-cc Build Xen with CPROVER tools #10145: Pull request #8673 synchronize by tautschnig
July 5, 2025 09:27 12m 4s tautschnig:bugfixes/8617-attributes-c23
tautschnig:bugfixes/8617-attributes-c23
July 5, 2025 09:27 12m 4s
Support C17, C23 standards with goto-cc Build Xen with CPROVER tools #10144: Pull request #8673 synchronize by tautschnig
July 5, 2025 00:13 13m 18s tautschnig:bugfixes/8617-attributes-c23
tautschnig:bugfixes/8617-attributes-c23
July 5, 2025 00:13 13m 18s
Support C17, C23 standards with goto-cc Build Xen with CPROVER tools #10143: Pull request #8673 opened by tautschnig
July 4, 2025 23:27 23m 6s tautschnig:bugfixes/8617-attributes-c23
tautschnig:bugfixes/8617-attributes-c23
July 4, 2025 23:27 23m 6s
C library: Refine and improve stdio models Build Xen with CPROVER tools #10142: Pull request #8043 synchronize by tautschnig
July 4, 2025 21:41 12m 41s tautschnig:bugfixes/stdio
tautschnig:bugfixes/stdio
July 4, 2025 21:41 12m 41s
C library: Refine and improve stdio models Build Xen with CPROVER tools #10141: Pull request #8043 synchronize by tautschnig
July 4, 2025 20:18 13m 38s tautschnig:bugfixes/stdio
tautschnig:bugfixes/stdio
July 4, 2025 20:18 13m 38s
C library: Refine and improve stdio models Build Xen with CPROVER tools #10140: Pull request #8043 synchronize by tautschnig
July 4, 2025 20:01 21m 49s tautschnig:bugfixes/stdio
tautschnig:bugfixes/stdio
July 4, 2025 20:01 21m 49s
Higher radix multiplier encoding Build Xen with CPROVER tools #10139: Pull request #7991 synchronize by tautschnig
July 3, 2025 09:45 7m 13s tautschnig:feature/multiplier-encoding
tautschnig:feature/multiplier-encoding
July 3, 2025 09:45 7m 13s
SMT2 back-end: flatten with_exprt operands Build Xen with CPROVER tools #10138: Pull request #8670 synchronize by tautschnig
July 2, 2025 11:49 13m 34s tautschnig:convert-with
tautschnig:convert-with
July 2, 2025 11:49 13m 34s
SMT2 back-end: flatten with_exprt operands Build Xen with CPROVER tools #10137: Pull request #8670 opened by tautschnig
July 2, 2025 11:43 12m 27s tautschnig:convert-with
tautschnig:convert-with
July 2, 2025 11:43 12m 27s
Stop using GNU parallel on windows-2022 runner Build Xen with CPROVER tools #10136: Pull request #8669 synchronize by tautschnig
June 27, 2025 10:37 12m 13s tautschnig:debug-vs-2022-parallel
tautschnig:debug-vs-2022-parallel
June 27, 2025 10:37 12m 13s
Stop using GNU parallel on windows-2022 runner Build Xen with CPROVER tools #10135: Pull request #8669 synchronize by tautschnig
June 27, 2025 09:22 12m 52s tautschnig:debug-vs-2022-parallel
tautschnig:debug-vs-2022-parallel
June 27, 2025 09:22 12m 52s
Stop using GNU parallel on windows-2022 runner Build Xen with CPROVER tools #10134: Pull request #8669 synchronize by tautschnig
June 27, 2025 08:42 13m 14s tautschnig:debug-vs-2022-parallel
tautschnig:debug-vs-2022-parallel
June 27, 2025 08:42 13m 14s
Stop using GNU parallel on windows-2022 runner Build Xen with CPROVER tools #10133: Pull request #8669 opened by tautschnig
June 27, 2025 08:17 12m 7s tautschnig:debug-vs-2022-parallel
tautschnig:debug-vs-2022-parallel
June 27, 2025 08:17 12m 7s
Fix support for with_exprt with more than 3 operands Build Xen with CPROVER tools #10132: Pull request #8668 opened by tautschnig
June 26, 2025 20:12 13m 51s tautschnig:with-expr-fixes
tautschnig:with-expr-fixes
June 26, 2025 20:12 13m 51s
Release CBMC 6.7.0 Build Xen with CPROVER tools #10131: Pull request #8667 synchronize by tautschnig
June 25, 2025 20:51 11m 50s tautschnig:release-6.7.0
tautschnig:release-6.7.0
June 25, 2025 20:51 11m 50s
Release CBMC 6.7.0 Build Xen with CPROVER tools #10130: Pull request #8667 synchronize by tautschnig
June 25, 2025 20:35 12m 4s tautschnig:release-6.7.0
tautschnig:release-6.7.0
June 25, 2025 20:35 12m 4s
Release CBMC 6.7.0 Build Xen with CPROVER tools #10129: Pull request #8667 opened by tautschnig
June 25, 2025 18:57 11m 54s tautschnig:release-6.7.0
tautschnig:release-6.7.0
June 25, 2025 18:57 11m 54s
Field sensitivity: account for array size in all index expressions Build Xen with CPROVER tools #10128: Pull request #8579 synchronize by tautschnig
June 25, 2025 10:51 13m 22s tautschnig:bugfixes/field-sensitivity-union
tautschnig:bugfixes/field-sensitivity-union
June 25, 2025 10:51 13m 22s
Deprecate make_and in favour of conjunction(expr, expr) Build Xen with CPROVER tools #10127: Pull request #8450 synchronize by tautschnig
June 25, 2025 09:40 13m 57s tautschnig:no-make_and
tautschnig:no-make_and
June 25, 2025 09:40 13m 57s
Deprecate make_and in favour of conjunction(expr, expr) Build Xen with CPROVER tools #10126: Pull request #8450 synchronize by tautschnig
June 25, 2025 08:46 36m 41s tautschnig:no-make_and
tautschnig:no-make_and
June 25, 2025 08:46 36m 41s
Simplify multiple-of-element size access to arrays Build Xen with CPROVER tools #10125: Pull request #8627 synchronize by tautschnig
June 25, 2025 08:43 27m 51s tautschnig:simp_mult_offset
tautschnig:simp_mult_offset
June 25, 2025 08:43 27m 51s
Move is_{true,false,zero,one} from exprt to constant_exprt Build Xen with CPROVER tools #10124: Pull request #8664 synchronize by tautschnig
June 25, 2025 08:37 24m 6s tautschnig:constant_exprt-is
tautschnig:constant_exprt-is
June 25, 2025 08:37 24m 6s