Skip to content

Actions: diffblue/cbmc

Actions

Codecov coverage report

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
coverage.yaml
282 workflow runs
282 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

zero extension expression Codecov coverage report #288: Pull request #8442 synchronize by kroening
October 3, 2024 00:32 1h 4m 57s zero_extend
zero_extend
October 3, 2024 00:32 1h 4m 57s
Clarify usage of history variables in error messages Codecov coverage report #287: Pull request #8456 reopened by qinheping
October 2, 2024 14:26 39m 54s qinheping:issues/8453
qinheping:issues/8453
October 2, 2024 14:26 39m 54s
Merge pull request #8477 from diffblue/bitvector_width_biginteger Codecov coverage report #286: Commit 83922b2 pushed by kroening
September 29, 2024 20:08 1h 1m 45s develop
develop
September 29, 2024 20:08 1h 1m 45s
bitvector_typet: set width from mp_integer Codecov coverage report #285: Pull request #8477 synchronize by kroening
September 28, 2024 17:25 1h 4m 53s bitvector_width_biginteger
bitvector_width_biginteger
September 28, 2024 17:25 1h 4m 53s
bitvector_typet: set width from mp_integer Codecov coverage report #284: Pull request #8477 opened by kroening
September 27, 2024 23:11 8m 52s bitvector_width_biginteger
bitvector_width_biginteger
September 27, 2024 23:11 8m 52s
Merge pull request #8470 from tautschnig/loop_entry-arrays Codecov coverage report #283: Commit 4bd5c0a pushed by tautschnig
September 27, 2024 20:36 38m 9s develop
develop
September 27, 2024 20:36 38m 9s
Merge pull request #8473 from diffblue/format-range_typet Codecov coverage report #282: Commit bcda5a9 pushed by kroening
September 26, 2024 12:36 38m 44s develop
develop
September 26, 2024 12:36 38m 44s
format_type can now format range_typet Codecov coverage report #281: Pull request #8473 synchronize by kroening
September 25, 2024 17:39 40m 35s format-range_typet
format-range_typet
September 25, 2024 17:39 40m 35s
format_type can now format range_typet Codecov coverage report #280: Pull request #8473 opened by kroening
September 25, 2024 14:20 44m 34s format-range_typet
format-range_typet
September 25, 2024 14:20 44m 34s
Merge pull request #8471 from tautschnig/loops-man-pages Codecov coverage report #279: Commit 4c59d28 pushed by kroening
September 25, 2024 13:59 42m 29s develop
develop
September 25, 2024 13:59 42m 29s
Man pages: improve wording of unwinding-related options Codecov coverage report #278: Pull request #8471 synchronize by tautschnig
September 25, 2024 12:42 35m 24s tautschnig:loops-man-pages
tautschnig:loops-man-pages
September 25, 2024 12:42 35m 24s
Reword documentation of __CPROVER_{r,w,rw}_ok Codecov coverage report #277: Pull request #8472 opened by tautschnig
September 25, 2024 11:36 39m 12s tautschnig:rw_ok-documentation
tautschnig:rw_ok-documentation
September 25, 2024 11:36 39m 12s
Man pages: improve wording of unwinding-related options Codecov coverage report #276: Pull request #8471 opened by tautschnig
September 24, 2024 21:45 37m 14s tautschnig:loops-man-pages
tautschnig:loops-man-pages
September 24, 2024 21:45 37m 14s
Contracts: document use of __CPROVER_loop_entry with arrays Codecov coverage report #275: Pull request #8470 opened by tautschnig
September 24, 2024 20:36 34m 38s tautschnig:loop_entry-arrays
tautschnig:loop_entry-arrays
September 24, 2024 20:36 34m 38s
Remove infinity_exprt Codecov coverage report #274: Pull request #8469 synchronize by tautschnig
September 24, 2024 14:18 27m 24s tautschnig:remove-infinity
tautschnig:remove-infinity
September 24, 2024 14:18 27m 24s
Remove infinity_exprt Codecov coverage report #273: Pull request #8469 synchronize by tautschnig
September 24, 2024 14:14 1h 2m 1s tautschnig:remove-infinity
tautschnig:remove-infinity
September 24, 2024 14:14 1h 2m 1s
Remove infinity_exprt Codecov coverage report #272: Pull request #8469 opened by tautschnig
September 24, 2024 14:05 1h 0m 14s tautschnig:remove-infinity
tautschnig:remove-infinity
September 24, 2024 14:05 1h 0m 14s
Re-enable array theory as default for array size above threshold Codecov coverage report #271: Pull request #8468 opened by tautschnig
September 24, 2024 12:48 38m 50s tautschnig:arrays-uf-auto-default
tautschnig:arrays-uf-auto-default
September 24, 2024 12:48 38m 50s
SMT2: implement cond Codecov coverage report #270: Pull request #8467 opened by kroening
September 23, 2024 18:56 1h 1m 38s smt2-cond
smt2-cond
September 23, 2024 18:56 1h 1m 38s
Merge pull request #8466 from diffblue/smt2-range Codecov coverage report #269: Commit a209b44 pushed by kroening
September 23, 2024 17:42 35m 15s develop
develop
September 23, 2024 17:42 35m 15s
SMT2: implement range type Codecov coverage report #268: Pull request #8466 opened by kroening
September 22, 2024 13:47 35m 57s smt2-range
smt2-range
September 22, 2024 13:47 35m 57s
Adding large-step encoding for CHCs in CProver (no [required] changes to the solver) Codecov coverage report #267: Pull request #8465 opened by yvizel
September 22, 2024 12:19 4m 9s yvizel:develop
yvizel:develop
September 22, 2024 12:19 4m 9s
C library: fix build on FreeBSD Codecov coverage report #265: 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
Merge pull request #8462 from tautschnig/release-6.3.1 Codecov coverage report #264: Commit d2b4455 pushed by tautschnig
September 19, 2024 18:45 35m 43s develop
develop
September 19, 2024 18:45 35m 43s
Release CBMC 6.3.1 Codecov coverage report #263: Pull request #8462 opened by tautschnig
September 19, 2024 16:27 36m 15s tautschnig:release-6.3.1
tautschnig:release-6.3.1
September 19, 2024 16:27 36m 15s