Skip to content

#706 More synthesis/BDD renaming and splitting synthesis/non-synthesis parts

  • Another batch of changes. Quite a few changes, but separately they are all small. Best to review per commit.
  • Overview of the changes (see commit messages for the details):
    • Renamed some classes/variables/fields to be non-synthesis specific.
    • Avoid sythesis-specifics in JavaDocs and comments of non-synthesis-specific classes.
    • Some other JavaDoc/comment improvements.
    • Split synthesis and non-synthesis specific parts for certain classes. Especially introduced a CifDataSynthesisResult class.
  • Does not affect end users.

Addresses #706 (closed)

Merge request reports