frenetic-lang/frenetic — pull request #253 by seliopou (2014-02-14 05:43:45+00:00)
Title: Frenetic API

This pull request introduces an API for writing and composing reactive controller applications. The API can be found in `async/Async_NetKAT.mli`. _At least_ until the next release, this will be subject to change.

Currently, `PacketIn` events will not be properly associated with their pipes.

Depends on #252.