global compiler skeleton
Camlp4 run-time dependencies
remove unnecessary import
naive cps translation
Initial front-end for Steffen
Small tweaks
merge master into globabl-compiler
added improved cps that differentiates between local and global pcs; the local pcs should be optimized away'' by the flow table compiler
added wrapper for cps
todo: remove hard coded ingress and outgress
todo: why does flow table compiler generate unnecessary rows?
todo: further compress global pc space by exploiting switch and port fields
todo: VlanPcp (= network counter) will always be 0; how do we get rid of it?
little tweaks
improved cps by partitioning jump table in disjoint enter, local, and exit parts, and exploting that local and global pcs must no longer be disjoint
TODO: ingress & egress still hard coded; make them parameters
TODO: exploit sw&port to minimize pc space
TODO: if only one pc is needed, we don't need a pc at all
TODO: remove pc at egress
CPS now exploits sw&pt to allow for smaller pc space
no final global pc needed
added two more global compiler examples; moved hard coded ingress & egress to katnetic.ml
little tweaks
Restore seq optimization. The compilation takes significantly longer without it
unset pc at egress
Merge branch 'master' into global-compiler
optimization: use no vlan field when possible
Wednesday hacking with SJS and JNF
avoid buggy fall-through optimization