Skip to content

Actions: diffblue/cbmc

Actions

Build Doxygen Documentation

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
doxygen-check.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 Doxygen Documentation #9169: Pull request #8442 synchronize by kroening
October 3, 2024 00:32 1m 42s zero_extend
zero_extend
October 3, 2024 00:32 1m 42s
Clarify usage of history variables in error messages Build Doxygen Documentation #9168: Pull request #8456 reopened by qinheping
October 2, 2024 14:26 1m 42s qinheping:issues/8453
qinheping:issues/8453
October 2, 2024 14:26 1m 42s
bitvector_typet: set width from mp_integer Build Doxygen Documentation #9167: Pull request #8477 synchronize by kroening
September 28, 2024 17:25 1m 40s bitvector_width_biginteger
bitvector_width_biginteger
September 28, 2024 17:25 1m 40s
bitvector_typet: set width from mp_integer Build Doxygen Documentation #9166: Pull request #8477 opened by kroening
September 27, 2024 23:11 2m 10s bitvector_width_biginteger
bitvector_width_biginteger
September 27, 2024 23:11 2m 10s
format_type can now format range_typet Build Doxygen Documentation #9165: Pull request #8473 synchronize by kroening
September 25, 2024 17:39 1m 42s format-range_typet
format-range_typet
September 25, 2024 17:39 1m 42s
format_type can now format range_typet Build Doxygen Documentation #9164: Pull request #8473 opened by kroening
September 25, 2024 14:20 1m 50s format-range_typet
format-range_typet
September 25, 2024 14:20 1m 50s
Man pages: improve wording of unwinding-related options Build Doxygen Documentation #9163: Pull request #8471 synchronize by tautschnig
September 25, 2024 12:42 1m 49s tautschnig:loops-man-pages
tautschnig:loops-man-pages
September 25, 2024 12:42 1m 49s
Reword documentation of __CPROVER_{r,w,rw}_ok Build Doxygen Documentation #9162: Pull request #8472 opened by tautschnig
September 25, 2024 11:36 1m 41s tautschnig:rw_ok-documentation
tautschnig:rw_ok-documentation
September 25, 2024 11:36 1m 41s
Man pages: improve wording of unwinding-related options Build Doxygen Documentation #9161: Pull request #8471 opened by tautschnig
September 24, 2024 21:45 1m 36s tautschnig:loops-man-pages
tautschnig:loops-man-pages
September 24, 2024 21:45 1m 36s
Contracts: document use of __CPROVER_loop_entry with arrays Build Doxygen Documentation #9160: Pull request #8470 opened by tautschnig
September 24, 2024 20:36 1m 47s tautschnig:loop_entry-arrays
tautschnig:loop_entry-arrays
September 24, 2024 20:36 1m 47s
Remove infinity_exprt Build Doxygen Documentation #9159: Pull request #8469 synchronize by tautschnig
September 24, 2024 14:18 13m 8s tautschnig:remove-infinity
tautschnig:remove-infinity
September 24, 2024 14:18 13m 8s
Remove infinity_exprt Build Doxygen Documentation #9158: Pull request #8469 synchronize by tautschnig
September 24, 2024 14:14 2m 0s tautschnig:remove-infinity
tautschnig:remove-infinity
September 24, 2024 14:14 2m 0s
Remove infinity_exprt Build Doxygen Documentation #9157: Pull request #8469 opened by tautschnig
September 24, 2024 14:05 1m 42s tautschnig:remove-infinity
tautschnig:remove-infinity
September 24, 2024 14:05 1m 42s
Re-enable array theory as default for array size above threshold Build Doxygen Documentation #9156: Pull request #8468 opened by tautschnig
September 24, 2024 12:48 1m 44s tautschnig:arrays-uf-auto-default
tautschnig:arrays-uf-auto-default
September 24, 2024 12:48 1m 44s
SMT2: implement cond Build Doxygen Documentation #9155: Pull request #8467 opened by kroening
September 23, 2024 18:56 1m 38s smt2-cond
smt2-cond
September 23, 2024 18:56 1m 38s
SMT2: implement range type Build Doxygen Documentation #9154: Pull request #8466 opened by kroening
September 22, 2024 13:47 1m 37s smt2-range
smt2-range
September 22, 2024 13:47 1m 37s
Adding large-step encoding for CHCs in CProver (no [required] changes to the solver) Build Doxygen Documentation #9153: Pull request #8465 opened by yvizel
September 22, 2024 12:19 2m 13s yvizel:develop
yvizel:develop
September 22, 2024 12:19 2m 13s
C library: fix build on FreeBSD Build Doxygen Documentation #9151: 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 Doxygen Documentation #9150: Pull request #8462 opened by tautschnig
September 19, 2024 16:27 1m 33s tautschnig:release-6.3.1
tautschnig:release-6.3.1
September 19, 2024 16:27 1m 33s
C library: Apple does not adhere to aarch64 ABI Build Doxygen Documentation #9149: Pull request #8461 synchronize by tautschnig
September 19, 2024 15:34 1m 36s tautschnig:fix-aarch64-va_list
tautschnig:fix-aarch64-va_list
September 19, 2024 15:34 1m 36s
C library: Apple does not adhere to aarch64 ABI Build Doxygen Documentation #9148: Pull request #8461 opened by tautschnig
September 19, 2024 12:49 1m 37s tautschnig:fix-aarch64-va_list
tautschnig:fix-aarch64-va_list
September 19, 2024 12:49 1m 37s
Release CBMC 6.3.0 Build Doxygen Documentation #9147: Pull request #8460 opened by tautschnig
September 19, 2024 08:37 1m 42s tautschnig:release-6.3.0
tautschnig:release-6.3.0
September 19, 2024 08:37 1m 42s
C library: fix use of va_list for AARCH64 Build Doxygen Documentation #9146: Pull request #8366 synchronize by tautschnig
September 18, 2024 10:51 1m 43s tautschnig:fix-8357-va_list
tautschnig:fix-8357-va_list
September 18, 2024 10:51 1m 43s
Clarify usage of history variables in error messages Build Doxygen Documentation #9145: Pull request #8456 synchronize by qinheping
September 18, 2024 05:18 1m 42s qinheping:issues/8453
qinheping:issues/8453
September 18, 2024 05:18 1m 42s
Clarify usage of history variables in error messages Build Doxygen Documentation #9144: Pull request #8456 synchronize by qinheping
September 17, 2024 23:28 1m 42s qinheping:issues/8453
qinheping:issues/8453
September 17, 2024 23:28 1m 42s