Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom

MFA::Bisimilar fixes and more #351

Merged
merged 17 commits into from
Jun 8, 2024
Merged

MFA::Bisimilar fixes and more #351

merged 17 commits into from
Jun 8, 2024

Conversation

xendalm
Copy link
Collaborator

@xendalm xendalm commented Jun 8, 2024 •
edited
Loading

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

xendalm and others added 17 commits June 3, 2024 01:19
@xendalm
(#305) mfa equal
e84bdf5 
+ action and symbolic methods
@xendalm
(#305) mfa equal
13e44e6 
+ action and symbolic methods
@TonitaN
Merge branch 'bisim' of https://github.com/OnionGrief/Chipollino into…
6603a2d 
… bisim
@TonitaN
(#345) Formatter refs
710981e
@TonitaN
Merge pull request #348 from OnionGrief/bisim
ae8bd8a 
Bisim
@TonitaN
(#269) Colorise Bisim
a6021e9
@TonitaN
(#269) Delete old unused info
bcb3d57
@xendalm
(#349) refactoring
4751bf5
@xendalm
Merge pull request #349 from OnionGrief/Colorize
580ee8d 
Colorize
@xendalm
(#346) implemented FA::to_mfa for Symbolic-NFA
8118750 
+ metamorphic tests
@xendalm
(#346) implemented special memory symbols parsing for Regex
de3d08b
@xendalm
(#264) updated LICENSE.md
51ef632
@xendalm
(#330) fixed CGs paths comparison
ea81234
@xendalm
(#271) added reset transitions from initial state
10449c3
@xendalm
(#330) attempting to detect cross-bisimulations
45e4b8e
@xendalm
(#330) fixed comparison of bisimilar incoming refs
ad8ecdb
@xendalm
(#351) updated templates for BR::Equal, AB, SB
7e5a8cf
@xendalm xendalm requested a review from mathhyyn June 8, 2024 22:36
@xendalm xendalm merged commit c3675ee into main Jun 8, 2024
6 checks passed
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Reviewers

@mathhyyn mathhyyn mathhyyn approved these changes

Assignees
No one assigned
Labels
None yet
Projects
None yet
Milestone
No milestone
Development

Successfully merging this pull request may close these issues.
3 participants
@xendalm @TonitaN @mathhyyn