frenetic-lang/frenetic — pull request #284 by bcuccioli (2014-04-11 03:36:27+00:00)
Title: Remove shadowed rules in flow tables at compilation.

Automatically remove rules which are 'shadowed', i.e. a pattern p shadows a pattern q if p occurs before q in the flow table, for every field f for which both p(f) and q(f) are defined, p(f)=q(f) and p is a superset of q.

This resolves issue #280 .

Further optimizations coming very soon.