10.0.0

[10.0.0] - 2025-08-09

• Fix cache cleanup for relnext*, relprev*, saturation* and boundedSaturation* cache entries. This only has an effect if JFactory.FLUSH_CACHE_ON_GC is false. Note that cache cleanup doesn't consider the instance fields of saturation cache entries, which means that cache cleanup assumes that the transition relation BDDs used for saturation are not garbage collected.
• JFactory.FLUSH_CACHE_ON_GC is now false by default, preserving all still-valid cache entries while cleaning the cache when garbage collection is performed. Set it to true to restore the behavior of the previous release, which by default flushed the entire cache when garbage collection is performed.

9.0.0

[9.0.0] - 2024-09-26

• BDD.pathCount and BDD.satCount now return a BigInteger rather than a double, giving better precision for larger BDDs, and preventing wrong results for very large BDDs, at the cost of being a bit slower and requiring more memory for the cache in which the results for these operations are stored.
• BDDDomain.getVarIndices methods no longer produce invalid results in case of too many satisfying assignments to fit in a Java array, but instead throw an exception.
• BDDFactory now has setSaturationCallback and unsetSaturationCallback methods, that allow configuring a callback for the various saturation reachability computation operations.
  The callback is invoked after each application of a transition during saturation reachability computations, allowing to print debug information, check for termination requests, and so on.

8.0.0

[8.0.0] - 2024-08-01

• Several new operations for BDDs were added, namely relnextUnion, relprevUnion, saturationForward, boundedSaturationForward, saturationBackward and boundedSaturationBackward.
• Fixed an integer overflow bug, which may trigger while checking for the need to resize the node array, causing large node arrays to grow unnecessary.

7.0.0

[7.0.0] - 2024-06-11

• Several new operations for BDDs were added, namely relnext, relnextIntersection, relprev and relprevIntersection.
• A proper OutOfMemoryError is now thrown when the BDD nodes array is to be resized larger than the Java array limit, rather than crashing with a NegativeArraySizeException.
• The BDD node array can now be resized to the largest size supported by Java, before getting an OutOfMemoryError on the next resize, thus allowing slightly larger problems to be solved with JavaBDD.
• Extended the README file with information about where to find the plugin on Maven Central.
• Improved the copyright headers in source files.

6.0.0

[6.0.0] - 2023-06-14

• Inverted the meaning of the operation cache ratio option, and improved its precision and documentation.

5.0.0

[5.0.0] - 2023-04-25

• Added an OSGi-compatible manifest.
• Improved Maven metadata.

4.0.0

[maven-release-plugin] copy for tag 4.0.0

3.0.0

[maven-release-plugin] copy for tag 3.0.0

2.0.0

[maven-release-plugin] copy for tag 2.0.0

1.0.1

[maven-release-plugin] copy for tag 1.0.1