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

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Compile Java regression test sources (3/n) Build Xen with CPROVER tools #9763: Pull request #8549 opened by peterschrammel
December 31, 2024 13:28 21m 7s peterschrammel:ps/compile-java-regression-test-sources3
peterschrammel:ps/compile-java-regression-test-sources3
December 31, 2024 13:28 21m 7s
Compile Java regression test sources (2/n) Build Xen with CPROVER tools #9762: Pull request #8548 synchronize by peterschrammel
December 31, 2024 13:13 12m 18s peterschrammel:ps/compile-java-regression-test-sources2
peterschrammel:ps/compile-java-regression-test-sources2
December 31, 2024 13:13 12m 18s
Compile Java regression test sources (2/n) Build Xen with CPROVER tools #9761: Pull request #8548 synchronize by peterschrammel
December 30, 2024 17:18 12m 6s peterschrammel:ps/compile-java-regression-test-sources2
peterschrammel:ps/compile-java-regression-test-sources2
December 30, 2024 17:18 12m 6s
Compile Java regression test sources (1/n) Build Xen with CPROVER tools #9760: Pull request #8487 synchronize by peterschrammel
December 30, 2024 16:28 11m 48s peterschrammel:ps/compile-java-regression-test-sources1
peterschrammel:ps/compile-java-regression-test-sources1
December 30, 2024 16:28 11m 48s
Compile Java regression test sources (2/n) Build Xen with CPROVER tools #9759: Pull request #8548 opened by peterschrammel
December 30, 2024 16:21 12m 1s peterschrammel:ps/compile-java-regression-test-sources2
peterschrammel:ps/compile-java-regression-test-sources2
December 30, 2024 16:21 12m 1s
Use cmake for cleaning in cmake job Build Xen with CPROVER tools #9758: Pull request #8547 opened by peterschrammel
December 30, 2024 16:01 12m 34s peterschrammel:ps/cmake-clean
peterschrammel:ps/cmake-clean
December 30, 2024 16:01 12m 34s
Adding large-step encoding for CHCs in CProver (no [required] changes to the solver) Build Xen with CPROVER tools #9757: Pull request #8465 synchronize by yvizel
December 30, 2024 10:15 13m 57s yvizel:develop
yvizel:develop
December 30, 2024 10:15 13m 57s
Compile Java regression test sources (1/n) Build Xen with CPROVER tools #9756: Pull request #8487 synchronize by peterschrammel
December 28, 2024 15:22 12m 42s peterschrammel:ps/compile-java-regression-test-sources1
peterschrammel:ps/compile-java-regression-test-sources1
December 28, 2024 15:22 12m 42s
library-check: fixup missing __builtin_ffs check Build Xen with CPROVER tools #9755: Pull request #8145 synchronize by rurban
December 28, 2024 09:45 12m 12s rurban:ffs
rurban:ffs
December 28, 2024 09:45 12m 12s
Enable IPO / LTO and -O3 Build Xen with CPROVER tools #9754: Pull request #8146 synchronize by rurban
December 28, 2024 09:45 1m 1s rurban:lto
rurban:lto
December 28, 2024 09:45 1m 1s
goto-analyzer: --show-local-bitvector Build Xen with CPROVER tools #9753: Pull request #8546 synchronize by kroening
December 27, 2024 15:28 12m 3s show-local-bitvector
show-local-bitvector
December 27, 2024 15:28 12m 3s
SMT2: range_type fixes Build Xen with CPROVER tools #9752: Pull request #8537 synchronize by kroening
December 26, 2024 13:06 19m 54s smt2-range-fix
smt2-range-fix
December 26, 2024 13:06 19m 54s
goto-analyzer: --show-local-bitvector Build Xen with CPROVER tools #9751: Pull request #8546 synchronize by kroening
December 26, 2024 12:18 11m 50s show-local-bitvector
show-local-bitvector
December 26, 2024 12:18 11m 50s
goto-analyzer: --show-local-bitvector Build Xen with CPROVER tools #9750: Pull request #8546 opened by kroening
December 26, 2024 10:37 11m 56s show-local-bitvector
show-local-bitvector
December 26, 2024 10:37 11m 56s
uninitialized check Build Xen with CPROVER tools #9749: Pull request #8545 synchronize by kroening
December 26, 2024 10:26 12m 7s uninitialized-check
uninitialized-check
December 26, 2024 10:26 12m 7s
uninitialized check Build Xen with CPROVER tools #9748: Pull request #8545 synchronize by kroening
December 26, 2024 09:49 12m 13s uninitialized-check
uninitialized-check
December 26, 2024 09:49 12m 13s
fix enum-range check for LHSs Build Xen with CPROVER tools #9747: Pull request #8544 synchronize by kroening
December 25, 2024 08:57 12m 14s goto-check-c-is-assigned
goto-check-c-is-assigned
December 25, 2024 08:57 12m 14s
fix enum-range check for LHSs Build Xen with CPROVER tools #9746: Pull request #8544 synchronize by kroening
December 24, 2024 19:22 11m 54s goto-check-c-is-assigned
goto-check-c-is-assigned
December 24, 2024 19:22 11m 54s
fix enum-range check for LHSs Build Xen with CPROVER tools #9745: Pull request #8544 synchronize by kroening
December 23, 2024 18:13 16m 33s goto-check-c-is-assigned
goto-check-c-is-assigned
December 23, 2024 18:13 16m 33s
uninitialized check Build Xen with CPROVER tools #9744: Pull request #8545 opened by kroening
December 23, 2024 18:04 19m 14s uninitialized-check
uninitialized-check
December 23, 2024 18:04 19m 14s
fix enum-range check for LHSs Build Xen with CPROVER tools #9743: Pull request #8544 opened by kroening
December 23, 2024 18:02 17m 18s goto-check-c-is-assigned
goto-check-c-is-assigned
December 23, 2024 18:02 17m 18s
KNOWNBUG test for enum-range check inside LHS of an assignment Build Xen with CPROVER tools #9742: Pull request #8543 synchronize by kroening
December 23, 2024 18:01 12m 5s enum_lhs
enum_lhs
December 23, 2024 18:01 12m 5s
KNOWNBUG test for enum-range check inside LHS of an assignment Build Xen with CPROVER tools #9741: Pull request #8543 synchronize by kroening
December 23, 2024 17:53 11m 53s enum_lhs
enum_lhs
December 23, 2024 17:53 11m 53s
KNOWNBUG test for enum-range check inside LHS of an assignment Build Xen with CPROVER tools #9740: Pull request #8543 synchronize by kroening
December 23, 2024 17:29 11m 58s enum_lhs
enum_lhs
December 23, 2024 17:29 11m 58s
KNOWNBUG test for enum-range check inside LHS of an assignment Build Xen with CPROVER tools #9739: Pull request #8543 synchronize by kroening
December 23, 2024 17:24 11m 55s enum_lhs
enum_lhs
December 23, 2024 17:24 11m 55s