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%2Cbug_status%2Cpriority%2Cassigned_to%2Cbug_id. They have been removed from the sort list.
Thu Mar 28 2024 16:53:11 CET
Beware of the Bug!
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