Skip to content

Actions: diffblue/cbmc

Actions

Build Doxygen Documentation

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
doxygen-check.yaml
947 workflow runs
947 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

SMT2 back-end: flatten with_exprt operands Build Doxygen Documentation #9722: Pull request #8670 synchronize by tautschnig
July 2, 2025 11:49 1m 43s tautschnig:convert-with
tautschnig:convert-with
July 2, 2025 11:49 1m 43s
SMT2 back-end: flatten with_exprt operands Build Doxygen Documentation #9721: Pull request #8670 opened by tautschnig
July 2, 2025 11:43 2m 18s tautschnig:convert-with
tautschnig:convert-with
July 2, 2025 11:43 2m 18s
Stop using GNU parallel on windows-2022 runner Build Doxygen Documentation #9720: Pull request #8669 synchronize by tautschnig
June 27, 2025 10:37 2m 28s tautschnig:debug-vs-2022-parallel
tautschnig:debug-vs-2022-parallel
June 27, 2025 10:37 2m 28s
Stop using GNU parallel on windows-2022 runner Build Doxygen Documentation #9719: Pull request #8669 synchronize by tautschnig
June 27, 2025 09:22 1m 36s tautschnig:debug-vs-2022-parallel
tautschnig:debug-vs-2022-parallel
June 27, 2025 09:22 1m 36s
Stop using GNU parallel on windows-2022 runner Build Doxygen Documentation #9718: Pull request #8669 synchronize by tautschnig
June 27, 2025 08:42 1m 43s tautschnig:debug-vs-2022-parallel
tautschnig:debug-vs-2022-parallel
June 27, 2025 08:42 1m 43s
Stop using GNU parallel on windows-2022 runner Build Doxygen Documentation #9717: Pull request #8669 opened by tautschnig
June 27, 2025 08:17 1m 40s tautschnig:debug-vs-2022-parallel
tautschnig:debug-vs-2022-parallel
June 27, 2025 08:17 1m 40s
Fix support for with_exprt with more than 3 operands Build Doxygen Documentation #9716: Pull request #8668 opened by tautschnig
June 26, 2025 20:12 1m 45s tautschnig:with-expr-fixes
tautschnig:with-expr-fixes
June 26, 2025 20:12 1m 45s
Release CBMC 6.7.0 Build Doxygen Documentation #9715: Pull request #8667 synchronize by tautschnig
June 25, 2025 20:51 1m 36s tautschnig:release-6.7.0
tautschnig:release-6.7.0
June 25, 2025 20:51 1m 36s
Release CBMC 6.7.0 Build Doxygen Documentation #9714: Pull request #8667 synchronize by tautschnig
June 25, 2025 20:35 1m 41s tautschnig:release-6.7.0
tautschnig:release-6.7.0
June 25, 2025 20:35 1m 41s
Release CBMC 6.7.0 Build Doxygen Documentation #9713: Pull request #8667 opened by tautschnig
June 25, 2025 18:57 2m 38s tautschnig:release-6.7.0
tautschnig:release-6.7.0
June 25, 2025 18:57 2m 38s
Field sensitivity: account for array size in all index expressions Build Doxygen Documentation #9712: Pull request #8579 synchronize by tautschnig
June 25, 2025 10:51 1m 46s tautschnig:bugfixes/field-sensitivity-union
tautschnig:bugfixes/field-sensitivity-union
June 25, 2025 10:51 1m 46s
Deprecate make_and in favour of conjunction(expr, expr) Build Doxygen Documentation #9711: Pull request #8450 synchronize by tautschnig
June 25, 2025 09:40 1m 39s tautschnig:no-make_and
tautschnig:no-make_and
June 25, 2025 09:40 1m 39s
Deprecate make_and in favour of conjunction(expr, expr) Build Doxygen Documentation #9710: Pull request #8450 synchronize by tautschnig
June 25, 2025 08:46 30m 0s tautschnig:no-make_and
tautschnig:no-make_and
June 25, 2025 08:46 30m 0s
Simplify multiple-of-element size access to arrays Build Doxygen Documentation #9709: Pull request #8627 synchronize by tautschnig
June 25, 2025 08:43 31m 23s tautschnig:simp_mult_offset
tautschnig:simp_mult_offset
June 25, 2025 08:43 31m 23s
Move is_{true,false,zero,one} from exprt to constant_exprt Build Doxygen Documentation #9708: Pull request #8664 synchronize by tautschnig
June 25, 2025 08:37 18m 3s tautschnig:constant_exprt-is
tautschnig:constant_exprt-is
June 25, 2025 08:37 18m 3s
Remove deprecated make_with_expr Build Doxygen Documentation #9707: Pull request #8666 opened by tautschnig
June 25, 2025 08:33 26m 6s tautschnig:remove-make_with_expr
tautschnig:remove-make_with_expr
June 25, 2025 08:33 26m 6s
Remove deprecated is_null_pointer Build Doxygen Documentation #9706: Pull request #8665 opened by tautschnig
June 25, 2025 08:31 8m 36s tautschnig:remove-is_null_pointer
tautschnig:remove-is_null_pointer
June 25, 2025 08:31 8m 36s
Deprecate make_and in favour of conjunction(expr, expr) Build Doxygen Documentation #9705: Pull request #8450 synchronize by tautschnig
June 25, 2025 08:25 1m 40s tautschnig:no-make_and
tautschnig:no-make_and
June 25, 2025 08:25 1m 40s
Move is_{true,false,zero,one} from exprt to constant_exprt Build Doxygen Documentation #9704: Pull request #8664 opened by tautschnig
June 25, 2025 08:13 2m 14s tautschnig:constant_exprt-is
tautschnig:constant_exprt-is
June 25, 2025 08:13 2m 14s
C library: Refine and improve stdio models Build Doxygen Documentation #9703: Pull request #8043 synchronize by tautschnig
June 25, 2025 07:43 6m 47s tautschnig:bugfixes/stdio
tautschnig:bugfixes/stdio
June 25, 2025 07:43 6m 47s
Make goto_symext::language_mode protected Build Doxygen Documentation #9702: Pull request #8646 synchronize by tautschnig
June 25, 2025 07:37 3m 24s tautschnig:language_mode-protected
tautschnig:language_mode-protected
June 25, 2025 07:37 3m 24s
Add aarch64 (Arm 64-bit) CI job Build Doxygen Documentation #9701: Pull request #8572 synchronize by tautschnig
June 25, 2025 07:34 2m 27s tautschnig:arm-ci
tautschnig:arm-ci
June 25, 2025 07:34 2m 27s
unwindsett: goto_model is only needed for options processing Build Doxygen Documentation #9700: Pull request #8643 synchronize by tautschnig
June 25, 2025 07:31 2m 14s tautschnig:unwindsett-constructor
tautschnig:unwindsett-constructor
June 25, 2025 07:31 2m 14s
Add aarch64 (Arm 64-bit) CI job Build Doxygen Documentation #9699: Pull request #8572 synchronize by tautschnig
June 24, 2025 15:01 1m 37s tautschnig:arm-ci
tautschnig:arm-ci
June 24, 2025 15:01 1m 37s
Simplify multiple-of-element size access to arrays Build Doxygen Documentation #9698: Pull request #8627 synchronize by tautschnig
June 24, 2025 14:13 1m 33s tautschnig:simp_mult_offset
tautschnig:simp_mult_offset
June 24, 2025 14:13 1m 33s