Custom Query (10 matches)

Filters
 
Or
 
  
 
Columns

Show under each result:


Resolution: fixed (8 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
#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

Resolution: wontfix (2 matches)

Ticket Summary Owner Type Priority Component Version
#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
Note: See TracQuery for help on using queries.