Skip to content

Actions: diffblue/cbmc

Actions

Codecov coverage report

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
coverage.yaml
831 workflow runs
831 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

DRAFT: Control Flow Retrace feature Codecov coverage report #852: Pull request #8636 synchronize by lks9
May 8, 2025 18:19 28m 12s lks9:retrace_feature
lks9:retrace_feature
May 8, 2025 18:19 28m 12s
DRAFT: Control Flow Retrace feature Codecov coverage report #851: Pull request #8636 synchronize by lks9
May 8, 2025 17:58 27m 47s lks9:retrace_feature
lks9:retrace_feature
May 8, 2025 17:58 27m 47s
DRAFT: Control Flow Retrace feature Codecov coverage report #850: Pull request #8636 synchronize by lks9
May 8, 2025 11:56 26m 10s lks9:retrace_feature
lks9:retrace_feature
May 8, 2025 11:56 26m 10s
DRAFT: Control Flow Retrace feature Codecov coverage report #849: Pull request #8636 synchronize by lks9
May 8, 2025 11:50 28m 5s lks9:retrace_feature
lks9:retrace_feature
May 8, 2025 11:50 28m 5s
DRAFT: Control Flow Retrace feature Codecov coverage report #848: Pull request #8636 opened by lks9
May 8, 2025 09:31 50m 26s lks9:retrace_feature
lks9:retrace_feature
May 8, 2025 09:31 50m 26s
Add aarch64 (Arm 64-bit) CI job Codecov coverage report #847: Pull request #8572 synchronize by tautschnig
April 29, 2025 10:08 39m 10s tautschnig:arm-ci
tautschnig:arm-ci
April 29, 2025 10:08 39m 10s
Field sensitivity: account for array size in all index expressions Codecov coverage report #846: Pull request #8579 synchronize by tautschnig
April 29, 2025 10:05 35m 36s tautschnig:bugfixes/field-sensitivity-union
tautschnig:bugfixes/field-sensitivity-union
April 29, 2025 10:05 35m 36s
Simplify quantified expressions over constants Codecov coverage report #845: Pull request #8608 synchronize by tautschnig
April 29, 2025 10:04 25m 58s tautschnig:simp-quant
tautschnig:simp-quant
April 29, 2025 10:04 25m 58s
Simplify multiple-of-element size access to arrays Codecov coverage report #844: Pull request #8627 synchronize by tautschnig
April 29, 2025 10:03 26m 5s tautschnig:simp_mult_offset
tautschnig:simp_mult_offset
April 29, 2025 10:03 26m 5s
Merge pull request #8632 from tautschnig/release-6.6.0 Codecov coverage report #843: Commit 3c915eb pushed by tautschnig
April 28, 2025 20:38 26m 43s develop
develop
April 28, 2025 20:38 26m 43s
Release CBMC 6.6.0 Codecov coverage report #842: Pull request #8632 opened by tautschnig
April 28, 2025 18:38 26m 54s tautschnig:release-6.6.0
tautschnig:release-6.6.0
April 28, 2025 18:38 26m 54s
Merge pull request #8628 from tautschnig/do-not-instrument-unused-fun… Codecov coverage report #841: Commit 7909d15 pushed by tautschnig
April 28, 2025 18:37 27m 28s develop
develop
April 28, 2025 18:37 27m 28s
DFCC instrumentation: skip unused functions Codecov coverage report #840: Pull request #8628 synchronize by tautschnig
April 28, 2025 17:29 30m 52s tautschnig:do-not-instrument-unused-functions
tautschnig:do-not-instrument-unused-functions
April 28, 2025 17:29 30m 52s
Merge pull request #8631 from tautschnig/parallel-use-github-mirror Codecov coverage report #839: Commit 9db5b1a pushed by tautschnig
April 28, 2025 17:28 47m 30s develop
develop
April 28, 2025 17:28 47m 30s
Use GitHub mirror to download GNU parallel Codecov coverage report #838: Pull request #8631 synchronize by tautschnig
April 28, 2025 14:54 48m 52s tautschnig:parallel-use-github-mirror
tautschnig:parallel-use-github-mirror
April 28, 2025 14:54 48m 52s
Use GitHub mirror to download GNU parallel Codecov coverage report #837: Pull request #8631 opened by tautschnig
April 28, 2025 14:41 47m 51s tautschnig:parallel-use-github-mirror
tautschnig:parallel-use-github-mirror
April 28, 2025 14:41 47m 51s
Simplify quantified expressions over constants Codecov coverage report #836: Pull request #8608 synchronize by tautschnig
April 28, 2025 14:26 47m 6s tautschnig:simp-quant
tautschnig:simp-quant
April 28, 2025 14:26 47m 6s
Simplify multiple-of-element size access to arrays Codecov coverage report #835: Pull request #8627 synchronize by tautschnig
April 28, 2025 14:23 50m 13s tautschnig:simp_mult_offset
tautschnig:simp_mult_offset
April 28, 2025 14:23 50m 13s
Simplify quantified expressions over constants Codecov coverage report #834: Pull request #8608 synchronize by tautschnig
April 28, 2025 13:11 2m 31s tautschnig:simp-quant
tautschnig:simp-quant
April 28, 2025 13:11 2m 31s
DFCC instrumentation: skip unused functions Codecov coverage report #833: Pull request #8628 synchronize by tautschnig
April 28, 2025 12:38 47m 7s tautschnig:do-not-instrument-unused-functions
tautschnig:do-not-instrument-unused-functions
April 28, 2025 12:38 47m 7s
prophecy_r_or_w_ok_exprt lowering: adjust for dynamic/static objects Codecov coverage report #832: Pull request #8629 opened by tautschnig
April 16, 2025 14:10 29m 10s tautschnig:simp-r_ok
tautschnig:simp-r_ok
April 16, 2025 14:10 29m 10s
DFCC instrumentation: skip unused functions Codecov coverage report #831: Pull request #8628 opened by tautschnig
April 16, 2025 14:10 27m 1s tautschnig:do-not-instrument-unused-functions
tautschnig:do-not-instrument-unused-functions
April 16, 2025 14:10 27m 1s
Simplify multiple-of-element size access to arrays Codecov coverage report #830: Pull request #8627 opened by tautschnig
April 14, 2025 15:26 27m 28s tautschnig:simp_mult_offset
tautschnig:simp_mult_offset
April 14, 2025 15:26 27m 28s
Merge pull request #8623 from diffblue/c23-2 Codecov coverage report #829: Commit 5dc709d pushed by kroening
April 11, 2025 14:24 49m 36s develop
develop
April 11, 2025 14:24 49m 36s
C23 keywords Codecov coverage report #828: Pull request #8623 synchronize by kroening
April 10, 2025 19:32 26m 9s c23-2
c23-2
April 10, 2025 19:32 26m 9s