projects / model-checker.git / commitdiff
? search:
summary | shortlog | log | commit | commitdiff | tree
raw | patch | inline | side by side (from parent 1: ee0f520)
include: add <atomic> header
authorBrian Norris <banorris@uci.edu>
Tue, 9 Oct 2012 19:02:42 +0000 (12:02 -0700)
committerBrian Norris <banorris@uci.edu>
Tue, 9 Oct 2012 19:02:42 +0000 (12:02 -0700)
include/atomic [new file with mode: 0644] patch | blob

diff --git a/include/atomic b/include/atomic
new file mode 100644 (file)
index 0000000..8bbd988
--- /dev/null
+++ b/include/atomic
@@ -0,0 +1,3 @@
+
+#include "impatomic.h"
+
C++11 memory model checker