Skip to content

Pull requests: javapathfinder/jpf-core

New pull request New
27 Open 326 Closed
27 Open 326 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

Update outdated contact information in README
#615 opened Apr 2, 2026 by homika482005 Loading…
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…
1
Add minimal support for dynamic invokedynamic bootstrap methods
#612 opened Mar 24, 2026 by LeaderOne369 Loading…
1
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 Loading…
1
2
Add unit tests for gov.nasa.jpf.util.WeakPool
#594 opened Jan 21, 2026 by HritikRaj2 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 Loading…
1
Fix #341: Add model classes for java.util.logging
#584 opened Dec 18, 2025 by HritikRaj2 Loading…
3
Add Java 11 Nestmate support to java.lang.Class model
#580 opened Dec 2, 2025 by HritikRaj2 Loading…
5
Fix VM.getSavedProperty('os.name') not supported
#577 opened Nov 29, 2025 by HritikRaj2 Loading…
7
Add docker configuration file for Java-17
#569 opened Nov 20, 2025 by eklaDFF 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 Loading…
1
Implemented Record test and it succeeds in Java 17 environment.
#525 opened Mar 16, 2025 by sanidhya00081 Loading…
23
added the static method check in INVOKESTATIC.java
#501 opened Oct 11, 2024 by siddhesh0705 Loading…
10
ProTip! Exclude everything labeled bug with -label:bug.