Skip to content

#1238 CIF data-based synthesis: for the 'nodes' output mode, make all int types in the resulting model ranged int types

Dennis Hendriks requested to merge 1238-cif-datasynth-nodes-output-range-int into develop
  • Best to review per commit.
  • End-user visible changes:
    • The data-based synthesis tool, for the nodes BDD output mode, now only uses ranged integer types for representing BDD variable and node indices.

Closes #1238 (closed)

Merge request reports

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