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: product%2Cshort_desc%2Cbug_status%2Cpriority%2Cassigned_to%2Cbug_id. They have been removed from the sort list.
Thu Mar 28 2024 16:08:42 CET
gf.saveXML
Hide Search Description
ID Product Comp Assignee Status Resolution Summary Changed
62 UPPAAL Engine behrmann CLOS FIXE Time is allowed to pass when system is in urgent and / or committed locations 2004-03-15
63 UPPAAL Engine behrmann CLOS FIXE St9 Bad Alloc Exception 2005-06-29
64 UPPAAL Document paupet CLOS FIXE the nature of symbolic traces should be explained in the doc 2005-06-29
65 UPPAAL Engine behrmann CLOS FIXE Handling of committed locations with broadcast synchronisation is broken 2004-03-15
4 bugs found.

as

File a new bug in the "UPPAAL" product