Repo Added
|
Files
158
|
Badge
Embed ▾
README BADGES
|
Coverage | ∆ | File | Lines | Relevant | Covered | Missed | Hits/Line |
---|
Builds | Branch | Commit | Type | Ran | Committer | Via | Coverage |
---|---|---|---|---|---|---|---|
1267 | 32-trf-sdve | Merge 698fde2f3 into 76a6a6032 | Pull #86 | web-flow | travis-ci | pending completion | |
1141 | 32-trf-sdve | ES: SDVE tests | push | Anabra | travis-ci | pending completion | |
1140 | 32-trf-sdve | ES: now QC only generates semantically correct programs for conversion | push | Anabra | travis-ci | pending completion | |
1135 | 32-trf-sdve | ES: SDVE tests | push | Anabra | travis-ci | pending completion |