From: Brian Demsky Date: Thu, 15 Nov 2012 07:27:30 +0000 (-0800) Subject: Merge branch 'master' of /home/git/model-checker X-Git-Tag: oopsla2013~538 X-Git-Url: http://demsky.eecs.uci.edu/git/?a=commitdiff_plain;h=c3ad6c109b0043a010838e77e2573aa820072820;p=model-checker.git Merge branch 'master' of /home/git/model-checker --- c3ad6c109b0043a010838e77e2573aa820072820