gsdlab/clafer — pull request #33 by mantkiew (2013-08-10 17:00:47+00:00)
Title: I253

Implementation for [skip goals](http://gsd.uwaterloo.ca:8888/question/1059/add-a-parameter-to-skip-code-generation-for).