Search results

Record components lose their generic signature (and annotations) during class file parsing

Status: Open.

#624 In javapathfinder/jpf-core;

· Mahmoud-Khawaja opened on Jul 2, 2026

Add unit tests for gov.nasa.jpf.util.FixedBitSet

Status: Open.

#595 In javapathfinder/jpf-core;

· HritikRaj2 opened on Jan 23, 2026

Add unit tests for gov.nasa.jpf.util.WeakPool

Status: Open.

#593 In javapathfinder/jpf-core;

· HritikRaj2 opened on Jan 21, 2026

Java 17 build/test fails on some platforms

Status: Open.

#566 In javapathfinder/jpf-core;

· eklaDFF opened on Oct 29, 2025

Partly outdated documentation

Status: Open.

#563 In javapathfinder/jpf-core;

· cyrille-artho opened on Sep 19, 2025

Migrate documentation from wiki to a different system

Status: Open.

#558 In javapathfinder/jpf-core;

· cyrille-artho opened on Jul 24, 2025

Checking Statecharts with JPF

Status: Open.

#555 In javapathfinder/jpf-core;

· Tom-Soucies opened on Jul 8, 2025

Typo in Documentation: ./gradle shoud be ./gradlew

Status: Open.

#535 In javapathfinder/jpf-core;

· RehanChalana opened on Apr 1, 2025

Documentation Error: Incorrect Markdown Attributes in Random Example Wiki Page

Status: Open.

#534 In javapathfinder/jpf-core;

· marodriguezd opened on Apr 1, 2025

One wiki link is down

Status: Open.

#526 In javapathfinder/jpf-core;

· syheliel opened on Mar 20, 2025

ArrayIndexOutOfBoundsException when using JPF on Scala

Status: Open.

#511 In javapathfinder/jpf-core;

· liuyic00 opened on Jan 13, 2025

Clojure code: NoSuchMethodException: jdk.internal.misc.SharedSecrets.setJavaUtilZipFileAccess

Status: Open.

#507 In javapathfinder/jpf-core;

· awwx opened on Nov 25, 2024