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

Back to bug 120

Who When What Removed Added
behrmann 2005-01-04 12:47:49 CET Severity normal enhancement
Status NEW ASSIGNED
Summary Enhancement Bug, Idea for new Feature Determining the actual range of variables
behrmann 2005-06-29 21:11:36 CEST Version 3.4.6 3.5.7
behrmann 2005-09-02 14:42:09 CEST Assignee behrmann johnh
Status ASSIGNED NEW
johnh 2005-09-02 14:46:33 CEST Status NEW ASSIGNED
marius 2006-12-05 13:28:07 CET CC marius

Back to bug 120