Make sure that actions that do writes are labeled correctly in predicate trees

[c11tester.git] / README.md

diff --git a/README.md b/README.md
index 15e3c9d229a778be69d7e1e36499ae80fa435b8d..be6701cd4a429a412800334fb5e1ffdb3e8e57e5 100644 (file)
--- a/README.md
+++ b/README.md
@@ -11,6 +11,14 @@ libraries of C/C++ (e.g., std::atomic, std::mutex, etc.).
 C11Tester compiles on Linux.  Instrumenting programs requires using
 our LLVM pass.  It likely can be ported to other \*NIX flavors.
 
+Mailing List
+------------
+
+If you have questions, you can contact us at c11tester@googlegroups.com.
+
+You can sign up for the C11Tester mailing list at:
+<https://groups.google.com/forum/#!forum/c11tester>
+
 
 Getting Started
 ---------------