search

diekmann / Iptables_Semantics

Verified iptables Firewall Ruleset Analysis
http://iptables.isabelle.systems/
BSD 2-Clause "Simplified" License
96 stars 13 forks source link

Rewrite Rooting{Set,Range}, Refactor everything around it. #115

Closed jcaesar closed 8 years ago

jcaesar commented 8 years ago

Schaust du nochmal über die ROOT-files, ob die so passen?