Custom Query (2 matches)
| Ticket | Summary | Owner | Type | Priority | Version | Resolution |
|---|---|---|---|---|---|---|
| #190 | Add list of abstract functions to XML representation of model | enhancement | major | 1.0 | fixed | |
| #206 | Formal grammar for assertion and joint invariant language | task | major | 1.0 | wontfix |
Note:
See TracQuery
for help on using queries.
