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

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
- experiments: new gate partitioning comparison · def4447e
  Adéla Štěpková authored Oct 16, 2024
  
  def4447e
Oct 15, 2024
- add info files with best complement method · 798781e0
  Adéla Štěpková authored Oct 15, 2024
  
  798781e0
- create runnable script for intersection complement · 5cfc8176
  Adéla Štěpková authored Oct 15, 2024
  
  5cfc8176
- implement union complement by intersecting groups · 4b29485c
  Adéla Štěpková authored Oct 15, 2024
  
  4b29485c
Oct 13, 2024
- Merge branch 'main' of gitlab.fi.muni.cz:xstepkov/aligater into gate-refactoring · b4e25cb2
  Adéla Štěpková authored Oct 13, 2024
  
  b4e25cb2
- add script to complement automata union · 24b2104d
  Adéla Štěpková authored Oct 13, 2024
  
  24b2104d
- regex experiments plots · 50172d52
  Adéla Štěpková authored Oct 13, 2024
  
  50172d52
- remove unnecessary notebook · c0b77b99
  Adéla Štěpková authored Oct 13, 2024
  
  c0b77b99
- ignore pyinstaller files · abcc2af0
  Adéla Štěpková authored Oct 13, 2024
  
  abcc2af0
- fix pyinstaller instructions in README · e34de4ae
  Adéla Štěpková authored Oct 13, 2024
  
  e34de4ae
- modify CLI for running with benchexec · f6937eb3
  Adéla Štěpková authored Oct 13, 2024
  
  f6937eb3
- experiments: more data for regexes · c16dfc51
  Adéla Štěpková authored Oct 13, 2024
  
  c16dfc51
Oct 10, 2024
- experiments: regexes with correct anchors, add statistics · a404810f
  Adéla Štěpková authored Oct 10, 2024
  
  a404810f
- Merge branch 'main' of https://gitlab.fi.muni.cz/xstepkov/aligater · a6d7cc12
  Adéla Štěpková authored Oct 10, 2024
  
  a6d7cc12
- experiments: regexes with correct anchors · 48c8c76a
  Adéla Štěpková authored Oct 10, 2024
  
  48c8c76a