data structures and software dependability
computer science department
brandenburg university of technology cottbus - senftenberg
C H A R L I E - Bugtracker
Welcome to the Charlie Bug Tracking System. This set of pages is designed to allow people to keep track of issues surrounding development and maintenance of Charlie.
- submit new bug
- list of closed bugs
List of active bugs
| Issue# | Created | Category | Version | Priority | Status | Summary |
|---|---|---|---|---|---|---|
| 00062 | 2012-06-10 02:04 | Other | June 9 charliev2.0.jar | Open | first use | |
| 00060 | 2011-12-14 17:40 | Bug | version: v2.0.171.217 built: 2011-11-04 | 3 | Open | #Dst's in stubborn reduction doesn't match with #Dst's in RG |
| 00059 | 2011-12-02 13:40 | Bug | v2.0.171.217 | 3 | Open | Abbreviation for Synchronization-Graph is not consistent |
| 00057 | 2011-09-26 11:32 | Bug | 2.0-b158-r208 | 5 | Confirmed | Plugin: import menu item is not visible in menu when reader is added |
| 00049 | 2011-07-15 17:18 | Feature | 4 | Open | Analyzer: please add an analyzer for computing sub/sur p/t invariants | |
| 00047 | 2011-07-04 12:14 | Feature | 2 | Open | Plugin: add a feature so that plugins can be loaded and unload at runtime | |
| 00043 | 2011-06-29 11:39 | Bug | 4 | Open | Marking Editor: after a reload the set of markings is deleted | |
| 00033 | 2011-05-27 14:20 | Other | 2 | Open | Change Internal Message System | |
| 00029 | 2011-05-17 12:21 | Feature | 3 | Confirmed | Add option for filtering output | |
| 00028 | 2011-05-17 11:40 | Feature | 3 | Confirmed | Decouple computation of bad siphons from create all | |
| 00007 | 2011-03-31 12:57 | Feature | 2 | Confirmed | Help function |
List of resolved bugs
Here you can see a list of bugs that are known and resolved, i.e., the bug was removed from Charlie but it is still in the version that is available online. As soon as a new version of Charlie is released these bugs will be closed.
| Issue# | Created | Category | Version | Priority | Status | Summary |
|---|---|---|---|---|---|---|
| 00058 | 2011-11-04 09:52 | Feature | 2.0-b158-r208 | 5 | resolved | Reverse color and tooltip for dead transition |
| 00056 | 2011-09-22 15:51 | Bug | 4 | Resolved | Description and internals do not match (DSt, DTr) | |
| 00054 | 2011-09-09 14:50 | Bug | 3 | Resolved | Setting permissions at setup fails |