{8} Active Tickets, Mine first (14 matches)

  • List all active tickets by priority.
  • Show all tickets owned by the logged in user in a group first.

Active Tickets (14 matches)

Ticket Summary Component Version Milestone Type Owner Status Created
#23 Add SVN notifications SVN Repository MRMC future defect ngyuen new 06/27/08
#28 PRCTL, lumping: The E operator problem. Core 1.2.2 MRMC future defect ivan.zapreev new 06/27/08
#32 The probabilities comparison in the Bisimulation engine. Bisimulation Engine 1.3 MRMC future enhancement christinajansen new 06/27/08
#33 Improve and unify the error/warning/info messages. Core 1.3 MRMC future enhancement ivan.zapreev new 06/27/08
#34 Add a possibility to dump the model-checking results Core 1.3 MRMC future enhancement christinajansen new 06/27/08
#35 Improving $RESULT and $STATE commands Core 1.3 MRMC future enhancement christinajansen new 06/27/08
#36 Add simulation engine for PCTL. Simulation Engine 1.3 MRMC future enhancement ivan.zapreev new 06/27/08
#39 Unify source-code comments Source Code 1.3 MRMC future enhancement christinajansen new 06/27/08
#40 Error bounds and the numerical model-checking engine Core 1.3 MRMC future defect ivan.zapreev new 06/27/08
#41 Improving the architecture of MRMC. General Architecture 1.3 MRMC future enhancement ivan.zapreev new 06/27/08
#44 Additions to web page Web Pages task nguyen, ivan.zapreev, christinajansen new 07/03/08
#47 Adding a test-run report to the test-suite. Test Suite 1.3.1 MRMC future enhancement new 08/06/08
#48 Download archives for MRMC distributions Web Pages 1.3 MRMC future defect nguyen, ivan.zapreev, christinajansen new 08/07/08
#49 uCTMDPi: 0-vector for timebound 0 Numerical Engine 1.3.1 MRMC future defect new 09/30/08
Note: See TracReports for help on using and creating reports.