frenetic-lang/frenetic — pull request #115 by nimishgupta (2013-10-11 18:19:49+00:00)
Title: NetKAT parser changes

Merge NetKAT parser work
- Adds a parser for NetKAT core
- Modifies NetKAT pretty printer to match concrete syntax of NetKAT
- Quick check tests for NetKAT (disabled for now as tests are not passing)