projects
/
model-checker.git
/ commitdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
| commitdiff |
tree
raw
|
patch
|
inline
| side by side (parent:
35fc7bb
)
README.md: push URLs down to See Also section
author
Brian Norris
<banorris@uci.edu>
Tue, 13 Aug 2013 23:50:17 +0000
(16:50 -0700)
committer
Brian Norris
<banorris@uci.edu>
Tue, 13 Aug 2013 23:50:17 +0000
(16:50 -0700)
README.md
patch
|
blob
|
history
diff --git
a/README.md
b/README.md
index 5132935423d28648cee0715d04bd9015fc1bb180..a2458f43b755098a4644e1a8eda67ece24d1feb4 100644
(file)
--- a/
README.md
+++ b/
README.md
@@
-16,7
+16,7
@@
execution behaviors and to significantly shrink the state space. The model
checking algorithm is described in more detail in this paper (published in
OOPSLA '13):
checking algorithm is described in more detail in this paper (published in
OOPSLA '13):
- <http://demsky.eecs.uci.edu/publications/c11modelcheck.pdf>
+
>
<http://demsky.eecs.uci.edu/publications/c11modelcheck.pdf>
It is designed to support unit tests on concurrent data structure written using
C/C++ atomics.
It is designed to support unit tests on concurrent data structure written using
C/C++ atomics.
@@
-32,10
+32,6
@@
CDSChecker should compile on Linux and Mac OSX with no dependencies and has been
tested with LLVM (clang/clang++) and GCC. It likely can be ported to other \*NIX
flavors. We have not attempted to port to Windows.
tested with LLVM (clang/clang++) and GCC. It likely can be ported to other \*NIX
flavors. We have not attempted to port to Windows.
-You may also refer to the CDSChecker project page:
-
- <http://demsky.eecs.uci.edu/c11modelchecker.php>
-
Getting Started
---------------
Getting Started
---------------
@@
-275,6
+271,20
@@
Other Notes
CDSChecker with the `-u num` option.
CDSChecker with the `-u num` option.
+See Also
+--------
+
+The CDSChecker project page:
+
+> <http://demsky.eecs.uci.edu/c11modelchecker.php>
+
+The CDSChecker source and accompanying benchmarks on Gitweb:
+
+> <http://demsky.eecs.uci.edu/git/?p=model-checker.git>
+>
+> <http://demsky.eecs.uci.edu/git/?p=model-checker-benchmarks.git>
+
+
Contact
-------
Contact
-------