Custom Query (6 matches)

Filters
 
Columns

Show under each result:


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.