OpenFlow + generalized extensible packet + updated l4v - Githubissues

diekmann / Iptables_Semantics

Verified iptables Firewall Ruleset Analysis

http://iptables.isabelle.systems/

BSD 2-Clause "Simplified" License

96 stars 13 forks source link

OpenFlow + generalized extensible packet + updated l4v #104

Closed diekmann closed 8 years ago

diekmann commented 8 years ago

Exporting simple firewalls to OpenFlow. Thx @jcaesar
Generic simple firewall. Thx @jcaesar
Generalized IP Addresses, starting to add IPv6 support (unfinished)
Using generalized simple packet (extensible record scheme). Thx @jcaesar
Simple firewall not for IP addresses of arbitrary length

Also:

fixed sth (thx markarius!) which caused a stack (out-of-memory) exception when building large examples
Restructured ROOTs: large examples are in a separate session now
Updated generated Haskell Code
General cleanup and refactoring