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

format_expr now prints bv-typed constants Build Xen with CPROVER tools #9555: Pull request #8457 synchronize by kroening
September 16, 2024 23:55 12m 24s format_expr_bv_constant
format_expr_bv_constant
September 16, 2024 23:55 12m 24s
format_expr now prints bv-typed constants Build Xen with CPROVER tools #9554: Pull request #8457 opened by kroening
September 16, 2024 22:50 21m 23s format_expr_bv_constant
format_expr_bv_constant
September 16, 2024 22:50 21m 23s
Clarify usage of history variables in error messages Build Xen with CPROVER tools #9553: Pull request #8456 synchronize by qinheping
September 16, 2024 01:24 12m 8s qinheping:issues/8453
qinheping:issues/8453
September 16, 2024 01:24 12m 8s
Clarify usage of history variables in error messages Build Xen with CPROVER tools #9552: Pull request #8456 synchronize by qinheping
September 16, 2024 01:21 12m 16s qinheping:issues/8453
qinheping:issues/8453
September 16, 2024 01:21 12m 16s
Clarify usage of history variables in error messages Build Xen with CPROVER tools #9551: Pull request #8456 synchronize by qinheping
September 13, 2024 19:51 12m 11s qinheping:issues/8453
qinheping:issues/8453
September 13, 2024 19:51 12m 11s
Clarify usage of history variables in error messages Build Xen with CPROVER tools #9550: Pull request #8456 synchronize by qinheping
September 13, 2024 19:45 12m 33s qinheping:issues/8453
qinheping:issues/8453
September 13, 2024 19:45 12m 33s
Clarify usage of history variables in error messages Build Xen with CPROVER tools #9549: Pull request #8456 opened by qinheping
September 13, 2024 19:40 12m 23s qinheping:issues/8453
qinheping:issues/8453
September 13, 2024 19:40 12m 23s
Mark constant_exprt::value_is_zero_string protected Build Xen with CPROVER tools #9548: Pull request #8455 opened by tautschnig
September 13, 2024 15:49 2m 23s tautschnig:protect-value_is_zero_string
tautschnig:protect-value_is_zero_string
September 13, 2024 15:49 2m 23s
Deprecate make_and in favour of conjunction(expr, expr) Build Xen with CPROVER tools #9547: Pull request #8450 synchronize by tautschnig
September 13, 2024 15:31 23m 47s tautschnig:no-make_and
tautschnig:no-make_and
September 13, 2024 15:31 23m 47s
Use boolean_negate for immediate simplification Build Xen with CPROVER tools #9546: Pull request #8449 synchronize by tautschnig
September 13, 2024 15:27 19m 58s tautschnig:use-boolean_negate
tautschnig:use-boolean_negate
September 13, 2024 15:27 19m 58s
C front-end: fix processing of alignment and packing attributes Build Xen with CPROVER tools #9545: Pull request #8454 opened by tautschnig
September 13, 2024 15:26 12m 9s tautschnig:fix-8443-attributes
tautschnig:fix-8443-attributes
September 13, 2024 15:26 12m 9s
Use boolean_negate for immediate simplification Build Xen with CPROVER tools #9544: Pull request #8449 synchronize by tautschnig
September 13, 2024 12:21 20m 24s tautschnig:use-boolean_negate
tautschnig:use-boolean_negate
September 13, 2024 12:21 20m 24s
Use boolean_negate for immediate simplification Build Xen with CPROVER tools #9543: Pull request #8449 synchronize by tautschnig
September 13, 2024 10:02 33m 9s tautschnig:use-boolean_negate
tautschnig:use-boolean_negate
September 13, 2024 10:02 33m 9s
Move make_with_expr to update_exprt Build Xen with CPROVER tools #9542: Pull request #8448 synchronize by tautschnig
September 13, 2024 09:56 29m 55s tautschnig:move-make_with_expr
tautschnig:move-make_with_expr
September 13, 2024 09:56 29m 55s
add documentation of default for --max-nondet-array-length, see #8428 Build Xen with CPROVER tools #9541: Pull request #8432 synchronize by lks9
September 13, 2024 09:48 14m 17s lks9:doc_8428
lks9:doc_8428
September 13, 2024 09:48 14m 17s
Remove renamedt from symex_targett interface Build Xen with CPROVER tools #9540: Pull request #8447 synchronize by tautschnig
September 10, 2024 15:00 29m 37s tautschnig:no-renamedt
tautschnig:no-renamedt
September 10, 2024 15:00 29m 37s
Move is_null_pointer to constant_exprt Build Xen with CPROVER tools #9539: Pull request #8445 synchronize by tautschnig
September 10, 2024 14:56 22m 20s tautschnig:move-is_null_pointer
tautschnig:move-is_null_pointer
September 10, 2024 14:56 22m 20s
Move is_null_pointer to constant_exprt Build Xen with CPROVER tools #9538: Pull request #8445 synchronize by tautschnig
September 10, 2024 14:53 15m 30s tautschnig:move-is_null_pointer
tautschnig:move-is_null_pointer
September 10, 2024 14:53 15m 30s
[Do not review just yet] Cleanup exprt and expr_util Build Xen with CPROVER tools #9537: Pull request #8451 opened by tautschnig
September 10, 2024 14:43 22m 18s tautschnig:cleanup-expr
tautschnig:cleanup-expr
September 10, 2024 14:43 22m 18s
Deprecate make_and in favour of conjunction(expr, expr) Build Xen with CPROVER tools #9536: Pull request #8450 opened by tautschnig
September 10, 2024 14:38 7m 38s tautschnig:no-make_and
tautschnig:no-make_and
September 10, 2024 14:38 7m 38s
Use boolean_negate for immediate simplification Build Xen with CPROVER tools #9535: Pull request #8449 opened by tautschnig
September 10, 2024 14:31 13m 33s tautschnig:use-boolean_negate
tautschnig:use-boolean_negate
September 10, 2024 14:31 13m 33s
Move make_with_expr to update_exprt Build Xen with CPROVER tools #9534: Pull request #8448 opened by tautschnig
September 10, 2024 14:30 1m 13s tautschnig:move-make_with_expr
tautschnig:move-make_with_expr
September 10, 2024 14:30 1m 13s
Remove renamedt from symex_targett interface Build Xen with CPROVER tools #9533: Pull request #8447 opened by tautschnig
September 10, 2024 14:29 13m 18s tautschnig:no-renamedt
tautschnig:no-renamedt
September 10, 2024 14:29 13m 18s
Move is_null_pointer to constant_exprt Build Xen with CPROVER tools #9532: Pull request #8445 opened by tautschnig
September 10, 2024 13:41 20m 2s tautschnig:move-is_null_pointer
tautschnig:move-is_null_pointer
September 10, 2024 13:41 20m 2s
Goto conversion: fix missing source locations Build Xen with CPROVER tools #9531: Pull request #8444 opened by tautschnig
September 10, 2024 13:29 12m 35s tautschnig:fix-missing-locs
tautschnig:fix-missing-locs
September 10, 2024 13:29 12m 35s