frenetic-lang/frenetic — pull request #166 by seliopou (2013-11-11 04:30:22+00:00)
Title: Fixing Automaton

This pull request cleans up some rough edges of automaton. It also makes it pass the test currently committed, and provides reasonable-looking output for @mcanini's experiments.