#1241 Update JavaBDD 9.0.0 to 10.0.0. (!1356) · Merge requests · Eclipse Projects / Eclipse ESCET (Supervisory Control Engineering Toolkit) / escet · GitLab

As a result of abusive and unreasonable anonymous traffic patterns, we're now requiring authentication to access some GitLab pages and content. We will investigate further to determine if these changes are permanent or temporary.

We apologize for the inconvenience caused.

Dennis Hendriks requested to merge 1241-upgrade-to-javabdd-v10.0.0 into develop Aug 09, 2025

Updates JavaBDD 9.0.0 to 10.0.0.
As a result of this upgrade, JavaBDD no longer flushes (empties) the cache on garbage collection, but preserves all valid entries, clearing only invalid ones. This improves caching performance and thereby synthesis performance. See _overview.html.
JavaBDD 10.0.0 has been approved as a dependency, see eclipsefdn/emo-team/iplab#22820 (closed).

Addresses #1241

Copyright © Eclipse Foundation AISBL. All rights reserved. Privacy Policy | Terms of Use | Copyright Agent