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

Apr 08, 2024
- add port_det_lrev to file prefixes · a8fa71d0
  Adéla Štěpková authored Apr 08, 2024
  
  a8fa71d0
- change option and mode from enum to class and add reverse option for all · 01303939
  Adéla Štěpková authored Apr 08, 2024
  
  01303939
Apr 07, 2024
- fix deterministic comps and last rev partitioning · b469e5a5
  Adéla Štěpková authored Apr 07, 2024
  
  b469e5a5
- plots · 0da0746f
  Adéla Štěpková authored Apr 07, 2024
  
  0da0746f
- Merge branch 'main' of gitlab.fi.muni.cz:xstepkov/aligater · 6672175c
  Adéla Štěpková authored Apr 07, 2024
  
  6672175c
- plotting and experiments cleanup · 60929a2a
  Adéla Štěpková authored Apr 07, 2024
  
  60929a2a
- plotting and csv cleanup · ea4bbc3c
  Adéla Štěpková authored Apr 07, 2024
  
  ea4bbc3c
- remove benchmarks from repository · e99719e2
  Adéla Štěpková authored Apr 07, 2024
  
  e99719e2
- the rest of experiments armc · 41702851
  Adéla Štěpková authored Apr 07, 2024
  
  41702851
Mar 27, 2024
- experiments: continuing armc and 2comp with gaston · 897fea86
  Adéla Štěpková authored Mar 27, 2024
  
  897fea86
Mar 26, 2024
- add lists of timeouted benchmarks to run again · d3c90499
  Adéla Štěpková authored Mar 26, 2024
  
  d3c90499
- rerun timeouted powerset with minimization · 32716d6a
  Adéla Štěpková authored Mar 26, 2024
  
  32716d6a
- add merging rows with same name to xml parsing · 852d28d6
  Adéla Štěpková authored Mar 26, 2024
  
  852d28d6
Mar 20, 2024
- armc experiments: some stats · eca08e1c
  Adéla Štěpková authored Mar 20, 2024
  
  eca08e1c
- Merge branch 'main' of https://gitlab.fi.muni.cz/xstepkov/aligater · 652b7f66
  Adéla Štěpková authored Mar 20, 2024
  
  652b7f66
- file moving script: add removal of lines libmata cannot parse · 3af0a3f1
  Adéla Štěpková authored Mar 20, 2024
  
  3af0a3f1
- parser: mata format: add ignoring of other lines starting with % · abf5d8ae
  Adéla Štěpková authored Mar 20, 2024
  
  abf5d8ae
- experiments: parttial experiment results for armc · 5b991412
  Adéla Štěpková authored Mar 20, 2024
  
  5b991412
Mar 19, 2024
- experiments: some new plotting and statistics · 43aa825e
  Adéla Štěpková authored Mar 19, 2024
  
  43aa825e
- experiments: plot comparison of implementations · cd74377c
  Adéla Štěpková authored Mar 19, 2024
  
  cd74377c
- experiments: add csv files for comparison of my and Tomas's implementation · 1985cde3
  Adéla Štěpková authored Mar 19, 2024
  
  1985cde3
Mar 17, 2024
- experiments: update paths in compile_data.py to nfa-bench · 58eb4aa1
  Adéla Štěpková authored Mar 17, 2024
  
  58eb4aa1
Mar 13, 2024
- mata complementation: change minimization on-the-fly to complement -> minimization separately · 408e6679
  Adéla Štěpková authored Mar 13, 2024
  
  408e6679
Mar 12, 2024
- plots and exploration · f69fc86f
  Adéla Štěpková authored Mar 12, 2024
  
  f69fc86f
- uncomment local .vtf parser: · 01761602
  Adéla Štěpková authored Mar 12, 2024
  01761602
- remove help print · aa5e746c
  Adéla Štěpková authored Mar 12, 2024
  
  aa5e746c
- add scripts for flattening directories · 8e4b5347
  Adéla Štěpková authored Mar 12, 2024
  
  8e4b5347
- experiments · 210d6f2d
  Adéla Štěpková authored Mar 12, 2024
  
  210d6f2d
Mar 11, 2024
- testing specific complementation in a notebook · 2b2ba27c
  Adéla Štěpková authored Mar 11, 2024
  
  2b2ba27c
- plots and exploration · 558483ea
  Adéla Štěpková authored Mar 11, 2024
  
  558483ea
- add option to complement with reverse powerset when there is a choice · 302f6e21
  Adéla Štěpková authored Mar 11, 2024
  
  302f6e21
- update docstring in best_complement · e26ae9ed
  Adéla Štěpková authored Mar 11, 2024
  
  e26ae9ed
- update help message · 360e4fc3
  Adéla Štěpková authored Mar 11, 2024
  
  360e4fc3
Mar 01, 2024
- reexported simplified string solving automata · 3fe4edce
  Adéla Štěpková authored Mar 01, 2024
  
  3fe4edce
- updated .gitignore to ignore everything in output · 44b90409
  Adéla Štěpková authored Mar 01, 2024
  
  44b90409
- making statistics about exploding automata · e9f8c402
  Adéla Štěpková authored Mar 01, 2024
  
  e9f8c402
- making statistics about exploding automata · 81ee06e5
  Adéla Štěpková authored Mar 01, 2024
  
  81ee06e5
Feb 27, 2024
- experiments · e2cba46b
  Adéla Štěpková authored Feb 27, 2024
  
  e2cba46b
Feb 26, 2024
- ua experiments · 9b27d1f8
  Adéla Štěpková authored Feb 26, 2024
  
  9b27d1f8
- experiments ultimate automizer · 843bd925
  Adéla Štěpková authored Feb 26, 2024
  
  843bd925