Proposal: Globals (pre-cursor to Compilation Units)#30

Open

gmalecha wants to merge 8 commits intomit-plv:masterfrom bedrocksystems:compilation-units

Commits on Sep 11, 2018

Commits on Sep 12, 2018

fixing the broken proofs in the bedrock2 directory
gmalecha
committed

Commits on Oct 19, 2018

verification condition for compilation units.
gmalecha
committed