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

Bug 23

Summary: New PWList implementation using storage architecture
Product: UPPAAL Reporter: Gerd Behrmann <behrmann>
Component: EngineAssignee: Alexandre David <adavid>
Severity: enhancement    
Priority: P2    
Version: unspecified   
Hardware: All   
OS: All   
Bug Depends on: 30    
Bug Blocks:    

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.