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.
|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: v220.127.116.11 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||v18.104.22.168||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|
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 ;-)