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

Thu Mar 28 2024 16:58:02 CET
Use the source Luke!
Hide Search Description
ID Product Comp Assignee Status Resolution Summary Changed
75 UPPAAL Engine behrmann CLOS FIXE DBM corruption of the diagonal in extrapolation algorithm 2004-03-15
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
67 UPPAAL Engine behrmann RESO FIXE No error when using deadlock in liveness properties 2006-01-19
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
74 UPPAAL Engine behrmann CLOS FIXE Underflow in DBM closure operation 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