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

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Value set dereferencing: do not treat struct prefixes as equal Build and Test on *BSD #1964: Pull request #5876 synchronize by tautschnig
July 28, 2025 19:25 36m 47s tautschnig:no-struct-prefix
tautschnig:no-struct-prefix
July 28, 2025 19:25 36m 47s
Move rounding_mode_identifier() to configt Build and Test on *BSD #1963: Pull request #6555 synchronize by tautschnig
July 28, 2025 18:09 52m 24s tautschnig:rounding-mode-symbol
tautschnig:rounding-mode-symbol
July 28, 2025 18:09 52m 24s
Reading/writing goto binaries: consistently use return values Build and Test on *BSD #1962: Pull request #7643 synchronize by tautschnig
July 28, 2025 18:06 49m 4s tautschnig:cleanup/rw-goto-binary-return-value
tautschnig:cleanup/rw-goto-binary-return-value
July 28, 2025 18:06 49m 4s
Mimic GCC/Clang simplification behaviour when type checking ?: Build and Test on *BSD #1961: Pull request #7959 synchronize by tautschnig
July 28, 2025 18:02 43m 27s tautschnig:features/gcc-clang-ite-simp
tautschnig:features/gcc-clang-ite-simp
July 28, 2025 18:02 43m 27s
Symex guards: avoid unnecessary duplicate negation Build and Test on *BSD #1960: Pull request #8041 synchronize by tautschnig
July 28, 2025 18:00 50m 58s tautschnig:cleanup/symex-duplicate-neg
tautschnig:cleanup/symex-duplicate-neg
July 28, 2025 18:00 50m 58s
C++ front-end: support explicit type conversion with braced-init-list Build and Test on *BSD #1959: Pull request #8385 synchronize by tautschnig
July 28, 2025 17:57 41m 4s tautschnig:bugfixes/cpp-brace-init-list
tautschnig:bugfixes/cpp-brace-init-list
July 28, 2025 17:57 41m 4s
Remove dynamic_cast from hardness collection code paths Build and Test on *BSD #1958: Pull request #8423 synchronize by tautschnig
July 28, 2025 17:53 7m 43s tautschnig:hardness-no-dynamic_cast
tautschnig:hardness-no-dynamic_cast
July 28, 2025 17:53 7m 43s
Mimic GCC/Clang simplification behaviour when type checking ?: Build and Test on *BSD #1957: Pull request #7959 synchronize by tautschnig
July 28, 2025 11:47 1h 44m 5s tautschnig:features/gcc-clang-ite-simp
tautschnig:features/gcc-clang-ite-simp
July 28, 2025 11:47 1h 44m 5s
goto-symex: apply_condition should not change L2 index Build and Test on *BSD #1956: Pull request #6993 synchronize by tautschnig
July 28, 2025 11:39 1h 44m 22s tautschnig:cleanup/no-spurious-assignments
tautschnig:cleanup/no-spurious-assignments
July 28, 2025 11:39 1h 44m 22s
Fix goto-symex' auto-objects feature Build and Test on *BSD #1955: Pull request #7177 synchronize by tautschnig
July 28, 2025 11:38 1h 53m 30s tautschnig:feature/auto-objects
tautschnig:feature/auto-objects
July 28, 2025 11:38 1h 53m 30s
C front-end: ensure array type updates are consistent Build and Test on *BSD #1954: Pull request #7610 synchronize by tautschnig
July 28, 2025 11:37 1h 53m 24s tautschnig:bugfixes/7608-array-size-nil
tautschnig:bugfixes/7608-array-size-nil
July 28, 2025 11:37 1h 53m 24s
Reading/writing goto binaries: consistently use return values Build and Test on *BSD #1953: Pull request #7643 synchronize by tautschnig
July 28, 2025 11:37 1h 30m 46s tautschnig:cleanup/rw-goto-binary-return-value
tautschnig:cleanup/rw-goto-binary-return-value
July 28, 2025 11:37 1h 30m 46s
Move __CPROVER_uninterpreted_* conversion to C type checker Build and Test on *BSD #1952: Pull request #8280 synchronize by tautschnig
July 28, 2025 11:35 1h 36m 51s tautschnig:bugfixes/uif-in-quantifier
tautschnig:bugfixes/uif-in-quantifier
July 28, 2025 11:35 1h 36m 51s
C++ front-end: support explicit type conversion with braced-init-list Build and Test on *BSD #1951: Pull request #8385 synchronize by tautschnig
July 28, 2025 11:35 1h 26m 18s tautschnig:bugfixes/cpp-brace-init-list
tautschnig:bugfixes/cpp-brace-init-list
July 28, 2025 11:35 1h 26m 18s
C++ front-end: support constexpr Build and Test on *BSD #1950: Pull request #8386 synchronize by tautschnig
July 28, 2025 11:34 1h 0m 56s tautschnig:features/cpp-constexpr
tautschnig:features/cpp-constexpr
July 28, 2025 11:34 1h 0m 56s
Promote set_all_frozen to decision_proceduret to remove a dynamic_cast Build and Test on *BSD #1949: Pull request #8404 synchronize by tautschnig
July 28, 2025 11:34 51m 47s tautschnig:freeze-no-dynamic_cast
tautschnig:freeze-no-dynamic_cast
July 28, 2025 11:34 51m 47s
Remove dynamic_cast from hardness collection code paths Build and Test on *BSD #1948: Pull request #8423 synchronize by tautschnig
July 28, 2025 11:33 1h 6m 55s tautschnig:hardness-no-dynamic_cast
tautschnig:hardness-no-dynamic_cast
July 28, 2025 11:33 1h 6m 55s
Value set: remove array-of-array special case Build and Test on *BSD #1947: Pull request #8653 synchronize by tautschnig
July 28, 2025 11:32 50m 47s tautschnig:no-special-case
tautschnig:no-special-case
July 28, 2025 11:32 50m 47s
Perform simplification of not_exprt as preorder step Build and Test on *BSD #1946: Pull request #7996 synchronize by tautschnig
July 28, 2025 11:29 46m 31s tautschnig:simplify-not-preorder
tautschnig:simplify-not-preorder
July 28, 2025 11:29 46m 31s
C library: Refine and improve stdio models Build and Test on *BSD #1945: Pull request #8043 synchronize by tautschnig
July 28, 2025 11:25 49m 24s tautschnig:bugfixes/stdio
tautschnig:bugfixes/stdio
July 28, 2025 11:25 49m 24s
DFCC: do not surface confusing warning Build and Test on *BSD #1944: Pull request #8694 synchronize by tautschnig
July 28, 2025 11:20 9m 8s tautschnig:dfcc-generate-no-warn
tautschnig:dfcc-generate-no-warn
July 28, 2025 11:20 9m 8s
Merge pull request #8696 from tautschnig/contracts-cleanup-includes Build and Test on *BSD #1943: Commit 2e6200a pushed by tautschnig
July 28, 2025 11:19 10m 30s develop
develop
July 28, 2025 11:19 10m 30s
Merge pull request #8698 from tautschnig/remove-redundant-init Build and Test on *BSD #1942: Commit f7cd7db pushed by kroening
July 26, 2025 18:59 43m 6s develop
develop
July 26, 2025 18:59 43m 6s
C library: remove explicit zero initialisers Build and Test on *BSD #1941: Pull request #8698 opened by tautschnig
July 25, 2025 14:58 42m 50s tautschnig:remove-redundant-init
tautschnig:remove-redundant-init
July 25, 2025 14:58 42m 50s
Contracts instrumentation: hide unhelpful "no body" warnings Build and Test on *BSD #1940: Pull request #8697 synchronize by tautschnig
July 25, 2025 13:22 8m 56s tautschnig:contracts-inlining-warnings
tautschnig:contracts-inlining-warnings
July 25, 2025 13:22 8m 56s