projects
/
c11tester.git
/ commitdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
| commitdiff |
tree
raw
|
patch
|
inline
| side by side (parent:
cd405ab
)
README: use markdown format for direct URL link
author
Brian Norris
<banorris@uci.edu>
Wed, 5 Jun 2013 01:20:42 +0000
(18:20 -0700)
committer
Brian Norris
<banorris@uci.edu>
Wed, 5 Jun 2013 01:20:42 +0000
(18:20 -0700)
README.md
patch
|
blob
|
history
diff --git
a/README.md
b/README.md
index c7a4848e34776706c78f4e5abd3fe738f1ee3c76..ea3b2423753bf3698ca3d280187ce63c3bea8261 100644
(file)
--- a/
README.md
+++ b/
README.md
@@
-22,7
+22,7
@@
eliminate redundant executions to significantly shrink the state space.
The model checking algorithm is described in more detail in this paper
(currently under review):
The model checking algorithm is described in more detail in this paper
(currently under review):
- [http://demsky.eecs.uci.edu/publications/c11modelcheck.pdf](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
C11/C++11 atomics.
It is designed to support unit tests on concurrent data structure written using
C11/C++11 atomics.
@@
-40,7
+40,7
@@
flavors. We have not attempted to port to Windows.
Other references can be found at the main project page:
Other references can be found at the main project page:
- [http://demsky.eecs.uci.edu/c11modelchecker.php](http://demsky.eecs.uci.edu/c11modelchecker.php)
+ <http://demsky.eecs.uci.edu/c11modelchecker.php>
Basic build and run
-------------------
Basic build and run
-------------------