Skip to content

#531 Add maximum used memory statistics to the CIF data-based synthesis tool

Dennis Hendriks requested to merge 531-add-memory-statisics-to-data-based-synthesis into develop
  • Upgrade to JavaBDD 4.0.0.
  • Added the extra statistic to the existing statistics option.

Closes #531 (closed)

Merge request reports

Copyright © Eclipse Foundation, Inc. All Rights Reserved.     Privacy Policy | Terms of Use | Copyright Agent