Bug List
2019-11-04T12:52:17Z
https://bugsy.grid.aau.dk/bugzilla/buglist.cgi?component=Verification%20Engine&ctype=atom&product=UPPAAL%20CORA&query_format=advanced&resolution=---&title=Bug%20List
[Bug 426] Ignoring cost' annotations on synchronized processes
https://bugsy.grid.aau.dk/bugzilla/show_bug.cgi?id=426
Christian Ellen
2019-10-21T08:14:43Z
<table>
<tr>
<th>Field</th><th>Value</th>
</tr><tr class="bz_feed_product">
<td>Product</td>
<td>UPPAAL CORA</td>
</tr><tr class="bz_feed_component">
<td>Component</td>
<td>Verification 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>Christian Ellen</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-09-25</td>
</tr><tr class="bz_feed_changed_date">
<td>Last changed date</td>
<td>2019-10-21</td>
</tr>
</table>
[Bug 445] In the simulator the infimum_cost is changing strangly according to the rate
https://bugsy.grid.aau.dk/bugzilla/show_bug.cgi?id=445
Aneta Vulgarakis
2019-11-04T12:52:17Z
<table>
<tr>
<th>Field</th><th>Value</th>
</tr><tr class="bz_feed_product">
<td>Product</td>
<td>UPPAAL CORA</td>
</tr><tr class="bz_feed_component">
<td>Component</td>
<td>Verification 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>Aneta Vulgarakis</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>2008-06-12</td>
</tr><tr class="bz_feed_changed_date">
<td>Last changed date</td>
<td>2019-11-04</td>
</tr>
</table>
[Bug 550] rate and then also cost going negative / overflowing / ...
https://bugsy.grid.aau.dk/bugzilla/show_bug.cgi?id=550
Pepijn
2019-10-21T08:18:49Z
<table>
<tr>
<th>Field</th><th>Value</th>
</tr><tr class="bz_feed_product">
<td>Product</td>
<td>UPPAAL CORA</td>
</tr><tr class="bz_feed_component">
<td>Component</td>
<td>Verification 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>Pepijn</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>2013-04-19</td>
</tr><tr class="bz_feed_changed_date">
<td>Last changed date</td>
<td>2019-10-21</td>
</tr>
</table>
[Bug 560] Infimum_Cost rising to "-1073741823"
https://bugsy.grid.aau.dk/bugzilla/show_bug.cgi?id=560
Waheed Ahmad
2019-10-21T08:19:18Z
<table>
<tr>
<th>Field</th><th>Value</th>
</tr><tr class="bz_feed_product">
<td>Product</td>
<td>UPPAAL CORA</td>
</tr><tr class="bz_feed_component">
<td>Component</td>
<td>Verification 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>Waheed Ahmad</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>2013-09-27</td>
</tr><tr class="bz_feed_changed_date">
<td>Last changed date</td>
<td>2019-10-21</td>
</tr>
</table>