|
Repo Added
|
Files
81
|
Badge
README BADGES
|
push
travis-ci
4302 of 5453 relevant lines covered (78.89%)
2029417.68 hits per line
| Builds | Branch | Commit | Type | Ran | Committer | Via | Coverage |
|---|---|---|---|---|---|---|---|
| 717 | develop | gbd-hash implementation in c++ | push | travis-ci |
78.89 |
||
| 716 | develop | merge | push | travis-ci |
82.88 |
||
| 714 | develop | merge | push | travis-ci |
82.9 |
||
| 712 | develop | fix | push | travis-ci |
82.9 |
||
| 709 | develop | revisited variable elimination, increase stability in incremental mode | push | travis-ci |
82.9 |
||
| 708 | develop | new test for incremental mode | push | travis-ci |
76.91 |
||
| 706 | develop | removed example | push | travis-ci |
76.96 |
||
| 704 | develop | comment log-meassages | push | travis-ci |
83.8 |
||
| 702 | develop | include drat-proof checker in integration-tests | push | travis-ci |
83.83 |
||
| 700 | develop | removed dependency on drat-trim | push | travis-ci |
83.16 |