|Summary:||New PWList implementation using storage architecture|
|Product:||UPPAAL||Reporter:||Gerd Behrmann <behrmann>|
|Component:||Engine||Assignee:||Alexandre David <adavid>|
|Bug Depends on:||30|
Description Gerd Behrmann 2003-07-02 11:17:36 CEST
Alexandre's PWList implementation using sharing should be fully integrated.
Comment 1 Gerd Behrmann 2003-07-02 11:19:22 CEST
According to Paul's todo list from the last Uppaal meeting, Alexandre is the person in charge for this.
Comment 2 Gerd Behrmann 2003-07-02 12:01:40 CEST
Alexandre pointed out to me, that the PWList implementation itself does not use sharing - it uses the storage components (which in turn might support sharing).
Comment 4 Gerd Behrmann 2006-01-29 17:17:25 CET
I am resolving this bug as FIXED: For quite a while we have had new passed and passed+waiting list implementation based on a new StateSet abstraction. The default StateSet implementation is based on Alexandre's Storage abstraction, thus in a sence this bug has been fixed a long time ago.