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

Browse files

Aug 31, 2025
- send lookahead correctly to RABIT · 6037d251
  Adéla Štěpková authored Aug 31, 2025
  
  6037d251
- add progress messages · 6c620048
  Adéla Štěpková authored Aug 31, 2025
  
  6c620048
- add check for 1 scc automaton in sequential complement · 98ad92bc
  Adéla Štěpková authored Aug 31, 2025
  
  98ad92bc
Jul 04, 2025
- update version · 0bd91eb9
  Adéla Štěpková authored Jul 04, 2025
  
  0bd91eb9
- update readme and CLI options · 22ac6d37
  Adéla Štěpková authored Jul 04, 2025
  
  22ac6d37
Jul 03, 2025
- fix docstring · 51d843b1
  Adéla Štěpková authored Feb 17, 2025
  
  51d843b1
- 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