Mar 3, 2016
Merge pull request #65 from diekmann/refactoring
tuned stateful semantics
Mar 24, 2015
This shoud be the last commit before refactoring starts
The Example directory contains the examples is a version
compatible to what we presented at FM15

The refactored version will all base the Examples on the
simple firewall.

There should be only one main difference: The simple firewall
also abstracts over negated IP addresses.

Later, we will add interfaces and layer 4 ports to the
examples. This is currently supported by the simple firewall
but was not supported by our legacy version before.
Jan 5, 2015