src/plugins/value/utils/structure.ml · 4d2e9c766192c73d213376b7f45122723790142c · pub / frama-c

5 years ago

[Eva] Structure: separates keys and shapes in two distinct modules. · 4d2e9c76

David Bühler authored 5 years ago

Keys for abstract values, locations and states are created in structure.ml.
Shapes are created in the respective modules Value, Location and Domain
in abstract.ml.

4d2e9c76

History

[Eva] Structure: separates keys and shapes in two distinct modules.

David Bühler authored 5 years ago

Keys for abstract values, locations and states are created in structure.ml.
Shapes are created in the respective modules Value, Location and Domain
in abstract.ml.