Timeline



Sep 30, 2008:

1:32 PM Ticket #49 (uCTMDPi: 0-vector for timebound 0) created by Viet Yen Nguyen
Daniel discovered a bug in the uCTMDPi implementation, where the state …

Sep 19, 2008:

10:03 AM News edited by Viet Yen Nguyen
(diff)
10:01 AM News edited by Viet Yen Nguyen
(diff)

Sep 18, 2008:

10:16 PM Ticket #45 (Create questionnaire) closed by Christina Jansen
fixed
10:14 PM Ticket #18 (Transit MRMC sources from CVS to SVN) closed by Christina Jansen
fixed
10:13 PM Ticket #9 (Enhanced Bitset Code) closed by Christina Jansen
fixed
10:11 PM Ticket #46 (Changing the file headers) closed by Christina Jansen
fixed
10:11 PM Ticket #31 (CSL/CTMC Simulation: Improve speed for the Steady-state operator) closed by Christina Jansen
fixed
5:47 PM Specifications edited by Viet Yen Nguyen
(diff)
3:12 PM News edited by Viet Yen Nguyen
(diff)
2:54 PM People/FormerTeamMembers edited by Viet Yen Nguyen
(diff)
2:53 PM People/FormerTeamMembers edited by Viet Yen Nguyen
(diff)
2:53 PM People edited by Viet Yen Nguyen
(diff)
2:51 PM News edited by Viet Yen Nguyen
(diff)
2:50 PM News edited by Viet Yen Nguyen
(diff)
2:46 PM News edited by Christina Jansen
(diff)
12:40 PM News edited by Christina Jansen
(diff)
12:00 AM Milestone MRMC v1.4 completed

Sep 17, 2008:

9:43 PM News edited by Viet Yen Nguyen
(diff)
4:17 PM Specifications edited by Christina Jansen
(diff)
11:19 AM Ticket #14 (Video capturing console output of MRMC usage) closed by Dr. Ivan S. Zapreev
fixed
Note: See TracTimeline for information about the timeline view.