projects / model-checker.git / commitdiff
? search:
summary | shortlog | log | commit | commitdiff | tree
raw | combined (merge: 620c53f 33a0676)
Merge branch 'norris'
authorBrian Norris <banorris@uci.edu>
Thu, 6 Sep 2012 23:16:51 +0000 (16:16 -0700)
committerBrian Norris <banorris@uci.edu>
Thu, 6 Sep 2012 23:16:55 +0000 (16:16 -0700)
Fixes up some THREAD_JOIN behavior, cleaning up a little bit of general model-checker structure.


Trivial merge
C++11 memory model checker