[isabelle] nftables semantics #44

Open

Open

[isabelle] nftables semantics#44

Assignees

Labels

opened

on Nov 29, 2015

Owner

This feature requires

Semantics for nftables
Verified translation of iptables <-> nftables
A parser for nftables

Will be implemented on by ongy.

added

on Nov 29, 2015

removed

on Dec 16, 2015

self-assigned this

on Dec 21, 2015

to join this conversation on GitHub. Already have an account? Sign in to comment

Metadata

Assignees

diekmann

Labels

Projects

No projects

Milestone

No milestone

Relationships

None yet

Development

No branches or pull requests

Participants