Repo Added
|
Files
1902
|
Badge
Embed ▾
README BADGES
|
Coverage | ∆ | File | Lines | Relevant | Covered | Missed | Hits/Line |
---|
Builds | Branch | Commit | Type | Ran | Committer | Via | Coverage |
---|---|---|---|---|---|---|---|
194 | quantifiers | ... | push | dddejan | travis-ci | pending completion | |
193 | quantifiers | Ignore logic for now | push | xapantu | travis-ci | pending completion | |
192 | quantifiers | Use Int types for process types | push | xapantu | travis-ci | pending completion | |
191 | quantifiers | Quantifiers to generic solver | push | xapantu | travis-ci | pending completion | |
189 | quantifiers | [parser] type checked quantifier use | push | xapantu | travis-ci | pending completion | |
187 | quantifiers | Support for most of the identifier syntax, process types left | push | xapantu | travis-ci | pending completion | |
185 | quantifiers | [parser] check for a quantified variable when reaching a symbol | push | xapantu | travis-ci | pending completion | |
184 | quantifiers | [parser] initial code to support quantifiers | push | xapantu | travis-ci | pending completion |