Mercurial > hg > Members > kono > jpf-core

view README @ 28:7be90179bb3b

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Provided support for double colon operator used for lamabda expressions. Fixed a bug related to generating names for funcation object classes (by supporting double colon operator, a new stragety needed to generate unique names for function objects. To achive that the bootstrap ids are incorporated into names). Finally modified the method that retrieves the SAM from functional interfaces.
author nastaran <nastaran.shafiei@gmail.com>
date Thu, 25 Jun 2015 13:20:50 -0700
parents 61d41facf527
children
line wrap: on
line source

                          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