frenetic-lang/frenetic — pull request #247 by jnfoster (2014-02-11 11:23:10+00:00)
Title: Rewrite of the LocalCompiler

This commit represents a merge of the old jnf-dev branch. The main feature is a complete rewrite of the local compiler:
* Uses lists instead of maps
* Stores a complete guarded flowtable in Local.t instad of just the positive portion. This simplifies many operations like intersection.