This issue tracker is closed. Please visit UPPAAL issue tracker at Github instead.

Thu Mar 28 2024 16:01:32 CET
gf.saveXML
Hide Search Description
ID Product Comp Assignee Status Resolution Summary Changed
67 UPPAAL Engine behrmann RESO FIXE No error when using deadlock in liveness properties 2006-01-19
71 UPPAAL Engine behrmann CLOS FIXE Engine crash because of missing range check 2004-03-15
72 UPPAAL Engine behrmann CLOS FIXE Engine crash when negating deadlock 2005-02-18
74 UPPAAL Engine behrmann CLOS FIXE Underflow in DBM closure operation 2004-03-15
75 UPPAAL Engine behrmann CLOS FIXE DBM corruption of the diagonal in extrapolation algorithm 2004-03-15
68 UPPAAL GUI behrmann RESO FIXE Selecting a location does not select self loops 2005-02-04
73 UPPAAL GUI behrmann CLOS FIXE Slow scrolling in graphical windows 2004-03-15
69 UPPAAL GUI behrmann CLOS FIXE View->Variables... does not remember deselected variables 2004-03-15
8 bugs found.

as

File a new bug in the "UPPAAL" product