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

Fri Sep 13 2024 13:04:04 CEST
 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
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
69 UPPAAL GUI behrmann CLOS FIXE View->Variables... does not remember deselected variables 2004-03-15
8 bugs found.
CSV Feed iCal

as

File a new bug in the "UPPAAL" product