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

use zero_extend_exprt in SMT2 front-end Codecov coverage report #440: Pull request #8493 synchronize by kroening
December 17, 2024 18:53 1h 14m 14s zero-extend-smt2
zero-extend-smt2
December 17, 2024 18:53 1h 14m 14s
Merge pull request #8518 from diffblue/smt2-exception Codecov coverage report #439: Commit fa299c5 pushed by kroening
December 17, 2024 18:49 44m 25s develop
develop
December 17, 2024 18:49 44m 25s
Merge pull request #8519 from diffblue/smt2-shift-distance-natural Codecov coverage report #438: Commit 8803555 pushed by kroening
December 17, 2024 18:48 42m 12s develop
develop
December 17, 2024 18:48 42m 12s
Merge pull request #8523 from diffblue/range-type-relations Codecov coverage report #437: Commit 15f755f pushed by kroening
December 17, 2024 18:47 39m 27s develop
develop
December 17, 2024 18:47 39m 27s
Merge pull request #8531 from diffblue/bitnand_bitnor Codecov coverage report #436: Commit 1aa8d41 pushed by kroening
December 17, 2024 17:23 1h 8m 6s develop
develop
December 17, 2024 17:23 1h 8m 6s
Add floatbv_mod_exprt and floatbv_rem_exprt classes Codecov coverage report #435: Pull request #8532 synchronize by kroening
December 17, 2024 17:19 42m 32s floatbv-mod-and-rem
floatbv-mod-and-rem
December 17, 2024 17:19 42m 32s
Add floatbv_mod_exprt and floatbv_rem_exprt classes Codecov coverage report #434: Pull request #8532 opened by kroening
December 17, 2024 17:12 37m 58s floatbv-mod-and-rem
floatbv-mod-and-rem
December 17, 2024 17:12 37m 58s
add nand_exprt, nor_exprt, xnor_exprt, bitnand_exprt, bitnor_exprt Codecov coverage report #433: Pull request #8531 synchronize by kroening
December 17, 2024 16:09 1h 4m 24s bitnand_bitnor
bitnand_bitnor
December 17, 2024 16:09 1h 4m 24s
add nand_exprt, nor_exprt, xnor_exprt, bitnand_exprt, bitnor_exprt Codecov coverage report #432: Pull request #8531 synchronize by kroening
December 17, 2024 16:04 1h 4m 46s bitnand_bitnor
bitnand_bitnor
December 17, 2024 16:04 1h 4m 46s
add nand_exprt, nor_exprt, xnor_exprt, bitnand_exprt, bitnor_exprt Codecov coverage report #431: Pull request #8531 synchronize by kroening
December 17, 2024 15:09 1h 4m 51s bitnand_bitnor
bitnand_bitnor
December 17, 2024 15:09 1h 4m 51s
add nand_exprt, nor_exprt, xnor_exprt, bitnand_exprt, bitnor_exprt Codecov coverage report #430: Pull request #8531 opened by kroening
December 17, 2024 15:02 1h 0m 33s bitnand_bitnor
bitnand_bitnor
December 17, 2024 15:02 1h 0m 33s
Merge pull request #8529 from diffblue/multi_ary_constructors Codecov coverage report #429: Commit fd13d3a pushed by kroening
December 16, 2024 21:58 59m 47s develop
develop
December 16, 2024 21:58 59m 47s
SMT2: implement nand, nor, xnor Codecov coverage report #428: Pull request #8530 opened by kroening
December 16, 2024 21:57 39m 54s smt2-nand-nor
smt2-nand-nor
December 16, 2024 21:57 39m 54s
add mulit-ary constructor for xor_exprt, bitxor_exprt, bitand_exprt, … Codecov coverage report #427: Pull request #8529 opened by kroening
December 16, 2024 21:08 1h 1m 44s multi_ary_constructors
multi_ary_constructors
December 16, 2024 21:08 1h 1m 44s
introduce __CPROVER_map type Codecov coverage report #426: Pull request #7096 synchronize by kroening
December 12, 2024 02:56 32m 10s map_type
map_type
December 12, 2024 02:56 32m 10s
introduce __CPROVER_map type Codecov coverage report #425: Pull request #7096 synchronize by kroening
December 11, 2024 21:21 31m 39s map_type
map_type
December 11, 2024 21:21 31m 39s
introduce __CPROVER_map type Codecov coverage report #424: Pull request #7096 synchronize by kroening
December 11, 2024 21:07 33m 45s map_type
map_type
December 11, 2024 21:07 33m 45s
introduce __CPROVER_map type Codecov coverage report #423: Pull request #7096 synchronize by kroening
December 11, 2024 20:49 36m 43s map_type
map_type
December 11, 2024 20:49 36m 43s
introduce __CPROVER_map type Codecov coverage report #422: Pull request #7096 synchronize by kroening
December 11, 2024 20:43 34m 32s map_type
map_type
December 11, 2024 20:43 34m 32s
introduce __CPROVER_map type Codecov coverage report #421: Pull request #7096 synchronize by kroening
December 11, 2024 20:24 40m 41s map_type
map_type
December 11, 2024 20:24 40m 41s
Merge pull request #8525 from diffblue/cmdline-value_opt Codecov coverage report #420: Commit e186314 pushed by tautschnig
December 10, 2024 10:22 40m 18s develop
develop
December 10, 2024 10:22 40m 18s
cmdlinet: add value_opt methods Codecov coverage report #419: Pull request #8525 opened by kroening
December 6, 2024 18:49 41m 36s cmdline-value_opt
cmdline-value_opt
December 6, 2024 18:49 41m 36s
Add IEEE 754 TiesToAway rounding mode Codecov coverage report #418: Pull request #8515 synchronize by kroening
December 6, 2024 17:02 39m 10s TiesToAway
TiesToAway
December 6, 2024 17:02 39m 10s
Add IEEE 754 TiesToAway rounding mode Codecov coverage report #417: Pull request #8515 synchronize by kroening
December 6, 2024 15:23 43m 52s TiesToAway
TiesToAway
December 6, 2024 15:23 43m 52s
Add IEEE 754 TiesToAway rounding mode Codecov coverage report #416: Pull request #8515 synchronize by kroening
December 6, 2024 15:01 30m 49s TiesToAway
TiesToAway
December 6, 2024 15:01 30m 49s