Denotation of open cfgs in presence of function calls#166

Open

YaZko wants to merge 9 commits intomasterfrom

Commits on Feb 21, 2020

Commits on Feb 24, 2020

Added an interpreter for [eitherM A (itree E)]. I don't think we want to go this
YaZko
committed

Commits on Apr 3, 2020

Interpreter for asm
YaZko
committed

Commits on Apr 7, 2020

Work in progress to cut some dependency on extlib, use a shallower eitherT monad
YaZko
committed

Commits on Apr 8, 2020

Commits on Apr 12, 2020

Maybe I went mad and we can use the old interp?
YaZko
committed