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

Back to bug 23

Who When What Removed Added
behrmann 2003-07-02 11:19:22 CEST Assignee behrmann adavid
behrmann 2003-07-02 12:01:40 CEST Summary PWList implementation using sharing New PWList implementation using storage architecture
Depends on 30
adavid 2003-07-10 10:29:28 CEST Status NEW ASSIGNED
behrmann 2005-08-15 13:05:39 CEST Group internal?
behrmann 2006-01-29 17:17:25 CET Status ASSIGNED RESOLVED
Resolution --- FIXED

Back to bug 23