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

Back to bug 152

Who When What Removed Added
egir 2005-05-10 23:14:11 CEST Assignee egir behrmann
behrmann 2005-05-11 11:45:48 CEST Status NEW ASSIGNED
behrmann 2005-06-03 20:34:05 CEST Status ASSIGNED RESOLVED
Resolution --- FIXED
Summary "Server connection lost" after opening specification with 1000 locations Huge templates cause crash

Back to bug 152