add copyright message

[model-checker.git] / README

diff --git a/README b/README
index 12a02ff0add089fc1234ba78a6f1e48ef971a911..50032b09b635d68bb3e3a6dbc4bfc3e6ad5b2e1f 100644 (file)
--- a/README
+++ b/README
@@ -2,7 +2,9 @@
 CDSChecker Readme
 ****************************************
 
 CDSChecker Readme
 ****************************************
 

-This is an evaluation-only version of CDSChecker. Please do not distribute.
+Copyright (c) 2013 Regents of the University of California. All rights reserved.
+
+CDSChecker is distributed under the GPL v2.

 
 CDSChecker compiles as a dynamically-linked shared library by simply running
 'make'. It should compile on Linux and Mac OSX, and has been tested with LLVM
 
 CDSChecker compiles as a dynamically-linked shared library by simply running
 'make'. It should compile on Linux and Mac OSX, and has been tested with LLVM


@@ -46,6 +48,8 @@ Options:
                       priority for execution. Default: 0
 -e                    Enabled count. Default: 1
 -b                    Upper length bound. Default: 0
                       priority for execution. Default: 0
 -e                    Enabled count. Default: 1
 -b                    Upper length bound. Default: 0

+-v                    Print verbose execution information.
+-y                    CHESS like yield based fairness. Default: 0

 --                    Program arguments follow.
 
 
 --                    Program arguments follow.