ID | Product | Comp | Assignee▲ | Status▲ | Resolution | Summary | Changed▲ |
---|---|---|---|---|---|---|---|
487 | UPPAAL T | Engine | adavid | ASSI | --- | Possible memory leak | 2010-05-25 |
491 | UPPAAL T | Engine | adavid | ASSI | --- | stepBack failed due to inconsistent blocking | 2010-05-27 |
524 | UPPAAL T | Engine | adavid | NEW | --- | Simulator breaks when there is an invariant only on the right hand side of the refinement. | 2011-08-30 |
559 | UPPAAL T | Engine | adavid | NEW | --- | GUI crashes when entering simulator | 2013-09-16 |
623 | UPPAAL T | Engine | adavid | NEW | --- | Adding a guard to the receiving end of a broadcast sznchronization freezes the simulation (and the verifier) | 2016-10-19 |
648 | UPPAAL T | Engine | adavid | NEW | --- | Engine does not detect non-determinism, if edges end in the same location | 2018-02-28 |
649 | UPPAAL T | Engine | adavid | NEW | --- | Faulty strategy caused by invariants | 2018-03-09 |
File a new bug in the "Engine" component of the "UPPAAL TIGA" product