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