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

Mar 26, 2024
- 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
- Merge branch 'main' of https://gitlab.fi.muni.cz/xstepkov/aligater · 719850f3
  Adéla Štěpková authored Feb 26, 2024
  
  719850f3
- experiments · 794bfef2
  Adéla Štěpková authored Feb 26, 2024
  
  794bfef2
Feb 25, 2024
- testing shh, small change · dd8e6261
  Adéla Štěpková authored Feb 25, 2024
  
  dd8e6261
- some more experiments · 18b5be95
  Adéla Štěpková authored Feb 25, 2024
  
  18b5be95
- updated .gitignore to ignore build data · 0388a76b
  Adéla Štěpková authored Feb 25, 2024
  
  0388a76b
- some testing of functionality · f80555a6
  Adéla Štěpková authored Feb 25, 2024
  
  f80555a6
- fixed complement validation through mata · ef0441a8
  Adéla Štěpková authored Feb 25, 2024
  
  ef0441a8
- experiments summary · d86edf19
  Adéla Štěpková authored Feb 25, 2024
  
  d86edf19
Feb 23, 2024
- experiments with min cut · 0d4ecfe9
  Adéla Štěpková authored Feb 23, 2024
  
  0d4ecfe9
Feb 22, 2024
- changed weight increasing in min cut, added deterministic+mincut partitioning · 808aab2d
  Adéla Štěpková authored Feb 22, 2024
  
  808aab2d
- experiments · 429cc3f2
  Adéla Štěpková authored Feb 22, 2024
  
  429cc3f2