We read every piece of feedback, and take your input very seriously.
To see all available qualifiers, see our documentation.
Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.
By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.
Already on GitHub? Sign in to your account
Hi,
I tried to follow the instructions in https://github.com/javapathfinder/jpf-core/wiki/Eclipse-Plugin to install the eclipse plugin. However, after adding the update site http://babelfish.arc.nasa.gov/trac/jpf/raw-attachment/wiki/projects/eclipse-jpf/update, eclipse popped a window asking me a login name and a password. I tried guest but failed. Is the update site available to the public? I also tried to search for the file eclipse-jpf_.jar but failed again. Build the plugin from source code did not work as well. A user name and a password are required to clone the eclipse-jpf source repository http://babelfish.arc.nasa.gov/hg/jpf/eclipse-jpf.
The text was updated successfully, but these errors were encountered:
The plugin is no longer maintained. If you want to run JPF from eclipse, you can run with configuration run-JPF (or run-SPF to run SPF)
Sorry, something went wrong.
http://javapathfinder.sourceforge.net/. try this
I want to know why this issue is still open. Would love to contribute if there is anything I can do. @mht208
No branches or pull requests
Hi,
I tried to follow the instructions in https://github.com/javapathfinder/jpf-core/wiki/Eclipse-Plugin to install the eclipse plugin. However, after adding the update site http://babelfish.arc.nasa.gov/trac/jpf/raw-attachment/wiki/projects/eclipse-jpf/update, eclipse popped a window asking me a login name and a password. I tried guest but failed. Is the update site available to the public? I also tried to search for the file eclipse-jpf_.jar but failed again. Build the plugin from source code did not work as well. A user name and a password are required to clone the eclipse-jpf source repository http://babelfish.arc.nasa.gov/hg/jpf/eclipse-jpf.
The text was updated successfully, but these errors were encountered: