-
Léon Gondelman authored
rename inhale/exhale -> MapstoStar/MapstoWand (and corresponding functions). Add definition of vcg_wp for Store,Load,BinOp and Ret.
8a4c5082
rename inhale/exhale -> MapstoStar/MapstoWand (and corresponding functions). Add definition of vcg_wp for Store,Load,BinOp and Ret.