{2} Active Tickets by Version (14 matches)

This report shows how to color results by priority, while grouping results by version.

Last modification time, description and reporter are included as hidden fields for useful RSS export.

Ticket Summary Component Version Type Owner Status Created
#23 Add SVN notifications SVN Repository defect ngyuen new 06/27/08
#44 Additions to web page Web Pages task nguyen, ivan.zapreev, christinajansen new 07/03/08

1.2.2 (1 match)

Ticket Summary Component Version Type Owner Status Created
#28 PRCTL, lumping: The E operator problem. Core 1.2.2 defect ivan.zapreev new 06/27/08

1.3 (9 matches)

Ticket Summary Component Version Type Owner Status Created
#40 Error bounds and the numerical model-checking engine Core 1.3 defect ivan.zapreev new 06/27/08
#48 Download archives for MRMC distributions Web Pages 1.3 defect nguyen, ivan.zapreev, christinajansen new 08/07/08
#32 The probabilities comparison in the Bisimulation engine. Bisimulation Engine 1.3 enhancement christinajansen new 06/27/08
#33 Improve and unify the error/warning/info messages. Core 1.3 enhancement ivan.zapreev new 06/27/08
#34 Add a possibility to dump the model-checking results Core 1.3 enhancement christinajansen new 06/27/08
#35 Improving $RESULT and $STATE commands Core 1.3 enhancement christinajansen new 06/27/08
#36 Add simulation engine for PCTL. Simulation Engine 1.3 enhancement ivan.zapreev new 06/27/08
#39 Unify source-code comments Source Code 1.3 enhancement christinajansen new 06/27/08
#41 Improving the architecture of MRMC. General Architecture 1.3 enhancement ivan.zapreev new 06/27/08

1.3.1 (2 matches)

Ticket Summary Component Version Type Owner Status Created
#49 uCTMDPi: 0-vector for timebound 0 Numerical Engine 1.3.1 defect new 09/30/08
#47 Adding a test-run report to the test-suite. Test Suite 1.3.1 enhancement new 08/06/08
Note: See TracReports for help on using and creating reports.