Skip to content
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

Jump to bottom

Java Path Finder Latest Version not available #435

Open
saravmani opened this issue Mar 3, 2024 · 1 comment
Open

Java Path Finder Latest Version not available #435

saravmani opened this issue Mar 3, 2024 · 1 comment

Comments

@saravmani
Copy link

Please Tag the newer version for JPF. Currently, I'm seeing 8.0 which is very old.
@cyrille-artho
Copy link
Member

We probably want to have a bit more than just the tag: test and document that the new release corresponds to version 9.
I think it makes the most sense to do this after issue #421 has been resolved.
I am also not so familiar with all of GitHub's work flows; can we create an archive/package of the compiled code automatically for all platforms? Normally, JPF requires multiple JAR files and a few shell scripts, so I'm not sure if GitHub supports an archive that fits with that.

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees
No one assigned
Labels
None yet
Projects
None yet
Milestone
No milestone
Development

No branches or pull requests
2 participants
@cyrille-artho @saravmani