frenetic-lang/frenetic — pull request #119 by reitblatt (2013-10-16 00:11:49+00:00)
Title: Dehopification compiler

Dehopification algorithm as explained in paper draft. Entry point is a policy with explicit topology terms of the form ``Link (sw,pt,sw',pt')``, returns NetKAT_Types policy using VLAN as tag. Uses cross-product construction.