Skip to content

Actions: diffblue/cbmc

Actions

Build Doxygen Documentation

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
doxygen-check.yaml
1,651 workflow runs
1,651 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Do not define project(CBMC ...) twice to fix CMake failures Build Doxygen Documentation #9093: Pull request #8435 synchronize by tautschnig
September 3, 2024 10:13 1m 34s tautschnig:debug-cmake-fail
tautschnig:debug-cmake-fail
September 3, 2024 10:13 1m 34s
Do not define project(CBMC ...) twice to fix CMake failures Build Doxygen Documentation #9092: Pull request #8435 synchronize by tautschnig
September 3, 2024 10:03 1m 36s tautschnig:debug-cmake-fail
tautschnig:debug-cmake-fail
September 3, 2024 10:03 1m 36s
Do not define project(CBMC ...) twice to fix CMake failures Build Doxygen Documentation #9091: Pull request #8435 synchronize by tautschnig
September 3, 2024 09:59 1m 39s tautschnig:debug-cmake-fail
tautschnig:debug-cmake-fail
September 3, 2024 09:59 1m 39s
Do not define project(CBMC ...) twice to fix CMake failures Build Doxygen Documentation #9090: Pull request #8435 synchronize by tautschnig
September 3, 2024 09:54 2m 16s tautschnig:debug-cmake-fail
tautschnig:debug-cmake-fail
September 3, 2024 09:54 2m 16s
Do not define project(CBMC ...) twice to fix CMake failures Build Doxygen Documentation #9089: Pull request #8435 opened by tautschnig
September 3, 2024 09:46 1m 44s tautschnig:debug-cmake-fail
tautschnig:debug-cmake-fail
September 3, 2024 09:46 1m 44s
Release CBMC 6.2.0 Build Doxygen Documentation #9088: Pull request #8434 opened by tautschnig
September 2, 2024 18:56 1m 37s tautschnig:release-6.2.0
tautschnig:release-6.2.0
September 2, 2024 18:56 1m 37s
add documentation of default for --max-nondet-array-length, see #8428 Build Doxygen Documentation #9087: Pull request #8432 opened by lks9
August 30, 2024 15:10 1m 48s lks9:doc_8428
lks9:doc_8428
August 30, 2024 15:10 1m 48s
Annotate loop unwinding bounds via pragma Build Doxygen Documentation #9086: Pull request #8431 opened by tautschnig
August 29, 2024 16:22 1m 36s tautschnig:pragma-for-loop-unwind
tautschnig:pragma-for-loop-unwind
August 29, 2024 16:22 1m 36s
Contracts: remove bound-var-rewrite Build Doxygen Documentation #9085: Pull request #8430 opened by tautschnig
August 29, 2024 14:17 1m 47s tautschnig:no-bound-var-rewrite
tautschnig:no-bound-var-rewrite
August 29, 2024 14:17 1m 47s
Include <cstdint> for int64_t Build Doxygen Documentation #9084: Pull request #8426 synchronize by ismaell
August 26, 2024 12:51 1m 49s ismaell:missing-cstdint
ismaell:missing-cstdint
August 26, 2024 12:51 1m 49s
Include <cstdint> for int64_t Build Doxygen Documentation #9083: Pull request #8426 opened by ismaell
August 23, 2024 21:18 1m 36s ismaell:missing-cstdint
ismaell:missing-cstdint
August 23, 2024 21:18 1m 36s
Automatically produce a CBMC release twice per month Build Doxygen Documentation #9082: Pull request #8425 opened by tautschnig
August 23, 2024 11:29 1m 36s tautschnig:auto-release
tautschnig:auto-release
August 23, 2024 11:29 1m 36s
Automatically create release tags via GitHub actions Build Doxygen Documentation #9081: Pull request #8424 opened by tautschnig
August 23, 2024 10:00 1m 40s tautschnig:release-tagging
tautschnig:release-tagging
August 23, 2024 10:00 1m 40s
Remove dynamic_cast from hardness collection code paths Build Doxygen Documentation #9080: Pull request #8423 synchronize by tautschnig
August 22, 2024 19:19 1m 42s tautschnig:hardness-no-dynamic_cast
tautschnig:hardness-no-dynamic_cast
August 22, 2024 19:19 1m 42s
CI: add macos-14 (macOS on M1) job Build Doxygen Documentation #9079: Pull request #8382 synchronize by tautschnig
August 22, 2024 18:10 1m 37s tautschnig:macos-14
tautschnig:macos-14
August 22, 2024 18:10 1m 37s
Remove dynamic_cast from hardness collection code paths Build Doxygen Documentation #9078: Pull request #8423 synchronize by tautschnig
August 22, 2024 18:02 1m 42s tautschnig:hardness-no-dynamic_cast
tautschnig:hardness-no-dynamic_cast
August 22, 2024 18:02 1m 42s
Remove dynamic_cast from hardness collection code paths Build Doxygen Documentation #9077: Pull request #8423 synchronize by tautschnig
August 22, 2024 15:05 1m 39s tautschnig:hardness-no-dynamic_cast
tautschnig:hardness-no-dynamic_cast
August 22, 2024 15:05 1m 39s
Remove dynamic_cast from hardness collection code paths Build Doxygen Documentation #9076: Pull request #8423 synchronize by tautschnig
August 22, 2024 14:59 1m 44s tautschnig:hardness-no-dynamic_cast
tautschnig:hardness-no-dynamic_cast
August 22, 2024 14:59 1m 44s
Remove dynamic_cast from hardness collection code paths Build Doxygen Documentation #9075: Pull request #8423 opened by tautschnig
August 22, 2024 14:52 1m 40s tautschnig:hardness-no-dynamic_cast
tautschnig:hardness-no-dynamic_cast
August 22, 2024 14:52 1m 40s
CI: Use CaDiCaL on Windows Build Doxygen Documentation #9074: Pull request #8422 synchronize by tautschnig
August 21, 2024 09:44 2m 12s tautschnig:win-ci-use-cadical
tautschnig:win-ci-use-cadical
August 21, 2024 09:44 2m 12s
CI: Use CaDiCaL on Windows Build Doxygen Documentation #9073: Pull request #8422 synchronize by tautschnig
August 21, 2024 09:31 1m 44s tautschnig:win-ci-use-cadical
tautschnig:win-ci-use-cadical
August 21, 2024 09:31 1m 44s
CONTRACTS: fix do while latch Build Doxygen Documentation #9072: Pull request #8420 synchronize by tautschnig
August 21, 2024 08:59 3m 29s remi-delmas-3000:contracts-fix-do-while-latch
remi-delmas-3000:contracts-fix-do-while-latch
August 21, 2024 08:59 3m 29s
CI: Use CaDiCaL on Windows Build Doxygen Documentation #9071: Pull request #8422 opened by tautschnig
August 21, 2024 08:59 1m 44s tautschnig:win-ci-use-cadical
tautschnig:win-ci-use-cadical
August 21, 2024 08:59 1m 44s
CONTRACTS: redirect checks to outer write set for loops that get skipped Build Doxygen Documentation #9070: Pull request #8416 synchronize by tautschnig
August 21, 2024 08:04 3m 13s remi-delmas-3000:skip-loops
remi-delmas-3000:skip-loops
August 21, 2024 08:04 3m 13s
CONTRACTS: fix do while latch Build Doxygen Documentation #9069: Pull request #8420 synchronize by tautschnig
August 21, 2024 07:39 1m 39s remi-delmas-3000:contracts-fix-do-while-latch
remi-delmas-3000:contracts-fix-do-while-latch
August 21, 2024 07:39 1m 39s