Custom Query (23 matches)

Filters
 
Or
 
  
 
Columns

Show under each result:


Status: closed (10 matches)

Ticket Summary Owner Type Priority Component Version
#30 CSL/CTMC, Simulation: Steady-State operator, functional tests Dr. Ivan S. Zapreev enhancement blocker Test Suite 1.3
#16 Updating Wikipedia pages Dr. Ivan S. Zapreev task major Web Pages 1.3
#22 Moving bugs and todo items to the Ticker system. Dr. Ivan S. Zapreev task major Web Pages
#37 Implement red-black trees for Lumping (bisimulation) Dr. Ivan S. Zapreev enhancement major Bisimulation Engine 1.3
#38 Improving bisimulation engine. Dr. Ivan S. Zapreev enhancement major Bisimulation Engine 1.2.2
#42 Deleting BUGLIST and TODOLIST files. Christina Jansen task major SVN Repository 1.3
#50 Segmentation fault in the simulation engine Dr. Ivan S. Zapreev defect major Simulation Engine 1.4
#56 Fox-Glynn but in lambda levels for lambda > 400 defect major Numerical Engine 1.4.1
#57 Lumping fails with the new sparse matrix implementatation Dr. Ivan S. Zapreev defect major Core
#14 Video capturing console output of MRMC usage Christina Jansen enhancement trivial Web Pages

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.