Commits · 48c8c76a2c5173ae8b3c54ce65673f22b1da3a44 · Adéla Štěpková / aligater · GitLab

Oct 10, 2024
- experiments: regexes with correct anchors · 48c8c76a
  Adéla Štěpková authored Oct 10, 2024
  
  48c8c76a
Oct 08, 2024
- modify README to inlude steps for running pyinstaller · ae1f0ec4
  Adéla Štěpková authored Oct 08, 2024
  
  ae1f0ec4
Sep 29, 2024
- plots and exploration: regex union · cc0e06b0
  Adéla Štěpková authored Sep 29, 2024
  
  cc0e06b0
Sep 28, 2024
- update exclude in setup.py · cff6fb32
  Adéla Štěpková authored Sep 28, 2024
  
  cff6fb32
- experiments: statistics for reg-union · 0b15a59b
  Adéla Štěpková authored Sep 28, 2024
  
  0b15a59b
- Merge branch 'main' of https://gitlab.fi.muni.cz/xstepkov/aligater · bf02d63d
  Adéla Štěpková authored Sep 28, 2024
  
  bf02d63d
- update setup to exclude unnecessary scripts · f49e25e9
  Adéla Štěpková authored Sep 28, 2024
  
  f49e25e9
- update README · ee7e8144
  Adéla Štěpková authored Sep 28, 2024
  
  ee7e8144
- Merge branch 'main' of gitlab.fi.muni.cz:xstepkov/aligater · 65ba6af7
  Adéla Štěpková authored Sep 28, 2024
  
  65ba6af7
- add setup for cxfreeze · 6809ec30
  Adéla Štěpková authored Sep 28, 2024
  
  6809ec30
Sep 27, 2024
- experiments: regex union powerset · 46c16776
  Adéla Štěpková authored Sep 27, 2024
  
  46c16776
Sep 26, 2024
- regex parsing: make union of all regexes in a file · e8d59b7c
  Adéla Štěpková authored Sep 26, 2024
  
  e8d59b7c
- plotting · d5ee2e1f
  Adéla Štěpková authored Sep 26, 2024
  
  d5ee2e1f
Sep 23, 2024
- experiments: plots · d3a3a5bd
  Adéla Štěpková authored Sep 23, 2024
  
  d3a3a5bd
- Merge branch 'main' of https://gitlab.fi.muni.cz/xstepkov/aligater · c3b2ea52
  Adéla Štěpková authored Sep 23, 2024
  
  c3b2ea52
- experiments: regexes · 38302820
  Adéla Štěpková authored Sep 23, 2024
  
  38302820
Sep 22, 2024
- update README · 127878f1
  Adéla Štěpková authored Sep 22, 2024
  
  127878f1
Sep 17, 2024
- update TODO · f2655212
  Adéla Štěpková authored Sep 17, 2024
  
  f2655212
- re-enable statistics · c69dbac7
  Adéla Štěpková authored Sep 17, 2024
  
  c69dbac7
- improve performance of reachability computation · 46a3498f
  Adéla Štěpková authored Sep 17, 2024
  
  46a3498f
Sep 16, 2024
- update TODO · 5b1dda9a
  Adéla Štěpková authored Sep 16, 2024
  
  5b1dda9a
- better prefix for error reports · 1b536ba7
  Adéla Štěpková authored Sep 16, 2024
  
  1b536ba7
- Merge branch 'change-dfa-minimization' into 'main' · d7938853
  Adéla Štěpková authored Sep 16, 2024
  d7938853
Sep 15, 2024
- update TODO · 5ad1eecb
  Adéla Štěpková authored Sep 15, 2024
  
  5ad1eecb
- add tests for minimization · 2f4a5675
  Adéla Štěpková authored Sep 15, 2024
  
  2f4a5675
- 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