javapathfinder/jpf-nhandler
View on GitHubSupport auto-delegation of native methods in JPF
- Stars
- 7
- Forks
- 14
- Open beginner issues
- 0
- Indexed issues
- 2
- Avg merge
- 5d 6h
- Merged PRs (30d)
- 2
- Dominant language
- Java
- License
- GPL-3.0
- Last GitHub push
- Sep 10, 2026
- Latest indexed
- Sep 14, 2026
- Contributing guide
- No contributing guide
- Code of conduct
- No code of conduct
- Beginner labels
- good first issue
-
documentation good first issue
javapathfinder/jpf-nhandler#5 · 2 comments · 0 reactions · 0 assignees ·
-
bug good first issue
javapathfinder/jpf-nhandler#8 · 6 comments · 0 reactions · 0 assignees ·