Skip to content

Actions: diffblue/cbmc

Actions

Build Doxygen Documentation

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
doxygen-check.yaml
840 workflow runs
840 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Bump actions/checkout from 4 to 5 Build Doxygen Documentation #9808: Pull request #8709 opened by dependabot bot
August 18, 2025 00:12 1m 51s dependabot/github_actions/actions/checkout-5
dependabot/github_actions/actions/checkout-5
August 18, 2025 00:12 1m 51s
Value-set supported simplifier: add object_size, is_invalid_pointer Build Doxygen Documentation #9807: Pull request #8704 synchronize by tautschnig
August 7, 2025 11:45 2m 45s tautschnig:simp-more-predicates
tautschnig:simp-more-predicates
August 7, 2025 11:45 2m 45s
Value-set supported simplifier: add object_size, is_invalid_pointer Build Doxygen Documentation #9806: Pull request #8704 synchronize by tautschnig
August 6, 2025 17:48 4m 13s tautschnig:simp-more-predicates
tautschnig:simp-more-predicates
August 6, 2025 17:48 4m 13s
Rewrite byte_extract from multi-dimensional array Build Doxygen Documentation #9805: Pull request #8705 opened by tautschnig
August 6, 2025 17:22 2m 48s tautschnig:byte_extract-multi-dim-array
tautschnig:byte_extract-multi-dim-array
August 6, 2025 17:22 2m 48s
Value-set supported simplifier: add object_size, is_invalid_pointer Build Doxygen Documentation #9804: Pull request #8704 opened by tautschnig
August 6, 2025 17:19 2m 38s tautschnig:simp-more-predicates
tautschnig:simp-more-predicates
August 6, 2025 17:19 2m 38s
Work around Z3 not producing models for some quantified expressions Build Doxygen Documentation #9803: Pull request #8703 synchronize by tautschnig
August 5, 2025 17:26 1m 33s tautschnig:trying-to-fix-z3-with-quantifiers
tautschnig:trying-to-fix-z3-with-quantifiers
August 5, 2025 17:26 1m 33s
Work around Z3 not producing models for some quantified expressions Build Doxygen Documentation #9802: Pull request #8703 opened by tautschnig
July 31, 2025 08:38 1m 35s tautschnig:trying-to-fix-z3-with-quantifiers
tautschnig:trying-to-fix-z3-with-quantifiers
July 31, 2025 08:38 1m 35s
C front-end: tolerate type differences with asm renaming Build Doxygen Documentation #9801: Pull request #7584 synchronize by tautschnig
July 30, 2025 07:19 1m 40s tautschnig:features/asm-renaming-type-conflict
tautschnig:features/asm-renaming-type-conflict
July 30, 2025 07:19 1m 40s
Symex guards: avoid unnecessary duplicate negation Build Doxygen Documentation #9800: Pull request #8041 synchronize by tautschnig
July 29, 2025 18:33 9m 40s tautschnig:cleanup/symex-duplicate-neg
tautschnig:cleanup/symex-duplicate-neg
July 29, 2025 18:33 9m 40s
Value set dereferencing: do not treat struct prefixes as equal Build Doxygen Documentation #9799: Pull request #5876 synchronize by tautschnig
July 29, 2025 18:32 1m 42s tautschnig:no-struct-prefix
tautschnig:no-struct-prefix
July 29, 2025 18:32 1m 42s
Move rounding_mode_identifier() to configt Build Doxygen Documentation #9798: Pull request #6555 synchronize by tautschnig
July 29, 2025 18:32 1m 37s tautschnig:rounding-mode-symbol
tautschnig:rounding-mode-symbol
July 29, 2025 18:32 1m 37s
goto-symex: apply_condition should not change L2 index Build Doxygen Documentation #9797: Pull request #6993 synchronize by tautschnig
July 29, 2025 16:09 5m 38s tautschnig:cleanup/no-spurious-assignments
tautschnig:cleanup/no-spurious-assignments
July 29, 2025 16:09 5m 38s
C front-end: tolerate type differences with asm renaming Build Doxygen Documentation #9796: Pull request #7584 synchronize by tautschnig
July 29, 2025 15:46 16m 38s tautschnig:features/asm-renaming-type-conflict
tautschnig:features/asm-renaming-type-conflict
July 29, 2025 15:46 16m 38s
Linking: fix up all types before handling functions or objects Build Doxygen Documentation #9795: Pull request #7579 synchronize by tautschnig
July 29, 2025 15:46 15m 25s tautschnig:bugfixes/linking
tautschnig:bugfixes/linking
July 29, 2025 15:46 15m 25s
Mimic GCC/Clang simplification behaviour when type checking ?: Build Doxygen Documentation #9794: Pull request #7959 synchronize by tautschnig
July 29, 2025 15:45 2m 37s tautschnig:features/gcc-clang-ite-simp
tautschnig:features/gcc-clang-ite-simp
July 29, 2025 15:45 2m 37s
C front-end: tolerate type differences with asm renaming Build Doxygen Documentation #9793: Pull request #7584 synchronize by tautschnig
July 29, 2025 13:47 16m 15s tautschnig:features/asm-renaming-type-conflict
tautschnig:features/asm-renaming-type-conflict
July 29, 2025 13:47 16m 15s
Linking: fix up all types before handling functions or objects Build Doxygen Documentation #9792: Pull request #7579 synchronize by tautschnig
July 29, 2025 13:42 33m 4s tautschnig:bugfixes/linking
tautschnig:bugfixes/linking
July 29, 2025 13:42 33m 4s
Add support for MergeSat Build Doxygen Documentation #9791: Pull request #6439 synchronize by tautschnig
July 29, 2025 13:39 1m 48s tautschnig:mergesat
tautschnig:mergesat
July 29, 2025 13:39 1m 48s
Introduce bitst and bytest to avoid bit/byte mix-up Build Doxygen Documentation #9790: Pull request #7413 synchronize by tautschnig
July 29, 2025 13:32 2m 39s tautschnig:feature/bits-bytes
tautschnig:feature/bits-bytes
July 29, 2025 13:32 2m 39s
Extend cbmc-incr-oneloop timeout with CMake Build Doxygen Documentation #9789: Pull request #8701 opened by tautschnig
July 29, 2025 13:04 2m 19s tautschnig:extend-timeout
tautschnig:extend-timeout
July 29, 2025 13:04 2m 19s
Consistently use unsigned/size_t in big-int [blocks: #2310] Build Doxygen Documentation #9788: Pull request #2452 synchronize by tautschnig
July 28, 2025 19:35 9m 15s tautschnig:vs-big-int
tautschnig:vs-big-int
July 28, 2025 19:35 9m 15s
Message handler: add quote_begin, quote_end commands Build Doxygen Documentation #9787: Pull request #5696 synchronize by tautschnig
July 28, 2025 19:34 24m 50s tautschnig:quote-command
tautschnig:quote-command
July 28, 2025 19:34 24m 50s
Consistently use unsigned/size_t in big-int [blocks: #2310] Build Doxygen Documentation #9786: Pull request #2452 synchronize by tautschnig
July 28, 2025 19:27 1m 42s tautschnig:vs-big-int
tautschnig:vs-big-int
July 28, 2025 19:27 1m 42s
Value set dereferencing: do not treat struct prefixes as equal Build Doxygen Documentation #9785: Pull request #5876 synchronize by tautschnig
July 28, 2025 19:25 1m 36s tautschnig:no-struct-prefix
tautschnig:no-struct-prefix
July 28, 2025 19:25 1m 36s
Move rounding_mode_identifier() to configt Build Doxygen Documentation #9784: Pull request #6555 synchronize by tautschnig
July 28, 2025 18:09 19m 30s tautschnig:rounding-mode-symbol
tautschnig:rounding-mode-symbol
July 28, 2025 18:09 19m 30s