projects / cdsspec-compiler.git / blob
? search:
summary | shortlog | log | commit | commitdiff | tree
history | raw | HEAD
Merge branch 'master' of ssh://demsky.eecs.uci.edu/home/git/model-checker-priv
[cdsspec-compiler.git] / include / atomic
1 /**
2  * @file atomic
3  * @brief C++11 atomic interface header
4  */
5
6 #ifndef __CXX_ATOMIC__
7 #define __CXX_ATOMIC__
8
9 #include "impatomic.h"
10
11 #endif /* __CXX_ATOMIC__ */
This is the public repository for the CDSSpec specification compiler.