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

Browse files

Feb 11, 2025
- 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
- add data for port heuristics to statistics · c988f9c0
  Adéla Štěpková authored Nov 28, 2024
  
  c988f9c0
- make error dots in plots the same color as the rest · d883e78a
  Adéla Štěpková authored Nov 28, 2024
  
  d883e78a
- add new benchmark groups · ffeff045
  Adéla Štěpková authored Nov 28, 2024
  
  ffeff045
- plots for exploring port complement heuristics · 7ce272fb
  Adéla Štěpková authored Nov 28, 2024
  
  7ce272fb
Nov 18, 2024
- running statistics · 7cb5a763
  Adéla Štěpková authored Nov 18, 2024
  
  7cb5a763
- add forward-first and reverse-first complementation · 0795d7f1
  Adéla Štěpková authored Nov 18, 2024
  
  0795d7f1
Nov 10, 2024
- use brzozowski minimization on powerset · 4d04755b
  Adéla Štěpková authored Nov 10, 2024
  
  4d04755b
Nov 08, 2024
- update TODO · e8b7938b
  Adéla Štěpková authored Nov 08, 2024
  
  e8b7938b
- add minimization through mata.reduce with ports tracking · 6e0222e9
  Adéla Štěpková authored Nov 08, 2024
  
  6e0222e9
- add docstring · d61d33a3
  Adéla Štěpková authored Nov 08, 2024
  
  d61d33a3
- validate out ports equivalence with original initial states · 186ee381
  Adéla Štěpková authored Nov 08, 2024
  
  186ee381
- add docstring · 01a127dc
  Adéla Štěpková authored Nov 08, 2024
  
  01a127dc