frenetic-lang/frenetic — pull request #123 by reitblatt (2013-10-21 19:06:56+00:00)
Title: Kinder, simpler dehopification + faster optimization pass Edit

No longer pukes on three policies in sequence...