From: Brian Demsky <bdemsky@uci.edu>
Date: Thu, 4 Oct 2012 00:28:26 +0000 (-0700)
Subject: Merge branch 'master' of /home/git/model-checker
X-Git-Url: http://plrg.eecs.uci.edu/git/?p=cdsspec-compiler.git;a=commitdiff_plain;h=f4d77c40b4029cdc18f4aaa5a4e01dfbcfca5f7b

Merge branch 'master' of /home/git/model-checker
---

f4d77c40b4029cdc18f4aaa5a4e01dfbcfca5f7b