Commits · 0dcc0ca4fa572d2aa5892fe183632f3c590b283d · Adéla Štěpková / aligater · GitLab

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
- fix compliment arg parsing · 2da58cf5
  Adéla Štěpková authored Oct 17, 2024
  
  2da58cf5
- plots: add more plots to regex partition comparison · d4aa3e7a
  Adéla Štěpková authored Oct 17, 2024
  
  d4aa3e7a
- Merge branch 'gate-refactoring' of https://gitlab.fi.muni.cz/xstepkov/aligater ... · 6d40274e
  Adéla Štěpková authored Oct 17, 2024
  6d40274e
- experiments: new gate partition comparison · a45ccde7
  Adéla Štěpková authored Oct 17, 2024
  
  a45ccde7
- plots: add more plots for new gate partition exploration · 8f25d15b
  Adéla Štěpková authored Oct 17, 2024
  
  8f25d15b
- fix bug in exp_utils · 436901b8
  Adéla Štěpková authored Oct 17, 2024
  
  436901b8
- plot: results for union regex complement by parts · 241b3640
  Adéla Štěpková authored Oct 17, 2024
  
  241b3640
- fix min extraction in exp_utils for deprecated behavior · e349a615
  Adéla Štěpková authored Oct 17, 2024
  
  e349a615
- regex union complement: change paths in scripts, add result validation · 3b8df167
  Adéla Štěpková authored Oct 17, 2024
  
  3b8df167
Oct 16, 2024
- plots: comparing old and new gate partition · 5f37cb36
  Adéla Štěpková authored Oct 16, 2024
  
  5f37cb36
- plots · 70ea30ff
  Adéla Štěpková authored Oct 16, 2024
  
  70ea30ff