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 |
|---|---|---|---|---|---|---|
| 00019 | 2021-05-26 14:45 | Other | 19.06.2017 | 5 | Open | Charlie.Charlie Main Class |
| 00018 | 2020-01-13 13:51 | Bug | v2.0.212.8932 | 5 | Open | Parse error on opening .andl file |
| 00017 | 2016-05-03 20:17 | Bug | latest (03 May 2016) | 5 | Open | Deadlock while trying to install on OS X 10.11.3 El Capitan |
| 00016 | 2014-11-04 11:30 | Other | n/a | Open | notification test 3 | |
| 00011 | 2012-06-10 02:04 | Other | June 9 charliev2.0.jar | Open | first use | |
| 00010 | 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 |
| 00009 | 2011-12-02 13:40 | Bug | v2.0.171.217 | 3 | Open | Abbreviation for Synchronization-Graph is not consistent |
| 00008 | 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 |
| 00007 | 2011-07-15 17:18 | Feature | 4 | Open | Analyzer: please add an analyzer for computing sub/sur p/t invariants | |
| 00006 | 2011-07-04 12:14 | Feature | 2 | Open | Plugin: add a feature so that plugins can be loaded and unload at runtime | |
| 00005 | 2011-06-29 11:39 | Bug | 4 | Open | Marking Editor: after a reload the set of markings is deleted | |
| 00004 | 2011-05-27 14:20 | Other | 2 | Open | Change Internal Message System | |
| 00003 | 2011-05-17 12:21 | Feature | 3 | Confirmed | Add option for filtering output | |
| 00002 | 2011-05-17 11:40 | Feature | 3 | Confirmed | Decouple computation of bad siphons from create all | |
| 00001 | 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.
No bugs ;-)