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: short_desc%2Cbug_status%2Cpriority%2Cassigned_to%2Cbug_id. They have been removed from the sort list.
Sat Apr 20 2024 06:44:22 CEST
 Use the source Luke!
Hide Search Description
ID Product Comp Assignee Status Resolution Summary Changed
473 UPPAAL Engine adavid RESO DUPL Segmentation fault in server 2009-08-04
One bug found.
CSV Feed iCal

as

File a new bug in the "Engine" component of the "UPPAAL" product