Removing the global environment from Smallstep.semantics#258

Open

jeremie-koenig wants to merge 1 commit intoAbsInt:masterfrom CertiKOS:drop-globalenv

+293-307

Commits on Sep 23, 2018

Don't include the global environment in semantics
jeremie-koenig
committed