Frenetic

Major Enhancements
- Added `guard` and `slice` app combinators (320)
- Make `send` and `recv` structs not opaque/usable (319, 322)

Minor Enhancements
- Remove opaque/unusable `update` type (320)
- Have topology discovery app manage all packets with controller ethernet source (320)

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)

This release is a total rewrite, and so will only include a list of high-level, major changes in the release notes.

Major Changes
- [NetKAT](http://www.cs.cornell.edu/~jnfoster/papers/frenetic-netkat.pdf) is the new policy language, replacing NetCore.
- The controller uses the async backend provided by [ocaml-openflow](https://github.com/frenetic-lang/ocaml-openflow)—Lwt is no longer supported.
- Frenetic applications are written in an event-based style rather than a callback style.


frenetic.1.0.2
We offer Frenetic in several formats:

Frenetic Tutorial VM

A VirtualBox appliance with Frenetic, and some other useful tools such as Mininet and Wireshark. If you're working through the tutorial, we strongly recommend using this virtual machine.
- Download and install the [VirtualBox](https://www.virtualbox.org) virtualization platform, if you don't have it.
- Download [frenetic.ova](http://www.cs.umass.edu/~arjun/download/frenetic.ova).

**md5:** `fe96ad2a5127ec4d9d58f9da72383978`
- Import _frenetic.ova_ into VirtualBox.
- Update the VM to the latest version of Frenetic. Within a terminal, enter the following commands:


$ opam update
$ opam upgrade


Executable (64-bit Linux systems)

The file _frenetic.1.0.2.linux_ below is the standalone Frenetic binary. You can use it to do the Frenetic programming exercises in the tutorial, if you have Mininet setup on your own machine.

OPAM

If you have OCaml and OPAM installed, you can get frenetic from OPAM:


$ opam update
$ opam install frenetic


If you're working through the OpenFlow programming tutorial using Ox, you can get Ox from OPAM too:


$ opam update
$ opam install ox



pldi2013-tutorial
This is the version of Frenetic we used at the PLDI 2013 tutorial on Frenetic.

We offer Frenetic in several formats:

Frenetic Tutorial VM

A VirtualBox appliance with Frenetic, and some other useful tools such as Mininet and Wireshark. If you're working through the tutorial, we strongly recommend using this virtual machine.
- Download and install the [VirtualBox](https://www.virtualbox.org) virtualization platform, if you don't have it.
- Download [frenetic.ova](http://www.cs.umass.edu/~arjun/download/frenetic.ova).

**md5:** `fe96ad2a5127ec4d9d58f9da72383978`
- Import _frenetic.ova_ into VirtualBox.
- Update the VM to the latest version of Frenetic. Within a terminal, enter the following commands:


$ opam update
$ opam upgrade


Executable (64-bit Linux systems)

The file _frenetic.1.0.1.linux_ below is the standalone Frenetic binary. You can use it to do the Frenetic programming exercises in the tutorial, if you have Mininet setup on your own machine.

OPAM

If you have OCaml and OPAM installed, you can get frenetic from OPAM:


$ opam update
$ opam install frenetic


If you're working through the OpenFlow programming tutorial using Ox, you can get Ox from OPAM too:


$ opam update
$ opam install ox