Commits · bdaa19da33bf68319c489a24635ad0fc47d74774 · Adéla Štěpková / aligater

Browse files

Jul 03, 2025
- rename directory with gate complement examples to gate_examples · bdaa19da
  Adéla Štěpková authored Feb 16, 2025
  
  bdaa19da
Feb 16, 2025
- try more last reverse deterministic components · dfbb0cc4
  Adéla Štěpková authored Feb 16, 2025
  
  dfbb0cc4
- add residual reduction · 20df4862
  Adéla Štěpková authored Feb 16, 2025
  
  20df4862
- change required version of mata · fd21bbca
  Adéla Štěpková authored Feb 16, 2025
  
  fd21bbca
- .gitignore to ignore .venv properly · c8eb8f75
  Adéla Štěpková authored Feb 16, 2025
  
  c8eb8f75
Feb 12, 2025
- fix prefix in data export · 96c82bba
  Adéla Štěpková authored Feb 12, 2025
  
  96c82bba
Feb 11, 2025
- add residual complementation · 19874e63
  Adéla Štěpková authored Feb 11, 2025
  
  19874e63
- fix main · eb9d6efd
  Adéla Štěpková authored Feb 11, 2025
  
  eb9d6efd
- fix tests · 7a00bbe6
  Adéla Štěpková authored Feb 11, 2025
  
  7a00bbe6
- main and interface from old version · e7ba3355
  Adéla Štěpková authored Feb 11, 2025
  
  e7ba3355
- update TODO · 97c5eadf
  Adéla Štěpková authored Feb 11, 2025
  
  97c5eadf
- add small random automata for testing · 0c1de30c
  Adéla Štěpková authored Feb 11, 2025
  
  0c1de30c
- rename port to seq in CLI · 6d2dd289
  Adéla Štěpková authored Feb 11, 2025
  
  6d2dd289
- heuristic powerset in seq and gate · 393232f1
  Adéla Štěpková authored Feb 11, 2025
  
  393232f1
- add TODO file · 38243631
  Adéla Štěpková authored Feb 11, 2025
  
  38243631
Feb 04, 2025
- some statistics · aed09ea1
  Adéla Štěpková authored Feb 04, 2025
  
  aed09ea1
- remove unused imports · 2130f38d
  Adéla Štěpková authored Feb 04, 2025
  
  2130f38d
- update setup.py to a newer version of libmata · 589f9c08
  Adéla Štěpková authored Feb 04, 2025
  
  589f9c08
- make hopcroft minimization the default DFA minimization · 00b4ee05
  Adéla Štěpková authored Feb 04, 2025
  
  00b4ee05
- more cleanup · 34dcacbf
  Adéla Štěpková authored Feb 04, 2025
  
  34dcacbf
- clean up old files · 7d5ae48b
  Adéla Štěpková authored Feb 04, 2025
  
  7d5ae48b
Feb 03, 2025
- improve readme · 3f3de3ef
  Adéla Štěpková authored Feb 03, 2025
  
  3f3de3ef
- improve CLI · 85473121
  Adéla Štěpková authored Feb 03, 2025
  
  85473121
- more changes, unfinished · 4dd26c70
  Adéla Štěpková authored Feb 03, 2025
  
  4dd26c70
- start changing CLI, unfinished · 0a54f26c
  Adéla Štěpková authored Feb 03, 2025
  
  0a54f26c
Feb 02, 2025
- add heuristic for forward-first/reverse-first · e9327902
  Adéla Štěpková authored Feb 02, 2025
  
  e9327902
- remove commented out code · 706703c3
  Adéla Štěpková authored Feb 02, 2025
  
  706703c3
- remove old prints · a37dabd4
  Adéla Štěpková authored Feb 02, 2025
  
  a37dabd4
Feb 01, 2025
- check demonstration notebook · 790889e5
  Adéla Štěpková authored Feb 01, 2025
  
  790889e5
- run missing statistics data · 3a9959d4
  Adéla Štěpková authored Feb 01, 2025
  
  3a9959d4
- cleanup todo · 2ad189fb
  Adéla Štěpková authored Feb 01, 2025
  
  2ad189fb
- cleanup readme · 66eda32d
  Adéla Štěpková authored Feb 01, 2025
  
  66eda32d
Jan 23, 2025
- Merge branch 'main' of gitlab.fi.muni.cz:xstepkov/aligater · e9f31aff
  Adéla Štěpková authored Jan 23, 2025
  
  e9f31aff
- cleanup in regex parsers · b651de5f
  Adéla Štěpková authored Jan 23, 2025
  
  b651de5f
- running experiments · 32bbf4b7
  Adéla Štěpková authored Jan 23, 2025
  
  32bbf4b7
Dec 18, 2024
- update help for force rev · 4caa38f9
  Adéla Štěpková authored Dec 18, 2024
  
  4caa38f9
- complement las component in port complement with forward instead of best of · 1f25e375
  Adéla Štěpková authored Dec 18, 2024
  
  1f25e375
- update readme · f7320e58
  Adéla Štěpková authored Dec 18, 2024
  
  f7320e58
Nov 29, 2024
- more exploring of heuristics for port complement · e6bc80a8
  Adéla Štěpková authored Nov 29, 2024
  
  e6bc80a8
Nov 28, 2024
- update statistics with data for port heuristic · 0dcc0ca4
  Adéla Štěpková authored Nov 28, 2024
  
  0dcc0ca4