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

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Release CBMC 6.6.0 Build Xen with CPROVER tools #10050: Pull request #8632 opened by tautschnig
April 28, 2025 18:38 13m 35s tautschnig:release-6.6.0
tautschnig:release-6.6.0
April 28, 2025 18:38 13m 35s
DFCC instrumentation: skip unused functions Build Xen with CPROVER tools #10049: Pull request #8628 synchronize by tautschnig
April 28, 2025 17:29 12m 24s tautschnig:do-not-instrument-unused-functions
tautschnig:do-not-instrument-unused-functions
April 28, 2025 17:29 12m 24s
Use GitHub mirror to download GNU parallel Build Xen with CPROVER tools #10048: Pull request #8631 synchronize by tautschnig
April 28, 2025 14:54 12m 52s tautschnig:parallel-use-github-mirror
tautschnig:parallel-use-github-mirror
April 28, 2025 14:54 12m 52s
Use GitHub mirror to download GNU parallel Build Xen with CPROVER tools #10047: Pull request #8631 opened by tautschnig
April 28, 2025 14:41 22m 30s tautschnig:parallel-use-github-mirror
tautschnig:parallel-use-github-mirror
April 28, 2025 14:41 22m 30s
Simplify quantified expressions over constants Build Xen with CPROVER tools #10046: Pull request #8608 synchronize by tautschnig
April 28, 2025 14:26 22m 30s tautschnig:simp-quant
tautschnig:simp-quant
April 28, 2025 14:26 22m 30s
Simplify multiple-of-element size access to arrays Build Xen with CPROVER tools #10045: Pull request #8627 synchronize by tautschnig
April 28, 2025 14:23 22m 19s tautschnig:simp_mult_offset
tautschnig:simp_mult_offset
April 28, 2025 14:23 22m 19s
Simplify quantified expressions over constants Build Xen with CPROVER tools #10044: Pull request #8608 synchronize by tautschnig
April 28, 2025 13:11 1m 54s tautschnig:simp-quant
tautschnig:simp-quant
April 28, 2025 13:11 1m 54s
DFCC instrumentation: skip unused functions Build Xen with CPROVER tools #10043: Pull request #8628 synchronize by tautschnig
April 28, 2025 12:38 23m 42s tautschnig:do-not-instrument-unused-functions
tautschnig:do-not-instrument-unused-functions
April 28, 2025 12:38 23m 42s
prophecy_r_or_w_ok_exprt lowering: adjust for dynamic/static objects Build Xen with CPROVER tools #10042: Pull request #8629 opened by tautschnig
April 16, 2025 14:10 14m 26s tautschnig:simp-r_ok
tautschnig:simp-r_ok
April 16, 2025 14:10 14m 26s
DFCC instrumentation: skip unused functions Build Xen with CPROVER tools #10041: Pull request #8628 opened by tautschnig
April 16, 2025 14:10 12m 53s tautschnig:do-not-instrument-unused-functions
tautschnig:do-not-instrument-unused-functions
April 16, 2025 14:10 12m 53s
Simplify multiple-of-element size access to arrays Build Xen with CPROVER tools #10040: Pull request #8627 opened by tautschnig
April 14, 2025 15:26 12m 34s tautschnig:simp_mult_offset
tautschnig:simp_mult_offset
April 14, 2025 15:26 12m 34s
C23 keywords Build Xen with CPROVER tools #10039: Pull request #8623 synchronize by kroening
April 10, 2025 19:32 12m 13s c23-2
c23-2
April 10, 2025 19:32 12m 13s
C23 keywords Build Xen with CPROVER tools #10038: Pull request #8623 synchronize by kroening
April 10, 2025 18:45 13m 32s c23-2
c23-2
April 10, 2025 18:45 13m 32s
C23 keywords Build Xen with CPROVER tools #10037: Pull request #8623 synchronize by kroening
April 10, 2025 18:37 12m 31s c23-2
c23-2
April 10, 2025 18:37 12m 31s
C23 keywords Build Xen with CPROVER tools #10036: Pull request #8623 synchronize by kroening
April 10, 2025 18:31 12m 42s c23-2
c23-2
April 10, 2025 18:31 12m 42s
C23 keywords Build Xen with CPROVER tools #10035: Pull request #8623 synchronize by kroening
April 10, 2025 16:20 12m 25s c23-2
c23-2
April 10, 2025 16:20 12m 25s
C23 keywords Build Xen with CPROVER tools #10034: Pull request #8623 synchronize by kroening
April 10, 2025 14:43 12m 24s c23-2
c23-2
April 10, 2025 14:43 12m 24s
C23 keywords Build Xen with CPROVER tools #10033: Pull request #8623 synchronize by kroening
April 10, 2025 14:28 12m 34s c23-2
c23-2
April 10, 2025 14:28 12m 34s
C23 keywords Build Xen with CPROVER tools #10032: Pull request #8623 synchronize by kroening
April 10, 2025 14:22 12m 46s c23-2
c23-2
April 10, 2025 14:22 12m 46s
C23 keywords Build Xen with CPROVER tools #10031: Pull request #8623 synchronize by kroening
April 10, 2025 11:31 14m 4s c23-2
c23-2
April 10, 2025 11:31 14m 4s
C23 keywords Build Xen with CPROVER tools #10030: Pull request #8623 synchronize by kroening
April 10, 2025 11:28 12m 17s c23-2
c23-2
April 10, 2025 11:28 12m 17s
C23 keywords Build Xen with CPROVER tools #10029: Pull request #8623 synchronize by kroening
April 10, 2025 11:18 13m 10s c23-2
c23-2
April 10, 2025 11:18 13m 10s
C23 keywords Build Xen with CPROVER tools #10028: Pull request #8623 synchronize by kroening
April 10, 2025 01:51 19m 17s c23-2
c23-2
April 10, 2025 01:51 19m 17s
C23 keywords Build Xen with CPROVER tools #10027: Pull request #8623 synchronize by kroening
April 10, 2025 01:48 12m 11s c23-2
c23-2
April 10, 2025 01:48 12m 11s
C23 keywords Build Xen with CPROVER tools #10026: Pull request #8623 synchronize by kroening
April 10, 2025 01:30 21m 57s c23-2
c23-2
April 10, 2025 01:30 21m 57s