Commits · 790889e5aeb98e1ffe630685850df9999fe5c1df · Adéla Štěpková / aligater · GitLab

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
- filter unique regexes · 481d5823
  Adéla Štěpková authored Nov 08, 2024
  
  481d5823
- add reduction through mata after complementation · f1b78958
  Adéla Štěpková authored Nov 08, 2024
  
  f1b78958
Nov 07, 2024
- add quantile plot of nondeterminism metrics · c1cb5b42
  Adéla Štěpková authored Nov 07, 2024
  
  c1cb5b42
- more improvements in regex parsing · 305bc108
  Adéla Štěpková authored Nov 07, 2024
  
  305bc108
Nov 06, 2024
- more fixes in regex parsing · a479f22d
  Adéla Štěpková authored Nov 06, 2024
  
  a479f22d
- add regex correction to regex parsing · 66f065c6
  Adéla Štěpková authored Nov 06, 2024
  
  66f065c6
Nov 05, 2024
- Merge branch 'gate-refactoring' into 'main' · afa8f07f
  Adéla Štěpková authored Nov 05, 2024
  afa8f07f
- Merge branch 'main' of gitlab.fi.muni.cz:xstepkov/aligater into gate-refactoring · 84f0f578
  Adéla Štěpková authored Nov 05, 2024
  
  84f0f578
Nov 04, 2024
- plots: exploring metric for forward/reverse powerset · c8d359df
  Adéla Štěpková authored Nov 04, 2024
  
  c8d359df
Nov 01, 2024
- experiments: add more info about nondeterminism to stats · 59a46e0e
  Adéla Štěpková authored Nov 01, 2024
  
  59a46e0e
- add more more info about nondeterminism to statistics · 65b2886a
  Adéla Štěpková authored Nov 01, 2024
  
  65b2886a
- count regexes with non-ascii characters · a7757a33
  Adéla Štěpková authored Nov 01, 2024
  
  a7757a33
Oct 29, 2024
- plots · 2bbf941e
  Adéla Štěpková authored Oct 29, 2024
  
  2bbf941e
- plots: export some plots to HTML · 9aa1f78a
  Adéla Štěpková authored Oct 29, 2024
  
  9aa1f78a
Oct 17, 2024
- more plots · 597c8015
  Adéla Štěpková authored Oct 17, 2024
  
  597c8015
- remove spurious show_diagram from gate complement · 49852115
  Adéla Štěpková authored Oct 17, 2024
  
  49852115