Timeline



Jul 8, 2008:

10:13 AM Future edited by Viet Yen Nguyen
(diff)
10:07 AM Future created by Viet Yen Nguyen

Jul 3, 2008:

1:39 PM Ticket #44 (Additions to web page) created by henrik
- Mention that mrmc-tool is hosted by rwth aachen / moves group - add …
8:18 AM Bibliography edited by Dr. Ivan S. Zapreev
Fixed the link (diff)

Jun 30, 2008:

7:50 PM Ticket #43 (Update the test suite manual) created by Dr. Ivan S. Zapreev
In the test suite manual we did not fix the new MRMC command line …
12:23 PM Related edited by Dr. Ivan S. Zapreev
Added some newly found presentations (diff)
12:18 PM Related edited by Dr. Ivan S. Zapreev
Added some newly found presentation (diff)
12:14 PM Related edited by Dr. Ivan S. Zapreev
Added some newly found presentation (diff)

Jun 29, 2008:

10:12 AM Ticket #42 (Deleting BUGLIST and TODOLIST files.) closed by Christina Jansen
fixed: Done.

Jun 27, 2008:

5:03 PM News edited by Dr. Ivan S. Zapreev
Added the proper link to the project. (diff)
4:55 PM Related edited by Dr. Ivan S. Zapreev
Added COMPASS. (diff)
4:48 PM Ticket #22 (Moving bugs and todo items to the Ticker system.) closed by Dr. Ivan S. Zapreev
fixed
4:47 PM Ticket #42 (Deleting BUGLIST and TODOLIST files.) created by Dr. Ivan S. Zapreev
Dear Christina, I have moved the important content from the TODOLIST …
4:44 PM Ticket #41 (Improving the architecture of MRMC.) created by Dr. Ivan S. Zapreev
* May be the MRMC/src/runtime.c file is not such a good idea, since …
4:40 PM Ticket #40 (Error bounds and the numerical model-checking engine) created by Dr. Ivan S. Zapreev
Error bounds are not properly computed and used! For nested formulas …
4:35 PM Ticket #39 (Unify source-code comments) created by Dr. Ivan S. Zapreev
Make method comments look alike, e.g.: […]
4:11 PM Ticket #38 (Improving bisimulation engine.) closed by Dr. Ivan S. Zapreev
wontfix: Here are my answers in the point-wise manner: * The bisimulation …
4:05 PM Ticket #38 (Improving bisimulation engine.) created by Dr. Ivan S. Zapreev
Implement David Jansen's suggestions for lumping: […] * Figure …
3:56 PM Ticket #37 (Implement red-black trees for Lumping (bisimulation)) closed by Dr. Ivan S. Zapreev
wontfix: The experiments done by Varun Agravala indicate that the results are …
3:54 PM Ticket #37 (Implement red-black trees for Lumping (bisimulation)) created by Dr. Ivan S. Zapreev
Implement red-black trees for Lumping (bisimulation) and integrate …
3:45 PM Ticket #36 (Add simulation engine for PCTL.) created by Dr. Ivan S. Zapreev
In principle all algorithms developed for model-checking CSL …
3:43 PM Ticket #35 (Improving $RESULT and $STATE commands) created by Dr. Ivan S. Zapreev
In the command prompt of MRMC, add a possibility to get not just the …
3:41 PM Ticket #34 (Add a possibility to dump the model-checking results) created by Dr. Ivan S. Zapreev
Add a possibility to dump the model-checking results into a file from …
3:41 PM Ticket #33 (Improve and unify the error/warning/info messages.) created by Dr. Ivan S. Zapreev
Should be done as a part of Architectural change of MRMC. Make a clear …
3:39 PM Ticket #32 (The probabilities comparison in the Bisimulation engine.) created by Dr. Ivan S. Zapreev
Somewhere in probabilistic bisimulation we test that probability …
3:34 PM Ticket #31 (CSL/CTMC Simulation: Improve speed for the Steady-state operator) created by Dr. Ivan S. Zapreev
When doing regenerative simulations, for example taking the test case …
3:30 PM Ticket #30 (CSL/CTMC, Simulation: Steady-State operator, functional tests) created by Dr. Ivan S. Zapreev
Add functional tests into the test suite for testing the behavior of …
3:17 PM Ticket #29 (Parser: The power of || and && operators) closed by Dr. Ivan S. Zapreev
fixed
3:17 PM Ticket #29 (Parser: The power of || and && operators) created by Dr. Ivan S. Zapreev
General parser problem with the power of || and && operators. In MRMC …
3:15 PM Ticket #28 (PRCTL, lumping: The E operator problem.) created by Dr. Ivan S. Zapreev
PRCTL, E operator gives different results with and without formula …
3:02 PM Ticket #27 (CSRL, Time- and Reward- bounded until operator, Qureshi Sanders algorithm) created by Dr. Ivan S. Zapreev
We get different results if state space is reordered, in particular …
2:58 PM Ticket #26 (CSL/CTMC: TIme bounded until, zero time bounds.) closed by Dr. Ivan S. Zapreev
invalid: In case the time bound is set to [0,0] we expect it to be an unbounded …
2:57 PM Ticket #26 (CSL/CTMC: TIme bounded until, zero time bounds.) created by Dr. Ivan S. Zapreev
In test […] for […] we get […] But it should be […]
2:54 PM Ticket #25 (Iterative methods: problems with Gauss-Seidel and Gauss-Jacobi) closed by Dr. Ivan S. Zapreev
invalid: Here the problem is that Inverted Jacobi does not converge having …
2:50 PM Ticket #25 (Iterative methods: problems with Gauss-Seidel and Gauss-Jacobi) created by Dr. Ivan S. Zapreev
See test: […] When checking […] (Gauss-Seidel) steady state …
2:45 PM Ticket #24 (PRCTL: time- and reward- bounded until, malfunction) closed by Dr. Ivan S. Zapreev
invalid: This turned out to be not a bug. I do not remember why, but I checked …
2:44 PM Ticket #24 (PRCTL: time- and reward- bounded until, malfunction) created by Dr. Ivan S. Zapreev
In […] test case we are getting for […] the following …
2:27 PM Ticket #23 (Add SVN notifications) created by Dr. Ivan S. Zapreev
I know that it is possible to have notifications in case of changes in …
1:42 PM Ticket #22 (Moving bugs and todo items to the Ticker system.) created by Dr. Ivan S. Zapreev
Currently the new and old bugs are stored in the ./BUGLIST. The …
1:30 PM Milestone MRMC v1.3 completed
The next release of MRMC, v1.3. It has to be done before the first of …
1:11 PM Contribute edited by Dr. Ivan S. Zapreev
minor ;) (diff)
12:14 PM News edited by Viet Yen Nguyen
(diff)
12:12 PM Ticket #15 (Make Tracker accessible directly.) closed by Viet Yen Nguyen
fixed
12:04 PM Ticket #16 (Updating Wikipedia pages) closed by Dr. Ivan S. Zapreev
fixed: Done. The release will come today!!!
11:56 AM Ticket #20 (Adding stuff members to the mrmc-users mailing list) closed by Viet Yen Nguyen
fixed: Done
11:53 AM Contribute edited by Viet Yen Nguyen
(diff)

Jun 25, 2008:

5:38 PM Ticket #13 (change colors of web page) closed by Dr. Ivan S. Zapreev
fixed: Done for now, the time based theme might come after the release .... …
11:25 AM Ticket #19 (Testing MRMC downloads for release) closed by Christina Jansen
fixed
10:19 AM Ticket #13 (change colors of web page) reopened by Dr. Ivan S. Zapreev
10:04 AM Ticket #21 (Put David's future ideas on website) closed by Christina Jansen
fixed
10:02 AM Contribute edited by Christina Jansen
(diff)
9:37 AM Contribute edited by Christina Jansen
(diff)

Jun 24, 2008:

5:04 PM news_2006 edited by Christina Jansen
(diff)
4:54 PM Related edited by Dr. Ivan S. Zapreev
Added Quasimodo. (diff)
2:03 PM Ticket #21 (Put David's future ideas on website) created by Christina Jansen
To add the David's future ideas to the Contribute page, similar to the …
1:12 PM Ticket #13 (change colors of web page) closed by Dr. Ivan S. Zapreev
fixed: I did some layout.css and site.html fixes. Not the colors are easily …
11:39 AM Ticket #10 (Creating MRMC distribution files.) closed by Christina Jansen
fixed
10:12 AM People/FormerTeamMembers edited by Dr. Ivan S. Zapreev
Changed image sizes with respect to the new content width. (diff)
10:11 AM People edited by Dr. Ivan S. Zapreev
Fixed Image sizes with respect to the new content width (diff)

Jun 23, 2008:

9:57 PM Contribute edited by Dr. Ivan S. Zapreev
the image name has changed (diff)
6:42 PM Ticket #7 (Make a new MRMC logo.) closed by Viet Yen Nguyen
fixed
4:25 PM Ticket #10 (Creating MRMC distribution files.) reopened by Dr. Ivan S. Zapreev
The release scripts did not include the ./lib/mrmc.a library into the …
2:45 PM Ticket #16 (Updating Wikipedia pages) reopened by Dr. Ivan S. Zapreev
2:45 PM Ticket #16 (Updating Wikipedia pages) closed by Dr. Ivan S. Zapreev
fixed: I will do the rest myself :) Although there is not much left to be …
2:38 PM Ticket #10 (Creating MRMC distribution files.) closed by Christina Jansen
fixed
2:05 PM Ticket #20 (Adding stuff members to the mrmc-users mailing list) created by Dr. Ivan S. Zapreev
Dear Viet Yen, If it is not done yet, could you please add the …
1:48 PM Ticket #19 (Testing MRMC downloads for release) created by Dr. Ivan S. Zapreev
Windows and Mac OS X binaries: 1. Download files from the download …
12:22 PM Ticket #17 (Using StatCounter) closed by Dr. Ivan S. Zapreev
fixed: Done only partially, but it seems to me it is as much as we can get …
11:46 AM Ticket #8 (Updating the server links) closed by Dr. Ivan S. Zapreev
fixed: It seems to me that we are done with this one.
11:20 AM news_2006 edited by Christina Jansen
(diff)
11:15 AM news_2006 edited by Christina Jansen
(diff)
11:04 AM news_2007 edited by Christina Jansen
(diff)

Jun 22, 2008:

6:55 PM Contact edited by Dr. Ivan S. Zapreev
(diff)
6:43 PM Contribute edited by Dr. Ivan S. Zapreev
(diff)
11:41 AM Related edited by Dr. Ivan S. Zapreev
Minor layout improvements. (diff)
11:38 AM Related edited by Dr. Ivan S. Zapreev
Updated some links and improved text. (diff)
11:25 AM Related edited by Dr. Ivan S. Zapreev
Added model checking tools here, most importantly, I've added VESTA … (diff)
10:47 AM Ticket #18 (Transit MRMC sources from CVS to SVN) created by Dr. Ivan S. Zapreev
Add MRMC sources to the …
10:42 AM Ticket #17 (Using StatCounter) created by Dr. Ivan S. Zapreev
I believe that it would be nice to have a counter for the number of …
10:34 AM Ticket #16 (Updating Wikipedia pages) created by Dr. Ivan S. Zapreev
The Wikipedia page has to be updated with respect to MRMC v1.3 The …

Jun 20, 2008:

10:01 PM Contribute edited by Viet Yen Nguyen
(diff)
10:00 PM Contribute edited by Viet Yen Nguyen
(diff)
10:00 PM Contribute edited by Viet Yen Nguyen
(diff)
9:51 PM Contribute edited by Viet Yen Nguyen
(diff)
9:49 PM Contribute edited by Viet Yen Nguyen
(diff)
4:24 PM Ticket #15 (Make Tracker accessible directly.) created by Dr. Ivan S. Zapreev
May be not know, by definitely soon, we should somehow link the …
4:19 PM WikiStart edited by Dr. Ivan S. Zapreev
Fixed the GPL name. (diff)
3:54 PM Ticket #14 (Video capturing console output of MRMC usage) created by Viet Yen Nguyen
Create a small video that shows the console and MRMC running in it. …
3:33 PM Ticket #13 (change colors of web page) created by Dr. Ivan S. Zapreev
Add color themes: 1. A color theme by choice 2. A color theme by the …
3:06 PM Specifications edited by Dr. Ivan S. Zapreev
Fixing pictures (diff)
3:04 PM News edited by Dr. Ivan S. Zapreev
Added news about the upcomming release. (diff)
2:52 PM News edited by Dr. Ivan S. Zapreev
Added some news. (diff)
2:46 PM TOC edited by Dr. Ivan S. Zapreev
This was not really documentation, because we cite project, papers and etc. (diff)
2:45 PM Related edited by Dr. Ivan S. Zapreev
Fixed the picture size. (diff)
2:42 PM Ticket #4 (Move Downloads scripts to Aachen) closed by Dr. Ivan S. Zapreev
fixed
2:40 PM Ticket #12 (Adding a fake e-mail into the mrmc-stuff mailing list) closed by Dr. Ivan S. Zapreev
fixed
2:11 PM Ticket #12 (Adding a fake e-mail into the mrmc-stuff mailing list) created by Dr. Ivan S. Zapreev
Viet Yen, Can you please create some dummy e-mail, or just register …
12:43 PM Ticket #11 (Synchronizing the downloads script woth the mailing lists.) closed by Viet Yen Nguyen
fixed: 1. From must be the emailaddress to be subscribed. To must be …
11:23 AM TOC edited by Dr. Ivan S. Zapreev
Linked the downloads script in. (diff)
10:59 AM Contribute edited by Dr. Ivan S. Zapreev
Minor layout improvements. (diff)
10:56 AM WikiStart edited by Dr. Ivan S. Zapreev
Minor layout improvements. (diff)
10:51 AM Specifications edited by Dr. Ivan S. Zapreev
Added links to new manuals, fixed some of the old links, resized the … (diff)
10:08 AM Contribute edited by Dr. Ivan S. Zapreev
Minor text improvements. (diff)
10:05 AM Ticket #11 (Synchronizing the downloads script woth the mailing lists.) created by Dr. Ivan S. Zapreev
Could you please tell me: 1. What should I put into the From, To and …
10:01 AM Ticket #10 (Creating MRMC distribution files.) created by Dr. Ivan S. Zapreev
Could you please create Windows and Max OS distributions of MRMC and …
Note: See TracTimeline for information about the timeline view.