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

Wiki needs update

HawkItzme opened this issue · comments

commented

As the JPF team is accepted and the organization is visible in the list of GSoc 2023 selected orgs. So the wiki needs few typo changes

commented

A pull request has been made from my side to the wiki-sync repo. Do check it out and merge it.
@HawkItzme

commented

Bro, I am not the project admin , I am also a contributor.

commented

Who is the maintainer? I have pull requested about this issue a while back and no one is responding to that request.

commented

No idea bro

commented

It seems that GitHub does not generate notifications for PRs on the wiki repo, which is perhaps more of a hidden feature than something that is very well supported by it. I have merged the PR now. Sorry for the slow response, and thank you for the PR.