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

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

format_type can now format range_typet Build Xen with CPROVER tools #9580: Pull request #8473 opened by kroening
September 25, 2024 14:20 13m 21s format-range_typet
format-range_typet
September 25, 2024 14:20 13m 21s
Man pages: improve wording of unwinding-related options Build Xen with CPROVER tools #9579: Pull request #8471 synchronize by tautschnig
September 25, 2024 12:42 12m 12s tautschnig:loops-man-pages
tautschnig:loops-man-pages
September 25, 2024 12:42 12m 12s
Reword documentation of __CPROVER_{r,w,rw}_ok Build Xen with CPROVER tools #9578: Pull request #8472 opened by tautschnig
September 25, 2024 11:36 14m 8s tautschnig:rw_ok-documentation
tautschnig:rw_ok-documentation
September 25, 2024 11:36 14m 8s
Man pages: improve wording of unwinding-related options Build Xen with CPROVER tools #9577: Pull request #8471 opened by tautschnig
September 24, 2024 21:45 12m 1s tautschnig:loops-man-pages
tautschnig:loops-man-pages
September 24, 2024 21:45 12m 1s
Contracts: document use of __CPROVER_loop_entry with arrays Build Xen with CPROVER tools #9576: Pull request #8470 opened by tautschnig
September 24, 2024 20:36 12m 18s tautschnig:loop_entry-arrays
tautschnig:loop_entry-arrays
September 24, 2024 20:36 12m 18s
Remove infinity_exprt Build Xen with CPROVER tools #9575: Pull request #8469 synchronize by tautschnig
September 24, 2024 14:18 6m 23s tautschnig:remove-infinity
tautschnig:remove-infinity
September 24, 2024 14:18 6m 23s
Remove infinity_exprt Build Xen with CPROVER tools #9574: Pull request #8469 synchronize by tautschnig
September 24, 2024 14:14 20m 49s tautschnig:remove-infinity
tautschnig:remove-infinity
September 24, 2024 14:14 20m 49s
Remove infinity_exprt Build Xen with CPROVER tools #9573: Pull request #8469 opened by tautschnig
September 24, 2024 14:05 20m 44s tautschnig:remove-infinity
tautschnig:remove-infinity
September 24, 2024 14:05 20m 44s
Re-enable array theory as default for array size above threshold Build Xen with CPROVER tools #9572: Pull request #8468 opened by tautschnig
September 24, 2024 12:48 13m 20s tautschnig:arrays-uf-auto-default
tautschnig:arrays-uf-auto-default
September 24, 2024 12:48 13m 20s
SMT2: implement cond Build Xen with CPROVER tools #9571: Pull request #8467 opened by kroening
September 23, 2024 18:56 20m 48s smt2-cond
smt2-cond
September 23, 2024 18:56 20m 48s
SMT2: implement range type Build Xen with CPROVER tools #9570: Pull request #8466 opened by kroening
September 22, 2024 13:47 12m 27s smt2-range
smt2-range
September 22, 2024 13:47 12m 27s
Adding large-step encoding for CHCs in CProver (no [required] changes to the solver) Build Xen with CPROVER tools #9569: Pull request #8465 opened by yvizel
September 22, 2024 12:19 12m 35s yvizel:develop
yvizel:develop
September 22, 2024 12:19 12m 35s
C library: fix build on FreeBSD Build Xen with CPROVER tools #9567: Pull request #8463 opened by melak
September 21, 2024 19:23 Action required melak:fbsd-build-fix
melak:fbsd-build-fix
September 21, 2024 19:23 Action required
Release CBMC 6.3.1 Build Xen with CPROVER tools #9566: Pull request #8462 opened by tautschnig
September 19, 2024 16:27 12m 7s tautschnig:release-6.3.1
tautschnig:release-6.3.1
September 19, 2024 16:27 12m 7s
C library: Apple does not adhere to aarch64 ABI Build Xen with CPROVER tools #9565: Pull request #8461 synchronize by tautschnig
September 19, 2024 15:34 12m 11s tautschnig:fix-aarch64-va_list
tautschnig:fix-aarch64-va_list
September 19, 2024 15:34 12m 11s
C library: Apple does not adhere to aarch64 ABI Build Xen with CPROVER tools #9564: Pull request #8461 opened by tautschnig
September 19, 2024 12:49 12m 18s tautschnig:fix-aarch64-va_list
tautschnig:fix-aarch64-va_list
September 19, 2024 12:49 12m 18s
Release CBMC 6.3.0 Build Xen with CPROVER tools #9563: Pull request #8460 opened by tautschnig
September 19, 2024 08:37 12m 31s tautschnig:release-6.3.0
tautschnig:release-6.3.0
September 19, 2024 08:37 12m 31s
C library: fix use of va_list for AARCH64 Build Xen with CPROVER tools #9562: Pull request #8366 synchronize by tautschnig
September 18, 2024 10:51 12m 26s tautschnig:fix-8357-va_list
tautschnig:fix-8357-va_list
September 18, 2024 10:51 12m 26s
Clarify usage of history variables in error messages Build Xen with CPROVER tools #9561: Pull request #8456 synchronize by qinheping
September 18, 2024 05:18 12m 36s qinheping:issues/8453
qinheping:issues/8453
September 18, 2024 05:18 12m 36s
Clarify usage of history variables in error messages Build Xen with CPROVER tools #9560: Pull request #8456 synchronize by qinheping
September 17, 2024 23:28 12m 38s qinheping:issues/8453
qinheping:issues/8453
September 17, 2024 23:28 12m 38s
Contracts/DFCC: split conjunctions in loop invariants Build Xen with CPROVER tools #9559: Pull request #8458 synchronize by tautschnig
September 17, 2024 18:42 12m 41s tautschnig:loop-invariants-conjunction-splitting
tautschnig:loop-invariants-conjunction-splitting
September 17, 2024 18:42 12m 41s
Contracts: always remove spurious do {... } while(0) loops Build Xen with CPROVER tools #9558: Pull request #8459 synchronize by tautschnig
September 17, 2024 13:23 12m 44s tautschnig:contracts-remove-do-while-0
tautschnig:contracts-remove-do-while-0
September 17, 2024 13:23 12m 44s
Contracts: always remove spurious do {... } while(0) loops Build Xen with CPROVER tools #9557: Pull request #8459 opened by tautschnig
September 17, 2024 12:59 21m 16s tautschnig:contracts-remove-do-while-0
tautschnig:contracts-remove-do-while-0
September 17, 2024 12:59 21m 16s
Contracts/DFCC: split conjunctions in loop invariants Build Xen with CPROVER tools #9556: Pull request #8458 opened by tautschnig
September 17, 2024 11:50 20m 21s tautschnig:loop-invariants-conjunction-splitting
tautschnig:loop-invariants-conjunction-splitting
September 17, 2024 11:50 20m 21s
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