From: Brian Norris Date: Wed, 14 Aug 2013 17:02:36 +0000 (-0700) Subject: README.md: move copyright down X-Git-Tag: oopsla2015~10^2~1 X-Git-Url: http://plrg.eecs.uci.edu/git/?p=model-checker.git;a=commitdiff_plain;h=2935d5ce8b7315c0b13306b15ac18beeacfc37bb README.md: move copyright down --- diff --git a/README.md b/README.md index d5838cd..8d70bf0 100644 --- a/README.md +++ b/README.md @@ -1,14 +1,6 @@ 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 @@ -403,6 +395,14 @@ CDSChecker catches bugs in your programs. Contact Brian Norris at or Brian Demsky at . +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 ----------