Example with PA-Match-All
Nevermind.
merge from main
refactor aspects of verify code into different files for equivalence/reachability split
rename NetCore -> NetKat for verify
Packets' previous-packet field now represents history
small-step history, includes packets not at observation points
history, but we might have a k problem
a few confidence-boosting waypoint tests
really slow slice isolation (need equivalence for this)
adding in link desugaring
waypoint tests, reachability tests, switch from list to Set
change maps to folds
a failed attempt at switching to non-exponential mode
excising ZNot from everywhere
ZNot has been removed
switching back to single-packet encoding, some bugs remain to be squashed
still needed a little bit of blacklisting
eliminated waypointing for now, will re-add when we have histories in PDR.
pdr version committed, but seems like it will not scale