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

Dec 04, 2023
- small changes · 8c18ebcb
  Adéla Štěpková authored Dec 04, 2023
  
  8c18ebcb
- fixed bug in determinization · fbf5d638
  Adéla Štěpková authored Dec 04, 2023
  
  fbf5d638
- bugfix in is_deterministic() · 5c2f74c3
  Adéla Štěpková authored Dec 04, 2023
  
  5c2f74c3
- running experiments + improved file storing · caade629
  Adéla Štěpková authored Dec 04, 2023
  
  caade629
- exported plots from experiments · c99ccebf
  Adéla Štěpková authored Dec 04, 2023
  
  c99ccebf
- experiment results · 6779f2dc
  Adéla Štěpková authored Dec 04, 2023
  
  6779f2dc
Dec 02, 2023
- minor changes · e3f4e51a
  Adéla Štěpková authored Dec 02, 2023
  
  e3f4e51a
- improved plot exporting · 49276b31
  Adéla Štěpková authored Dec 02, 2023
  
  49276b31
- automatark benchmarks · 41e9f384
  Adéla Štěpková authored Dec 02, 2023
  
  41e9f384
- script for easy pic exporting · 7786a080
  Adéla Štěpková authored Dec 02, 2023
  
  7786a080
Nov 28, 2023
- implemented 2 component partition · eab4bad7
  Adéla Štěpková authored Nov 28, 2023
  
  eab4bad7
- moved all scc-related things to partitioning.py · 24c4c09a
  Adéla Štěpková authored Nov 28, 2023
  
  24c4c09a
- some removing of junk · 0b320e3f
  Adéla Štěpková authored Nov 28, 2023
  
  0b320e3f
- small changes · ae6780fa
  Adéla Štěpková authored Nov 28, 2023
  
  ae6780fa
- some project changes in RABIT · 15940c4e
  Adéla Štěpková authored Nov 28, 2023
  
  15940c4e
- moved compliments to separate folder · e3bb922c
  Adéla Štěpková authored Nov 28, 2023
  
  e3bb922c
- moved compliments to separate folder · c2bcb23d
  Adéla Štěpková authored Nov 28, 2023
  
  c2bcb23d
- moved experiments from bachelors thesis to a separate directory · 735883a3
  Adéla Štěpková authored Nov 28, 2023
  
  735883a3
- moved exploration of UA automata to experiments · 1572b5e4
  Adéla Štěpková authored Nov 28, 2023
  
  1572b5e4
- some new experiments · 44f0fb2a
  Adéla Štěpková authored Nov 28, 2023
  
  44f0fb2a
- some other ignores · b50963c6
  Adéla Štěpková authored Nov 28, 2023
  
  b50963c6
- new nfas - small generated and from mona · 18b2984e
  Adéla Štěpková authored Nov 28, 2023
  
  18b2984e
- ignore pictures · 0e921637
  Adéla Štěpková authored Nov 28, 2023
  
  0e921637
- changed component handling to data structure ComponentInfo · bf167e76
  Adéla Štěpková authored Nov 28, 2023
  
  bf167e76
- get filename for experiment file from mode · 5b85458a
  Adéla Štěpková authored Nov 28, 2023
  
  5b85458a
Nov 27, 2023
- added in ports optimization and lookahead · 9c206d80
  Adéla Štěpková authored Nov 27, 2023
  
  9c206d80
- added lookahead and rabit min after options · 492f1068
  Adéla Štěpková authored Nov 27, 2023
  
  492f1068
Nov 23, 2023
- updated demonstration to new user interface · a26894c1
  Adéla Štěpková authored Nov 23, 2023
  
  a26894c1
- updated demonstration to new user interface · c4425424
  Adéla Štěpková authored Nov 23, 2023
  
  c4425424
- improved user interface and exporting · 4673c12a
  Adéla Štěpková authored Nov 23, 2023
  
  4673c12a
- fixed bugs in find_sink and remove_unreachable · 57200914
  Adéla Štěpková authored Nov 23, 2023
  
  57200914
- removed unused functions · 90a53657
  Adéla Štěpková authored Nov 23, 2023
  
  90a53657
- new experiment pipeline · 84ce2bfe
  Adéla Štěpková authored Nov 23, 2023
  
  84ce2bfe
Nov 21, 2023
- added rabit minimization of last component · fed1b28f
  Adéla Štěpková authored Nov 21, 2023
  
  fed1b28f
- improved argument parsing · 5710ce38
  Adéla Štěpková authored Nov 21, 2023
  
  5710ce38
- added random generating of compliments · 25c6d11a
  Adéla Štěpková authored Nov 21, 2023
  
  25c6d11a
- moved help text to file · 5a238fbc
  Adéla Štěpková authored Nov 21, 2023
  
  5a238fbc
Nov 20, 2023
- added rabit minimization · cba991be
  Adéla Štěpková authored Nov 20, 2023
  
  cba991be
- added rabit minimization · efb5c35c
  Adéla Štěpková authored Nov 20, 2023
  
  efb5c35c
- moved language equivalence checking to utils · 58bf16bd
  Adéla Štěpková authored Nov 20, 2023
  
  58bf16bd