From a02f1a3ffa7409c7a2c636ec672cff55acb1048b Mon Sep 17 00:00:00 2001 From: Nastaran Shafiei Date: Tue, 30 May 2017 23:59:56 -0700 Subject: [PATCH] Renamed readme --- README | 36 ------------------------------------ README.md | 38 ++++++++++++++++++++++++++++++++++++-- 2 files changed, 36 insertions(+), 38 deletions(-) delete mode 100644 README diff --git a/README b/README deleted file mode 100644 index 8fbfa95..0000000 --- a/README +++ /dev/null @@ -1,36 +0,0 @@ - Java PathFinder README - ====================== - -========General Information about JPF =================== - -All the latest developments, changes, documentation can -be found at: - -http://babelfish.arc.nasa.gov/trac/jpf/wiki - - -========Building and Installing ========================= - -If you are having problems installing and running JPF -please look at the documentation on the wiki at: - -http://babelfish.arc.nasa.gov/trac/jpf/wiki/install/start - -A lot of the commonly problems during the install and build -process have been documented on the wiki. Please make sure -that the the issue you are running into is not addressed -there; if is not then feel free to contact us at -java-pathfinder@googlegroups.com - - -======Documentation====================================== - -There is a constant effort to update and add JPF -documentation on the wiki. If you would like to contribute -in that, please contact us at -java-pathfinder@googlegroups.com - - - -Happy Verification --- the Java PathFinder team diff --git a/README.md b/README.md index 47ebe4a..8fbfa95 100644 --- a/README.md +++ b/README.md @@ -1,2 +1,36 @@ -# jpf-core -This is the basis for all JPF projects, i.e. you always need to install it. jpf-core contains the basic VM and model checking infrastructure, and can be used to check for concurrency defects like deadlocks, and unhandled exceptions like NullPointerExceptions and AssertionErrors. + Java PathFinder README + ====================== + +========General Information about JPF =================== + +All the latest developments, changes, documentation can +be found at: + +http://babelfish.arc.nasa.gov/trac/jpf/wiki + + +========Building and Installing ========================= + +If you are having problems installing and running JPF +please look at the documentation on the wiki at: + +http://babelfish.arc.nasa.gov/trac/jpf/wiki/install/start + +A lot of the commonly problems during the install and build +process have been documented on the wiki. Please make sure +that the the issue you are running into is not addressed +there; if is not then feel free to contact us at +java-pathfinder@googlegroups.com + + +======Documentation====================================== + +There is a constant effort to update and add JPF +documentation on the wiki. If you would like to contribute +in that, please contact us at +java-pathfinder@googlegroups.com + + + +Happy Verification +-- the Java PathFinder team -- 2.34.1