Repo Added
|
Files
473
|
Badge
Embed ▾
README BADGES
|
push
github
1 of 1 new or added line in 1 file covered. (100.0%)
79993 of 121703 relevant lines covered (65.73%)
1518162.19 hits per line
Coverage | ∆ | File | Lines | Relevant | Covered | Missed | Hits/Line |
---|
Builds | Branch | Commit | Type | Ran | Committer | Via | Coverage |
---|---|---|---|---|---|---|---|
8919288106 | master | Update uf_plugin.c (#512) | push | web-flow | github |
65.73 |
|
8919131612 | ahmed-irfan-patch-1 | Update uf_plugin.c | Pull #512 | web-flow | github |
65.73 |
|
8919133132 | ahmed-irfan-patch-1 | Merge ad90f3a4d into 61713b500 | Pull #512 | web-flow | github |
65.73 |
|
8803669394 | master | Merge pull request #511 from SRI-CSL/mcsat-int-hint-2 MCSAT: more decision hints for integer variables | push | web-flow | github |
65.73 |
|
8795228900 | mcsat-int-hint-2 | typos in comments | Pull #511 | ahmed-irfan | github |
65.73 |
|
8795229234 | mcsat-int-hint-2 | Merge 986578258 into 5082c90d3 | Pull #511 | web-flow | github | pending completion | |
8794285299 | mcsat-int-hint-2 | Merge branch 'master' into mcsat-int-hint-2 | Pull #511 | web-flow | github |
65.73 |
|
8794258221 | mcsat-int-hint-2 | Merge ccde28f53 into 5082c90d3 | Pull #511 | web-flow | github |
65.73 |
|
8794257881 | mcsat-int-hint-2 | more comments | push | ahmed-irfan | github |
65.72 |
|
8791563628 | mcsat-int-hint-2 | update comments | Pull #511 | ahmed-irfan | github |
65.72 |