Summary: | New PWList implementation using storage architecture | ||
---|---|---|---|
Product: | UPPAAL | Reporter: | Gerd Behrmann <behrmann> |
Component: | Engine | Assignee: | Alexandre David <adavid> |
Status: | RESOLVED FIXED | ||
Severity: | enhancement | ||
Priority: | P2 | ||
Version: | unspecified | ||
Hardware: | All | ||
OS: | All | ||
Architecture: | |||
Bug Depends on: | 30 | ||
Bug Blocks: |
Description
Gerd Behrmann
2003-07-02 11:17:36 CEST
According to Paul's todo list from the last Uppaal meeting, Alexandre is the person in charge for this. 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). 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. |