projects
/
cdsspec-compiler.git
/ commitdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
| commitdiff |
tree
raw
|
patch
|
inline
| side by side (from parent 1:
c7a6544
)
README.md: move copyright down
author
Brian Norris
<banorris@uci.edu>
Wed, 14 Aug 2013 17:02:36 +0000
(10:02 -0700)
committer
Brian Norris
<banorris@uci.edu>
Wed, 14 Aug 2013 17:02:36 +0000
(10:02 -0700)
README.md
patch
|
blob
|
history
diff --git
a/README.md
b/README.md
index d5838cd98be0a1f84058fc092bdeec4ab8c9ebf1..8d70bf07bbd29db8250c674d6dbd1f21d7b24773 100644
(file)
--- a/
README.md
+++ b/
README.md
@@
-1,14
+1,6
@@
CDSChecker: A Model Checker for C11 and C++11 Atomics
=====================================================
CDSChecker: A Model Checker for C11 and C++11 Atomics
=====================================================
-Copyright © 2013 Regents of the University of California. All rights reserved.
-
-CDSChecker is distributed under the GPL v2. See the LICENSE file for details.
-
-
-Overview
---------
-
CDSChecker is a model checker for C11/C++11 which exhaustively explores the
behaviors of code under the C/C++ memory model. It uses partial order reduction
as well as a few other novel techniques to eliminate time spent on redundant
CDSChecker is a model checker for C11/C++11 which exhaustively explores the
behaviors of code under the C/C++ memory model. It uses partial order reduction
as well as a few other novel techniques to eliminate time spent on redundant
@@
-403,6
+395,14
@@
CDSChecker catches bugs in your programs.
Contact Brian Norris at <banorris@uci.edu> or Brian Demsky at <bdemsky@uci.edu>.
Contact Brian Norris at <banorris@uci.edu> or Brian Demsky at <bdemsky@uci.edu>.
+Copyright
+---------
+
+Copyright © 2013 Regents of the University of California. All rights reserved.
+
+CDSChecker is distributed under the GPL v2. See the LICENSE file for details.
+
+
References
----------
References
----------