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

Bug 30

Summary:	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:
Bug Blocks:	23

Description Gerd Behrmann 2003-07-02 12:04:31 CEST

The storage architecture is an abstraction of components supporting storage of
vectors, DBMs, etc. Implementations of this interface might support features
like sharing common elements, on the fly compression, etc.

Comment 1 Gerd Behrmann 2005-03-22 20:23:32 CET

As of version 3.5.5, the new storage architecture is implemented and in use.