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

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Contracts instrumentation: hide unhelpful "no body" warnings Build and Test on *BSD #1938: Pull request #8697 opened by tautschnig
July 25, 2025 12:37 11m 14s tautschnig:contracts-inlining-warnings
tautschnig:contracts-inlining-warnings
July 25, 2025 12:37 11m 14s
Contracts instrumentation: cleanup unnecessary includes Build and Test on *BSD #1937: Pull request #8696 opened by tautschnig
July 25, 2025 11:56 6m 48s tautschnig:contracts-cleanup-includes
tautschnig:contracts-cleanup-includes
July 25, 2025 11:56 6m 48s
C front-end: do not warn when re-initialising a variable with the same value Build and Test on *BSD #1936: Pull request #8695 opened by tautschnig
July 25, 2025 09:35 8m 29s tautschnig:avoid-linking-warning
tautschnig:avoid-linking-warning
July 25, 2025 09:35 8m 29s
DFCC: do not surface confusing warning Build and Test on *BSD #1935: Pull request #8694 opened by tautschnig
July 25, 2025 09:20 9m 28s tautschnig:dfcc-generate-no-warn
tautschnig:dfcc-generate-no-warn
July 25, 2025 09:20 9m 28s
Merge pull request #8678 from tautschnig/fixup-typecast-simp Build and Test on *BSD #1934: Commit 4a1a325 pushed by tautschnig
July 24, 2025 07:56 9m 2s develop
develop
July 24, 2025 07:56 9m 2s
Merge pull request #8670 from tautschnig/convert-with Build and Test on *BSD #1933: Commit dc193c4 pushed by tautschnig
July 23, 2025 22:35 41m 40s develop
develop
July 23, 2025 22:35 41m 40s
Simplifier: do not create extractbits with pointer type Build and Test on *BSD #1932: Pull request #8678 synchronize by tautschnig
July 23, 2025 21:41 44m 8s tautschnig:fixup-typecast-simp
tautschnig:fixup-typecast-simp
July 23, 2025 21:41 44m 8s
SMT2 back-end: flatten with_exprt operands Build and Test on *BSD #1931: Pull request #8670 synchronize by tautschnig
July 23, 2025 19:16 8m 39s tautschnig:convert-with
tautschnig:convert-with
July 23, 2025 19:16 8m 39s
SMT2 back-end: flatten with_exprt operands Build and Test on *BSD #1930: Pull request #8670 synchronize by tautschnig
July 23, 2025 10:48 32m 44s tautschnig:convert-with
tautschnig:convert-with
July 23, 2025 10:48 32m 44s
SMT2 back-end: flatten with_exprt operands Build and Test on *BSD #1929: Pull request #8670 synchronize by tautschnig
July 16, 2025 10:55 8m 45s tautschnig:convert-with
tautschnig:convert-with
July 16, 2025 10:55 8m 45s
SMT2 back-end: flatten with_exprt operands Build and Test on *BSD #1928: Pull request #8670 synchronize by tautschnig
July 16, 2025 10:02 9m 16s tautschnig:convert-with
tautschnig:convert-with
July 16, 2025 10:02 9m 16s
SMT2 back-end: flatten with_exprt operands Build and Test on *BSD #1927: Pull request #8670 synchronize by tautschnig
July 16, 2025 08:47 8m 16s tautschnig:convert-with
tautschnig:convert-with
July 16, 2025 08:47 8m 16s
Merge pull request #8684 from tautschnig/bugfixes/goto-harness-allocate Build and Test on *BSD #1926: Commit 062962c pushed by tautschnig
July 16, 2025 07:17 41m 41s develop
develop
July 16, 2025 07:17 41m 41s
goto-harness: use __CPROVER_(de)?allocate, not malloc/free Build and Test on *BSD #1925: Pull request #8684 synchronize by tautschnig
July 15, 2025 21:14 9m 0s tautschnig:bugfixes/goto-harness-allocate
tautschnig:bugfixes/goto-harness-allocate
July 15, 2025 21:14 9m 0s
goto-harness: use __CPROVER_(de)?allocate, not malloc/free Build and Test on *BSD #1924: Pull request #8684 synchronize by tautschnig
July 15, 2025 20:19 8m 52s tautschnig:bugfixes/goto-harness-allocate
tautschnig:bugfixes/goto-harness-allocate
July 15, 2025 20:19 8m 52s
goto-harness: use __CPROVER_(de)?allocate, not malloc/free Build and Test on *BSD #1923: Pull request #8684 synchronize by tautschnig
July 15, 2025 19:48 8m 46s tautschnig:bugfixes/goto-harness-allocate
tautschnig:bugfixes/goto-harness-allocate
July 15, 2025 19:48 8m 46s
goto-harness: use __CPROVER_(de)?allocate, not malloc/free Build and Test on *BSD #1922: Pull request #8684 opened by tautschnig
July 15, 2025 19:42 8m 21s tautschnig:bugfixes/goto-harness-allocate
tautschnig:bugfixes/goto-harness-allocate
July 15, 2025 19:42 8m 21s
Simplifier: do not create extractbits with pointer type Build and Test on *BSD #1921: Pull request #8678 synchronize by tautschnig
July 9, 2025 20:51 10m 37s tautschnig:fixup-typecast-simp
tautschnig:fixup-typecast-simp
July 9, 2025 20:51 10m 37s
Simplifier: do not create extractbits with pointer type Build and Test on *BSD #1920: Pull request #8678 opened by tautschnig
July 9, 2025 20:51 8m 53s tautschnig:fixup-typecast-simp
tautschnig:fixup-typecast-simp
July 9, 2025 20:51 8m 53s
Merge pull request #8677 from tautschnig/release-6.7.1 Build and Test on *BSD #1919: Commit d148ae6 pushed by tautschnig
July 9, 2025 20:16 7m 23s develop
develop
July 9, 2025 20:16 7m 23s
Release CBMC 6.7.1 Build and Test on *BSD #1918: Pull request #8677 opened by tautschnig
July 9, 2025 18:46 36m 43s tautschnig:release-6.7.1
tautschnig:release-6.7.1
July 9, 2025 18:46 36m 43s
Merge pull request #8674 from tautschnig/three-operand-with Build and Test on *BSD #1917: Commit ea7b092 pushed by tautschnig
July 9, 2025 18:38 36m 1s develop
develop
July 9, 2025 18:38 36m 1s
Higher radix multiplier encoding Build and Test on *BSD #1916: Pull request #7991 synchronize by tautschnig
July 9, 2025 14:32 5m 14s tautschnig:feature/multiplier-encoding
tautschnig:feature/multiplier-encoding
July 9, 2025 14:32 5m 14s
operator== for exprt and bool, int, nullptr_t Build and Test on *BSD #1915: Pull request #8675 synchronize by tautschnig
July 9, 2025 14:29 38m 9s tautschnig:operator-equals
tautschnig:operator-equals
July 9, 2025 14:29 38m 9s
Merge pull request #8673 from tautschnig/bugfixes/8617-attributes-c23 Build and Test on *BSD #1914: Commit f806d1e pushed by tautschnig
July 8, 2025 11:36 31m 5s develop
develop
July 8, 2025 11:36 31m 5s