{8} Active Tickets, Mine first (14 matches)
- List all active tickets by priority.
- Show all tickets owned by the logged in user in a group first.
Active Tickets (14 matches)
| Ticket | Summary | Component | Version | Milestone | Type | Owner | Status | Created |
|---|---|---|---|---|---|---|---|---|
| #23 | Add SVN notifications | SVN Repository | MRMC future | defect | ngyuen | new | 06/27/08 | |
| #28 | PRCTL, lumping: The E operator problem. | Core | 1.2.2 | MRMC future | defect | ivan.zapreev | new | 06/27/08 |
| #40 | Error bounds and the numerical model-checking engine | Core | 1.3 | MRMC future | defect | ivan.zapreev | new | 06/27/08 |
| #48 | Download archives for MRMC distributions | Web Pages | 1.3 | MRMC future | defect | nguyen, ivan.zapreev, christinajansen | new | 08/07/08 |
| #49 | uCTMDPi: 0-vector for timebound 0 | Numerical Engine | 1.3.1 | MRMC future | defect | new | 09/30/08 | |
| #32 | The probabilities comparison in the Bisimulation engine. | Bisimulation Engine | 1.3 | MRMC future | enhancement | christinajansen | new | 06/27/08 |
| #33 | Improve and unify the error/warning/info messages. | Core | 1.3 | MRMC future | enhancement | ivan.zapreev | new | 06/27/08 |
| #34 | Add a possibility to dump the model-checking results | Core | 1.3 | MRMC future | enhancement | christinajansen | new | 06/27/08 |
| #35 | Improving $RESULT and $STATE commands | Core | 1.3 | MRMC future | enhancement | christinajansen | new | 06/27/08 |
| #36 | Add simulation engine for PCTL. | Simulation Engine | 1.3 | MRMC future | enhancement | ivan.zapreev | new | 06/27/08 |
| #39 | Unify source-code comments | Source Code | 1.3 | MRMC future | enhancement | christinajansen | new | 06/27/08 |
| #41 | Improving the architecture of MRMC. | General Architecture | 1.3 | MRMC future | enhancement | ivan.zapreev | new | 06/27/08 |
| #44 | Additions to web page | Web Pages | task | nguyen, ivan.zapreev, christinajansen | new | 07/03/08 | ||
| #47 | Adding a test-run report to the test-suite. | Test Suite | 1.3.1 | MRMC future | enhancement | new | 08/06/08 |
Note:
See TracReports for help on using and creating reports.
