Changes between Version 13 and Version 14 of GSoC/2015/NestedMutex


Ignore:
Timestamp:
Jun 22, 2015, 5:54:40 AM (4 years ago)
Author:
Saurabh Gadia
Comment:

--

Legend:

Unmodified
Added
Removed
Modified
  • GSoC/2015/NestedMutex

    v13 v14  
    4141= JPF Setup =
    4242  * You can either download snapshots or build JPF from source. Building from source is recommended as they contain latest changeset and our project runs under latest compiled source code.
    43   * You can find detailed JPF installation guide at [babelfish.arc.nasa.gov/trac/jpf/wiki/install/start link]
     43  * You can find detailed JPF installation guide at [http://babelfish.arc.nasa.gov/trac/jpf/wiki/install/start link]
    4444  * Clone JPF latest repository. [http://babelfish.arc.nasa.gov/trac/jpf/wiki/install/repositories link]
    4545  * Make sure you fulfil all the requirement mentioned on above link especially use JDK 8 or later version to compile.