Skip to content

Actions: diffblue/cbmc

Actions

Build Xen with CPROVER tools

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
build-and-test-Xen.yaml
1,676 workflow runs
1,676 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 Xen with CPROVER tools #9505: Pull request #8435 opened by tautschnig
September 3, 2024 09:46 12m 13s tautschnig:debug-cmake-fail
tautschnig:debug-cmake-fail
September 3, 2024 09:46 12m 13s
Release CBMC 6.2.0 Build Xen with CPROVER tools #9504: Pull request #8434 opened by tautschnig
September 2, 2024 18:56 12m 4s tautschnig:release-6.2.0
tautschnig:release-6.2.0
September 2, 2024 18:56 12m 4s
add documentation of default for --max-nondet-array-length, see #8428 Build Xen with CPROVER tools #9503: Pull request #8432 opened by lks9
August 30, 2024 15:10 12m 12s lks9:doc_8428
lks9:doc_8428
August 30, 2024 15:10 12m 12s
Annotate loop unwinding bounds via pragma Build Xen with CPROVER tools #9502: Pull request #8431 opened by tautschnig
August 29, 2024 16:22 16m 4s tautschnig:pragma-for-loop-unwind
tautschnig:pragma-for-loop-unwind
August 29, 2024 16:22 16m 4s
Contracts: remove bound-var-rewrite Build Xen with CPROVER tools #9501: Pull request #8430 opened by tautschnig
August 29, 2024 14:17 12m 30s tautschnig:no-bound-var-rewrite
tautschnig:no-bound-var-rewrite
August 29, 2024 14:17 12m 30s
Include <cstdint> for int64_t Build Xen with CPROVER tools #9500: Pull request #8426 synchronize by ismaell
August 26, 2024 12:51 12m 37s ismaell:missing-cstdint
ismaell:missing-cstdint
August 26, 2024 12:51 12m 37s
Include <cstdint> for int64_t Build Xen with CPROVER tools #9499: Pull request #8426 opened by ismaell
August 23, 2024 21:18 20m 57s ismaell:missing-cstdint
ismaell:missing-cstdint
August 23, 2024 21:18 20m 57s
Automatically produce a CBMC release twice per month Build Xen with CPROVER tools #9498: Pull request #8425 opened by tautschnig
August 23, 2024 11:29 21m 22s tautschnig:auto-release
tautschnig:auto-release
August 23, 2024 11:29 21m 22s
Automatically create release tags via GitHub actions Build Xen with CPROVER tools #9497: Pull request #8424 opened by tautschnig
August 23, 2024 10:00 20m 55s tautschnig:release-tagging
tautschnig:release-tagging
August 23, 2024 10:00 20m 55s
Remove dynamic_cast from hardness collection code paths Build Xen with CPROVER tools #9496: Pull request #8423 synchronize by tautschnig
August 22, 2024 19:19 12m 54s tautschnig:hardness-no-dynamic_cast
tautschnig:hardness-no-dynamic_cast
August 22, 2024 19:19 12m 54s
CI: add macos-14 (macOS on M1) job Build Xen with CPROVER tools #9495: Pull request #8382 synchronize by tautschnig
August 22, 2024 18:10 12m 11s tautschnig:macos-14
tautschnig:macos-14
August 22, 2024 18:10 12m 11s
Remove dynamic_cast from hardness collection code paths Build Xen with CPROVER tools #9494: Pull request #8423 synchronize by tautschnig
August 22, 2024 18:02 13m 31s tautschnig:hardness-no-dynamic_cast
tautschnig:hardness-no-dynamic_cast
August 22, 2024 18:02 13m 31s
Remove dynamic_cast from hardness collection code paths Build Xen with CPROVER tools #9493: Pull request #8423 synchronize by tautschnig
August 22, 2024 15:05 13m 54s tautschnig:hardness-no-dynamic_cast
tautschnig:hardness-no-dynamic_cast
August 22, 2024 15:05 13m 54s
Remove dynamic_cast from hardness collection code paths Build Xen with CPROVER tools #9492: Pull request #8423 synchronize by tautschnig
August 22, 2024 14:59 2m 3s tautschnig:hardness-no-dynamic_cast
tautschnig:hardness-no-dynamic_cast
August 22, 2024 14:59 2m 3s
Remove dynamic_cast from hardness collection code paths Build Xen with CPROVER tools #9491: Pull request #8423 opened by tautschnig
August 22, 2024 14:52 2m 5s tautschnig:hardness-no-dynamic_cast
tautschnig:hardness-no-dynamic_cast
August 22, 2024 14:52 2m 5s
CI: Use CaDiCaL on Windows Build Xen with CPROVER tools #9490: Pull request #8422 synchronize by tautschnig
August 21, 2024 09:44 14m 12s tautschnig:win-ci-use-cadical
tautschnig:win-ci-use-cadical
August 21, 2024 09:44 14m 12s
CI: Use CaDiCaL on Windows Build Xen with CPROVER tools #9489: Pull request #8422 synchronize by tautschnig
August 21, 2024 09:31 12m 39s tautschnig:win-ci-use-cadical
tautschnig:win-ci-use-cadical
August 21, 2024 09:31 12m 39s
CONTRACTS: fix do while latch Build Xen with CPROVER tools #9488: Pull request #8420 synchronize by tautschnig
August 21, 2024 08:59 14m 1s remi-delmas-3000:contracts-fix-do-while-latch
remi-delmas-3000:contracts-fix-do-while-latch
August 21, 2024 08:59 14m 1s
CI: Use CaDiCaL on Windows Build Xen with CPROVER tools #9487: Pull request #8422 opened by tautschnig
August 21, 2024 08:59 12m 3s tautschnig:win-ci-use-cadical
tautschnig:win-ci-use-cadical
August 21, 2024 08:59 12m 3s
CONTRACTS: redirect checks to outer write set for loops that get skipped Build Xen with CPROVER tools #9486: Pull request #8416 synchronize by tautschnig
August 21, 2024 08:04 21m 12s remi-delmas-3000:skip-loops
remi-delmas-3000:skip-loops
August 21, 2024 08:04 21m 12s
CONTRACTS: fix do while latch Build Xen with CPROVER tools #9485: Pull request #8420 synchronize by tautschnig
August 21, 2024 07:39 21m 24s remi-delmas-3000:contracts-fix-do-while-latch
remi-delmas-3000:contracts-fix-do-while-latch
August 21, 2024 07:39 21m 24s
Remove dynamic_cast from counterexample beautification code path Build Xen with CPROVER tools #9484: Pull request #8421 synchronize by tautschnig
August 21, 2024 07:17 21m 10s tautschnig:no-boolbv-dynamic_cast
tautschnig:no-boolbv-dynamic_cast
August 21, 2024 07:17 21m 10s
Maintain loop invariant annotation when converting do .. while Build Xen with CPROVER tools #9483: Pull request #8417 synchronize by tautschnig
August 21, 2024 07:15 21m 11s tautschnig:fix-do-while-loop-invariant
tautschnig:fix-do-while-loop-invariant
August 21, 2024 07:15 21m 11s
CONTRACTS: redirect checks to outer write set for loops that get skipped Build Xen with CPROVER tools #9482: Pull request #8416 synchronize by remi-delmas-3000
August 20, 2024 21:47 12m 15s remi-delmas-3000:skip-loops
remi-delmas-3000:skip-loops
August 20, 2024 21:47 12m 15s
CONTRACTS: fix do while latch Build Xen with CPROVER tools #9481: Pull request #8420 synchronize by remi-delmas-3000
August 20, 2024 21:19 14m 54s remi-delmas-3000:contracts-fix-do-while-latch
remi-delmas-3000:contracts-fix-do-while-latch
August 20, 2024 21:19 14m 54s