Skip to content

Actions: diffblue/cbmc

Actions

Build and Test on *BSD

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
bsd.yaml
1,174 workflow runs
1,174 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Higher radix multiplier encoding Build and Test on *BSD #1893: Pull request #7991 synchronize by tautschnig
July 3, 2025 09:45 13m 7s tautschnig:feature/multiplier-encoding
tautschnig:feature/multiplier-encoding
July 3, 2025 09:45 13m 7s
SMT2 back-end: flatten with_exprt operands Build and Test on *BSD #1892: Pull request #8670 synchronize by tautschnig
July 2, 2025 11:49 7m 30s tautschnig:convert-with
tautschnig:convert-with
July 2, 2025 11:49 7m 30s
SMT2 back-end: flatten with_exprt operands Build and Test on *BSD #1891: Pull request #8670 opened by tautschnig
July 2, 2025 11:43 9m 23s tautschnig:convert-with
tautschnig:convert-with
July 2, 2025 11:43 9m 23s
Merge pull request #8665 from tautschnig/remove-is_null_pointer Build and Test on *BSD #1890: Commit 48490fb pushed by kroening
June 30, 2025 10:02 14m 18s develop
develop
June 30, 2025 10:02 14m 18s
Stop using GNU parallel on windows-2022 runner Build and Test on *BSD #1889: Pull request #8669 synchronize by tautschnig
June 27, 2025 10:37 8m 36s tautschnig:debug-vs-2022-parallel
tautschnig:debug-vs-2022-parallel
June 27, 2025 10:37 8m 36s
Stop using GNU parallel on windows-2022 runner Build and Test on *BSD #1888: Pull request #8669 synchronize by tautschnig
June 27, 2025 09:22 8m 3s tautschnig:debug-vs-2022-parallel
tautschnig:debug-vs-2022-parallel
June 27, 2025 09:22 8m 3s
Stop using GNU parallel on windows-2022 runner Build and Test on *BSD #1887: Pull request #8669 synchronize by tautschnig
June 27, 2025 08:42 9m 10s tautschnig:debug-vs-2022-parallel
tautschnig:debug-vs-2022-parallel
June 27, 2025 08:42 9m 10s
Stop using GNU parallel on windows-2022 runner Build and Test on *BSD #1886: Pull request #8669 opened by tautschnig
June 27, 2025 08:17 8m 51s tautschnig:debug-vs-2022-parallel
tautschnig:debug-vs-2022-parallel
June 27, 2025 08:17 8m 51s
Merge pull request #8666 from tautschnig/remove-make_with_expr Build and Test on *BSD #1885: Commit 4cc3f54 pushed by kroening
June 27, 2025 04:53 11m 52s develop
develop
June 27, 2025 04:53 11m 52s
Fix support for with_exprt with more than 3 operands Build and Test on *BSD #1884: Pull request #8668 opened by tautschnig
June 26, 2025 20:12 8m 20s tautschnig:with-expr-fixes
tautschnig:with-expr-fixes
June 26, 2025 20:12 8m 20s
Merge pull request #8667 from tautschnig/release-6.7.0 Build and Test on *BSD #1883: Commit 5d1438a pushed by tautschnig
June 26, 2025 11:52 7m 58s develop
develop
June 26, 2025 11:52 7m 58s
Release CBMC 6.7.0 Build and Test on *BSD #1882: Pull request #8667 synchronize by tautschnig
June 25, 2025 20:51 9m 5s tautschnig:release-6.7.0
tautschnig:release-6.7.0
June 25, 2025 20:51 9m 5s
Release CBMC 6.7.0 Build and Test on *BSD #1881: Pull request #8667 synchronize by tautschnig
June 25, 2025 20:35 8m 16s tautschnig:release-6.7.0
tautschnig:release-6.7.0
June 25, 2025 20:35 8m 16s
Release CBMC 6.7.0 Build and Test on *BSD #1880: Pull request #8667 opened by tautschnig
June 25, 2025 18:57 8m 22s tautschnig:release-6.7.0
tautschnig:release-6.7.0
June 25, 2025 18:57 8m 22s
Merge pull request #8649 from tautschnig/fix-quantifier-conversion Build and Test on *BSD #1879: Commit eeb8689 pushed by remi-delmas-3000
June 25, 2025 18:40 36m 44s develop
develop
June 25, 2025 18:40 36m 44s
Merge pull request #8627 from tautschnig/simp_mult_offset Build and Test on *BSD #1878: Commit 2bba498 pushed by tautschnig
June 25, 2025 18:23 34m 36s develop
develop
June 25, 2025 18:23 34m 36s
Merge pull request #8450 from tautschnig/no-make_and Build and Test on *BSD #1877: Commit c524281 pushed by tautschnig
June 25, 2025 18:21 35m 10s develop
develop
June 25, 2025 18:21 35m 10s
Field sensitivity: account for array size in all index expressions Build and Test on *BSD #1876: Pull request #8579 synchronize by tautschnig
June 25, 2025 10:51 8m 54s tautschnig:bugfixes/field-sensitivity-union
tautschnig:bugfixes/field-sensitivity-union
June 25, 2025 10:51 8m 54s
Deprecate make_and in favour of conjunction(expr, expr) Build and Test on *BSD #1875: Pull request #8450 synchronize by tautschnig
June 25, 2025 09:40 8m 16s tautschnig:no-make_and
tautschnig:no-make_and
June 25, 2025 09:40 8m 16s
Deprecate make_and in favour of conjunction(expr, expr) Build and Test on *BSD #1874: Pull request #8450 synchronize by tautschnig
June 25, 2025 08:46 38m 25s tautschnig:no-make_and
tautschnig:no-make_and
June 25, 2025 08:46 38m 25s
Simplify multiple-of-element size access to arrays Build and Test on *BSD #1873: Pull request #8627 synchronize by tautschnig
June 25, 2025 08:43 51m 26s tautschnig:simp_mult_offset
tautschnig:simp_mult_offset
June 25, 2025 08:43 51m 26s
Merge pull request #8572 from tautschnig/arm-ci Build and Test on *BSD #1872: Commit 5cd085b pushed by tautschnig
June 25, 2025 08:42 42m 38s develop
develop
June 25, 2025 08:42 42m 38s
Move is_{true,false,zero,one} from exprt to constant_exprt Build and Test on *BSD #1871: Pull request #8664 synchronize by tautschnig
June 25, 2025 08:37 1h 19m 20s tautschnig:constant_exprt-is
tautschnig:constant_exprt-is
June 25, 2025 08:37 1h 19m 20s
Remove deprecated make_with_expr Build and Test on *BSD #1870: Pull request #8666 opened by tautschnig
June 25, 2025 08:33 36m 9s tautschnig:remove-make_with_expr
tautschnig:remove-make_with_expr
June 25, 2025 08:33 36m 9s
Remove deprecated is_null_pointer Build and Test on *BSD #1869: Pull request #8665 opened by tautschnig
June 25, 2025 08:31 1h 6m 31s tautschnig:remove-is_null_pointer
tautschnig:remove-is_null_pointer
June 25, 2025 08:31 1h 6m 31s