frenetic-lang/fattire — pull request #6 by reitblatt (2013-10-29 17:53:33+00:00)
Title: Fatkat

Moved FatTire to generate NetKAT code. Relies on changes in the https://github.com/frenetic-lang/frenetic/tree/fatkat branch.