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

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
- min cut experiments · aa2eebd1
  Adéla Štěpková authored Feb 22, 2024
  
  aa2eebd1
- experiments with min cut · 6aba0d93
  Adéla Štěpková authored Feb 22, 2024
  
  6aba0d93
Feb 21, 2024
- added min cut to experiment filenames · 9961517a
  Adéla Štěpková authored Feb 21, 2024
  
  9961517a
- some plots and testing · 6067cbd2
  Adéla Štěpková authored Feb 21, 2024
  
  6067cbd2
- testing min cut partitioning · 664481de
  Adéla Štěpková authored Feb 21, 2024
  
  664481de
- fixed min cut partitioning · 896b04a5
  Adéla Štěpková authored Feb 21, 2024
  
  896b04a5
- can now translate ext_nfa with non-int states to mata_nfa · 1a5c8f3f
  Adéla Štěpková authored Feb 21, 2024
  
  1a5c8f3f