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

The custom sort order specified contains one or more invalid column names: component%2Cbug_id%20DESC. They have been removed from the sort list.
Thu Mar 28 2024 21:14:52 CET
Cut the wild grass and it regrows anew
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
68 UPPAAL GUI behrmann RESO FIXE Selecting a location does not select self loops 2005-02-04
69 UPPAAL GUI behrmann CLOS FIXE View->Variables... does not remember deselected variables 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
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
75 UPPAAL Engine behrmann CLOS FIXE DBM corruption of the diagonal in extrapolation algorithm 2004-03-15
8 bugs found.

as

File a new bug in the "UPPAAL" product