frenetic-lang/frenetic — pull request #189 by mpmilano (2013-12-05 19:39:33+00:00)
Title: Merge Verify work back into tree

This pull request is for the last month or so of Verify work. It should not greatly impact files outside of NetCore_Verify* and friends.