Commits · 96dd41ae983abd0ab69122abc30f4b104c0b0a81 · Adéla Štěpková / aligater · GitLab

Sep 15, 2024
- add utils for new minimization, add int_unoccuring_state · 96dd41ae
  Adéla Štěpková authored Sep 15, 2024
  
  96dd41ae
- minimization: treat states from same sets the same · 917358bd
  Adéla Štěpková authored Sep 15, 2024
  
  917358bd
- replace depraceated import pkg_resources · 99c5892e
  Adéla Štěpková authored Sep 15, 2024
  
  99c5892e
- remove extraneous renaming in DFA minimization · 59f3c93e
  Adéla Štěpková authored Jul 22, 2024
  
  59f3c93e
- change DFA minimization implementation · d689d21e
  Adéla Štěpková authored Jul 21, 2024
  
  d689d21e
- Merge branch 'fix-circular-import' into 'main' · ce0e5f45
  Adéla Štěpková authored Sep 15, 2024
  ce0e5f45
- update TODO · 6221fe75
  Adéla Štěpková authored Sep 15, 2024
  
  6221fe75
- move powerset_complement to utils · ddaa4a62
  Adéla Štěpková authored Sep 15, 2024
  
  ddaa4a62
Sep 12, 2024
- rename statistics.py to prevent seaborn import error · ffa8a7a1
  Adéla Štěpková authored Sep 12, 2024
  
  ffa8a7a1
- add skipping of processed files to experiments · 6ebfbac8
  Adéla Štěpková authored Sep 12, 2024
  
  6ebfbac8
- update TODO · 172a4460
  Adéla Štěpková authored Sep 12, 2024
  
  172a4460
- fix setuptools for new version of python · b04e056b
  Adéla Štěpková authored Sep 12, 2024
  
  b04e056b
Sep 11, 2024
- Merge branch 'main' of https://gitlab.fi.muni.cz/xstepkov/aligater · b8d5cf27
  Adéla Štěpková authored Sep 11, 2024
  
  b8d5cf27
- update todo · c918e702
  Adéla Štěpková authored Sep 11, 2024
  
  c918e702
- exp: regexes - first part · 6de6cb77
  Adéla Štěpková authored Sep 11, 2024
  
  6de6cb77
Sep 07, 2024
- update todo · 27102670
  Adéla Štěpková authored Sep 07, 2024
  
  27102670
- fix incorrect handling in regex parsing · 0db49ac5
  Adéla Štěpková authored Sep 07, 2024
  
  0db49ac5
Sep 06, 2024
- Merge branch 'main' of gitlab.fi.muni.cz:xstepkov/aligater · 538846e5
  Adéla Štěpková authored Sep 06, 2024
  
  538846e5
- add notebook demonstrating regex parsing error · b2188e15
  Adéla Štěpková authored Sep 06, 2024
  
  b2188e15
- update file_mover to a newer usecase · 398e0d0c
  Adéla Štěpková authored Sep 06, 2024
  
  398e0d0c
- add notebook to test regex parsing · 7d5fe3be
  Adéla Štěpková authored Sep 06, 2024
  
  7d5fe3be
- add features to help parsing regexes · aca7feb7
  Adéla Štěpková authored Sep 06, 2024
  
  aca7feb7
- add option to supply a file to statistics · 7626c5ad
  Adéla Štěpková authored Sep 06, 2024
  
  7626c5ad
- add default value to translation from mata alphabet · b4b5518b
  Adéla Štěpková authored Sep 06, 2024
  
  b4b5518b
- add scripts for regex parsing and translating · f9dc6b3b
  Adéla Štěpková authored Sep 06, 2024
  
  f9dc6b3b
Aug 27, 2024
- add regex parsing · 9163da3a
  Adéla Štěpková authored Aug 27, 2024
  
  9163da3a
Jul 18, 2024
- plotting · 5133bf03
  Adéla Štěpková authored Jul 18, 2024
  
  5133bf03
Jul 02, 2024
- experiments with group join and no RABIT · 4fd2e382
  Adéla Štěpková authored Jul 02, 2024
  
  4fd2e382
May 31, 2024
- experiments: add data for port complement with group connect · 910097a0
  Adéla Štěpková authored May 31, 2024
  
  910097a0
May 29, 2024
- add notebook for testing isomorphism of automata · 17d0697b
  Adéla Štěpková authored May 29, 2024
  
  17d0697b
- some exploration · 3cfecf16
  Adéla Štěpková authored May 29, 2024
  
  3cfecf16
- update TODO · 7e66a4db
  Adéla Štěpková authored May 29, 2024
  
  7e66a4db
- add translation of ExtNFA to labeled nx graph · 6dd6659f
  Adéla Štěpková authored May 29, 2024
  
  6dd6659f
- add port options to prefix in file export · dce18d9d
  Adéla Štěpková authored May 29, 2024
  
  dce18d9d
May 13, 2024
- experiments: partial results for port complement with group connect · 4a1bd915
  Adéla Štěpková authored May 13, 2024
  
  4a1bd915
May 12, 2024
- experiments: add generator of settings, modify full_exp.sh to take settings from file · 075814cf
  Adéla Štěpková authored May 12, 2024
  
  075814cf
May 10, 2024
- Merge branch 'complement_restructuring' into 'main' · f99c9583
  Adéla Štěpková authored May 10, 2024
  f99c9583
- remove deprecated files · b5daa358
  Adéla Štěpková authored May 10, 2024
  
  b5daa358
- port complement debugging, add transitions cache · 28b99c82
  Adéla Štěpková authored May 10, 2024
  
  28b99c82
- add support for different output file extensions · 9b4cdbe5
  Adéla Štěpková authored May 10, 2024
  
  9b4cdbe5