ID | Product | Comp | Assignee▼ | Status▼ | Resolution | Summary▲ | Changed |
---|---|---|---|---|---|---|---|
662 | UPPAAL S | GUI | marius | ASSI | --- | 4.1.20-stratego-5 Trace not loaded in Pr[] query | 2019-05-09 |
680 | UPPAAL S | GUI | marius | ASSI | --- | Assert in function gives exception in JSON parsing. | 2020-06-08 |
681 | UPPAAL S | GUI | marius | ASSI | --- | Clocks on urgent edge: Simulator does not notify on error | 2021-01-21 |
668 | UPPAAL S | GUI | marius | ASSI | --- | IllegalStateException in query editor | 2019-09-30 |
File a new bug in the "GUI" component of the "UPPAAL Stratego" product