projects / model-checker.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: d5188b9) | patch
move other interface headers to include/
authorBrian Norris <banorris@uci.edu>
Fri, 12 Oct 2012 00:08:20 +0000 (17:08 -0700)
committerBrian Norris <banorris@uci.edu>
Fri, 12 Oct 2012 00:08:20 +0000 (17:08 -0700)
commit55f3acdb4bec3b2879e189a82d23e112aba79aed
treec9d250116c074b20149fea09341dd9f0e7678e12tree | snapshot
parentd5188b9694c29e0d776a643965f2461a1fbbe5e1commit | diff
move other interface headers to include/

We want all external interface headers (i.e., any #include'd in user
programs) to be in the include/ directory.
cmodelint.h [deleted file] blob | history
include/cmodelint.h [new file with mode: 0644] blob
include/librace.h [new file with mode: 0644] blob
librace.h [deleted file] blob | history
C++11 memory model checker