From: Brian Norris <banorris@uci.edu>
Date: Tue, 16 Apr 2013 18:35:07 +0000 (-0700)
Subject: Merge cleanup branch
X-Git-Url: http://plrg.eecs.uci.edu/git/?p=c11tester.git;a=commitdiff_plain;h=9d9b9121ffed4c7406275da34b055040ea5090a9

Merge cleanup branch

This branch separated ModelChecker into two separate classes/modules. It was a
big disruptive change, and it was not compile-able at some points (the BROKEN
commit and some of its successors). Hence the non-fast-forward merge here, to
record the divergent portion of history as special.
---

9d9b9121ffed4c7406275da34b055040ea5090a9