frenetic-lang/frenetic — pull request #133 by arjunguha (2013-11-02 18:17:41+00:00)
Title: NetCore is dead. Long live NetKAT.

@jnfoster this removes the old NetCore compiler and runtime system

@mpmilano I still have NetCore_Verify_* in here. It actually isn't NetCore-specific, but wouldn't build due to a dependency on NetCore_Types. (ocaml-topology has also evolved significantly.) When you get a chance, can you upgrade your code?