projects / model-checker.git / commitdiff
? search:
summary | shortlog | log | commit | commitdiff | tree
raw | patch | inline | side by side (parent: 7d48344)
README.md: update title
authorBrian Norris <banorris@uci.edu>
Wed, 14 Aug 2013 00:08:34 +0000 (17:08 -0700)
committerBrian Norris <banorris@uci.edu>
Wed, 14 Aug 2013 00:08:34 +0000 (17:08 -0700)
README.md patch | blob | history

diff --git a/README.md b/README.md
index e020ad42a6592762a06ea4b611b240de506e4b91..20412954aa25363013c047c78eec67f6c4ef184c 100644 (file)
--- a/README.md
+++ b/README.md
@@ -1,5 +1,5 @@
-CDSChecker Readme
-=================
+CDSChecker: A Model Checker for C11 and C++11 Atomics
+=====================================================
 
 Copyright &copy; 2013 Regents of the University of California. All rights reserved.
 
C++11 memory model checker