Skip to content

#625 Upgrade to JavaBDD 7.0.0.

Dennis Hendriks requested to merge 625-upgrade-to-javabdd-7.0.0 into develop
  • Fixes synthesis crashing when the node table gets to big. And these days also the CIF controller properties checker.
  • Besides that, synthesis may run for a little bit longer before running out of memory, as it is increased one more time to the maximum limit, before giving out of memory.
  • JavaBDD 7.0.0 also has some other new features. Issues to adopt those are coming soon (by a colleague of mine).

Closes #625 (closed)

Merge request reports