| 
Repo Added
 | 
Files
8
 | 
Badge
 
README BADGES
 | 
| Coverage | ∆ | File | Lines | Relevant | Covered | Missed | Hits/Line | 
|---|
| Builds | Branch | Commit | Type | Ran | Committer | Via | Coverage | 
|---|---|---|---|---|---|---|---|
| 235 | gh-421 | Fixed tests. | push | travis-ci | pending completion | ||
| 233 | gh-421 | Merge branch 'gh-421' of https://github.com/HazyResearch/ddlog into gh-421 | push | travis-ci | pending completion | ||
| 231 | gh-421 | Merged and fixed conflicts. | push | travis-ci | pending completion | ||
| 229 | gh-421 | Fixed tests. | push | travis-ci | pending completion |