issues
search
diekmann
/
Iptables_Semantics
Verified iptables Firewall Ruleset Analysis
http://iptables.isabelle.systems/
BSD 2-Clause "Simplified" License
96
stars
13
forks
source link
Refactoring and tuned output ordering (interfaces, protocols first)
#124
Closed
diekmann
closed
8 years ago