frenetic-lang/frenetic — pull request #154 by seliopou (2013-11-09 23:57:31+00:00)
Title: kantentic frontend improvements

The katnetic program now supports running local policies, as well as non-local policies that have been run through either the classic or automaton dehopification algorithms:

```
katnetic run [local|classic|automaton] [filename]
```

It now also supports dumping flow tables for local policies, as well as automaton dehopified policies:

```
katnetic dump [local|automaton] [filename]
```