Skip to content

Pull requests: javapathfinder/jpf-core

New pull request New
29 Open 327 Closed
29 Open 327 Closed
Author
Filter by author
Loading
Label
Filter by label
Loading
Use alt + click/return to exclude labels
or ⇧ + click/return for logical OR
Projects
Filter by project
Loading
Milestones
Filter by milestone
Loading
Reviews
Filter by reviews
No reviews Review required Approved review Changes requested
Assignee
Filter by who’s assigned
Assigned to nobody Loading
Sort
Sort by
Newest Oldest Most commented Least commented Recently updated Least recently updated Best match
Most reactions
👍 👎 😄 🎉 😕 ❤️ 🚀 👀

Pull requests list

Add missing Dockerfile to java-17 branch
#618 opened Apr 23, 2026 by HritikRaj2 Contributor Loading…
1
Add missing java.lang.reflect.RecordComponent model class to java-17 branch
#617 opened Apr 23, 2026 by HritikRaj2 Contributor Loading…
Add troubleshooting section for Docker setup
#616 opened Apr 16, 2026 by homika482005 Loading…
1
Update outdated contact information in README
#615 opened Apr 2, 2026 by homika482005 Loading…
4
fix: normalize permitted subclass names to dot notation in setPermittedSubclass
#614 opened Mar 31, 2026 by Darshan-dev57 Loading…
Support Java 17 in jpf-core (ClassFile)
#613 opened Mar 25, 2026 by homika482005 Loading…
2
feat: Add Java 11 String.lines() method with tests
#611 opened Mar 17, 2026 by OmPradnya Loading…
1
docs: clarify Java 8 requirement and deprecate Eclipse plugin (#280)
#610 opened Mar 17, 2026 by Denxike Loading…
1
Add model classes for java.util.logging
#609 opened Mar 6, 2026 by kallal79 Loading…
1
Fix: fields shadowing with sealed classes.
#608 opened Mar 6, 2026 by Mo-Naga Loading…
4
fix: remove duplicate isSealed and permittedSubclassNames fields from JVMClassInfo
#607 opened Mar 5, 2026 by Himaswin Loading…
2
Support CONSTANT_Module/CONSTANT_Package tags (#252)
#603 opened Mar 3, 2026 by kallal79 Loading…
Support JAR Manifest Metadata Propagation
#602 opened Feb 28, 2026 by Suvrat1629 Loading…
1
fix: Assert failure in gov.nasa.jpf.test.java.io.FileTest.testToURI (Windows 11/Java 11)
#598 opened Feb 12, 2026 by gRid08 Loading…
1
1
Add unit tests for gov.nasa.jpf.util.FixedBitSet
#596 opened Jan 23, 2026 by HritikRaj2 Contributor Loading…
1
2
Add unit tests for gov.nasa.jpf.util.WeakPool
#594 opened Jan 21, 2026 by HritikRaj2 Contributor Loading…
1
1
Implement appendTail and appendReplacement methods in Matcher
#590 opened Jan 18, 2026 by Jitmisra Loading…
Fix #250: Add check for static method in INVOKESTATIC
#588 opened Jan 16, 2026 by KaustubhSingh9000 Loading…
Fix class loading order to support any extension
#587 opened Jan 11, 2026 by Mahmoud-Khawaja Contributor Loading…
1
Fix #341: Add model classes for java.util.logging
#584 opened Dec 18, 2025 by HritikRaj2 Contributor Loading…
3
Add Java 11 Nestmate support to java.lang.Class model
#580 opened Dec 2, 2025 by HritikRaj2 Contributor Loading…
5
Fix VM.getSavedProperty('os.name') not supported
#577 opened Nov 29, 2025 by HritikRaj2 Contributor Loading…
7
Add docker configuration file for Java-17
#569 opened Nov 20, 2025 by eklaDFF Contributor Loading…
3
Add GitHub Pages workflow to publish documentation
#560 opened Sep 6, 2025 by anniemandal24 Loading…
5
[WIP] add support for lookup.findStatic
#532 opened Mar 27, 2025 by syheliel Contributor Loading…
1
ProTip! Add no:assignee to see everything that’s not assigned.