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

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Reading/writing goto binaries: consistently use return values Build and Test CBMC #11236: Pull request #7643 synchronize by tautschnig
July 28, 2025 18:06 7h 21m 34s tautschnig:cleanup/rw-goto-binary-return-value
tautschnig:cleanup/rw-goto-binary-return-value
July 28, 2025 18:06 7h 21m 34s
Mimic GCC/Clang simplification behaviour when type checking ?: Build and Test CBMC #11235: Pull request #7959 synchronize by tautschnig
July 28, 2025 18:02 1h 47m 25s tautschnig:features/gcc-clang-ite-simp
tautschnig:features/gcc-clang-ite-simp
July 28, 2025 18:02 1h 47m 25s
Symex guards: avoid unnecessary duplicate negation Build and Test CBMC #11234: Pull request #8041 synchronize by tautschnig
July 28, 2025 18:00 4h 30m 31s tautschnig:cleanup/symex-duplicate-neg
tautschnig:cleanup/symex-duplicate-neg
July 28, 2025 18:00 4h 30m 31s
C++ front-end: support explicit type conversion with braced-init-list Build and Test CBMC #11233: Pull request #8385 synchronize by tautschnig
July 28, 2025 17:57 1h 38m 54s tautschnig:bugfixes/cpp-brace-init-list
tautschnig:bugfixes/cpp-brace-init-list
July 28, 2025 17:57 1h 38m 54s
Remove dynamic_cast from hardness collection code paths Build and Test CBMC #11232: Pull request #8423 synchronize by tautschnig
July 28, 2025 17:53 1h 49m 19s tautschnig:hardness-no-dynamic_cast
tautschnig:hardness-no-dynamic_cast
July 28, 2025 17:53 1h 49m 19s
Mimic GCC/Clang simplification behaviour when type checking ?: Build and Test CBMC #11231: Pull request #7959 synchronize by tautschnig
July 28, 2025 11:47 5h 53m 59s tautschnig:features/gcc-clang-ite-simp
tautschnig:features/gcc-clang-ite-simp
July 28, 2025 11:47 5h 53m 59s
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 5h 48m 37s tautschnig:cleanup/no-spurious-assignments
tautschnig:cleanup/no-spurious-assignments
July 28, 2025 11:39 5h 48m 37s
Fix goto-symex' auto-objects feature Build and Test CBMC #11229: Pull request #7177 synchronize by tautschnig
July 28, 2025 11:38 7h 17m 11s tautschnig:feature/auto-objects
tautschnig:feature/auto-objects
July 28, 2025 11:38 7h 17m 11s
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 1h 46m 18s tautschnig:bugfixes/7608-array-size-nil
tautschnig:bugfixes/7608-array-size-nil
July 28, 2025 11:37 1h 46m 18s
Reading/writing goto binaries: consistently use return values Build and Test CBMC #11227: Pull request #7643 synchronize by tautschnig
July 28, 2025 11:37 5h 16m 53s tautschnig:cleanup/rw-goto-binary-return-value
tautschnig:cleanup/rw-goto-binary-return-value
July 28, 2025 11:37 5h 16m 53s
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 5h 16m 46s tautschnig:bugfixes/cpp-brace-init-list
tautschnig:bugfixes/cpp-brace-init-list
July 28, 2025 11:35 5h 16m 46s
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 17m 9s tautschnig:freeze-no-dynamic_cast
tautschnig:freeze-no-dynamic_cast
July 28, 2025 11:34 17m 9s
Remove dynamic_cast from hardness collection code paths Build and Test CBMC #11222: Pull request #8423 synchronize by tautschnig
July 28, 2025 11:33 5h 25m 0s tautschnig:hardness-no-dynamic_cast
tautschnig:hardness-no-dynamic_cast
July 28, 2025 11:33 5h 25m 0s
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 3h 56m 1s tautschnig:simplify-not-preorder
tautschnig:simplify-not-preorder
July 28, 2025 11:29 3h 56m 1s
C library: Refine and improve stdio models Build and Test CBMC #11219: Pull request #8043 synchronize by tautschnig
July 28, 2025 11:25 6h 31m 45s tautschnig:bugfixes/stdio
tautschnig:bugfixes/stdio
July 28, 2025 11:25 6h 31m 45s
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