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

Bug 30 - Storage architecture
Summary: 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:
Blocks: 23
  Show dependency tree
 
Reported: 2003-07-02 12:04 CEST by Gerd Behrmann
Modified: 2005-08-15 13:05 CEST (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 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.