Skip to content

Actions: diffblue/cbmc

Actions

Build Linux partially with CPROVER tools

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
build-and-test-Linux.yaml
1,651 workflow runs
1,651 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

zero extension expression Build Linux partially with CPROVER tools #7691: Pull request #8442 synchronize by kroening
October 3, 2024 00:32 13m 30s zero_extend
zero_extend
October 3, 2024 00:32 13m 30s
Clarify usage of history variables in error messages Build Linux partially with CPROVER tools #7690: Pull request #8456 reopened by qinheping
October 2, 2024 14:26 4m 17s qinheping:issues/8453
qinheping:issues/8453
October 2, 2024 14:26 4m 17s
bitvector_typet: set width from mp_integer Build Linux partially with CPROVER tools #7689: Pull request #8477 synchronize by kroening
September 28, 2024 17:25 12m 30s bitvector_width_biginteger
bitvector_width_biginteger
September 28, 2024 17:25 12m 30s
bitvector_typet: set width from mp_integer Build Linux partially with CPROVER tools #7688: Pull request #8477 opened by kroening
September 27, 2024 23:11 5m 31s bitvector_width_biginteger
bitvector_width_biginteger
September 27, 2024 23:11 5m 31s
format_type can now format range_typet Build Linux partially with CPROVER tools #7687: Pull request #8473 synchronize by kroening
September 25, 2024 17:39 4m 9s format-range_typet
format-range_typet
September 25, 2024 17:39 4m 9s
format_type can now format range_typet Build Linux partially with CPROVER tools #7686: Pull request #8473 opened by kroening
September 25, 2024 14:20 4m 35s format-range_typet
format-range_typet
September 25, 2024 14:20 4m 35s
Man pages: improve wording of unwinding-related options Build Linux partially with CPROVER tools #7685: Pull request #8471 synchronize by tautschnig
September 25, 2024 12:42 4m 43s tautschnig:loops-man-pages
tautschnig:loops-man-pages
September 25, 2024 12:42 4m 43s
Reword documentation of __CPROVER_{r,w,rw}_ok Build Linux partially with CPROVER tools #7684: Pull request #8472 opened by tautschnig
September 25, 2024 11:36 7m 31s tautschnig:rw_ok-documentation
tautschnig:rw_ok-documentation
September 25, 2024 11:36 7m 31s
Man pages: improve wording of unwinding-related options Build Linux partially with CPROVER tools #7683: Pull request #8471 opened by tautschnig
September 24, 2024 21:45 4m 27s tautschnig:loops-man-pages
tautschnig:loops-man-pages
September 24, 2024 21:45 4m 27s
Contracts: document use of __CPROVER_loop_entry with arrays Build Linux partially with CPROVER tools #7682: Pull request #8470 opened by tautschnig
September 24, 2024 20:36 4m 22s tautschnig:loop_entry-arrays
tautschnig:loop_entry-arrays
September 24, 2024 20:36 4m 22s
Remove infinity_exprt Build Linux partially with CPROVER tools #7681: Pull request #8469 synchronize by tautschnig
September 24, 2024 14:18 3m 35s tautschnig:remove-infinity
tautschnig:remove-infinity
September 24, 2024 14:18 3m 35s
Remove infinity_exprt Build Linux partially with CPROVER tools #7680: Pull request #8469 synchronize by tautschnig
September 24, 2024 14:14 13m 52s tautschnig:remove-infinity
tautschnig:remove-infinity
September 24, 2024 14:14 13m 52s
Remove infinity_exprt Build Linux partially with CPROVER tools #7679: Pull request #8469 opened by tautschnig
September 24, 2024 14:05 13m 31s tautschnig:remove-infinity
tautschnig:remove-infinity
September 24, 2024 14:05 13m 31s
Re-enable array theory as default for array size above threshold Build Linux partially with CPROVER tools #7678: Pull request #8468 opened by tautschnig
September 24, 2024 12:48 5m 39s tautschnig:arrays-uf-auto-default
tautschnig:arrays-uf-auto-default
September 24, 2024 12:48 5m 39s
SMT2: implement cond Build Linux partially with CPROVER tools #7677: Pull request #8467 opened by kroening
September 23, 2024 18:56 12m 37s smt2-cond
smt2-cond
September 23, 2024 18:56 12m 37s
SMT2: implement range type Build Linux partially with CPROVER tools #7676: Pull request #8466 opened by kroening
September 22, 2024 13:47 4m 18s smt2-range
smt2-range
September 22, 2024 13:47 4m 18s
Adding large-step encoding for CHCs in CProver (no [required] changes to the solver) Build Linux partially with CPROVER tools #7675: Pull request #8465 opened by yvizel
September 22, 2024 12:19 4m 24s yvizel:develop
yvizel:develop
September 22, 2024 12:19 4m 24s
C library: fix build on FreeBSD Build Linux partially with CPROVER tools #7673: 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 Linux partially with CPROVER tools #7672: Pull request #8462 opened by tautschnig
September 19, 2024 16:27 5m 48s tautschnig:release-6.3.1
tautschnig:release-6.3.1
September 19, 2024 16:27 5m 48s
C library: Apple does not adhere to aarch64 ABI Build Linux partially with CPROVER tools #7671: Pull request #8461 synchronize by tautschnig
September 19, 2024 15:34 4m 55s tautschnig:fix-aarch64-va_list
tautschnig:fix-aarch64-va_list
September 19, 2024 15:34 4m 55s
C library: Apple does not adhere to aarch64 ABI Build Linux partially with CPROVER tools #7670: Pull request #8461 opened by tautschnig
September 19, 2024 12:49 4m 36s tautschnig:fix-aarch64-va_list
tautschnig:fix-aarch64-va_list
September 19, 2024 12:49 4m 36s
Release CBMC 6.3.0 Build Linux partially with CPROVER tools #7669: Pull request #8460 opened by tautschnig
September 19, 2024 08:37 4m 44s tautschnig:release-6.3.0
tautschnig:release-6.3.0
September 19, 2024 08:37 4m 44s
C library: fix use of va_list for AARCH64 Build Linux partially with CPROVER tools #7668: Pull request #8366 synchronize by tautschnig
September 18, 2024 10:51 4m 41s tautschnig:fix-8357-va_list
tautschnig:fix-8357-va_list
September 18, 2024 10:51 4m 41s
Clarify usage of history variables in error messages Build Linux partially with CPROVER tools #7667: Pull request #8456 synchronize by qinheping
September 18, 2024 05:18 4m 50s qinheping:issues/8453
qinheping:issues/8453
September 18, 2024 05:18 4m 50s
Clarify usage of history variables in error messages Build Linux partially with CPROVER tools #7666: Pull request #8456 synchronize by qinheping
September 17, 2024 23:28 5m 11s qinheping:issues/8453
qinheping:issues/8453
September 17, 2024 23:28 5m 11s