projects / model-checker.git / commitdiff
? search:
summary | shortlog | log | commit | commitdiff | tree
raw | patch | inline | side by side (from: 852aef7)
modeltypes: move to include/ dir, for now
authorBrian Norris <banorris@uci.edu>
Fri, 12 Oct 2012 17:24:18 +0000 (10:24 -0700)
committerBrian Norris <banorris@uci.edu>
Fri, 12 Oct 2012 17:24:18 +0000 (10:24 -0700)
The <mutex> header uses some small amount of private model-checker
information, so just move the common typedefs to our external include/
directory.


No differences found
C++11 memory model checker