data structures and software dependability
computer science department
brandenburg university of technology cottbus - senftenberg
C H A R L I E - Bugtracker (closed bugs)
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.
Before submitting any new bugs please have a look if the bug has appeared before. If so, please reopen the bug instead of creating a new one.
| Issue# | Created | Category | Version | Priority | Status | Summary |
|---|---|---|---|---|---|---|
| 00050 | 2011-07-15 17:24 | Feature | 3 | Closed | Add a reader for INA files (.cnt) | |
| 00048 | 2011-07-15 08:19 | Feature | 3 | Closed | Add a reader for INA files (.pnt) | |
| 00046 | 2011-07-04 12:08 | Bug | 4 | Closed | Plugin: correct the usage of libraries in plugins | |
| 00045 | 2011-07-04 12:07 | Feature | 4 | Closed | Plugin: add a possibility to add new parsers | |
| 00044 | 2011-06-29 11:43 | Feature | 4 | Closed | Marking Editor: load every set of marking from a snoopy file | |
| 00042 | 2011-06-29 11:37 | Bug | 5 | Closed | Marking Editor: edited markings are not adopted | |
| 00041 | 2011-06-28 09:07 | Bug | 5 | Closed | Wrong file format when exporting siphons | |
| 00039 | 2011-06-07 11:39 | Bug | 2 | Closed | Protocol button remains pressed when user clicks "hide" in protocol window | |
| 00038 | 2011-06-03 11:54 | Feature | 3 | Closed | Add option that can toggle on/off writing the log file | |
| 00037 | 2011-06-03 11:38 | Feature | 4 | Closed | Remove modality from output window | |
| 00036 | 2011-06-03 11:31 | Feature | 4 | Closed | Add the output from the output window to the protocol | |
| 00035 | 2011-05-31 12:11 | Bug | 5 | Closed | Bug in exporting P-Invariants and T-Invariants | |
| 00034 | 2011-05-28 02:01 | Feature | 4 | Closed | Add number of arcs, places and transitions to the output | |
| 00027 | 2011-05-17 10:36 | Other | 2 | Closed | Spelling mistake in output window | |
| 00026 | 2011-05-12 21:17 | Bug | 3 | Closed | Output when calculating siphons is misleading | |
| 00025 | 2011-05-12 20:43 | Bug | 4 | Closed | Read arcs have no effect on TF0 and FP0 | |
| 00021 | 2011-05-03 13:11 | Bug | 2 | Closed | Spelling mistake in structural reduction | |
| 00020 | 2011-05-03 13:09 | Feature | 4 | Closed | Structural reduction should be repeatedly applied | |
| 00019 | 2011-05-03 12:54 | Bug | 5 | Closed | Export siphons creates duplicate results | |
| 00018 | 2011-05-03 12:47 | Bug | 4 | Closed | Charlie fails to export all siphons | |
| 00017 | 2011-05-03 12:37 | Feature | 3 | Closed | Add new Rule "!CTI => !SCTI" | |
| 00016 | 2011-05-03 12:31 | Feature | 5 | Closed | Add option to calculate "bad siphons" only | |
| 00015 | 2011-05-03 12:05 | Bug | 5 | Closed | Simplex Algorithm terminates too early | |
| 00014 | 2011-04-08 17:46 | Bug | 4 | Closed | Checkbox "dependent sets" is always enabled | |
| 00013 | 2011-04-07 11:03 | Bug | 4 | Closed | Clicking on a recently opened file gives no warning that results will be lost | |
| 00012 | 2011-04-07 10:47 | Feature | 2 | Closed | Add missing tooltips in menu bar | |
| 00009 | 2011-04-06 17:14 | Bug | 4 | Closed | Recently opened files are not in the menu after restarting Charlie | |
| 00008 | 2011-04-05 17:15 | Bug | 3 | Closed | Correct use of capital letters in menu bar | |
| 00006 | 2011-03-31 11:49 | Feature | 2 | Closed | Update function | |
| 00005 | 2011-03-30 13:53 | Bug | 3 | Closed | Spelling mistake when computing T-invariants | |
| 00004 | 2011-03-30 13:09 | Bug | 5 | Closed | Clicking through results does not work | |
| 00003 | 2011-03-23 11:23 | Documentation | 0.1 | Closed | Another test |