Bug List
2019-11-01T12:02:20Z
https://bugsy.grid.aau.dk/bugzilla/buglist.cgi?bug_status=__open__&component=libutap&ctype=atom&product=UPPAAL&query_format=advanced&title=Bug%20List
[Bug 507] libutap tracer has a problem with long lines
https://bugsy.grid.aau.dk/bugzilla/show_bug.cgi?id=507
S Schivo
2010-12-16T13:00: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>libutap</td>
</tr><tr class="bz_feed_assignee">
<td>AssignedToName</td>
<td>Alexandre David</td>
</tr><tr class="bz_feed_reporter">
<td>ReportedByName</td>
<td>S Schivo</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>2010-12-16</td>
</tr><tr class="bz_feed_changed_date">
<td>Last changed date</td>
<td>2010-12-16</td>
</tr>
</table>
[Bug 562] Parser does not compile under newest version of gpp
https://bugsy.grid.aau.dk/bugzilla/show_bug.cgi?id=562
Arend Rensink
2013-11-13T00:25:54Z
<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>libutap</td>
</tr><tr class="bz_feed_assignee">
<td>AssignedToName</td>
<td>Alexandre David</td>
</tr><tr class="bz_feed_reporter">
<td>ReportedByName</td>
<td>Arend Rensink</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>minor</td>
</tr><tr class="bz_feed_creation_date">
<td>Creation date</td>
<td>2013-11-13</td>
</tr><tr class="bz_feed_changed_date">
<td>Last changed date</td>
<td>2013-11-13</td>
</tr>
</table>
[Bug 338] does not allow empty initialisation expression in "for" loop
https://bugsy.grid.aau.dk/bugzilla/show_bug.cgi?id=338
Marius Mikučionis
2006-07-13T08:20: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>libutap</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-07-12</td>
</tr><tr class="bz_feed_changed_date">
<td>Last changed date</td>
<td>2006-07-13</td>
</tr>
</table>
[Bug 394] CAUGHT EXCEPTION: getDeclaredRanges
https://bugsy.grid.aau.dk/bugzilla/show_bug.cgi?id=394
Marius Mikučionis
2007-05-13T16:10: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>libutap</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>normal</td>
</tr><tr class="bz_feed_creation_date">
<td>Creation date</td>
<td>2007-02-20</td>
</tr><tr class="bz_feed_changed_date">
<td>Last changed date</td>
<td>2007-05-13</td>
</tr>
</table>
[Bug 433] Empty system section causes 'syntax error, unexpected $end' in wrong place
https://bugsy.grid.aau.dk/bugzilla/show_bug.cgi?id=433
Timothy Bourke
2019-11-01T12:02: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>libutap</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>Timothy Bourke</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-11-28</td>
</tr><tr class="bz_feed_changed_date">
<td>Last changed date</td>
<td>2019-11-01</td>
</tr>
</table>
[Bug 186] Mixed record types
https://bugsy.grid.aau.dk/bugzilla/show_bug.cgi?id=186
Gerd Behrmann
2006-01-11T14:58: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>libutap</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>enhancement</td>
</tr><tr class="bz_feed_creation_date">
<td>Creation date</td>
<td>2005-08-19</td>
</tr><tr class="bz_feed_changed_date">
<td>Last changed date</td>
<td>2006-01-11</td>
</tr>
</table>
[Bug 240] Extract concrete trace from tracefile
https://bugsy.grid.aau.dk/bugzilla/show_bug.cgi?id=240
Raymond Kroon
2006-01-03T15:29:09Z
<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>libutap</td>
</tr><tr class="bz_feed_assignee">
<td>AssignedToName</td>
<td>Gerd Behrmann</td>
</tr><tr class="bz_feed_reporter">
<td>ReportedByName</td>
<td>Raymond Kroon</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-12-15</td>
</tr><tr class="bz_feed_changed_date">
<td>Last changed date</td>
<td>2006-01-03</td>
</tr>
</table>
[Bug 143] Extend XML format with id for transitions
https://bugsy.grid.aau.dk/bugzilla/show_bug.cgi?id=143
Gerd Behrmann
2005-06-17T09:54: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>libutap</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>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>2005-04-01</td>
</tr><tr class="bz_feed_changed_date">
<td>Last changed date</td>
<td>2005-06-17</td>
</tr>
</table>
[Bug 591] Produced legible .xtr file with wrong "transition" data
https://bugsy.grid.aau.dk/bugzilla/show_bug.cgi?id=591
DejaniraAI
2015-03-31T09:26:54Z
<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>libutap</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>DejaniraAI</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>critical</td>
</tr><tr class="bz_feed_creation_date">
<td>Creation date</td>
<td>2015-03-02</td>
</tr><tr class="bz_feed_changed_date">
<td>Last changed date</td>
<td>2015-03-31</td>
</tr>
</table>