frenetic-lang/ocaml-topology — pull request #1 by jnfoster (2013-10-30 18:54:28+00:00)
Title: Updates to support PolicyGen from frenetic

* Change switchId to SDN_Types.switchId

* Change many int64 and int32 to VInt.t (incomplete; Basu to finish)

* Expose Floyd-Warshall

* Hide edge_ports_of_switches (only used in Consistent Updates)

* Add Oasis dependency for ocaml-openflow