Giters

javapathfinder / jpf-core

JPF is an extensible software analysis framework for Java bytecode. jpf-core is the basis for all JPF projects; you always need to install it. It 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.

Geek Repo:Geek Repo

Github PK Tool:Github PK Tool

eclipse-jpf link is not working in wiki area

MokshTehlan opened this issue · comments

commented

The eclipse-jpf source repository is located on (http://babelfish.arc.nasa.gov/hg/jpf/eclipse-jpf`)

commented

This repository is outdated and not available anymore.
Which wiki page refers to it? I will remove the link and change the text to state that eclipse-jpf is currently unsupported/unavailable.

commented

hi, I would like to work on the project. Can you suggest me ways to get started?

commented

This particular issue refers to the wiki. For the code in general, please check the other issues.
I'll also create a meta-issue that lists all the pending work to fix unit tests for Java 11.

commented

okay sure ..Hey I have just recently started with the open source contributions, I'll be extremely glad if you can assist me with the basics.. I'll be eagerly waiting for your response..

commented

@MokshTehlan @cyrille-artho Have you guys got the link? If not , I am willing to do it for you guys.

commented
commented

@cyrille-artho So why not close this issue?

commented