Custom Query (6 matches)
Status: closed (1 match)
| Ticket | Summary | Owner | Type | Priority | Version | Resolution |
|---|---|---|---|---|---|---|
| #57 | Lumping fails with the new sparse matrix implementatation | ivan.zapreev | defect | major | fixed |
Status: new (5 matches)
| Ticket | Summary | Owner | Type | Priority | Version | Resolution |
|---|---|---|---|---|---|---|
| #28 | PRCTL, lumping: The E operator problem. | ivan.zapreev | defect | major | 1.2.2 | -- |
| #33 | Improve and unify the error/warning/info messages. | ivan.zapreev | enhancement | major | 1.3 | -- |
| #34 | Add a possibility to dump the model-checking results | christinajansen | enhancement | major | 1.3 | -- |
| #35 | Improving $RESULT and $STATE commands | christinajansen | enhancement | major | 1.3 | -- |
| #40 | Error bounds and the numerical model-checking engine | ivan.zapreev | defect | major | 1.3 | -- |
Note: See TracQuery
for help on using queries.
