w.i.p.: general waypoint violation query with in- and out- matching conditions
w.i.p.: import compilation debugging aids in runtime
w.i.p.: keep separate track of dynamic predicates, not as character-generated predicates
w.i.p.: separate and explicit bookkeeping of dynamic predicates in queries

re_tree_gen now does not distinguish static and dynamic predicates for symbol generation, and orthogonal concerns (update/character generation) are separated.
w.i.p.: separate runtime structures for dynamic predicates in path queries
re_tree invalidation and re_tree_gen reset before recompilation
minor adjustments to some path query tests
w.i.p.: [automated query testing] fix existing eval_path deprecated code
bucket.py callable with test policies as arguments
w.i.p.: a basic automated mininet+controller setup
add packet capture only for mininet-related packets
w.i.p.: primitive filter functions on tshark outputs
remove spuriously created bucket object
w.i.p.: basic per-test tshark output parsing
w.i.p.: bug fixes in tshark output processing
w.i.p.: controller output processing to get bucket counts
verify equality of counts from tshark and pyretic buckets
w.i.p.: adding all bucket tests
small bug fixes to sweeping automated testing
allow extra topologies to be used in test_bucket