-
Léon Gondelman authored
Improved vcgen, retrieving automatically the mapsto predicates from the context, and reorganized code a bit.
a70a1a5e
Improved vcgen, retrieving automatically the mapsto predicates from the context, and reorganized code a bit.