src/plugins/value/engine/abstractions.ml · 031b40c6794f69d13dd36b0872a79d4f4f5c27a9 · pub / frama-c

5 years ago

[Eva] Minor changes in the building of abstractions. · 031b40c6

David Bühler authored 5 years ago

Domain_product works on Internal modules.
Location_lift and Domain_lift promote leaf modules into internal modules,
by creating the suitable structure.

031b40c6

History

[Eva] Minor changes in the building of abstractions.

David Bühler authored 5 years ago

Domain_product works on Internal modules.
Location_lift and Domain_lift promote leaf modules into internal modules,
by creating the suitable structure.