Bug List
2019-12-10T11:53:56Z
https://bugsy.grid.aau.dk/bugzilla/buglist.cgi?bug_status=__open__&component=GUI&ctype=atom&product=UPPAAL&query_format=advanced&title=Bug%20List
[Bug 516] Text editor jumps to top on undo
https://bugsy.grid.aau.dk/bugzilla/show_bug.cgi?id=516
Mikkel
2011-05-04T09:48:33Z
<table>
<tr>
<th>Field</th><th>Value</th>
</tr><tr class="bz_feed_product">
<td>Product</td>
<td>UPPAAL</td>
</tr><tr class="bz_feed_component">
<td>Component</td>
<td>GUI</td>
</tr><tr class="bz_feed_assignee">
<td>AssignedToName</td>
<td>Alexandre David</td>
</tr><tr class="bz_feed_reporter">
<td>ReportedByName</td>
<td>Mikkel</td>
</tr><tr class="bz_feed_bug_status">
<td>Status</td>
<td>NEW</td>
</tr><tr class="bz_feed_resolution">
<td>Resolution </td>
<td>---</td>
</tr><tr class="bz_feed_priority">
<td>Priority</td>
<td>P2</td>
</tr><tr class="bz_feed_severity">
<td>Severity </td>
<td>minor</td>
</tr><tr class="bz_feed_creation_date">
<td>Creation date</td>
<td>2011-05-04</td>
</tr><tr class="bz_feed_changed_date">
<td>Last changed date</td>
<td>2011-05-04</td>
</tr>
</table>
[Bug 525] Options menu not available
https://bugsy.grid.aau.dk/bugzilla/show_bug.cgi?id=525
Patricia Bouyer-Decitre
2011-09-13T13:27:37Z
<table>
<tr>
<th>Field</th><th>Value</th>
</tr><tr class="bz_feed_product">
<td>Product</td>
<td>UPPAAL</td>
</tr><tr class="bz_feed_component">
<td>Component</td>
<td>GUI</td>
</tr><tr class="bz_feed_assignee">
<td>AssignedToName</td>
<td>Alexandre David</td>
</tr><tr class="bz_feed_reporter">
<td>ReportedByName</td>
<td>Patricia Bouyer-Decitre</td>
</tr><tr class="bz_feed_bug_status">
<td>Status</td>
<td>NEW</td>
</tr><tr class="bz_feed_resolution">
<td>Resolution </td>
<td>---</td>
</tr><tr class="bz_feed_priority">
<td>Priority</td>
<td>P2</td>
</tr><tr class="bz_feed_severity">
<td>Severity </td>
<td>normal</td>
</tr><tr class="bz_feed_creation_date">
<td>Creation date</td>
<td>2011-09-13</td>
</tr><tr class="bz_feed_changed_date">
<td>Last changed date</td>
<td>2011-09-13</td>
</tr>
</table>
[Bug 538] Internet Connection Problem (Windows-7)
https://bugsy.grid.aau.dk/bugzilla/show_bug.cgi?id=538
Bora KARTAL
2012-05-01T11:17:40Z
<table>
<tr>
<th>Field</th><th>Value</th>
</tr><tr class="bz_feed_product">
<td>Product</td>
<td>UPPAAL</td>
</tr><tr class="bz_feed_component">
<td>Component</td>
<td>GUI</td>
</tr><tr class="bz_feed_assignee">
<td>AssignedToName</td>
<td>Alexandre David</td>
</tr><tr class="bz_feed_reporter">
<td>ReportedByName</td>
<td>Bora KARTAL</td>
</tr><tr class="bz_feed_bug_status">
<td>Status</td>
<td>NEW</td>
</tr><tr class="bz_feed_resolution">
<td>Resolution </td>
<td>---</td>
</tr><tr class="bz_feed_priority">
<td>Priority</td>
<td>P5</td>
</tr><tr class="bz_feed_severity">
<td>Severity </td>
<td>major</td>
</tr><tr class="bz_feed_creation_date">
<td>Creation date</td>
<td>2012-05-01</td>
</tr><tr class="bz_feed_changed_date">
<td>Last changed date</td>
<td>2012-05-01</td>
</tr>
</table>
[Bug 547] Null pointer exception
https://bugsy.grid.aau.dk/bugzilla/show_bug.cgi?id=547
Jakob Haahr Taankvist
2013-02-25T14:12:22Z
<table>
<tr>
<th>Field</th><th>Value</th>
</tr><tr class="bz_feed_product">
<td>Product</td>
<td>UPPAAL</td>
</tr><tr class="bz_feed_component">
<td>Component</td>
<td>GUI</td>
</tr><tr class="bz_feed_assignee">
<td>AssignedToName</td>
<td>Alexandre David</td>
</tr><tr class="bz_feed_reporter">
<td>ReportedByName</td>
<td>Jakob Haahr Taankvist</td>
</tr><tr class="bz_feed_bug_status">
<td>Status</td>
<td>NEW</td>
</tr><tr class="bz_feed_resolution">
<td>Resolution </td>
<td>---</td>
</tr><tr class="bz_feed_priority">
<td>Priority</td>
<td>P5</td>
</tr><tr class="bz_feed_severity">
<td>Severity </td>
<td>blocker</td>
</tr><tr class="bz_feed_creation_date">
<td>Creation date</td>
<td>2013-02-25</td>
</tr><tr class="bz_feed_changed_date">
<td>Last changed date</td>
<td>2013-02-25</td>
</tr>
</table>
[Bug 558] Uppaal GUI/MacOs X 10.8.4 download file damaged
https://bugsy.grid.aau.dk/bugzilla/show_bug.cgi?id=558
Jonathan
2013-12-06T11:54:45Z
<table>
<tr>
<th>Field</th><th>Value</th>
</tr><tr class="bz_feed_product">
<td>Product</td>
<td>UPPAAL</td>
</tr><tr class="bz_feed_component">
<td>Component</td>
<td>GUI</td>
</tr><tr class="bz_feed_assignee">
<td>AssignedToName</td>
<td>Alexandre David</td>
</tr><tr class="bz_feed_reporter">
<td>ReportedByName</td>
<td>Jonathan</td>
</tr><tr class="bz_feed_bug_status">
<td>Status</td>
<td>NEW</td>
</tr><tr class="bz_feed_resolution">
<td>Resolution </td>
<td>---</td>
</tr><tr class="bz_feed_priority">
<td>Priority</td>
<td>P5</td>
</tr><tr class="bz_feed_severity">
<td>Severity </td>
<td>enhancement</td>
</tr><tr class="bz_feed_creation_date">
<td>Creation date</td>
<td>2013-07-11</td>
</tr><tr class="bz_feed_changed_date">
<td>Last changed date</td>
<td>2013-12-06</td>
</tr>
</table>
[Bug 567] In Client Server example, java error is displayed.
https://bugsy.grid.aau.dk/bugzilla/show_bug.cgi?id=567
cv9123
2014-04-20T09:03:40Z
<table>
<tr>
<th>Field</th><th>Value</th>
</tr><tr class="bz_feed_product">
<td>Product</td>
<td>UPPAAL</td>
</tr><tr class="bz_feed_component">
<td>Component</td>
<td>GUI</td>
</tr><tr class="bz_feed_assignee">
<td>AssignedToName</td>
<td>Alexandre David</td>
</tr><tr class="bz_feed_reporter">
<td>ReportedByName</td>
<td>cv9123</td>
</tr><tr class="bz_feed_bug_status">
<td>Status</td>
<td>NEW</td>
</tr><tr class="bz_feed_resolution">
<td>Resolution </td>
<td>---</td>
</tr><tr class="bz_feed_priority">
<td>Priority</td>
<td>P5</td>
</tr><tr class="bz_feed_severity">
<td>Severity </td>
<td>normal</td>
</tr><tr class="bz_feed_creation_date">
<td>Creation date</td>
<td>2014-04-06</td>
</tr><tr class="bz_feed_changed_date">
<td>Last changed date</td>
<td>2014-04-20</td>
</tr>
</table>
[Bug 568] problème UPPAAL
https://bugsy.grid.aau.dk/bugzilla/show_bug.cgi?id=568
aziz
2014-05-04T12:43:01Z
<table>
<tr>
<th>Field</th><th>Value</th>
</tr><tr class="bz_feed_product">
<td>Product</td>
<td>UPPAAL</td>
</tr><tr class="bz_feed_component">
<td>Component</td>
<td>GUI</td>
</tr><tr class="bz_feed_assignee">
<td>AssignedToName</td>
<td>Alexandre David</td>
</tr><tr class="bz_feed_reporter">
<td>ReportedByName</td>
<td>aziz</td>
</tr><tr class="bz_feed_bug_status">
<td>Status</td>
<td>NEW</td>
</tr><tr class="bz_feed_resolution">
<td>Resolution </td>
<td>---</td>
</tr><tr class="bz_feed_priority">
<td>Priority</td>
<td>P5</td>
</tr><tr class="bz_feed_severity">
<td>Severity </td>
<td>enhancement</td>
</tr><tr class="bz_feed_creation_date">
<td>Creation date</td>
<td>2014-05-04</td>
</tr><tr class="bz_feed_changed_date">
<td>Last changed date</td>
<td>2014-05-04</td>
</tr>
</table>
[Bug 246] Syntax errors in property specification are not reported
https://bugsy.grid.aau.dk/bugzilla/show_bug.cgi?id=246
Gerd Behrmann
2006-01-02T11:23:04Z
<table>
<tr>
<th>Field</th><th>Value</th>
</tr><tr class="bz_feed_product">
<td>Product</td>
<td>UPPAAL</td>
</tr><tr class="bz_feed_component">
<td>Component</td>
<td>GUI</td>
</tr><tr class="bz_feed_assignee">
<td>AssignedToName</td>
<td>Gerd Behrmann</td>
</tr><tr class="bz_feed_reporter">
<td>ReportedByName</td>
<td>Gerd Behrmann</td>
</tr><tr class="bz_feed_bug_status">
<td>Status</td>
<td>ASSIGNED</td>
</tr><tr class="bz_feed_resolution">
<td>Resolution </td>
<td>---</td>
</tr><tr class="bz_feed_priority">
<td>Priority</td>
<td>P1</td>
</tr><tr class="bz_feed_severity">
<td>Severity </td>
<td>normal</td>
</tr><tr class="bz_feed_creation_date">
<td>Creation date</td>
<td>2006-01-02</td>
</tr><tr class="bz_feed_changed_date">
<td>Last changed date</td>
<td>2006-01-02</td>
</tr>
</table>
[Bug 387] Exception when opening new model
https://bugsy.grid.aau.dk/bugzilla/show_bug.cgi?id=387
Claus Thrane
2007-03-02T19:45:29Z
<table>
<tr>
<th>Field</th><th>Value</th>
</tr><tr class="bz_feed_product">
<td>Product</td>
<td>UPPAAL</td>
</tr><tr class="bz_feed_component">
<td>Component</td>
<td>GUI</td>
</tr><tr class="bz_feed_assignee">
<td>AssignedToName</td>
<td>Gerd Behrmann</td>
</tr><tr class="bz_feed_reporter">
<td>ReportedByName</td>
<td>Claus Thrane</td>
</tr><tr class="bz_feed_bug_status">
<td>Status</td>
<td>ASSIGNED</td>
</tr><tr class="bz_feed_resolution">
<td>Resolution </td>
<td>---</td>
</tr><tr class="bz_feed_priority">
<td>Priority</td>
<td>P1</td>
</tr><tr class="bz_feed_severity">
<td>Severity </td>
<td>minor</td>
</tr><tr class="bz_feed_creation_date">
<td>Creation date</td>
<td>2007-01-28</td>
</tr><tr class="bz_feed_changed_date">
<td>Last changed date</td>
<td>2007-03-02</td>
</tr>
</table>
[Bug 429] Uppaal spec. file extension and integration with OS shell
https://bugsy.grid.aau.dk/bugzilla/show_bug.cgi?id=429
Marius Mikučionis
2008-06-11T14:47:53Z
<table>
<tr>
<th>Field</th><th>Value</th>
</tr><tr class="bz_feed_product">
<td>Product</td>
<td>UPPAAL</td>
</tr><tr class="bz_feed_component">
<td>Component</td>
<td>GUI</td>
</tr><tr class="bz_feed_assignee">
<td>AssignedToName</td>
<td>Alexandre David</td>
</tr><tr class="bz_feed_reporter">
<td>ReportedByName</td>
<td>Marius Mikučionis</td>
</tr><tr class="bz_feed_bug_status">
<td>Status</td>
<td>ASSIGNED</td>
</tr><tr class="bz_feed_resolution">
<td>Resolution </td>
<td>---</td>
</tr><tr class="bz_feed_priority">
<td>Priority</td>
<td>P2</td>
</tr><tr class="bz_feed_severity">
<td>Severity </td>
<td>minor</td>
</tr><tr class="bz_feed_creation_date">
<td>Creation date</td>
<td>2007-10-15</td>
</tr><tr class="bz_feed_changed_date">
<td>Last changed date</td>
<td>2008-06-11</td>
</tr>
</table>
[Bug 444] Select over dynamic types
https://bugsy.grid.aau.dk/bugzilla/show_bug.cgi?id=444
Ludovic Apvrille
2008-06-11T15:13:48Z
<table>
<tr>
<th>Field</th><th>Value</th>
</tr><tr class="bz_feed_product">
<td>Product</td>
<td>UPPAAL</td>
</tr><tr class="bz_feed_component">
<td>Component</td>
<td>GUI</td>
</tr><tr class="bz_feed_assignee">
<td>AssignedToName</td>
<td>Alexandre David</td>
</tr><tr class="bz_feed_reporter">
<td>ReportedByName</td>
<td>Ludovic Apvrille</td>
</tr><tr class="bz_feed_bug_status">
<td>Status</td>
<td>ASSIGNED</td>
</tr><tr class="bz_feed_resolution">
<td>Resolution </td>
<td>---</td>
</tr><tr class="bz_feed_priority">
<td>Priority</td>
<td>P2</td>
</tr><tr class="bz_feed_severity">
<td>Severity </td>
<td>enhancement</td>
</tr><tr class="bz_feed_creation_date">
<td>Creation date</td>
<td>2008-06-11</td>
</tr><tr class="bz_feed_changed_date">
<td>Last changed date</td>
<td>2008-06-11</td>
</tr>
</table>
[Bug 446] Undo of location/transition colors
https://bugsy.grid.aau.dk/bugzilla/show_bug.cgi?id=446
Jacob Illum
2008-09-09T15:26:50Z
<table>
<tr>
<th>Field</th><th>Value</th>
</tr><tr class="bz_feed_product">
<td>Product</td>
<td>UPPAAL</td>
</tr><tr class="bz_feed_component">
<td>Component</td>
<td>GUI</td>
</tr><tr class="bz_feed_assignee">
<td>AssignedToName</td>
<td>Alexandre David</td>
</tr><tr class="bz_feed_reporter">
<td>ReportedByName</td>
<td>Jacob Illum</td>
</tr><tr class="bz_feed_bug_status">
<td>Status</td>
<td>ASSIGNED</td>
</tr><tr class="bz_feed_resolution">
<td>Resolution </td>
<td>---</td>
</tr><tr class="bz_feed_priority">
<td>Priority</td>
<td>P2</td>
</tr><tr class="bz_feed_severity">
<td>Severity </td>
<td>trivial</td>
</tr><tr class="bz_feed_creation_date">
<td>Creation date</td>
<td>2008-06-19</td>
</tr><tr class="bz_feed_changed_date">
<td>Last changed date</td>
<td>2008-09-09</td>
</tr>
</table>
[Bug 447] it should be possible to read help during verification
https://bugsy.grid.aau.dk/bugzilla/show_bug.cgi?id=447
Marius Mikučionis
2008-09-09T15:26:35Z
<table>
<tr>
<th>Field</th><th>Value</th>
</tr><tr class="bz_feed_product">
<td>Product</td>
<td>UPPAAL</td>
</tr><tr class="bz_feed_component">
<td>Component</td>
<td>GUI</td>
</tr><tr class="bz_feed_assignee">
<td>AssignedToName</td>
<td>Alexandre David</td>
</tr><tr class="bz_feed_reporter">
<td>ReportedByName</td>
<td>Marius Mikučionis</td>
</tr><tr class="bz_feed_bug_status">
<td>Status</td>
<td>ASSIGNED</td>
</tr><tr class="bz_feed_resolution">
<td>Resolution </td>
<td>---</td>
</tr><tr class="bz_feed_priority">
<td>Priority</td>
<td>P2</td>
</tr><tr class="bz_feed_severity">
<td>Severity </td>
<td>enhancement</td>
</tr><tr class="bz_feed_creation_date">
<td>Creation date</td>
<td>2008-07-08</td>
</tr><tr class="bz_feed_changed_date">
<td>Last changed date</td>
<td>2008-09-09</td>
</tr>
</table>
[Bug 275] Open source parsers and engine stubs
https://bugsy.grid.aau.dk/bugzilla/show_bug.cgi?id=275
Gerd Behrmann
2006-04-30T12:34:31Z
<table>
<tr>
<th>Field</th><th>Value</th>
</tr><tr class="bz_feed_product">
<td>Product</td>
<td>UPPAAL</td>
</tr><tr class="bz_feed_component">
<td>Component</td>
<td>GUI</td>
</tr><tr class="bz_feed_assignee">
<td>AssignedToName</td>
<td>Gerd Behrmann</td>
</tr><tr class="bz_feed_reporter">
<td>ReportedByName</td>
<td>Gerd Behrmann</td>
</tr><tr class="bz_feed_bug_status">
<td>Status</td>
<td>ASSIGNED</td>
</tr><tr class="bz_feed_resolution">
<td>Resolution </td>
<td>---</td>
</tr><tr class="bz_feed_priority">
<td>Priority</td>
<td>P2</td>
</tr><tr class="bz_feed_severity">
<td>Severity </td>
<td>enhancement</td>
</tr><tr class="bz_feed_creation_date">
<td>Creation date</td>
<td>2006-02-22</td>
</tr><tr class="bz_feed_changed_date">
<td>Last changed date</td>
<td>2006-04-30</td>
</tr>
</table>
[Bug 318] Undo/redo only works in the editor pane
https://bugsy.grid.aau.dk/bugzilla/show_bug.cgi?id=318
Ulrik Nyman
2009-02-04T15:19:19Z
<table>
<tr>
<th>Field</th><th>Value</th>
</tr><tr class="bz_feed_product">
<td>Product</td>
<td>UPPAAL</td>
</tr><tr class="bz_feed_component">
<td>Component</td>
<td>GUI</td>
</tr><tr class="bz_feed_assignee">
<td>AssignedToName</td>
<td>Gerd Behrmann</td>
</tr><tr class="bz_feed_reporter">
<td>ReportedByName</td>
<td>Ulrik Nyman</td>
</tr><tr class="bz_feed_bug_status">
<td>Status</td>
<td>ASSIGNED</td>
</tr><tr class="bz_feed_resolution">
<td>Resolution </td>
<td>---</td>
</tr><tr class="bz_feed_priority">
<td>Priority</td>
<td>P2</td>
</tr><tr class="bz_feed_severity">
<td>Severity </td>
<td>minor</td>
</tr><tr class="bz_feed_creation_date">
<td>Creation date</td>
<td>2006-04-26</td>
</tr><tr class="bz_feed_changed_date">
<td>Last changed date</td>
<td>2009-02-04</td>
</tr>
</table>
[Bug 319] Cancel leads to: Lost server connection
https://bugsy.grid.aau.dk/bugzilla/show_bug.cgi?id=319
Ulrik Nyman
2006-05-16T18:08:29Z
<table>
<tr>
<th>Field</th><th>Value</th>
</tr><tr class="bz_feed_product">
<td>Product</td>
<td>UPPAAL</td>
</tr><tr class="bz_feed_component">
<td>Component</td>
<td>GUI</td>
</tr><tr class="bz_feed_assignee">
<td>AssignedToName</td>
<td>Gerd Behrmann</td>
</tr><tr class="bz_feed_reporter">
<td>ReportedByName</td>
<td>Ulrik Nyman</td>
</tr><tr class="bz_feed_bug_status">
<td>Status</td>
<td>ASSIGNED</td>
</tr><tr class="bz_feed_resolution">
<td>Resolution </td>
<td>---</td>
</tr><tr class="bz_feed_priority">
<td>Priority</td>
<td>P2</td>
</tr><tr class="bz_feed_severity">
<td>Severity </td>
<td>minor</td>
</tr><tr class="bz_feed_creation_date">
<td>Creation date</td>
<td>2006-04-26</td>
</tr><tr class="bz_feed_changed_date">
<td>Last changed date</td>
<td>2006-05-16</td>
</tr>
</table>
[Bug 341] items missing localization (translation support)
https://bugsy.grid.aau.dk/bugzilla/show_bug.cgi?id=341
Marius Mikučionis
2006-08-03T08:50:40Z
<table>
<tr>
<th>Field</th><th>Value</th>
</tr><tr class="bz_feed_product">
<td>Product</td>
<td>UPPAAL</td>
</tr><tr class="bz_feed_component">
<td>Component</td>
<td>GUI</td>
</tr><tr class="bz_feed_assignee">
<td>AssignedToName</td>
<td>Gerd Behrmann</td>
</tr><tr class="bz_feed_reporter">
<td>ReportedByName</td>
<td>Marius Mikučionis</td>
</tr><tr class="bz_feed_bug_status">
<td>Status</td>
<td>ASSIGNED</td>
</tr><tr class="bz_feed_resolution">
<td>Resolution </td>
<td>---</td>
</tr><tr class="bz_feed_priority">
<td>Priority</td>
<td>P2</td>
</tr><tr class="bz_feed_severity">
<td>Severity </td>
<td>enhancement</td>
</tr><tr class="bz_feed_creation_date">
<td>Creation date</td>
<td>2006-08-01</td>
</tr><tr class="bz_feed_changed_date">
<td>Last changed date</td>
<td>2006-08-03</td>
</tr>
</table>
[Bug 377] crash when much mouse use in graphical editor
https://bugsy.grid.aau.dk/bugzilla/show_bug.cgi?id=377
Judi Romijn
2006-12-15T14:52:33Z
<table>
<tr>
<th>Field</th><th>Value</th>
</tr><tr class="bz_feed_product">
<td>Product</td>
<td>UPPAAL</td>
</tr><tr class="bz_feed_component">
<td>Component</td>
<td>GUI</td>
</tr><tr class="bz_feed_assignee">
<td>AssignedToName</td>
<td>Gerd Behrmann</td>
</tr><tr class="bz_feed_reporter">
<td>ReportedByName</td>
<td>Judi Romijn</td>
</tr><tr class="bz_feed_bug_status">
<td>Status</td>
<td>ASSIGNED</td>
</tr><tr class="bz_feed_resolution">
<td>Resolution </td>
<td>---</td>
</tr><tr class="bz_feed_priority">
<td>Priority</td>
<td>P2</td>
</tr><tr class="bz_feed_severity">
<td>Severity </td>
<td>major</td>
</tr><tr class="bz_feed_creation_date">
<td>Creation date</td>
<td>2006-12-15</td>
</tr><tr class="bz_feed_changed_date">
<td>Last changed date</td>
<td>2006-12-15</td>
</tr>
</table>
[Bug 379] textual editing of templates?
https://bugsy.grid.aau.dk/bugzilla/show_bug.cgi?id=379
Judi Romijn
2006-12-15T13:15:28Z
<table>
<tr>
<th>Field</th><th>Value</th>
</tr><tr class="bz_feed_product">
<td>Product</td>
<td>UPPAAL</td>
</tr><tr class="bz_feed_component">
<td>Component</td>
<td>GUI</td>
</tr><tr class="bz_feed_assignee">
<td>AssignedToName</td>
<td>Gerd Behrmann</td>
</tr><tr class="bz_feed_reporter">
<td>ReportedByName</td>
<td>Judi Romijn</td>
</tr><tr class="bz_feed_bug_status">
<td>Status</td>
<td>ASSIGNED</td>
</tr><tr class="bz_feed_resolution">
<td>Resolution </td>
<td>---</td>
</tr><tr class="bz_feed_priority">
<td>Priority</td>
<td>P2</td>
</tr><tr class="bz_feed_severity">
<td>Severity </td>
<td>enhancement</td>
</tr><tr class="bz_feed_creation_date">
<td>Creation date</td>
<td>2006-12-15</td>
</tr><tr class="bz_feed_changed_date">
<td>Last changed date</td>
<td>2006-12-15</td>
</tr>
</table>
[Bug 385] display of local vectors
https://bugsy.grid.aau.dk/bugzilla/show_bug.cgi?id=385
Thomas Chatain
2006-12-27T22:29:58Z
<table>
<tr>
<th>Field</th><th>Value</th>
</tr><tr class="bz_feed_product">
<td>Product</td>
<td>UPPAAL</td>
</tr><tr class="bz_feed_component">
<td>Component</td>
<td>GUI</td>
</tr><tr class="bz_feed_assignee">
<td>AssignedToName</td>
<td>Gerd Behrmann</td>
</tr><tr class="bz_feed_reporter">
<td>ReportedByName</td>
<td>Thomas Chatain</td>
</tr><tr class="bz_feed_bug_status">
<td>Status</td>
<td>ASSIGNED</td>
</tr><tr class="bz_feed_resolution">
<td>Resolution </td>
<td>---</td>
</tr><tr class="bz_feed_priority">
<td>Priority</td>
<td>P2</td>
</tr><tr class="bz_feed_severity">
<td>Severity </td>
<td>trivial</td>
</tr><tr class="bz_feed_creation_date">
<td>Creation date</td>
<td>2006-12-22</td>
</tr><tr class="bz_feed_changed_date">
<td>Last changed date</td>
<td>2006-12-27</td>
</tr>
</table>
[Bug 390] duplicate verification checks
https://bugsy.grid.aau.dk/bugzilla/show_bug.cgi?id=390
Lasse Bigum
2007-02-09T12:20:25Z
<table>
<tr>
<th>Field</th><th>Value</th>
</tr><tr class="bz_feed_product">
<td>Product</td>
<td>UPPAAL</td>
</tr><tr class="bz_feed_component">
<td>Component</td>
<td>GUI</td>
</tr><tr class="bz_feed_assignee">
<td>AssignedToName</td>
<td>Gerd Behrmann</td>
</tr><tr class="bz_feed_reporter">
<td>ReportedByName</td>
<td>Lasse Bigum</td>
</tr><tr class="bz_feed_bug_status">
<td>Status</td>
<td>ASSIGNED</td>
</tr><tr class="bz_feed_resolution">
<td>Resolution </td>
<td>---</td>
</tr><tr class="bz_feed_priority">
<td>Priority</td>
<td>P2</td>
</tr><tr class="bz_feed_severity">
<td>Severity </td>
<td>enhancement</td>
</tr><tr class="bz_feed_creation_date">
<td>Creation date</td>
<td>2007-02-09</td>
</tr><tr class="bz_feed_changed_date">
<td>Last changed date</td>
<td>2007-02-09</td>
</tr>
</table>
[Bug 395] Cancel in the Save System dialog quits UPPAAL
https://bugsy.grid.aau.dk/bugzilla/show_bug.cgi?id=395
Lars T. Mikkelsen
2007-05-13T16:10:07Z
<table>
<tr>
<th>Field</th><th>Value</th>
</tr><tr class="bz_feed_product">
<td>Product</td>
<td>UPPAAL</td>
</tr><tr class="bz_feed_component">
<td>Component</td>
<td>GUI</td>
</tr><tr class="bz_feed_assignee">
<td>AssignedToName</td>
<td>Gerd Behrmann</td>
</tr><tr class="bz_feed_reporter">
<td>ReportedByName</td>
<td>Lars T. Mikkelsen</td>
</tr><tr class="bz_feed_bug_status">
<td>Status</td>
<td>ASSIGNED</td>
</tr><tr class="bz_feed_resolution">
<td>Resolution </td>
<td>---</td>
</tr><tr class="bz_feed_priority">
<td>Priority</td>
<td>P2</td>
</tr><tr class="bz_feed_severity">
<td>Severity </td>
<td>major</td>
</tr><tr class="bz_feed_creation_date">
<td>Creation date</td>
<td>2007-02-26</td>
</tr><tr class="bz_feed_changed_date">
<td>Last changed date</td>
<td>2007-05-13</td>
</tr>
</table>
[Bug 402] Unable to open multiple systems
https://bugsy.grid.aau.dk/bugzilla/show_bug.cgi?id=402
Lars T. Mikkelsen
2007-03-14T09:47:20Z
<table>
<tr>
<th>Field</th><th>Value</th>
</tr><tr class="bz_feed_product">
<td>Product</td>
<td>UPPAAL</td>
</tr><tr class="bz_feed_component">
<td>Component</td>
<td>GUI</td>
</tr><tr class="bz_feed_assignee">
<td>AssignedToName</td>
<td>Gerd Behrmann</td>
</tr><tr class="bz_feed_reporter">
<td>ReportedByName</td>
<td>Lars T. Mikkelsen</td>
</tr><tr class="bz_feed_bug_status">
<td>Status</td>
<td>ASSIGNED</td>
</tr><tr class="bz_feed_resolution">
<td>Resolution </td>
<td>---</td>
</tr><tr class="bz_feed_priority">
<td>Priority</td>
<td>P2</td>
</tr><tr class="bz_feed_severity">
<td>Severity </td>
<td>enhancement</td>
</tr><tr class="bz_feed_creation_date">
<td>Creation date</td>
<td>2007-03-12</td>
</tr><tr class="bz_feed_changed_date">
<td>Last changed date</td>
<td>2007-03-14</td>
</tr>
</table>
[Bug 403] Undo has unexpected behaviour
https://bugsy.grid.aau.dk/bugzilla/show_bug.cgi?id=403
Lars T. Mikkelsen
2007-05-15T21:23:59Z
<table>
<tr>
<th>Field</th><th>Value</th>
</tr><tr class="bz_feed_product">
<td>Product</td>
<td>UPPAAL</td>
</tr><tr class="bz_feed_component">
<td>Component</td>
<td>GUI</td>
</tr><tr class="bz_feed_assignee">
<td>AssignedToName</td>
<td>Gerd Behrmann</td>
</tr><tr class="bz_feed_reporter">
<td>ReportedByName</td>
<td>Lars T. Mikkelsen</td>
</tr><tr class="bz_feed_bug_status">
<td>Status</td>
<td>ASSIGNED</td>
</tr><tr class="bz_feed_resolution">
<td>Resolution </td>
<td>---</td>
</tr><tr class="bz_feed_priority">
<td>Priority</td>
<td>P2</td>
</tr><tr class="bz_feed_severity">
<td>Severity </td>
<td>enhancement</td>
</tr><tr class="bz_feed_creation_date">
<td>Creation date</td>
<td>2007-03-12</td>
</tr><tr class="bz_feed_changed_date">
<td>Last changed date</td>
<td>2007-05-15</td>
</tr>
</table>
[Bug 404] Command-C in the Verifier Overview list copies Object.toString()
https://bugsy.grid.aau.dk/bugzilla/show_bug.cgi?id=404
Lars T. Mikkelsen
2007-05-13T15:58:46Z
<table>
<tr>
<th>Field</th><th>Value</th>
</tr><tr class="bz_feed_product">
<td>Product</td>
<td>UPPAAL</td>
</tr><tr class="bz_feed_component">
<td>Component</td>
<td>GUI</td>
</tr><tr class="bz_feed_assignee">
<td>AssignedToName</td>
<td>Gerd Behrmann</td>
</tr><tr class="bz_feed_reporter">
<td>ReportedByName</td>
<td>Lars T. Mikkelsen</td>
</tr><tr class="bz_feed_bug_status">
<td>Status</td>
<td>ASSIGNED</td>
</tr><tr class="bz_feed_resolution">
<td>Resolution </td>
<td>---</td>
</tr><tr class="bz_feed_priority">
<td>Priority</td>
<td>P2</td>
</tr><tr class="bz_feed_severity">
<td>Severity </td>
<td>minor</td>
</tr><tr class="bz_feed_creation_date">
<td>Creation date</td>
<td>2007-03-14</td>
</tr><tr class="bz_feed_changed_date">
<td>Last changed date</td>
<td>2007-05-13</td>
</tr>
</table>
[Bug 405] make shortcuts for zooming in and out in the simulator and the editor
https://bugsy.grid.aau.dk/bugzilla/show_bug.cgi?id=405
Lasse Bigum
2007-03-25T15:49:42Z
<table>
<tr>
<th>Field</th><th>Value</th>
</tr><tr class="bz_feed_product">
<td>Product</td>
<td>UPPAAL</td>
</tr><tr class="bz_feed_component">
<td>Component</td>
<td>GUI</td>
</tr><tr class="bz_feed_assignee">
<td>AssignedToName</td>
<td>Gerd Behrmann</td>
</tr><tr class="bz_feed_reporter">
<td>ReportedByName</td>
<td>Lasse Bigum</td>
</tr><tr class="bz_feed_bug_status">
<td>Status</td>
<td>ASSIGNED</td>
</tr><tr class="bz_feed_resolution">
<td>Resolution </td>
<td>---</td>
</tr><tr class="bz_feed_priority">
<td>Priority</td>
<td>P2</td>
</tr><tr class="bz_feed_severity">
<td>Severity </td>
<td>enhancement</td>
</tr><tr class="bz_feed_creation_date">
<td>Creation date</td>
<td>2007-03-23</td>
</tr><tr class="bz_feed_changed_date">
<td>Last changed date</td>
<td>2007-03-25</td>
</tr>
</table>
[Bug 407] Implement find/replace for locating and replacing variables/clocks etc.
https://bugsy.grid.aau.dk/bugzilla/show_bug.cgi?id=407
Lasse Bigum
2007-05-13T16:06:23Z
<table>
<tr>
<th>Field</th><th>Value</th>
</tr><tr class="bz_feed_product">
<td>Product</td>
<td>UPPAAL</td>
</tr><tr class="bz_feed_component">
<td>Component</td>
<td>GUI</td>
</tr><tr class="bz_feed_assignee">
<td>AssignedToName</td>
<td>Gerd Behrmann</td>
</tr><tr class="bz_feed_reporter">
<td>ReportedByName</td>
<td>Lasse Bigum</td>
</tr><tr class="bz_feed_bug_status">
<td>Status</td>
<td>ASSIGNED</td>
</tr><tr class="bz_feed_resolution">
<td>Resolution </td>
<td>---</td>
</tr><tr class="bz_feed_priority">
<td>Priority</td>
<td>P2</td>
</tr><tr class="bz_feed_severity">
<td>Severity </td>
<td>enhancement</td>
</tr><tr class="bz_feed_creation_date">
<td>Creation date</td>
<td>2007-03-23</td>
</tr><tr class="bz_feed_changed_date">
<td>Last changed date</td>
<td>2007-05-13</td>
</tr>
</table>
[Bug 193] Remote execution of the server
https://bugsy.grid.aau.dk/bugzilla/show_bug.cgi?id=193
Gerd Behrmann
2006-03-03T11:29:21Z
<table>
<tr>
<th>Field</th><th>Value</th>
</tr><tr class="bz_feed_product">
<td>Product</td>
<td>UPPAAL</td>
</tr><tr class="bz_feed_component">
<td>Component</td>
<td>GUI</td>
</tr><tr class="bz_feed_assignee">
<td>AssignedToName</td>
<td>Robert Olesen</td>
</tr><tr class="bz_feed_reporter">
<td>ReportedByName</td>
<td>Gerd Behrmann</td>
</tr><tr class="bz_feed_bug_status">
<td>Status</td>
<td>ASSIGNED</td>
</tr><tr class="bz_feed_resolution">
<td>Resolution </td>
<td>---</td>
</tr><tr class="bz_feed_priority">
<td>Priority</td>
<td>P2</td>
</tr><tr class="bz_feed_severity">
<td>Severity </td>
<td>enhancement</td>
</tr><tr class="bz_feed_creation_date">
<td>Creation date</td>
<td>2005-09-02</td>
</tr><tr class="bz_feed_changed_date">
<td>Last changed date</td>
<td>2006-03-03</td>
</tr>
</table>
[Bug 365] smarter random walk in simulator
https://bugsy.grid.aau.dk/bugzilla/show_bug.cgi?id=365
Marius Mikučionis
2006-11-04T16:28:02Z
<table>
<tr>
<th>Field</th><th>Value</th>
</tr><tr class="bz_feed_product">
<td>Product</td>
<td>UPPAAL</td>
</tr><tr class="bz_feed_component">
<td>Component</td>
<td>GUI</td>
</tr><tr class="bz_feed_assignee">
<td>AssignedToName</td>
<td>Marius Mikučionis</td>
</tr><tr class="bz_feed_reporter">
<td>ReportedByName</td>
<td>Marius Mikučionis</td>
</tr><tr class="bz_feed_bug_status">
<td>Status</td>
<td>ASSIGNED</td>
</tr><tr class="bz_feed_resolution">
<td>Resolution </td>
<td>---</td>
</tr><tr class="bz_feed_priority">
<td>Priority</td>
<td>P2</td>
</tr><tr class="bz_feed_severity">
<td>Severity </td>
<td>enhancement</td>
</tr><tr class="bz_feed_creation_date">
<td>Creation date</td>
<td>2006-10-25</td>
</tr><tr class="bz_feed_changed_date">
<td>Last changed date</td>
<td>2006-11-04</td>
</tr>
</table>
[Bug 409] View->Variables... does not remember deselected variables
https://bugsy.grid.aau.dk/bugzilla/show_bug.cgi?id=409
Christiaan Ottow
2019-10-21T08:16:44Z
<table>
<tr>
<th>Field</th><th>Value</th>
</tr><tr class="bz_feed_product">
<td>Product</td>
<td>UPPAAL</td>
</tr><tr class="bz_feed_component">
<td>Component</td>
<td>GUI</td>
</tr><tr class="bz_feed_assignee">
<td>AssignedToName</td>
<td>Marius Mikučionis</td>
</tr><tr class="bz_feed_reporter">
<td>ReportedByName</td>
<td>Christiaan Ottow</td>
</tr><tr class="bz_feed_bug_status">
<td>Status</td>
<td>ASSIGNED</td>
</tr><tr class="bz_feed_resolution">
<td>Resolution </td>
<td>---</td>
</tr><tr class="bz_feed_priority">
<td>Priority</td>
<td>P2</td>
</tr><tr class="bz_feed_severity">
<td>Severity </td>
<td>minor</td>
</tr><tr class="bz_feed_creation_date">
<td>Creation date</td>
<td>2007-03-28</td>
</tr><tr class="bz_feed_changed_date">
<td>Last changed date</td>
<td>2019-10-21</td>
</tr>
</table>
[Bug 410] Text color on exported eps templates
https://bugsy.grid.aau.dk/bugzilla/show_bug.cgi?id=410
Rasmus Jacobsen
2019-10-21T08:16:29Z
<table>
<tr>
<th>Field</th><th>Value</th>
</tr><tr class="bz_feed_product">
<td>Product</td>
<td>UPPAAL</td>
</tr><tr class="bz_feed_component">
<td>Component</td>
<td>GUI</td>
</tr><tr class="bz_feed_assignee">
<td>AssignedToName</td>
<td>Marius Mikučionis</td>
</tr><tr class="bz_feed_reporter">
<td>ReportedByName</td>
<td>Rasmus Jacobsen</td>
</tr><tr class="bz_feed_bug_status">
<td>Status</td>
<td>ASSIGNED</td>
</tr><tr class="bz_feed_resolution">
<td>Resolution </td>
<td>---</td>
</tr><tr class="bz_feed_priority">
<td>Priority</td>
<td>P2</td>
</tr><tr class="bz_feed_severity">
<td>Severity </td>
<td>minor</td>
</tr><tr class="bz_feed_creation_date">
<td>Creation date</td>
<td>2007-04-02</td>
</tr><tr class="bz_feed_changed_date">
<td>Last changed date</td>
<td>2019-10-21</td>
</tr>
</table>
[Bug 420] Error on channel identifiers
https://bugsy.grid.aau.dk/bugzilla/show_bug.cgi?id=420
Ludovic Apvrille
2019-10-21T08:15:11Z
<table>
<tr>
<th>Field</th><th>Value</th>
</tr><tr class="bz_feed_product">
<td>Product</td>
<td>UPPAAL</td>
</tr><tr class="bz_feed_component">
<td>Component</td>
<td>GUI</td>
</tr><tr class="bz_feed_assignee">
<td>AssignedToName</td>
<td>Marius Mikučionis</td>
</tr><tr class="bz_feed_reporter">
<td>ReportedByName</td>
<td>Ludovic Apvrille</td>
</tr><tr class="bz_feed_bug_status">
<td>Status</td>
<td>ASSIGNED</td>
</tr><tr class="bz_feed_resolution">
<td>Resolution </td>
<td>---</td>
</tr><tr class="bz_feed_priority">
<td>Priority</td>
<td>P2</td>
</tr><tr class="bz_feed_severity">
<td>Severity </td>
<td>normal</td>
</tr><tr class="bz_feed_creation_date">
<td>Creation date</td>
<td>2007-05-24</td>
</tr><tr class="bz_feed_changed_date">
<td>Last changed date</td>
<td>2019-10-21</td>
</tr>
</table>
[Bug 460] out of memmory exception when exporting huge MSC in raster format
https://bugsy.grid.aau.dk/bugzilla/show_bug.cgi?id=460
Marius Mikučionis
2009-03-10T08:08:38Z
<table>
<tr>
<th>Field</th><th>Value</th>
</tr><tr class="bz_feed_product">
<td>Product</td>
<td>UPPAAL</td>
</tr><tr class="bz_feed_component">
<td>Component</td>
<td>GUI</td>
</tr><tr class="bz_feed_assignee">
<td>AssignedToName</td>
<td>Marius Mikučionis</td>
</tr><tr class="bz_feed_reporter">
<td>ReportedByName</td>
<td>Marius Mikučionis</td>
</tr><tr class="bz_feed_bug_status">
<td>Status</td>
<td>ASSIGNED</td>
</tr><tr class="bz_feed_resolution">
<td>Resolution </td>
<td>---</td>
</tr><tr class="bz_feed_priority">
<td>Priority</td>
<td>P2</td>
</tr><tr class="bz_feed_severity">
<td>Severity </td>
<td>minor</td>
</tr><tr class="bz_feed_creation_date">
<td>Creation date</td>
<td>2009-02-12</td>
</tr><tr class="bz_feed_changed_date">
<td>Last changed date</td>
<td>2009-03-10</td>
</tr>
</table>
[Bug 515] Unknown Tag Error
https://bugsy.grid.aau.dk/bugzilla/show_bug.cgi?id=515
Baki ERZURUMLU
2016-08-01T11:10:34Z
<table>
<tr>
<th>Field</th><th>Value</th>
</tr><tr class="bz_feed_product">
<td>Product</td>
<td>UPPAAL</td>
</tr><tr class="bz_feed_component">
<td>Component</td>
<td>GUI</td>
</tr><tr class="bz_feed_assignee">
<td>AssignedToName</td>
<td>Marius Mikučionis</td>
</tr><tr class="bz_feed_reporter">
<td>ReportedByName</td>
<td>Baki ERZURUMLU</td>
</tr><tr class="bz_feed_bug_status">
<td>Status</td>
<td>ASSIGNED</td>
</tr><tr class="bz_feed_resolution">
<td>Resolution </td>
<td>---</td>
</tr><tr class="bz_feed_priority">
<td>Priority</td>
<td>P2</td>
</tr><tr class="bz_feed_severity">
<td>Severity </td>
<td>blocker</td>
</tr><tr class="bz_feed_creation_date">
<td>Creation date</td>
<td>2011-05-02</td>
</tr><tr class="bz_feed_changed_date">
<td>Last changed date</td>
<td>2016-08-01</td>
</tr>
</table>
[Bug 110] Auto save
https://bugsy.grid.aau.dk/bugzilla/show_bug.cgi?id=110
Ulrik Nyman
2006-12-15T13:04:08Z
<table>
<tr>
<th>Field</th><th>Value</th>
</tr><tr class="bz_feed_product">
<td>Product</td>
<td>UPPAAL</td>
</tr><tr class="bz_feed_component">
<td>Component</td>
<td>GUI</td>
</tr><tr class="bz_feed_assignee">
<td>AssignedToName</td>
<td>Gerd Behrmann</td>
</tr><tr class="bz_feed_reporter">
<td>ReportedByName</td>
<td>Ulrik Nyman</td>
</tr><tr class="bz_feed_bug_status">
<td>Status</td>
<td>ASSIGNED</td>
</tr><tr class="bz_feed_resolution">
<td>Resolution </td>
<td>---</td>
</tr><tr class="bz_feed_priority">
<td>Priority</td>
<td>P3</td>
</tr><tr class="bz_feed_severity">
<td>Severity </td>
<td>enhancement</td>
</tr><tr class="bz_feed_creation_date">
<td>Creation date</td>
<td>2004-11-16</td>
</tr><tr class="bz_feed_changed_date">
<td>Last changed date</td>
<td>2006-12-15</td>
</tr>
</table>
[Bug 242] Unfolding of cyclic traces no longer works
https://bugsy.grid.aau.dk/bugzilla/show_bug.cgi?id=242
Gerd Behrmann
2005-12-29T13:49:05Z
<table>
<tr>
<th>Field</th><th>Value</th>
</tr><tr class="bz_feed_product">
<td>Product</td>
<td>UPPAAL</td>
</tr><tr class="bz_feed_component">
<td>Component</td>
<td>GUI</td>
</tr><tr class="bz_feed_assignee">
<td>AssignedToName</td>
<td>Gerd Behrmann</td>
</tr><tr class="bz_feed_reporter">
<td>ReportedByName</td>
<td>Gerd Behrmann</td>
</tr><tr class="bz_feed_bug_status">
<td>Status</td>
<td>ASSIGNED</td>
</tr><tr class="bz_feed_resolution">
<td>Resolution </td>
<td>---</td>
</tr><tr class="bz_feed_priority">
<td>Priority</td>
<td>P3</td>
</tr><tr class="bz_feed_severity">
<td>Severity </td>
<td>normal</td>
</tr><tr class="bz_feed_creation_date">
<td>Creation date</td>
<td>2005-12-15</td>
</tr><tr class="bz_feed_changed_date">
<td>Last changed date</td>
<td>2005-12-29</td>
</tr>
</table>
[Bug 247] Better transition labels in the simulator
https://bugsy.grid.aau.dk/bugzilla/show_bug.cgi?id=247
Alexandre David
2010-06-25T09:04:15Z
<table>
<tr>
<th>Field</th><th>Value</th>
</tr><tr class="bz_feed_product">
<td>Product</td>
<td>UPPAAL</td>
</tr><tr class="bz_feed_component">
<td>Component</td>
<td>GUI</td>
</tr><tr class="bz_feed_assignee">
<td>AssignedToName</td>
<td>Gerd Behrmann</td>
</tr><tr class="bz_feed_reporter">
<td>ReportedByName</td>
<td>Alexandre David</td>
</tr><tr class="bz_feed_bug_status">
<td>Status</td>
<td>ASSIGNED</td>
</tr><tr class="bz_feed_resolution">
<td>Resolution </td>
<td>---</td>
</tr><tr class="bz_feed_priority">
<td>Priority</td>
<td>P3</td>
</tr><tr class="bz_feed_severity">
<td>Severity </td>
<td>enhancement</td>
</tr><tr class="bz_feed_creation_date">
<td>Creation date</td>
<td>2006-01-04</td>
</tr><tr class="bz_feed_changed_date">
<td>Last changed date</td>
<td>2010-06-25</td>
</tr>
</table>
[Bug 366] Newly inserted templates have no initial state
https://bugsy.grid.aau.dk/bugzilla/show_bug.cgi?id=366
Thomas Chatain
2008-04-18T16:04:42Z
<table>
<tr>
<th>Field</th><th>Value</th>
</tr><tr class="bz_feed_product">
<td>Product</td>
<td>UPPAAL</td>
</tr><tr class="bz_feed_component">
<td>Component</td>
<td>GUI</td>
</tr><tr class="bz_feed_assignee">
<td>AssignedToName</td>
<td>Gerd Behrmann</td>
</tr><tr class="bz_feed_reporter">
<td>ReportedByName</td>
<td>Thomas Chatain</td>
</tr><tr class="bz_feed_bug_status">
<td>Status</td>
<td>ASSIGNED</td>
</tr><tr class="bz_feed_resolution">
<td>Resolution </td>
<td>---</td>
</tr><tr class="bz_feed_priority">
<td>Priority</td>
<td>P3</td>
</tr><tr class="bz_feed_severity">
<td>Severity </td>
<td>enhancement</td>
</tr><tr class="bz_feed_creation_date">
<td>Creation date</td>
<td>2006-11-02</td>
</tr><tr class="bz_feed_changed_date">
<td>Last changed date</td>
<td>2008-04-18</td>
</tr>
</table>
[Bug 406] Make shortcuts for moving states and the edge properties in the editor window
https://bugsy.grid.aau.dk/bugzilla/show_bug.cgi?id=406
Lasse Bigum
2007-03-24T06:41:29Z
<table>
<tr>
<th>Field</th><th>Value</th>
</tr><tr class="bz_feed_product">
<td>Product</td>
<td>UPPAAL</td>
</tr><tr class="bz_feed_component">
<td>Component</td>
<td>GUI</td>
</tr><tr class="bz_feed_assignee">
<td>AssignedToName</td>
<td>Gerd Behrmann</td>
</tr><tr class="bz_feed_reporter">
<td>ReportedByName</td>
<td>Lasse Bigum</td>
</tr><tr class="bz_feed_bug_status">
<td>Status</td>
<td>ASSIGNED</td>
</tr><tr class="bz_feed_resolution">
<td>Resolution </td>
<td>---</td>
</tr><tr class="bz_feed_priority">
<td>Priority</td>
<td>P3</td>
</tr><tr class="bz_feed_severity">
<td>Severity </td>
<td>enhancement</td>
</tr><tr class="bz_feed_creation_date">
<td>Creation date</td>
<td>2007-03-23</td>
</tr><tr class="bz_feed_changed_date">
<td>Last changed date</td>
<td>2007-03-24</td>
</tr>
</table>
[Bug 199] Better default exception handling
https://bugsy.grid.aau.dk/bugzilla/show_bug.cgi?id=199
Gerd Behrmann
2006-03-03T11:30:44Z
<table>
<tr>
<th>Field</th><th>Value</th>
</tr><tr class="bz_feed_product">
<td>Product</td>
<td>UPPAAL</td>
</tr><tr class="bz_feed_component">
<td>Component</td>
<td>GUI</td>
</tr><tr class="bz_feed_assignee">
<td>AssignedToName</td>
<td>Robert Olesen</td>
</tr><tr class="bz_feed_reporter">
<td>ReportedByName</td>
<td>Gerd Behrmann</td>
</tr><tr class="bz_feed_bug_status">
<td>Status</td>
<td>ASSIGNED</td>
</tr><tr class="bz_feed_resolution">
<td>Resolution </td>
<td>---</td>
</tr><tr class="bz_feed_priority">
<td>Priority</td>
<td>P3</td>
</tr><tr class="bz_feed_severity">
<td>Severity </td>
<td>enhancement</td>
</tr><tr class="bz_feed_creation_date">
<td>Creation date</td>
<td>2005-09-14</td>
</tr><tr class="bz_feed_changed_date">
<td>Last changed date</td>
<td>2006-03-03</td>
</tr>
</table>
[Bug 25] Gannt chart in simulator
https://bugsy.grid.aau.dk/bugzilla/show_bug.cgi?id=25
Gerd Behrmann
2006-08-03T12:43:35Z
<table>
<tr>
<th>Field</th><th>Value</th>
</tr><tr class="bz_feed_product">
<td>Product</td>
<td>UPPAAL</td>
</tr><tr class="bz_feed_component">
<td>Component</td>
<td>GUI</td>
</tr><tr class="bz_feed_assignee">
<td>AssignedToName</td>
<td>Jacob Illum</td>
</tr><tr class="bz_feed_reporter">
<td>ReportedByName</td>
<td>Gerd Behrmann</td>
</tr><tr class="bz_feed_bug_status">
<td>Status</td>
<td>ASSIGNED</td>
</tr><tr class="bz_feed_resolution">
<td>Resolution </td>
<td>---</td>
</tr><tr class="bz_feed_priority">
<td>Priority</td>
<td>P3</td>
</tr><tr class="bz_feed_severity">
<td>Severity </td>
<td>enhancement</td>
</tr><tr class="bz_feed_creation_date">
<td>Creation date</td>
<td>2003-07-02</td>
</tr><tr class="bz_feed_changed_date">
<td>Last changed date</td>
<td>2006-08-03</td>
</tr>
</table>
[Bug 49] No indication of "No syntax errors"
https://bugsy.grid.aau.dk/bugzilla/show_bug.cgi?id=49
Ulrik Nyman
2005-06-29T19:20:17Z
<table>
<tr>
<th>Field</th><th>Value</th>
</tr><tr class="bz_feed_product">
<td>Product</td>
<td>UPPAAL</td>
</tr><tr class="bz_feed_component">
<td>Component</td>
<td>GUI</td>
</tr><tr class="bz_feed_assignee">
<td>AssignedToName</td>
<td>Gerd Behrmann</td>
</tr><tr class="bz_feed_reporter">
<td>ReportedByName</td>
<td>Ulrik Nyman</td>
</tr><tr class="bz_feed_bug_status">
<td>Status</td>
<td>ASSIGNED</td>
</tr><tr class="bz_feed_resolution">
<td>Resolution </td>
<td>---</td>
</tr><tr class="bz_feed_priority">
<td>Priority</td>
<td>P4</td>
</tr><tr class="bz_feed_severity">
<td>Severity </td>
<td>minor</td>
</tr><tr class="bz_feed_creation_date">
<td>Creation date</td>
<td>2003-09-10</td>
</tr><tr class="bz_feed_changed_date">
<td>Last changed date</td>
<td>2005-06-29</td>
</tr>
</table>
[Bug 144] Expose location and transition id in the system editor.
https://bugsy.grid.aau.dk/bugzilla/show_bug.cgi?id=144
Gerd Behrmann
2005-06-17T09:56:13Z
<table>
<tr>
<th>Field</th><th>Value</th>
</tr><tr class="bz_feed_product">
<td>Product</td>
<td>UPPAAL</td>
</tr><tr class="bz_feed_component">
<td>Component</td>
<td>GUI</td>
</tr><tr class="bz_feed_assignee">
<td>AssignedToName</td>
<td>Gerd Behrmann</td>
</tr><tr class="bz_feed_reporter">
<td>ReportedByName</td>
<td>Gerd Behrmann</td>
</tr><tr class="bz_feed_bug_status">
<td>Status</td>
<td>ASSIGNED</td>
</tr><tr class="bz_feed_resolution">
<td>Resolution </td>
<td>---</td>
</tr><tr class="bz_feed_priority">
<td>Priority</td>
<td>P4</td>
</tr><tr class="bz_feed_severity">
<td>Severity </td>
<td>enhancement</td>
</tr><tr class="bz_feed_creation_date">
<td>Creation date</td>
<td>2005-04-01</td>
</tr><tr class="bz_feed_changed_date">
<td>Last changed date</td>
<td>2005-06-17</td>
</tr>
</table>
[Bug 373] contextual popup menu item for quick-fixing syntax errors
https://bugsy.grid.aau.dk/bugzilla/show_bug.cgi?id=373
Marius Mikučionis
2006-12-08T14:17:12Z
<table>
<tr>
<th>Field</th><th>Value</th>
</tr><tr class="bz_feed_product">
<td>Product</td>
<td>UPPAAL</td>
</tr><tr class="bz_feed_component">
<td>Component</td>
<td>GUI</td>
</tr><tr class="bz_feed_assignee">
<td>AssignedToName</td>
<td>Gerd Behrmann</td>
</tr><tr class="bz_feed_reporter">
<td>ReportedByName</td>
<td>Marius Mikučionis</td>
</tr><tr class="bz_feed_bug_status">
<td>Status</td>
<td>ASSIGNED</td>
</tr><tr class="bz_feed_resolution">
<td>Resolution </td>
<td>---</td>
</tr><tr class="bz_feed_priority">
<td>Priority</td>
<td>P4</td>
</tr><tr class="bz_feed_severity">
<td>Severity </td>
<td>enhancement</td>
</tr><tr class="bz_feed_creation_date">
<td>Creation date</td>
<td>2006-11-21</td>
</tr><tr class="bz_feed_changed_date">
<td>Last changed date</td>
<td>2006-12-08</td>
</tr>
</table>
[Bug 113] Selection change after using the "Edit Transition" dialog
https://bugsy.grid.aau.dk/bugzilla/show_bug.cgi?id=113
Ulrik Nyman
2006-03-03T11:30:14Z
<table>
<tr>
<th>Field</th><th>Value</th>
</tr><tr class="bz_feed_product">
<td>Product</td>
<td>UPPAAL</td>
</tr><tr class="bz_feed_component">
<td>Component</td>
<td>GUI</td>
</tr><tr class="bz_feed_assignee">
<td>AssignedToName</td>
<td>Robert Olesen</td>
</tr><tr class="bz_feed_reporter">
<td>ReportedByName</td>
<td>Ulrik Nyman</td>
</tr><tr class="bz_feed_bug_status">
<td>Status</td>
<td>ASSIGNED</td>
</tr><tr class="bz_feed_resolution">
<td>Resolution </td>
<td>---</td>
</tr><tr class="bz_feed_priority">
<td>Priority</td>
<td>P4</td>
</tr><tr class="bz_feed_severity">
<td>Severity </td>
<td>enhancement</td>
</tr><tr class="bz_feed_creation_date">
<td>Creation date</td>
<td>2004-11-16</td>
</tr><tr class="bz_feed_changed_date">
<td>Last changed date</td>
<td>2006-03-03</td>
</tr>
</table>
[Bug 576] Error verifying model query
https://bugsy.grid.aau.dk/bugzilla/show_bug.cgi?id=576
Wei Zhao
2014-10-14T07:53:55Z
<table>
<tr>
<th>Field</th><th>Value</th>
</tr><tr class="bz_feed_product">
<td>Product</td>
<td>UPPAAL</td>
</tr><tr class="bz_feed_component">
<td>Component</td>
<td>GUI</td>
</tr><tr class="bz_feed_assignee">
<td>AssignedToName</td>
<td>Marius Mikučionis</td>
</tr><tr class="bz_feed_reporter">
<td>ReportedByName</td>
<td>Wei Zhao</td>
</tr><tr class="bz_feed_bug_status">
<td>Status</td>
<td>ASSIGNED</td>
</tr><tr class="bz_feed_resolution">
<td>Resolution </td>
<td>---</td>
</tr><tr class="bz_feed_priority">
<td>Priority</td>
<td>P5</td>
</tr><tr class="bz_feed_severity">
<td>Severity </td>
<td>enhancement</td>
</tr><tr class="bz_feed_creation_date">
<td>Creation date</td>
<td>2014-09-30</td>
</tr><tr class="bz_feed_changed_date">
<td>Last changed date</td>
<td>2014-10-14</td>
</tr>
</table>
[Bug 577] Execute 'processXMLSystem3' two times
https://bugsy.grid.aau.dk/bugzilla/show_bug.cgi?id=577
Wei Zhao
2014-10-14T07:54:24Z
<table>
<tr>
<th>Field</th><th>Value</th>
</tr><tr class="bz_feed_product">
<td>Product</td>
<td>UPPAAL</td>
</tr><tr class="bz_feed_component">
<td>Component</td>
<td>GUI</td>
</tr><tr class="bz_feed_assignee">
<td>AssignedToName</td>
<td>Marius Mikučionis</td>
</tr><tr class="bz_feed_reporter">
<td>ReportedByName</td>
<td>Wei Zhao</td>
</tr><tr class="bz_feed_bug_status">
<td>Status</td>
<td>ASSIGNED</td>
</tr><tr class="bz_feed_resolution">
<td>Resolution </td>
<td>---</td>
</tr><tr class="bz_feed_priority">
<td>Priority</td>
<td>P5</td>
</tr><tr class="bz_feed_severity">
<td>Severity </td>
<td>enhancement</td>
</tr><tr class="bz_feed_creation_date">
<td>Creation date</td>
<td>2014-09-30</td>
</tr><tr class="bz_feed_changed_date">
<td>Last changed date</td>
<td>2014-10-14</td>
</tr>
</table>
[Bug 581] Error of the query verification
https://bugsy.grid.aau.dk/bugzilla/show_bug.cgi?id=581
Wei Zhao
2014-10-09T07:14:15Z
<table>
<tr>
<th>Field</th><th>Value</th>
</tr><tr class="bz_feed_product">
<td>Product</td>
<td>UPPAAL</td>
</tr><tr class="bz_feed_component">
<td>Component</td>
<td>GUI</td>
</tr><tr class="bz_feed_assignee">
<td>AssignedToName</td>
<td>Marius Mikučionis</td>
</tr><tr class="bz_feed_reporter">
<td>ReportedByName</td>
<td>Wei Zhao</td>
</tr><tr class="bz_feed_bug_status">
<td>Status</td>
<td>ASSIGNED</td>
</tr><tr class="bz_feed_resolution">
<td>Resolution </td>
<td>---</td>
</tr><tr class="bz_feed_priority">
<td>Priority</td>
<td>P5</td>
</tr><tr class="bz_feed_severity">
<td>Severity </td>
<td>enhancement</td>
</tr><tr class="bz_feed_creation_date">
<td>Creation date</td>
<td>2014-09-30</td>
</tr><tr class="bz_feed_changed_date">
<td>Last changed date</td>
<td>2014-10-09</td>
</tr>
</table>
[Bug 585] Simulation out of memory
https://bugsy.grid.aau.dk/bugzilla/show_bug.cgi?id=585
Allan Munck
2014-10-08T09:12:20Z
<table>
<tr>
<th>Field</th><th>Value</th>
</tr><tr class="bz_feed_product">
<td>Product</td>
<td>UPPAAL</td>
</tr><tr class="bz_feed_component">
<td>Component</td>
<td>GUI</td>
</tr><tr class="bz_feed_assignee">
<td>AssignedToName</td>
<td>Marius Mikučionis</td>
</tr><tr class="bz_feed_reporter">
<td>ReportedByName</td>
<td>Allan Munck</td>
</tr><tr class="bz_feed_bug_status">
<td>Status</td>
<td>ASSIGNED</td>
</tr><tr class="bz_feed_resolution">
<td>Resolution </td>
<td>---</td>
</tr><tr class="bz_feed_priority">
<td>Priority</td>
<td>P5</td>
</tr><tr class="bz_feed_severity">
<td>Severity </td>
<td>enhancement</td>
</tr><tr class="bz_feed_creation_date">
<td>Creation date</td>
<td>2014-10-03</td>
</tr><tr class="bz_feed_changed_date">
<td>Last changed date</td>
<td>2014-10-08</td>
</tr>
</table>
[Bug 594] Syntax highlighting of comments
https://bugsy.grid.aau.dk/bugzilla/show_bug.cgi?id=594
Erik Ramsgaard Wognsen
2015-05-15T11:23:51Z
<table>
<tr>
<th>Field</th><th>Value</th>
</tr><tr class="bz_feed_product">
<td>Product</td>
<td>UPPAAL</td>
</tr><tr class="bz_feed_component">
<td>Component</td>
<td>GUI</td>
</tr><tr class="bz_feed_assignee">
<td>AssignedToName</td>
<td>Marius Mikučionis</td>
</tr><tr class="bz_feed_reporter">
<td>ReportedByName</td>
<td>Erik Ramsgaard Wognsen</td>
</tr><tr class="bz_feed_bug_status">
<td>Status</td>
<td>ASSIGNED</td>
</tr><tr class="bz_feed_resolution">
<td>Resolution </td>
<td>---</td>
</tr><tr class="bz_feed_priority">
<td>Priority</td>
<td>P5</td>
</tr><tr class="bz_feed_severity">
<td>Severity </td>
<td>minor</td>
</tr><tr class="bz_feed_creation_date">
<td>Creation date</td>
<td>2015-04-30</td>
</tr><tr class="bz_feed_changed_date">
<td>Last changed date</td>
<td>2015-05-15</td>
</tr>
</table>
[Bug 617] Simulator displaying discrete variable as continuous
https://bugsy.grid.aau.dk/bugzilla/show_bug.cgi?id=617
Peter Gjøl Jensen
2017-03-15T11:29:00Z
<table>
<tr>
<th>Field</th><th>Value</th>
</tr><tr class="bz_feed_product">
<td>Product</td>
<td>UPPAAL</td>
</tr><tr class="bz_feed_component">
<td>Component</td>
<td>GUI</td>
</tr><tr class="bz_feed_assignee">
<td>AssignedToName</td>
<td>Marius Mikučionis</td>
</tr><tr class="bz_feed_reporter">
<td>ReportedByName</td>
<td>Peter Gjøl Jensen</td>
</tr><tr class="bz_feed_bug_status">
<td>Status</td>
<td>ASSIGNED</td>
</tr><tr class="bz_feed_resolution">
<td>Resolution </td>
<td>---</td>
</tr><tr class="bz_feed_priority">
<td>Priority</td>
<td>P5</td>
</tr><tr class="bz_feed_severity">
<td>Severity </td>
<td>enhancement</td>
</tr><tr class="bz_feed_creation_date">
<td>Creation date</td>
<td>2016-09-27</td>
</tr><tr class="bz_feed_changed_date">
<td>Last changed date</td>
<td>2017-03-15</td>
</tr>
</table>
[Bug 624] Error in GUI with huge double-values
https://bugsy.grid.aau.dk/bugzilla/show_bug.cgi?id=624
Peter Gjøl Jensen
2017-03-15T11:31:13Z
<table>
<tr>
<th>Field</th><th>Value</th>
</tr><tr class="bz_feed_product">
<td>Product</td>
<td>UPPAAL</td>
</tr><tr class="bz_feed_component">
<td>Component</td>
<td>GUI</td>
</tr><tr class="bz_feed_assignee">
<td>AssignedToName</td>
<td>Marius Mikučionis</td>
</tr><tr class="bz_feed_reporter">
<td>ReportedByName</td>
<td>Peter Gjøl Jensen</td>
</tr><tr class="bz_feed_bug_status">
<td>Status</td>
<td>ASSIGNED</td>
</tr><tr class="bz_feed_resolution">
<td>Resolution </td>
<td>---</td>
</tr><tr class="bz_feed_priority">
<td>Priority</td>
<td>P5</td>
</tr><tr class="bz_feed_severity">
<td>Severity </td>
<td>normal</td>
</tr><tr class="bz_feed_creation_date">
<td>Creation date</td>
<td>2016-10-27</td>
</tr><tr class="bz_feed_changed_date">
<td>Last changed date</td>
<td>2017-03-15</td>
</tr>
</table>
[Bug 658] Add Support for Retina Resolution for most modern Macs
https://bugsy.grid.aau.dk/bugzilla/show_bug.cgi?id=658
Jack XU
2019-02-04T11:51:04Z
<table>
<tr>
<th>Field</th><th>Value</th>
</tr><tr class="bz_feed_product">
<td>Product</td>
<td>UPPAAL</td>
</tr><tr class="bz_feed_component">
<td>Component</td>
<td>GUI</td>
</tr><tr class="bz_feed_assignee">
<td>AssignedToName</td>
<td>Marius Mikučionis</td>
</tr><tr class="bz_feed_reporter">
<td>ReportedByName</td>
<td>Jack XU</td>
</tr><tr class="bz_feed_bug_status">
<td>Status</td>
<td>ASSIGNED</td>
</tr><tr class="bz_feed_resolution">
<td>Resolution </td>
<td>---</td>
</tr><tr class="bz_feed_priority">
<td>Priority</td>
<td>P5</td>
</tr><tr class="bz_feed_severity">
<td>Severity </td>
<td>enhancement</td>
</tr><tr class="bz_feed_creation_date">
<td>Creation date</td>
<td>2018-07-06</td>
</tr><tr class="bz_feed_changed_date">
<td>Last changed date</td>
<td>2019-02-04</td>
</tr>
</table>
[Bug 675] Shows deadlock in simulator but model does not contain deadlock
https://bugsy.grid.aau.dk/bugzilla/show_bug.cgi?id=675
Martin Kristjansen
2019-12-10T11:53:56Z
<table>
<tr>
<th>Field</th><th>Value</th>
</tr><tr class="bz_feed_product">
<td>Product</td>
<td>UPPAAL</td>
</tr><tr class="bz_feed_component">
<td>Component</td>
<td>GUI</td>
</tr><tr class="bz_feed_assignee">
<td>AssignedToName</td>
<td>Marius Mikučionis</td>
</tr><tr class="bz_feed_reporter">
<td>ReportedByName</td>
<td>Martin Kristjansen</td>
</tr><tr class="bz_feed_bug_status">
<td>Status</td>
<td>ASSIGNED</td>
</tr><tr class="bz_feed_resolution">
<td>Resolution </td>
<td>---</td>
</tr><tr class="bz_feed_priority">
<td>Priority</td>
<td>P5</td>
</tr><tr class="bz_feed_severity">
<td>Severity </td>
<td>minor</td>
</tr><tr class="bz_feed_creation_date">
<td>Creation date</td>
<td>2019-12-02</td>
</tr><tr class="bz_feed_changed_date">
<td>Last changed date</td>
<td>2019-12-10</td>
</tr>
</table>
[Bug 592] command+q not quitting
https://bugsy.grid.aau.dk/bugzilla/show_bug.cgi?id=592
Jesper Vandborg
2015-05-15T11:22:32Z
<table>
<tr>
<th>Field</th><th>Value</th>
</tr><tr class="bz_feed_product">
<td>Product</td>
<td>UPPAAL</td>
</tr><tr class="bz_feed_component">
<td>Component</td>
<td>GUI</td>
</tr><tr class="bz_feed_assignee">
<td>AssignedToName</td>
<td>Peter Gjøl Jensen</td>
</tr><tr class="bz_feed_reporter">
<td>ReportedByName</td>
<td>Jesper Vandborg</td>
</tr><tr class="bz_feed_bug_status">
<td>Status</td>
<td>ASSIGNED</td>
</tr><tr class="bz_feed_resolution">
<td>Resolution </td>
<td>---</td>
</tr><tr class="bz_feed_priority">
<td>Priority</td>
<td>P5</td>
</tr><tr class="bz_feed_severity">
<td>Severity </td>
<td>minor</td>
</tr><tr class="bz_feed_creation_date">
<td>Creation date</td>
<td>2015-03-26</td>
</tr><tr class="bz_feed_changed_date">
<td>Last changed date</td>
<td>2015-05-15</td>
</tr>
</table>
[Bug 605] File extension missing
https://bugsy.grid.aau.dk/bugzilla/show_bug.cgi?id=605
Rasmus Holm Jensen
2016-03-16T16:41:17Z
<table>
<tr>
<th>Field</th><th>Value</th>
</tr><tr class="bz_feed_product">
<td>Product</td>
<td>UPPAAL</td>
</tr><tr class="bz_feed_component">
<td>Component</td>
<td>GUI</td>
</tr><tr class="bz_feed_assignee">
<td>AssignedToName</td>
<td>Peter Gjøl Jensen</td>
</tr><tr class="bz_feed_reporter">
<td>ReportedByName</td>
<td>Rasmus Holm Jensen</td>
</tr><tr class="bz_feed_bug_status">
<td>Status</td>
<td>ASSIGNED</td>
</tr><tr class="bz_feed_resolution">
<td>Resolution </td>
<td>---</td>
</tr><tr class="bz_feed_priority">
<td>Priority</td>
<td>P5</td>
</tr><tr class="bz_feed_severity">
<td>Severity </td>
<td>normal</td>
</tr><tr class="bz_feed_creation_date">
<td>Creation date</td>
<td>2016-03-08</td>
</tr><tr class="bz_feed_changed_date">
<td>Last changed date</td>
<td>2016-03-16</td>
</tr>
</table>
[Bug 575] GUI can not handle -inf value in limits
https://bugsy.grid.aau.dk/bugzilla/show_bug.cgi?id=575
Wei Zhao
2014-10-06T06:00:21Z
<table>
<tr>
<th>Field</th><th>Value</th>
</tr><tr class="bz_feed_product">
<td>Product</td>
<td>UPPAAL</td>
</tr><tr class="bz_feed_component">
<td>Component</td>
<td>GUI</td>
</tr><tr class="bz_feed_assignee">
<td>AssignedToName</td>
<td>Wei Zhao</td>
</tr><tr class="bz_feed_reporter">
<td>ReportedByName</td>
<td>Wei Zhao</td>
</tr><tr class="bz_feed_bug_status">
<td>Status</td>
<td>ASSIGNED</td>
</tr><tr class="bz_feed_resolution">
<td>Resolution </td>
<td>---</td>
</tr><tr class="bz_feed_priority">
<td>Priority</td>
<td>P5</td>
</tr><tr class="bz_feed_severity">
<td>Severity </td>
<td>normal</td>
</tr><tr class="bz_feed_creation_date">
<td>Creation date</td>
<td>2014-09-26</td>
</tr><tr class="bz_feed_changed_date">
<td>Last changed date</td>
<td>2014-10-06</td>
</tr>
</table>
[Bug 578] Random simulation is not stopped loading another model
https://bugsy.grid.aau.dk/bugzilla/show_bug.cgi?id=578
Wei Zhao
2014-10-14T08:00:40Z
<table>
<tr>
<th>Field</th><th>Value</th>
</tr><tr class="bz_feed_product">
<td>Product</td>
<td>UPPAAL</td>
</tr><tr class="bz_feed_component">
<td>Component</td>
<td>GUI</td>
</tr><tr class="bz_feed_assignee">
<td>AssignedToName</td>
<td>Wei Zhao</td>
</tr><tr class="bz_feed_reporter">
<td>ReportedByName</td>
<td>Wei Zhao</td>
</tr><tr class="bz_feed_bug_status">
<td>Status</td>
<td>ASSIGNED</td>
</tr><tr class="bz_feed_resolution">
<td>Resolution </td>
<td>---</td>
</tr><tr class="bz_feed_priority">
<td>Priority</td>
<td>P5</td>
</tr><tr class="bz_feed_severity">
<td>Severity </td>
<td>enhancement</td>
</tr><tr class="bz_feed_creation_date">
<td>Creation date</td>
<td>2014-09-30</td>
</tr><tr class="bz_feed_changed_date">
<td>Last changed date</td>
<td>2014-10-14</td>
</tr>
</table>
[Bug 579] Model view is not removed
https://bugsy.grid.aau.dk/bugzilla/show_bug.cgi?id=579
Wei Zhao
2014-10-14T08:07:05Z
<table>
<tr>
<th>Field</th><th>Value</th>
</tr><tr class="bz_feed_product">
<td>Product</td>
<td>UPPAAL</td>
</tr><tr class="bz_feed_component">
<td>Component</td>
<td>GUI</td>
</tr><tr class="bz_feed_assignee">
<td>AssignedToName</td>
<td>Wei Zhao</td>
</tr><tr class="bz_feed_reporter">
<td>ReportedByName</td>
<td>Wei Zhao</td>
</tr><tr class="bz_feed_bug_status">
<td>Status</td>
<td>ASSIGNED</td>
</tr><tr class="bz_feed_resolution">
<td>Resolution </td>
<td>---</td>
</tr><tr class="bz_feed_priority">
<td>Priority</td>
<td>P5</td>
</tr><tr class="bz_feed_severity">
<td>Severity </td>
<td>enhancement</td>
</tr><tr class="bz_feed_creation_date">
<td>Creation date</td>
<td>2014-09-30</td>
</tr><tr class="bz_feed_changed_date">
<td>Last changed date</td>
<td>2014-10-14</td>
</tr>
</table>
[Bug 580] Change query verification message
https://bugsy.grid.aau.dk/bugzilla/show_bug.cgi?id=580
Wei Zhao
2014-10-09T07:17:11Z
<table>
<tr>
<th>Field</th><th>Value</th>
</tr><tr class="bz_feed_product">
<td>Product</td>
<td>UPPAAL</td>
</tr><tr class="bz_feed_component">
<td>Component</td>
<td>GUI</td>
</tr><tr class="bz_feed_assignee">
<td>AssignedToName</td>
<td>Wei Zhao</td>
</tr><tr class="bz_feed_reporter">
<td>ReportedByName</td>
<td>Wei Zhao</td>
</tr><tr class="bz_feed_bug_status">
<td>Status</td>
<td>ASSIGNED</td>
</tr><tr class="bz_feed_resolution">
<td>Resolution </td>
<td>---</td>
</tr><tr class="bz_feed_priority">
<td>Priority</td>
<td>P5</td>
</tr><tr class="bz_feed_severity">
<td>Severity </td>
<td>enhancement</td>
</tr><tr class="bz_feed_creation_date">
<td>Creation date</td>
<td>2014-09-30</td>
</tr><tr class="bz_feed_changed_date">
<td>Last changed date</td>
<td>2014-10-09</td>
</tr>
</table>
[Bug 582] Error - Verification query
https://bugsy.grid.aau.dk/bugzilla/show_bug.cgi?id=582
Wei Zhao
2014-11-15T15:47:12Z
<table>
<tr>
<th>Field</th><th>Value</th>
</tr><tr class="bz_feed_product">
<td>Product</td>
<td>UPPAAL</td>
</tr><tr class="bz_feed_component">
<td>Component</td>
<td>GUI</td>
</tr><tr class="bz_feed_assignee">
<td>AssignedToName</td>
<td>Wei Zhao</td>
</tr><tr class="bz_feed_reporter">
<td>ReportedByName</td>
<td>Wei Zhao</td>
</tr><tr class="bz_feed_bug_status">
<td>Status</td>
<td>ASSIGNED</td>
</tr><tr class="bz_feed_resolution">
<td>Resolution </td>
<td>---</td>
</tr><tr class="bz_feed_priority">
<td>Priority</td>
<td>P5</td>
</tr><tr class="bz_feed_severity">
<td>Severity </td>
<td>enhancement</td>
</tr><tr class="bz_feed_creation_date">
<td>Creation date</td>
<td>2014-09-30</td>
</tr><tr class="bz_feed_changed_date">
<td>Last changed date</td>
<td>2014-11-15</td>
</tr>
</table>
[Bug 586] syntax error location is wrong
https://bugsy.grid.aau.dk/bugzilla/show_bug.cgi?id=586
Marius Mikučionis
2014-10-07T10:14:26Z
<table>
<tr>
<th>Field</th><th>Value</th>
</tr><tr class="bz_feed_product">
<td>Product</td>
<td>UPPAAL</td>
</tr><tr class="bz_feed_component">
<td>Component</td>
<td>GUI</td>
</tr><tr class="bz_feed_assignee">
<td>AssignedToName</td>
<td>Wei Zhao</td>
</tr><tr class="bz_feed_reporter">
<td>ReportedByName</td>
<td>Marius Mikučionis</td>
</tr><tr class="bz_feed_bug_status">
<td>Status</td>
<td>ASSIGNED</td>
</tr><tr class="bz_feed_resolution">
<td>Resolution </td>
<td>---</td>
</tr><tr class="bz_feed_priority">
<td>Priority</td>
<td>P5</td>
</tr><tr class="bz_feed_severity">
<td>Severity </td>
<td>minor</td>
</tr><tr class="bz_feed_creation_date">
<td>Creation date</td>
<td>2014-10-07</td>
</tr><tr class="bz_feed_changed_date">
<td>Last changed date</td>
<td>2014-10-07</td>
</tr>
</table>