search

frenetic-lang / frenetic

The Frenetic Programming Language and Runtime System
http://www.frenetic-lang.org/
Other
223 stars 51 forks source link

Does the compiler allow checking for forwarding loops or connectivity ? #570

Open JohanPy opened 7 years ago

JohanPy commented 7 years ago

Hello, I'm interested in checking that NetKAT allows to do: forwarding loops, connectivity, ... Can I do that with the compiler in this repository ? Can I extract NetKAT's packet history and work on it ?

jnfoster commented 7 years ago

Can I do that with the compiler in this repository ?

Unfortunately we never integrated this into the mater branch. We have a student working on integrating this code now, but it will likely take the rest of the fall semester to reach a stable point. If you need access, write to me separately and I can point you at the code? However, be warned, it will require a bit of elbow grease to get running.

Can I extract NetKAT's packet history and work on it ?

Histories are not maintained at run-time. So no.