Giters

nets-cs-pub-ro / iptables-sefl

The iptables to SEFL (Symbolic Execution Friendly Language) translator.

Geek Repo:Geek Repo

Github PK Tool:Github PK Tool

iptables-sefl Build Status Coverage Status Issue Count

About

The iptables to SEFL (Symbolic Execution Friendly Language) translator.

License:MIT License

Languages

Language:Scala 100.0%