{3} Active Tickets by Milestone (14 matches)
This report shows how to color results by priority, while grouping results by milestone.
Last modification time, description and reporter are included as hidden fields for useful RSS export.
Milestone (1 match)
| Ticket | Summary | Component | Version | Type | Owner | Status | Created |
|---|---|---|---|---|---|---|---|
| #44 | Additions to web page | Web Pages | task | nguyen, ivan.zapreev, christinajansen | new | 07/03/08 |
Milestone MRMC future (13 matches)
| Ticket | Summary | Component | Version | Type | Owner | Status | Created |
|---|---|---|---|---|---|---|---|
| #23 | Add SVN notifications | SVN Repository | defect | ngyuen | new | 06/27/08 | |
| #28 | PRCTL, lumping: The E operator problem. | Core | 1.2.2 | defect | ivan.zapreev | new | 06/27/08 |
| #40 | Error bounds and the numerical model-checking engine | Core | 1.3 | defect | ivan.zapreev | new | 06/27/08 |
| #48 | Download archives for MRMC distributions | Web Pages | 1.3 | defect | nguyen, ivan.zapreev, christinajansen | new | 08/07/08 |
| #49 | uCTMDPi: 0-vector for timebound 0 | Numerical Engine | 1.3.1 | defect | new | 09/30/08 | |
| #32 | The probabilities comparison in the Bisimulation engine. | Bisimulation Engine | 1.3 | enhancement | christinajansen | new | 06/27/08 |
| #33 | Improve and unify the error/warning/info messages. | Core | 1.3 | enhancement | ivan.zapreev | new | 06/27/08 |
| #34 | Add a possibility to dump the model-checking results | Core | 1.3 | enhancement | christinajansen | new | 06/27/08 |
| #35 | Improving $RESULT and $STATE commands | Core | 1.3 | enhancement | christinajansen | new | 06/27/08 |
| #36 | Add simulation engine for PCTL. | Simulation Engine | 1.3 | enhancement | ivan.zapreev | new | 06/27/08 |
| #39 | Unify source-code comments | Source Code | 1.3 | enhancement | christinajansen | new | 06/27/08 |
| #41 | Improving the architecture of MRMC. | General Architecture | 1.3 | enhancement | ivan.zapreev | new | 06/27/08 |
| #47 | Adding a test-run report to the test-suite. | Test Suite | 1.3.1 | enhancement | new | 08/06/08 |
Note:
See TracReports for help on using and creating reports.
