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 |