Change initialize a bit

[c11tester.git] / README.md

diff --git a/README.md b/README.md
index 15e3c9d229a778be69d7e1e36499ae80fa435b8d..f2a6380a332c8c940659de6e854dda12838afe63 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
 ---------------
@@ -47,12 +55,6 @@ Useful Options
 
   > Specify the number number of executions to run.
 
-`-u num`
-
-  > Value to provide to atomics loads from uninitialized memory locations. The
-  > default is 0, but this may cause some programs to throw exceptions
-  > (segfault) before the model checker prints a trace.
-
 Benchmarks
 -------------------
 
@@ -171,9 +173,8 @@ summaries are based off of a few different properties of an execution, which we
 will break down here:
 
 * A _buggy_ execution is an execution in which C11Tester has found a real
-  bug: a data race, a deadlock, failure of a user-provided assertion, or an
-  uninitialized load, for instance. C11Tester will only report bugs in feasible
-  executions.
+  bug: a data race, a deadlock, or a failure of a user-provided assertion.
+  C11Tester will only report bugs in feasible executions.
 
 
 Other Notes and Pitfalls
@@ -234,6 +235,18 @@ Copyright &copy; 2013 and 2019 Regents of the University of California. All righ
 C11Tester is distributed under the GPL v2. See the LICENSE file for details.
 
 
+Acknowledgments
+---------------
+
+This material is based upon work supported by the National Science
+Foundation under Grant Numbers 1740210 and 1319786 and Google Research 
+awards.
+
+Any opinions, findings, and conclusions or recommendations expressed in
+this material are those of the author(s) and do not necessarily reflect
+the views of the National Science Foundation.
+
+
 References
 ----------