From: Brian Norris Date: Wed, 4 Sep 2013 02:19:25 +0000 (-0700) Subject: Merge remote-tracking branch 'origin/master' X-Git-Tag: oopsla2015~10 X-Git-Url: http://demsky.eecs.uci.edu/git/?p=model-checker.git;a=commitdiff_plain;h=5c4efe5cd8bdfe1e85138396109876a121ca61d1;hp=d17fbaf88464f1a9e8fe2b7df96631652ee17122 Merge remote-tracking branch 'origin/master' --- diff --git a/README.md b/README.md index 023a737..ba64e18 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 @@ -37,12 +29,15 @@ Getting Started --------------- If you haven't done so already, you may download CDSChecker using -[git](http://git-scm.com/) (for those without git, snapshots can be found at the -Gitweb URLs below): +[git](http://git-scm.com/): git clone git://demsky.eecs.uci.edu/model-checker.git -Get the benchmarks (not required; distributed separately): +Source code can also be downloaded via the snapshot links on Gitweb (found in +the __See Also__ section). + +Get the benchmarks (not required; distributed separately), placing them as a +subdirectory under the `model-checker` directory: cd model-checker git clone git://demsky.eecs.uci.edu/model-checker-benchmarks.git benchmarks @@ -381,7 +376,7 @@ See Also The CDSChecker project page: -> +> The CDSChecker source and accompanying benchmarks on Gitweb: @@ -400,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 ----------