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:	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

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.