Search results

Non-blind debugging of reference count problems.

Status: Open.

#90 In com-github-javabdd/com.github.javabdd;

· Alberth289346 opened on Jul 2, 2026

setSaturationCallback unnecessary computation

Status: Open.

#89 In com-github-javabdd/com.github.javabdd;

· AndreaPuffo opened on Mar 13, 2026

UnsupportedOperationException in FindBestOrder.tryOrder

Status: Open.

#74 In com-github-javabdd/com.github.javabdd;

· dhendriks opened on Oct 13, 2024

Reordering shows no effect.

Status: Open.

#44 In com-github-javabdd/com.github.javabdd;

· hoemich opened on Aug 25, 2023

The cache statistic swapCount is never recorded

Status: Open.

#23 In com-github-javabdd/com.github.javabdd;

· magoorden opened on Nov 24, 2021

Clean up todo's

Status: Open.

#8 In com-github-javabdd/com.github.javabdd;

· magoorden opened on Oct 25, 2021

Ensure only things that are not factory-instance specific are static

Status: Open.

#7 In com-github-javabdd/com.github.javabdd;

· dhendriks opened on Oct 24, 2021