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: bug_status%20DESC%2Cpriority%2Cassigned_to%2Cbug_id. They have been removed from the sort list.
Tue Apr 16 2024 10:34:41 CEST
 Do not underestimate the power of the dark side!
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