Repo Added
|
Files
158
|
Badge
Embed ▾
README BADGES
|
Coverage | ∆ | File | Lines | Relevant | Covered | Missed | Hits/Line |
---|
Builds | Branch | Commit | Type | Ran | Committer | Via | Coverage |
---|---|---|---|---|---|---|---|
1262 | 32-simplify-aspats-2 | Merge 4166ae97a into 449910f1d | Pull #80 | web-flow | travis-ci | pending completion | |
1261 | 32-simplify-aspats-2 | Update grin/src/Transformations/ExtendedSyntax/Conversion.hs | push | web-flow | travis-ci | pending completion | |
1240 | 32-simplify-aspats-2 | ES: bugfix in Transformations/Util | Pull #80 | web-flow | travis-ci | pending completion | |
1151 | 32-simplify-aspats-2 | ES: bugfix in Transformations/Util | push | Anabra | travis-ci | pending completion | |
1136 | 32-simplify-aspats-2 | ES: now QC only generates semantically correct programs for conversion | push | Anabra | travis-ci | pending completion | |
1134 | 32-simplify-aspats-2 | ES: SDVE tests | push | Anabra | travis-ci | pending completion | |
1130 | 32-simplify-aspats-2 | ES: now QC only generates semantically correct programs for conversion | push | Anabra | travis-ci | pending completion |