Does the compiler allow checking for forwarding loops or connectivity ?

[JohanPy]

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]

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.