v3.0.0

Major Enhancements

• Allow asynchronous policy updates in network application (#310)
• Allow queueing and batch processing of of policy updates (#316)
• Support per-packet consistent network updates (#298, #306)

Minor Enhancements

• Change command-line behavior for running the controller
  • Learning switch disabled by default, enabled using the --learn flag (#281)
  • Make static policy an optional argument (#310)
  • Sequence the static policy with learning if learning is enabled (#310)
• Use SDN_Types.pktOut instead of redefining it in NetKAT_Types (#290)
• Use payload type in PacketIn event (#290)
• Add Sexplib support to all relevant types in NetKAT_Types (#311)

Bugfixes

• Fix bug where assigning ipDst would actually assign to ipSrc (#286)

Other

• Remove NetKAT_Util module from public API (#294)
• Quickcheck policy behavior and compiler results to ensure they correspond (#293)