| Builds | Branch | Commit | Type | Ran | Committer | Via | Coverage |
|---|---|---|---|---|---|---|---|
| 8 | master | Fix unbounded edges not always being treated as unbounded | push | travis-ci | pending completion set done | ||
| 7 | master | Update README.md | push | travis-ci | pending completion set done | ||
| 6 | master | Only test with default compiler | push | travis-ci | pending completion set done | ||
| 5 | master | Add test coverage badge | push | travis-ci | pending completion set done | ||
| 4 | master | Fix .travis.yml | push | travis-ci | pending completion set done |