Skip to content

#708 Event-based tools add state annotations to the output CIF models

  • Best to review per commit.
  • Adding state annotations is configurable using an option, similar to the CIF explorer.
  • Added some additional tests, and renamed some tests.
  • Fixed DFA minimization to produce results with origin information, and thus state annotations (extra commits at the end).
  • Updated the documentation. Also improved the documentation with an extra link.

Closes #708 (closed)

Merge request reports