Denotation of open cfgs in presence of function calls - #166

Open

YaZko wants to merge 9 commits into

Commits on Feb 21, 2020

The Either monad transformer lifts the iterative structure over its kleisli category
YaZko
committed
7cd2d3b
Generalized Fin over any Kleisli Category
YaZko
committed
8dd5316
Denotation of asm over the (Kleisli (EitherM value (itree E)))
YaZko
committed
c34cddf

Commits on Feb 24, 2020

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

Commits on Apr 3, 2020

Interpreter for asm
YaZko
committed
e2eb95e

Commits on Apr 7, 2020

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

Commits on Apr 8, 2020

Getting back to being able to work in Asm.v
YaZko
committed
2c9ae40
Merge branch 'master' into asm-ret
YaZko
committed
70ba729

Commits on Apr 12, 2020

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