frenetic-lang/frenetic — pull request #156 by seliopou (2013-11-10 01:51:16+00:00)
Title: Packets outside of the network are on vlan 1

Originally, the system assumed that packets on vlan `0` were packets outside of the network. This isn't feasible in the short-term so instead the system will assume that packets on vlan `1` are outside of the network. Since the automaton dehopification algorithm uses state labels as vlan ids, the state labels must now start at `2` instead of `1` to accommodate the revised assumption.