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

Bug 23 - New PWList implementation using storage architecture
Summary: New PWList implementation using storage architecture
Status: RESOLVED FIXED
Alias: None
Product: UPPAAL
Classification: Unclassified
Component: Engine (show other bugs)
Version: unspecified
Hardware: All All
: P2 enhancement
Assignee: Alexandre David
URL:
Depends on: 30
Blocks:
  Show dependency tree
 
Reported: 2003-07-02 11:17 CEST by Gerd Behrmann
Modified: 2006-01-29 17:17 CET (History)
0 users

See Also:
Architecture:

Attachments
Add an attachment (proposed patch, testcase, etc.)

Note You need to log in before you can comment on or make changes to this bug.
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 3 Gerd Behrmann 2003-07-02 12:05:34 CEST 
Added dependency on bug 30.
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.