Skip to content

Update outdated contact information in README #615

New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

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

Open
homika482005 wants to merge 2 commits into
base: master
Choose a base branch
from
Open

Update outdated contact information in README #615

Changes from all commits
Commits
Show all changes
2 commits
Select commit Hold shift + click to select a range
6505572
Update outdated contact information in README
homika482005 Apr 2, 2026
a4303ad
Add reference to JPF Discord in README
homika482005 Apr 17, 2026
File filter

Filter by extension

Filter by extension
Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
9 changes: 4 additions & 5 deletions README.md
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -18,23 +18,22 @@ Note that we have transitioned to OpenJDK with the new version of JPF (for Java
We have documented on the wiki a lot of common problems during the install and
build processes reported by users. If you are facing any issue, please, make
sure that we have not addressed it in documentation. Otherwise, feel free to
contact us at java-pathfinder@googlegroups.com or open an issue on the Issue
Tracker.
please open an issue on the Issue Tracker.

## 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.
If you would like to contribute, please open an issue on GitHub.

Contributions are welcomed and we encourage you to get involved with the
community.

Happy Verification
*-- the Java PathFinder team*

## Community

---
For discussions and support, you can also join the official JPF Discord (if available).

## Running with Docker

Expand Down