X-Git-Url: http://demsky.eecs.uci.edu/git/?a=blobdiff_plain;f=README.md;h=ba64e188ddbc956c0a941d83687ebc171c9bec1c;hb=2d0d4ac38e05905a6633b3f2d5112ccadd45c27f;hp=023a73767d1b3c4a29a1735db887946c846135d3;hpb=4f0f0dbbeb4a965ac5fb8e6e30d8fcc1cd99eff6;p=model-checker.git 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 ----------