#708 Event-based tools add state annotations to the output CIF models
requested to merge 708-cif-event-based-toolset-add-state-annotations-to-output-cif-models into develop
- 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)