| Builds | Branch | Commit | Type | Ran | Committer | Via | Coverage |
|---|---|---|---|---|---|---|---|
| 15 | master | Factored out domain_in_image, simplified composite domain calculations. | push | travis-ci | pending completion set done | ||
| 14 | master | Introduced constants for singleton type names. | push | travis-ci | pending completion set done | ||
| 13 | master | Added more constructor tests. | push | travis-ci | pending completion set done | ||
| 12 | master | More bridge methods, test. | push | travis-ci | pending completion set done | ||
| 11 | master | Cosmetic changes, update to new interval syntax. | push | travis-ci | pending completion set done | ||
| 10 | master | Fixed macro expansion bugs. Replaced `mapping` with explicit call. | push | travis-ci | pending completion set done | ||
| 9 | master | Added and re-enabled tests. | push | travis-ci | pending completion set done | ||
| 8 | master | Another attempt at fixing build. | push | travis-ci | pending completion set done | ||
| 1 | master | Renamed POSITIVE_REALS to POSITIVE_REAL. | push | travis-ci | pending completion set done |