projects
/
c11tester.git
/ commitdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
| commitdiff |
tree
raw
|
patch
|
inline
| side by side (parent:
4f0f0db
)
README.md: improve wording
author
Brian Norris
<banorris@uci.edu>
Wed, 14 Aug 2013 16:59:03 +0000
(09:59 -0700)
committer
Brian Norris
<banorris@uci.edu>
Wed, 14 Aug 2013 16:59:03 +0000
(09:59 -0700)
README.md
patch
|
blob
|
history
diff --git
a/README.md
b/README.md
index 023a73767d1b3c4a29a1735db887946c846135d3..29a95e80da2d3f2bfae92b43267ce1faf7d11126 100644
(file)
--- a/
README.md
+++ b/
README.md
@@
-37,11
+37,13
@@
Getting Started
---------------
If you haven't done so already, you may download CDSChecker using
---------------
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
git clone git://demsky.eecs.uci.edu/model-checker.git
+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):
cd model-checker
Get the benchmarks (not required; distributed separately):
cd model-checker