Code

MFA::Bisimilar fixes#354

Code

Merged

xendalm merged 16 commits intomainOnionGrief/Chipollino:mainfrom bisimOnionGrief/Chipollino:bisimCopy head branch name to clipboardJun 19, 2024

+481-256

Commits

Commits on Jun 12, 2024

• (#330) fixed CGs paths calculation and

  Show description for 1927f6e
  xendalm

  committed
  1927f6e

  Copy full SHA for 1927f6e

• (#330) SCCs coloring fix

  xendalm

  committed
  fcdb073

  Copy full SHA for fcdb073

• (#330) refactoring

  xendalm

  committed
  f482c21

  Copy full SHA for f482c21

Commits on Jun 15, 2024

• (#330) fixed decisions detection

  Show description for 968f233
  xendalm

  committed
  968f233

  Copy full SHA for 968f233

• (#330) fixed SCCs coloring

  xendalm

  committed
  7d04e97

  Copy full SHA for 7d04e97

Commits on Jun 16, 2024

• (#330) MFA alphabet fix

  xendalm

  committed
  99410d5

  Copy full SHA for 99410d5

Commits on Jun 17, 2024

• (#345) Cyr-fix

  mathhyyn

  committed
  a3a4835

  Copy full SHA for a3a4835

• (#345) & -> #& ^ -> #^

  mathhyyn

  committed
  dad028f

  Copy full SHA for dad028f

• (#345) Обёртка построчно + макросы &^

  

  TonitaN

  authored and

  mathhyyn

  committed
  b82f21c

  Copy full SHA for b82f21c

• Merge branch 'bisim' into dot2tex-fix-

  mathhyyn

  committed
  0ad622e

  Copy full SHA for 0ad622e

• (#299) write_to_file and review fix

  mathhyyn

  committed
  44e0320

  Copy full SHA for 44e0320

• (#345) Разрешаем также биться по столбцам

  

  TonitaN

  authored and

  mathhyyn

  committed
  06f33f7

  Copy full SHA for 06f33f7

• Merge pull request #355 from OnionGrief/dot2tex-fix-

  Show description for 42cb212
  xendalm

  authored
  42cb212

  Copy full SHA for 42cb212

Commits on Jun 18, 2024

• (#271) implemented capture groups usefulness checking

  Show description for 833cccd
  xendalm

  committed
  833cccd

  Copy full SHA for 833cccd

• (#345) double ## fix

  mathhyyn

  committed
  6ea4cd4

  Copy full SHA for 6ea4cd4

Commits on Jun 19, 2024

• (#330) fixed CGs paths calculation and fa construction by CGs

  xendalm

  committed
  22bfa75

  Copy full SHA for 22bfa75