projects / model-checker.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 511dc79) | patch
lib*.h: wrap C headers in `extern "C"'
authorBrian Norris <banorris@uci.edu>
Tue, 24 Apr 2012 19:06:21 +0000 (12:06 -0700)
committerBrian Norris <banorris@uci.edu>
Tue, 24 Apr 2012 19:06:21 +0000 (12:06 -0700)
commiteebc7e307adab5e922ec93a5a8e9d18708dc6af2
treec8cea31fb28ddac5ce38d03a8c23be0ca5f1bad8tree | snapshot
parent511dc79c4688c5a304e00d57dee1f7ebc84637a1commit | diff
lib*.h: wrap C headers in `extern "C"'
libatomic.h diff | blob | history
libthreads.h diff | blob | history
C++11 memory model checker