projects / model-checker.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 51d0154) | patch
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)
commit852aef750eeaba905369a435bcc2858f95515709
tree026298d7f4bbfca5d4514b4453b7a5a903625377tree | snapshot
parent51d0154de2ac3c660a58c3f377f4092c6fd1621bcommit | diff
modeltypes: move to include/ dir, for now

The <mutex> header uses some small amount of private model-checker
information, so just move the common typedefs to our external include/
directory.
include/modeltypes.h [new file with mode: 0644] blob
modeltypes.h [deleted file] blob | history
C++11 memory model checker