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.