Skip to content

#706 Move CIF/BDD-related classes from synthesis to a new CIF/BDD plugin.

  • Best to review per commit.
  • Introduced org.eclipse.escet.cif.bdd package. Moved the relevant classes to it. Improved the package structure a bit. Updated everything else as a result of the moves.
  • Last change for #706 (closed). Work continues in higher-level issue #269.

Closes #706 (closed)

Merge request reports