Custom Query (13 matches)

Filters
 
Or
 
  
 
Columns

Show under each result:


Status: new (13 matches)

Ticket Summary Owner Type Priority Component Version
#23 Add SVN notifications ngyuen defect major SVN Repository
#28 PRCTL, lumping: The E operator problem. Dr. Ivan S. Zapreev defect major Core 1.2.2
#32 The probabilities comparison in the Bisimulation engine. Christina Jansen enhancement major Bisimulation Engine 1.3
#33 Improve and unify the error/warning/info messages. Dr. Ivan S. Zapreev enhancement major Core 1.3
#34 Add a possibility to dump the model-checking results Christina Jansen enhancement major Core 1.3
#35 Improving $RESULT and $STATE commands Christina Jansen enhancement major Core 1.3
#36 Add simulation engine for PCTL. Dr. Ivan S. Zapreev enhancement major Simulation Engine 1.3
#39 Unify source-code comments Christina Jansen enhancement major Source Code 1.3
#40 Error bounds and the numerical model-checking engine Dr. Ivan S. Zapreev defect major Core 1.3
#41 Improving the architecture of MRMC. Dr. Ivan S. Zapreev enhancement major General Architecture 1.3
#48 Download archives for MRMC distributions nguyen, ivan.zapreev, christinajansen defect major Web Pages 1.3
#49 uCTMDPi: 0-vector for timebound 0 defect major Numerical Engine 1.3.1
#47 Adding a test-run report to the test-suite. enhancement minor Test Suite 1.3.1
Note: See TracQuery for help on using queries.