Skip to content

Removing the global environment from Smallstep.semantics - #258

Open
jeremie-koenig wants to merge 1 commit into
AbsInt:masterfrom
CertiKOS:drop-globalenv
Open

Removing the global environment from Smallstep.semantics#258
jeremie-koenig wants to merge 1 commit into
AbsInt:masterfrom
CertiKOS:drop-globalenv

Commits

  1. Commits on Sep 23, 2018