ID | Product▲ | Comp▲ | Assignee▼ | Status▼ | Resolution | Summary | Changed▲ |
---|---|---|---|---|---|---|---|
574 | UPPAAL | Document | marius | ASSI | --- | Description of meta variables | 2014-09-11 |
588 | UPPAAL | Document | marius | ASSI | --- | Uppaal SMC features: operations and limitations of double/clock type | 2015-05-15 |
639 | UPPAAL | Document | marius | ASSI | --- | wrong operator precedence in the documentation | 2017-08-04 |
File a new bug in the "Documentation" component of the "UPPAAL" product