Bug List
2017-08-04T12:09:53Z
https://bugsy.grid.aau.dk/bugzilla/buglist.cgi?bug_status=__open__&component=Documentation&ctype=atom&product=UPPAAL&query_format=advanced&title=Bug%20List
[Bug 574] Description of meta variables
https://bugsy.grid.aau.dk/bugzilla/show_bug.cgi?id=574
Marius Mikučionis
2014-09-11T14:54: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>Documentation</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>P3</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-09-11</td>
</tr><tr class="bz_feed_changed_date">
<td>Last changed date</td>
<td>2014-09-11</td>
</tr>
</table>
[Bug 588] Uppaal SMC features: operations and limitations of double/clock type
https://bugsy.grid.aau.dk/bugzilla/show_bug.cgi?id=588
Marius Mikučionis
2015-05-15T11:20: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>Documentation</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>enhancement</td>
</tr><tr class="bz_feed_creation_date">
<td>Creation date</td>
<td>2014-10-30</td>
</tr><tr class="bz_feed_changed_date">
<td>Last changed date</td>
<td>2015-05-15</td>
</tr>
</table>
[Bug 639] wrong operator precedence in the documentation
https://bugsy.grid.aau.dk/bugzilla/show_bug.cgi?id=639
Marius Mikučionis
2017-08-04T12:09: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>Documentation</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>normal</td>
</tr><tr class="bz_feed_creation_date">
<td>Creation date</td>
<td>2017-08-04</td>
</tr><tr class="bz_feed_changed_date">
<td>Last changed date</td>
<td>2017-08-04</td>
</tr>
</table>