Skip to content

Actions: diffblue/cbmc

Actions

Codecov coverage report

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
coverage.yaml
549 workflow runs
549 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Introduce floatbv_round_to_integral_exprt Codecov coverage report #565: Pull request #8538 synchronize by kroening
January 10, 2025 00:10 55m 10s round_to_integral
round_to_integral
January 10, 2025 00:10 55m 10s
Split ieee_floatt into ieee_float_valuet and ieee_floatt Codecov coverage report #564: Pull request #8550 synchronize by kroening
January 10, 2025 00:06 44m 35s ieee_float_valuet
ieee_float_valuet
January 10, 2025 00:06 44m 35s
Split ieee_floatt into ieee_float_valuet and ieee_floatt Codecov coverage report #563: Pull request #8550 synchronize by kroening
January 9, 2025 23:36 1h 3m 59s ieee_float_valuet
ieee_float_valuet
January 9, 2025 23:36 1h 3m 59s
Introduce floatbv_round_to_integral_exprt Codecov coverage report #562: Pull request #8538 synchronize by kroening
January 9, 2025 23:35 40m 33s round_to_integral
round_to_integral
January 9, 2025 23:35 40m 33s
Split ieee_floatt into ieee_float_valuet and ieee_floatt Codecov coverage report #561: Pull request #8550 synchronize by kroening
January 9, 2025 23:22 1h 1m 25s ieee_float_valuet
ieee_float_valuet
January 9, 2025 23:22 1h 1m 25s
Split ieee_floatt into ieee_float_valuet and ieee_floatt Codecov coverage report #560: Pull request #8550 synchronize by kroening
January 9, 2025 23:18 56m 11s ieee_float_valuet
ieee_float_valuet
January 9, 2025 23:18 56m 11s
Split ieee_floatt into ieee_float_valuet and ieee_floatt Codecov coverage report #559: Pull request #8550 synchronize by kroening
January 9, 2025 23:15 45m 9s ieee_float_valuet
ieee_float_valuet
January 9, 2025 23:15 45m 9s
Introduce floatbv_round_to_integral_exprt Codecov coverage report #558: Pull request #8538 synchronize by kroening
January 9, 2025 23:11 1h 5m 41s round_to_integral
round_to_integral
January 9, 2025 23:11 1h 5m 41s
introduce __CPROVER_map type Codecov coverage report #557: Pull request #7096 synchronize by kroening
January 9, 2025 02:21 31m 0s map_type
map_type
January 9, 2025 02:21 31m 0s
introduce __CPROVER_map type Codecov coverage report #556: Pull request #7096 synchronize by kroening
January 9, 2025 02:20 32m 9s map_type
map_type
January 9, 2025 02:20 32m 9s
Add IEEE 754 TiesToAway rounding mode Codecov coverage report #555: Pull request #8515 synchronize by kroening
January 9, 2025 01:22 42m 27s TiesToAway
TiesToAway
January 9, 2025 01:22 42m 27s
Split ieee_floatt into ieee_float_valuet and ieee_floatt Codecov coverage report #554: Pull request #8550 synchronize by kroening
January 9, 2025 01:16 44m 43s ieee_float_valuet
ieee_float_valuet
January 9, 2025 01:16 44m 43s
Merge pull request #8559 from xokdvium/dev/fix-char-traits-utf32 Codecov coverage report #553: Commit 36b2335 pushed by tautschnig
January 7, 2025 19:49 37m 14s develop
develop
January 7, 2025 19:49 37m 14s
util: Replace std::basic_string<unsigned> with std::basic_string<char32_t> Codecov coverage report #552: Pull request #8559 synchronize by xokdvium
January 7, 2025 18:54 37m 48s xokdvium:dev/fix-char-traits-utf32
xokdvium:dev/fix-char-traits-utf32
January 7, 2025 18:54 37m 48s
util: Replace std::basic_string<unsigned> with std::basic_string<char32_t> Codecov coverage report #551: Pull request #8559 opened by xokdvium
January 6, 2025 18:48 38m 46s xokdvium:dev/fix-char-traits-utf32
xokdvium:dev/fix-char-traits-utf32
January 6, 2025 18:48 38m 46s
Introduce floatbv_round_to_integral_exprt Codecov coverage report #550: Pull request #8538 synchronize by kroening
January 6, 2025 16:53 1h 5m 43s round_to_integral
round_to_integral
January 6, 2025 16:53 1h 5m 43s
line number for files with no newline Codecov coverage report #549: Pull request #8558 synchronize by kroening
January 6, 2025 14:28 24m 44s parser_line_no
parser_line_no
January 6, 2025 14:28 24m 44s
line number for files with no newline Codecov coverage report #548: Pull request #8558 opened by kroening
January 6, 2025 10:07 24m 0s parser_line_no
parser_line_no
January 6, 2025 10:07 24m 0s
Merge pull request #8553 from peterschrammel/ps/compile-java-regressi… Codecov coverage report #547: Commit 5ae1452 pushed by peterschrammel
January 6, 2025 09:30 36m 59s develop
develop
January 6, 2025 09:30 36m 59s
Compile Java regression test sources (5/n) Codecov coverage report #546: Pull request #8556 synchronize by peterschrammel
January 5, 2025 16:25 35m 57s peterschrammel:ps/compile-java-regression-test-sources5
peterschrammel:ps/compile-java-regression-test-sources5
January 5, 2025 16:25 35m 57s
Compile Java regression test sources (5/n) Codecov coverage report #545: Pull request #8556 synchronize by peterschrammel
January 5, 2025 14:56 21m 42s peterschrammel:ps/compile-java-regression-test-sources5
peterschrammel:ps/compile-java-regression-test-sources5
January 5, 2025 14:56 21m 42s
Compile Java regression test sources (4/n) Codecov coverage report #544: Pull request #8553 synchronize by peterschrammel
January 4, 2025 18:04 35m 56s peterschrammel:ps/compile-java-regression-test-sources4
peterschrammel:ps/compile-java-regression-test-sources4
January 4, 2025 18:04 35m 56s
Compile Java regression test sources (5/n) Codecov coverage report #543: Pull request #8556 opened by peterschrammel
January 4, 2025 18:03 21m 37s peterschrammel:ps/compile-java-regression-test-sources5
peterschrammel:ps/compile-java-regression-test-sources5
January 4, 2025 18:03 21m 37s
Compile Java regression test sources (4/n) Codecov coverage report #542: Pull request #8553 synchronize by peterschrammel
January 4, 2025 13:09 36m 50s peterschrammel:ps/compile-java-regression-test-sources4
peterschrammel:ps/compile-java-regression-test-sources4
January 4, 2025 13:09 36m 50s
Compile Java regression test sources (4/n) Codecov coverage report #541: Pull request #8553 synchronize by peterschrammel
January 4, 2025 13:03 37m 29s peterschrammel:ps/compile-java-regression-test-sources4
peterschrammel:ps/compile-java-regression-test-sources4
January 4, 2025 13:03 37m 29s