From 3ff940ed5c20a17155bf998bd5aac8a735032c67 Mon Sep 17 00:00:00 2001 From: Brian Norris Date: Tue, 4 Jun 2013 18:20:42 -0700 Subject: [PATCH] README: use markdown format for direct URL link --- README.md | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/README.md b/README.md index c7a4848..ea3b242 100644 --- 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): - [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. @@ -40,7 +40,7 @@ flavors. We have not attempted to port to Windows. Other references can be found at the main project page: - [http://demsky.eecs.uci.edu/c11modelchecker.php](http://demsky.eecs.uci.edu/c11modelchecker.php) + Basic build and run ------------------- -- 2.34.1