7 Commits (13bf6fbe9fedd74bde14c6311edcef06fa24a56e)

Author SHA1 Message Date
Daniel Grunwald 1720fe5bba First version of variable inlining. 10 years ago
Daniel Grunwald 4dec7abb63 Replace 'endfinally' with 'leave' 11 years ago
Daniel Grunwald 2dd5a38d05 Generalize inlining, and make it usable for symbolic phase-1 execution. 11 years ago
Daniel Grunwald 5b41b662a2 More clearly document block semantics, in particular regarding phase-1 and phase-2 execution. 11 years ago
Daniel Grunwald 42bfff077d Finish the move to the new generated ILAst classes 11 years ago
Daniel Grunwald 49ce1bcea3 Worked on ILAst instruction representation 11 years ago
Daniel Grunwald 817b0baded expr inlining 11 years ago