functionst is a lowering, not a flattening#4511

Merged

tautschnig merged 3 commits intodevelopfrom

functions-is-a-lowering

Apr 11, 2019

Commits on Apr 11, 2019

functionst is a lowering, not a flattening

Daniel Kroening
authored and
tautschnig
committed
clang format the moved files

Daniel Kroening
authored and
tautschnig
committed
introduce a ranged for

Daniel Kroening
authored and
tautschnig
committed