From: Brian Norris <banorris@uci.edu>
Date: Thu, 6 Sep 2012 23:16:51 +0000 (-0700)
Subject: Merge branch 'norris'
X-Git-Tag: pldi2013~235^2
X-Git-Url: http://demsky.eecs.uci.edu/git/?p=model-checker.git;a=commitdiff_plain;h=0accacf66b9f7bb4479205a0840f208dd8da6960

Merge branch 'norris'

Fixes up some THREAD_JOIN behavior, cleaning up a little bit of general model-checker structure.
---

0accacf66b9f7bb4479205a0840f208dd8da6960