{6} All Tickets By Milestone (Including closed) (57 matches)

MRMC v1.4 (4 matches)

Ticket	Summary	Component	Status	Resolution	Version	Type	Priority	Owner	Modified
#45	Create questionnaire	Web Pages	closed	fixed		task	major	nguyen	09/18/08
#9	Enhanced Bitset Code	Core	closed	fixed		enhancement	major	christinajansen	09/18/08
#46	Changing the file headers	Source Code	closed	fixed		enhancement	trivial		09/18/08
#31	CSL/CTMC Simulation: Improve speed for the Steady-state operator	Simulation Engine	closed	fixed		enhancement	major	christinajansen	09/18/08

MRMC v1.3 (18 matches)

Ticket	Summary	Component	Status	Resolution	Version	Type	Priority	Owner	Modified
#18	Transit MRMC sources from CVS to SVN	SVN Repository	closed	fixed		task	major	ivan.zapreev	09/18/08
#15	Make Tracker accessible directly.	Web Pages	closed	fixed		enhancement	major	nguyen	06/27/08
#20	Adding stuff members to the mrmc-users mailing list	Core	closed	fixed		defect	major	nguyen	06/27/08
#13	change colors of web page	Web Pages	closed	fixed	1.3	enhancement	major	ivan.zapreev	06/25/08
#19	Testing MRMC downloads for release	Core	closed	fixed	1.3	task	major	christinajansen	06/25/08
#21	Put David's future ideas on website	Web Pages	closed	fixed		task	major	christinajansen	06/25/08
#10	Creating MRMC distribution files.	Web Pages	closed	fixed	1.3	task	blocker	christinajansen	06/24/08
#7	Make a new MRMC logo.	Web Pages	closed	fixed	1.3	enhancement	major	nguyen	06/23/08
#17	Using StatCounter	Web Pages	closed	fixed	1.3	enhancement	major	ivan.zapreev, nguen	06/23/08
#8	Updating the server links	Web Pages	closed	fixed	1.3	defect	major	christinajansen	06/23/08
#4	Move Downloads scripts to Aachen	Web Pages	closed	fixed	1.3	task	major	ivan.zapreev	06/20/08
#12	Adding a fake e-mail into the mrmc-stuff mailing list	Web Pages	closed	fixed	1.3	enhancement	blocker	nguyen	06/20/08
#11	Synchronizing the downloads script woth the mailing lists.	Core	closed	fixed	1.3	task	blocker	nguyen	06/20/08
#2	Add hyper links to group and university pages	Web Pages	closed	fixed		enhancement	minor	ivan.zapreev	06/19/08
#5	Links to bibtex & pdf files	Web Pages	closed	fixed		defect	major	christinajansen	06/19/08
#6	Email notifications from tickets	Web Pages	closed	worksforme	1.3	enhancement	major	nguyen	06/19/08
#3	Updating images of the MRMC output and architecture	Web Pages	closed	fixed	1.3	defect	major	ivan.zapreev	06/19/08
#1	Remove attached bibtex entries.	Web Pages	closed	fixed		defect	minor	christinajansen	06/19/08

MRMC v1.2.2 (4 matches)

Ticket	Summary	Component	Status	Resolution	Version	Type	Priority	Owner	Modified
#29	Parser: The power of || and && operators	Core	closed	fixed	1.2.2	defect	major	ivan.zapreev	06/27/08
#26	CSL/CTMC: TIme bounded until, zero time bounds.	Core	closed	invalid	1.2.2	defect	major	ivan.zapreev	06/27/08
#25	Iterative methods: problems with Gauss-Seidel and Gauss-Jacobi	Core	closed	invalid	1.2.2	defect	major	ivan.zapreev	06/27/08
#24	PRCTL: time- and reward- bounded until, malfunction	Core	closed	invalid	1.2.2	defect	major	ivan.zapreev	06/27/08

MRMC v.1.4.1 (6 matches)

Ticket	Summary	Component	Status	Resolution	Version	Type	Priority	Owner	Modified
#54	The tracker's navigation bar is broken	Web Pages	closed	fixed	1.4	defect	minor	ivan.zapreev	11/11/09
#52	Automatic sample-size step for simulations, manual and sources	Simulation Engine	closed	fixed	1.4	enhancement	minor	ivan.zapreev	10/29/09
#51	The MRMC manual is not up to date	MRMC manual	closed	fixed	1.4	defect	minor	ivan.zapreev	10/29/09
#43	Update the test suite manual	MRMC manual	closed	fixed	1.4	defect	minor	ivan.zapreev	10/29/09
#53	Possible bugs in Reward model engine	Core	closed	fixed	1.4	defect	major	ivan.zapreev	05/13/09
#27	CSRL, Time- and Reward- bounded until operator, Qureshi Sanders algorithm	Core	closed	fixed	1.2.2	defect	major	ivan.zapreev	05/13/09

MRMC future (23 matches)

Ticket	Summary	Component	Status	Resolution	Version	Type	Priority	Owner	Modified
#23	Add SVN notifications	SVN Repository	new			defect	major	ngyuen	09/18/08
#28	PRCTL, lumping: The E operator problem.	Core	new		1.2.2	defect	major	ivan.zapreev	06/27/08
#32	The probabilities comparison in the Bisimulation engine.	Bisimulation Engine	new		1.3	enhancement	major	christinajansen	06/27/08
#33	Improve and unify the error/warning/info messages.	Core	new		1.3	enhancement	major	ivan.zapreev	06/27/08
#34	Add a possibility to dump the model-checking results	Core	new		1.3	enhancement	major	christinajansen	06/27/08
#35	Improving $RESULT and $STATE commands	Core	new		1.3	enhancement	major	christinajansen	06/27/08
#36	Add simulation engine for PCTL.	Simulation Engine	new		1.3	enhancement	major	ivan.zapreev	06/27/08
#39	Unify source-code comments	Source Code	new		1.3	enhancement	major	christinajansen	06/27/08
#40	Error bounds and the numerical model-checking engine	Core	new		1.3	defect	major	ivan.zapreev	06/27/08
#41	Improving the architecture of MRMC.	General Architecture	new		1.3	enhancement	major	ivan.zapreev	06/27/08
#48	Download archives for MRMC distributions	Web Pages	new		1.3	defect	major	nguyen, ivan.zapreev, christinajansen	08/07/08
#49	uCTMDPi: 0-vector for timebound 0	Numerical Engine	new		1.3.1	defect	major		10/03/08
#47	Adding a test-run report to the test-suite.	Test Suite	new		1.3.1	enhancement	minor		08/06/08
#57	Lumping fails with the new sparse matrix implementatation	Core	closed	fixed		defect	major	ivan.zapreev	02/11/10
#56	Fox-Glynn but in lambda levels for lambda > 400	Numerical Engine	closed	fixed	1.4.1	defect	major		01/11/10
#30	CSL/CTMC, Simulation: Steady-State operator, functional tests	Test Suite	closed	fixed	1.3	enhancement	blocker	ivan.zapreev	05/12/09
#50	Segmentation fault in the simulation engine	Simulation Engine	closed	fixed	1.4	defect	major	ivan.zapreev	02/05/09
#14	Video capturing console output of MRMC usage	Web Pages	closed	fixed		enhancement	trivial	christinajansen	09/18/08
#16	Updating Wikipedia pages	Web Pages	closed	fixed	1.3	task	major	ivan.zapreev	09/18/08
#22	Moving bugs and todo items to the Ticker system.	Web Pages	closed	fixed		task	major	ivan.zapreev	09/18/08
#42	Deleting BUGLIST and TODOLIST files.	SVN Repository	closed	fixed	1.3	task	major	christinajansen	09/18/08
#38	Improving bisimulation engine.	Bisimulation Engine	closed	wontfix	1.2.2	enhancement	major	ivan.zapreev	06/27/08
#37	Implement red-black trees for Lumping (bisimulation)	Bisimulation Engine	closed	wontfix	1.3	enhancement	major	ivan.zapreev	06/27/08

Ticket	Summary	Component	Status	Resolution	Version	Type	Priority	Owner	Modified
#44	Additions to web page	Web Pages	new			task	minor	nguyen, ivan.zapreev, christinajansen	07/03/08
#55	CSL/CTMC Incorrect model checking results	Core	closed	fixed	1.4.1	defect	major		01/14/10