Refactor validation#392

Merged

xtuc merged 10 commits intomasterfrom

refactor-validation

Aug 18, 2018

Commits on May 28, 2018

feat: add failing test
xtuc
committed

Commits on Jun 7, 2018

Move isConst into validation, check mutability of globals
Mauro Bringolf
committed

Commits on Jun 8, 2018

Fix moduleContext instantiation
Mauro Bringolf
committed

Commits on Jun 11, 2018

Make repl use the new validation API
Mauro Bringolf
committed