Bug List
2020-10-13T11:53:46Z
https://bugsy.grid.aau.dk/bugzilla/buglist.cgi?component=Engine&ctype=atom&product=UPPAAL%20Stratego&query_format=advanced&resolution=---&title=Bug%20List
[Bug 677] Array not unfolded in strategy when using statevars and pointvars
https://bugsy.grid.aau.dk/bugzilla/show_bug.cgi?id=677
Martin Kristjansen
2020-04-28T09:53:37Z
<table>
<tr>
<th>Field</th><th>Value</th>
</tr><tr class="bz_feed_product">
<td>Product</td>
<td>UPPAAL Stratego</td>
</tr><tr class="bz_feed_component">
<td>Component</td>
<td>Engine</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>Martin Kristjansen</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>2020-04-27</td>
</tr><tr class="bz_feed_changed_date">
<td>Last changed date</td>
<td>2020-04-28</td>
</tr>
</table>
[Bug 608] GUI crashes due to JavaSoft Prefs failure
https://bugsy.grid.aau.dk/bugzilla/show_bug.cgi?id=608
Marius Mikučionis
2016-10-18T11:06:02Z
<table>
<tr>
<th>Field</th><th>Value</th>
</tr><tr class="bz_feed_product">
<td>Product</td>
<td>UPPAAL Stratego</td>
</tr><tr class="bz_feed_component">
<td>Component</td>
<td>Engine</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>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>2016-08-12</td>
</tr><tr class="bz_feed_changed_date">
<td>Last changed date</td>
<td>2016-10-18</td>
</tr>
</table>
[Bug 619] TIGA can break SMC semantics for branching edges
https://bugsy.grid.aau.dk/bugzilla/show_bug.cgi?id=619
Peter Gjøl Jensen
2017-03-15T11:29:37Z
<table>
<tr>
<th>Field</th><th>Value</th>
</tr><tr class="bz_feed_product">
<td>Product</td>
<td>UPPAAL Stratego</td>
</tr><tr class="bz_feed_component">
<td>Component</td>
<td>Engine</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 633] TIGA properties cannot be checked for systems with strict invariants for learning queries.
https://bugsy.grid.aau.dk/bugzilla/show_bug.cgi?id=633
Jakob Haahr Taankvist
2019-01-25T11:06:33Z
<table>
<tr>
<th>Field</th><th>Value</th>
</tr><tr class="bz_feed_product">
<td>Product</td>
<td>UPPAAL Stratego</td>
</tr><tr class="bz_feed_component">
<td>Component</td>
<td>Engine</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>Jakob Haahr Taankvist</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>2017-04-10</td>
</tr><tr class="bz_feed_changed_date">
<td>Last changed date</td>
<td>2019-01-25</td>
</tr>
</table>
[Bug 638] Segfault when verifying cruise.xml example queries
https://bugsy.grid.aau.dk/bugzilla/show_bug.cgi?id=638
Dan LaChapelle
2019-01-25T11:06:14Z
<table>
<tr>
<th>Field</th><th>Value</th>
</tr><tr class="bz_feed_product">
<td>Product</td>
<td>UPPAAL Stratego</td>
</tr><tr class="bz_feed_component">
<td>Component</td>
<td>Engine</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>Dan LaChapelle</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>2017-06-15</td>
</tr><tr class="bz_feed_changed_date">
<td>Last changed date</td>
<td>2019-01-25</td>
</tr>
</table>
[Bug 640] SMC reports Lookup of a state outside the strategy when run under a tiga strategy
https://bugsy.grid.aau.dk/bugzilla/show_bug.cgi?id=640
Jakob Haahr Taankvist
2019-01-25T11:05:48Z
<table>
<tr>
<th>Field</th><th>Value</th>
</tr><tr class="bz_feed_product">
<td>Product</td>
<td>UPPAAL Stratego</td>
</tr><tr class="bz_feed_component">
<td>Component</td>
<td>Engine</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>Jakob Haahr Taankvist</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>2017-08-19</td>
</tr><tr class="bz_feed_changed_date">
<td>Last changed date</td>
<td>2019-01-25</td>
</tr>
</table>
[Bug 643] Error (Bug: Ok expected)
https://bugsy.grid.aau.dk/bugzilla/show_bug.cgi?id=643
Jacob Nielsen
2019-10-16T09:02:14Z
<table>
<tr>
<th>Field</th><th>Value</th>
</tr><tr class="bz_feed_product">
<td>Product</td>
<td>UPPAAL Stratego</td>
</tr><tr class="bz_feed_component">
<td>Component</td>
<td>Engine</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>Jacob Nielsen</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>2017-09-14</td>
</tr><tr class="bz_feed_changed_date">
<td>Last changed date</td>
<td>2019-10-16</td>
</tr>
</table>
[Bug 644] Error (For input string: "13830554455654793216")
https://bugsy.grid.aau.dk/bugzilla/show_bug.cgi?id=644
Jacob Nielsen
2017-09-14T11:01:40Z
<table>
<tr>
<th>Field</th><th>Value</th>
</tr><tr class="bz_feed_product">
<td>Product</td>
<td>UPPAAL Stratego</td>
</tr><tr class="bz_feed_component">
<td>Component</td>
<td>Engine</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>Jacob Nielsen</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>2017-09-14</td>
</tr><tr class="bz_feed_changed_date">
<td>Last changed date</td>
<td>2017-09-14</td>
</tr>
</table>
[Bug 669] Variables not sent to simulator
https://bugsy.grid.aau.dk/bugzilla/show_bug.cgi?id=669
Frederik Baymler Mathiesen
2019-11-05T10:16:42Z
<table>
<tr>
<th>Field</th><th>Value</th>
</tr><tr class="bz_feed_product">
<td>Product</td>
<td>UPPAAL Stratego</td>
</tr><tr class="bz_feed_component">
<td>Component</td>
<td>Engine</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>Frederik Baymler Mathiesen</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>major</td>
</tr><tr class="bz_feed_creation_date">
<td>Creation date</td>
<td>2019-10-15</td>
</tr><tr class="bz_feed_changed_date">
<td>Last changed date</td>
<td>2019-11-05</td>
</tr>
</table>
[Bug 620] optimization query breaks with time-lock where there isn't one
https://bugsy.grid.aau.dk/bugzilla/show_bug.cgi?id=620
Marius Mikučionis
2020-10-13T11:53:46Z
<table>
<tr>
<th>Field</th><th>Value</th>
</tr><tr class="bz_feed_product">
<td>Product</td>
<td>UPPAAL Stratego</td>
</tr><tr class="bz_feed_component">
<td>Component</td>
<td>Engine</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>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>blocker</td>
</tr><tr class="bz_feed_creation_date">
<td>Creation date</td>
<td>2016-09-29</td>
</tr><tr class="bz_feed_changed_date">
<td>Last changed date</td>
<td>2020-10-13</td>
</tr>
</table>
[Bug 632] resulting strategy does not depend on the timing
https://bugsy.grid.aau.dk/bugzilla/show_bug.cgi?id=632
Marius Mikučionis
2017-04-07T08:45:18Z
<table>
<tr>
<th>Field</th><th>Value</th>
</tr><tr class="bz_feed_product">
<td>Product</td>
<td>UPPAAL Stratego</td>
</tr><tr class="bz_feed_component">
<td>Component</td>
<td>Engine</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>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>critical</td>
</tr><tr class="bz_feed_creation_date">
<td>Creation date</td>
<td>2017-04-07</td>
</tr><tr class="bz_feed_changed_date">
<td>Last changed date</td>
<td>2017-04-07</td>
</tr>
</table>