xendalm
commented
3 months ago - неправильно вычислялась разность групп захвата при сравнении
- MFA::Equal на основе сравнения Symbolic-NFA (#305)
- теперь строятся переходы со сбросом памяти из начального состояния MFAexpt. По сути не обязательны, но важны для сравнения по бисимуляции, а еще позволяют MergeBisimilar находить больше эквивалентных состояний
- починены падавшие метаморфные тесты на бисимуляцию равных автоматов (ГЗ ссылок, входящих в бисимилярные состояния, теперь сравниваются иначе)
- парсинг Oi,Ci,Ri в регулярках и перевод Symbolic-NFA обратно в MFA
- актуализирована лицензия
- раскраска бисимилярных состояний в отчетах по Bisimilar
- мелкие фиксы генерации отчетов