|
Repo Added
|
Files
11
|
Badge
README BADGES
|
push
github
44 of 44 new or added lines in 1 file covered. (100.0%)
1101 of 1345 relevant lines covered (81.86%)
13030.57 hits per line
| Builds | Branch | Commit | Type | Ran | Committer | Via | Coverage |
|---|---|---|---|---|---|---|---|
| 654338569 | master | genlib: support for PIN specifications. (#51) | push | GitHub | github | pending completion | |
| 640427471 | master | silence warnings in bristol (#50) | push | GitHub | github | pending completion | |
| 600331789 | master | Update author names (#49) | push | GitHub | github | pending completion | |
| 592589724 | master | missing header. (#48) | push | GitHub | github | pending completion | |
| 588822935 | master | New framework for Aiger tests (#36) | push | GitHub | github | pending completion | |
| 587505860 | master | verilog: test case for parameter definitions. (#46) | push | GitHub | github | pending completion | |
| 586837302 | master | Coverage (#44) | push | GitHub | github | pending completion | |
| 563524639 | master | adding documentation for BRISTOL fashion and DIMACS parser (and minor fixes in the implementation). (#41) | push | GitHub | github | pending completion | |
| 563454457 | master | ifstream-related updates (#40) | push | GitHub | github | pending completion | |
| 562199040 | master | Add DIMACS parser. (#39) | push | GitHub | github | pending completion |