frenetic-lang/frenetic — pull request #256 by seliopou (2014-02-22 15:58:27+00:00)
Title: Implement pipe locations

This pull request implements pipe locations in the compiler and runtime. Using `Async_NetKAT_Controller` to run a Frenetic application will now send packets to the controller and correctly assign them to pipes that are listening for the packets.