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

Back to bug 139

Who When What Removed Added
behrmann 2005-03-21 21:32:19 CET Status NEW ASSIGNED
behrmann 2005-07-05 11:36:27 CEST Severity normal major
behrmann 2005-07-12 15:50:00 CEST Summary Crash when referring to clock parameters from property Crash when referring to reference parameters from property
behrmann 2005-08-21 15:50:05 CEST Status ASSIGNED RESOLVED
Resolution --- FIXED

Back to bug 139