Skip to content

Actions: diffblue/cbmc

Actions

Build and Test CBMC

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
pull-request-checks.yaml
1,162 workflow runs
1,162 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Mimic GCC/Clang simplification behaviour when type checking ?: Build and Test CBMC #11231: Pull request #7959 synchronize by tautschnig
July 28, 2025 11:47 Queued tautschnig:features/gcc-clang-ite-simp
tautschnig:features/gcc-clang-ite-simp
July 28, 2025 11:47 Queued
goto-symex: apply_condition should not change L2 index Build and Test CBMC #11230: Pull request #6993 synchronize by tautschnig
July 28, 2025 11:39 Queued tautschnig:cleanup/no-spurious-assignments
tautschnig:cleanup/no-spurious-assignments
July 28, 2025 11:39 Queued
Fix goto-symex' auto-objects feature Build and Test CBMC #11229: Pull request #7177 synchronize by tautschnig
July 28, 2025 11:38 Queued tautschnig:feature/auto-objects
tautschnig:feature/auto-objects
July 28, 2025 11:38 Queued
C front-end: ensure array type updates are consistent Build and Test CBMC #11228: Pull request #7610 synchronize by tautschnig
July 28, 2025 11:37 Queued tautschnig:bugfixes/7608-array-size-nil
tautschnig:bugfixes/7608-array-size-nil
July 28, 2025 11:37 Queued
Reading/writing goto binaries: consistently use return values Build and Test CBMC #11227: Pull request #7643 synchronize by tautschnig
July 28, 2025 11:37 Queued tautschnig:cleanup/rw-goto-binary-return-value
tautschnig:cleanup/rw-goto-binary-return-value
July 28, 2025 11:37 Queued
Move __CPROVER_uninterpreted_* conversion to C type checker Build and Test CBMC #11226: Pull request #8280 synchronize by tautschnig
July 28, 2025 11:35 2h 41m 54s tautschnig:bugfixes/uif-in-quantifier
tautschnig:bugfixes/uif-in-quantifier
July 28, 2025 11:35 2h 41m 54s
C++ front-end: support explicit type conversion with braced-init-list Build and Test CBMC #11225: Pull request #8385 synchronize by tautschnig
July 28, 2025 11:35 Queued tautschnig:bugfixes/cpp-brace-init-list
tautschnig:bugfixes/cpp-brace-init-list
July 28, 2025 11:35 Queued
C++ front-end: support constexpr Build and Test CBMC #11224: Pull request #8386 synchronize by tautschnig
July 28, 2025 11:34 3h 1m 59s tautschnig:features/cpp-constexpr
tautschnig:features/cpp-constexpr
July 28, 2025 11:34 3h 1m 59s
Promote set_all_frozen to decision_proceduret to remove a dynamic_cast Build and Test CBMC #11223: Pull request #8404 synchronize by tautschnig
July 28, 2025 11:34 In progress tautschnig:freeze-no-dynamic_cast
tautschnig:freeze-no-dynamic_cast
July 28, 2025 11:34 In progress
Remove dynamic_cast from hardness collection code paths Build and Test CBMC #11222: Pull request #8423 synchronize by tautschnig
July 28, 2025 11:33 In progress tautschnig:hardness-no-dynamic_cast
tautschnig:hardness-no-dynamic_cast
July 28, 2025 11:33 In progress
Value set: remove array-of-array special case Build and Test CBMC #11221: Pull request #8653 synchronize by tautschnig
July 28, 2025 11:32 2h 5m 26s tautschnig:no-special-case
tautschnig:no-special-case
July 28, 2025 11:32 2h 5m 26s
Perform simplification of not_exprt as preorder step Build and Test CBMC #11220: Pull request #7996 synchronize by tautschnig
July 28, 2025 11:29 In progress tautschnig:simplify-not-preorder
tautschnig:simplify-not-preorder
July 28, 2025 11:29 In progress
C library: Refine and improve stdio models Build and Test CBMC #11219: Pull request #8043 synchronize by tautschnig
July 28, 2025 11:25 In progress tautschnig:bugfixes/stdio
tautschnig:bugfixes/stdio
July 28, 2025 11:25 In progress
DFCC: do not surface confusing warning Build and Test CBMC #11218: Pull request #8694 synchronize by tautschnig
July 28, 2025 11:20 1h 41m 2s tautschnig:dfcc-generate-no-warn
tautschnig:dfcc-generate-no-warn
July 28, 2025 11:20 1h 41m 2s
Merge pull request #8696 from tautschnig/contracts-cleanup-includes Build and Test CBMC #11217: Commit 2e6200a pushed by tautschnig
July 28, 2025 11:19 1h 55m 41s develop
develop
July 28, 2025 11:19 1h 55m 41s
Merge pull request #8698 from tautschnig/remove-redundant-init Build and Test CBMC #11216: Commit f7cd7db pushed by kroening
July 26, 2025 18:59 1h 55m 30s develop
develop
July 26, 2025 18:59 1h 55m 30s
C library: remove explicit zero initialisers Build and Test CBMC #11215: Pull request #8698 opened by tautschnig
July 25, 2025 14:58 2h 21m 29s tautschnig:remove-redundant-init
tautschnig:remove-redundant-init
July 25, 2025 14:58 2h 21m 29s
Contracts instrumentation: hide unhelpful "no body" warnings Build and Test CBMC #11214: Pull request #8697 synchronize by tautschnig
July 25, 2025 13:22 1h 31m 34s tautschnig:contracts-inlining-warnings
tautschnig:contracts-inlining-warnings
July 25, 2025 13:22 1h 31m 34s
Contracts instrumentation: cleanup unnecessary includes Build and Test CBMC #11213: Pull request #8696 synchronize by tautschnig
July 25, 2025 12:41 2h 20m 57s tautschnig:contracts-cleanup-includes
tautschnig:contracts-cleanup-includes
July 25, 2025 12:41 2h 20m 57s
Contracts instrumentation: hide unhelpful "no body" warnings Build and Test CBMC #11212: Pull request #8697 opened by tautschnig
July 25, 2025 12:37 2h 2m 18s tautschnig:contracts-inlining-warnings
tautschnig:contracts-inlining-warnings
July 25, 2025 12:37 2h 2m 18s
Contracts instrumentation: cleanup unnecessary includes Build and Test CBMC #11211: Pull request #8696 opened by tautschnig
July 25, 2025 11:56 57m 24s tautschnig:contracts-cleanup-includes
tautschnig:contracts-cleanup-includes
July 25, 2025 11:56 57m 24s
C front-end: do not warn when re-initialising a variable with the same value Build and Test CBMC #11210: Pull request #8695 opened by tautschnig
July 25, 2025 09:35 2h 4m 36s tautschnig:avoid-linking-warning
tautschnig:avoid-linking-warning
July 25, 2025 09:35 2h 4m 36s
DFCC: do not surface confusing warning Build and Test CBMC #11209: Pull request #8694 opened by tautschnig
July 25, 2025 09:20 1h 40m 32s tautschnig:dfcc-generate-no-warn
tautschnig:dfcc-generate-no-warn
July 25, 2025 09:20 1h 40m 32s
Merge pull request #8678 from tautschnig/fixup-typecast-simp Build and Test CBMC #11208: Commit 4a1a325 pushed by tautschnig
July 24, 2025 07:56 1h 20m 1s develop
develop
July 24, 2025 07:56 1h 20m 1s
Merge pull request #8670 from tautschnig/convert-with Build and Test CBMC #11207: Commit dc193c4 pushed by tautschnig
July 23, 2025 22:35 1h 44m 0s develop
develop
July 23, 2025 22:35 1h 44m 0s