frenetic-lang/frenetic — pull request #182 by mcanini (2013-11-18 18:52:27+00:00)
Title: Katnetic

These changes mostly relate to the Katnetic examples. There is a fix to the port ordering, which I tested to be correct.