From: Brian Demsky <bdemsky@uci.edu>
Date: Thu, 15 Nov 2012 04:55:23 +0000 (-0800)
Subject: Merge branch 'master' of /home/git/model-checker
X-Git-Url: http://plrg.eecs.uci.edu/git/?p=c11tester.git;a=commitdiff_plain;h=44118f596eb7cd9b4b0b5037fbbf958db001accc

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

44118f596eb7cd9b4b0b5037fbbf958db001accc