Mercurial > hg > Members > kono > jpf-core
diff README @ 0:61d41facf527
initial v8 import (history reset)
author | Peter Mehlitz <Peter.C.Mehlitz@nasa.gov> |
---|---|
date | Fri, 23 Jan 2015 10:14:01 -0800 |
parents | |
children |
line wrap: on
line diff
--- /dev/null Thu Jan 01 00:00:00 1970 +0000 +++ b/README Fri Jan 23 10:14:01 2015 -0800 @@ -0,0 +1,36 @@ + 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