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

Jul 21, 2024
- change DFA minimization implementation · 8941614b
  Adéla Štěpková authored Jul 21, 2024
  
  8941614b
- add docstring · 84600f94
  Adéla Štěpková authored Jul 21, 2024
  
  84600f94
- add new playground notebook · 51c4a0b8
  Adéla Štěpková authored Jul 21, 2024
  
  51c4a0b8
- outlined gate refactor in TODO · 770b7266
  Adéla Štěpková authored Jul 21, 2024
  
  770b7266
- misc, small changes · c9c953e6
  Adéla Štěpková authored Jul 21, 2024
  
  c9c953e6
- include predecessors info into ComponentGraph · 4d0a2f25
  Adéla Štěpková authored Jul 21, 2024
  
  4d0a2f25
- add to_string method to GateType · 4586b73c
  Adéla Štěpková authored Jul 21, 2024
  
  4586b73c
- add tuple transitions to aliases · 98ac8d3d
  Adéla Štěpková authored Jul 21, 2024
  
  98ac8d3d
- add port sets preprocessing to PortsNFA · 0ac3d730
  Adéla Štěpková authored Jul 21, 2024
  
  0ac3d730
- change filename for data export types to export_types · b1ebb7b8
  Adéla Štěpková authored Jul 21, 2024
  
  b1ebb7b8
- remove commented-out code · 7ce89d72
  Adéla Štěpková authored Jul 21, 2024
  
  7ce89d72
- move GateChecker to separate file, do some refactoring, divide GateType into more components · 5e8cd041
  Adéla Štěpková authored Jul 21, 2024
  
  5e8cd041
- fix complementation interface based on class changes · 4f8879b3
  Adéla Štěpková authored Jul 21, 2024
  
  4f8879b3
- divide GateType into more components · 80882551
  Adéla Štěpková authored Jul 21, 2024
  
  80882551
- move gate types into a separate file · 630f0524
  Adéla Štěpková authored Jul 21, 2024
  
  630f0524
- move gate finding to a class · 4c524982
  Adéla Štěpková authored Jul 21, 2024
  
  4c524982
- add extract_symbols to NFATransitions · a6cf13ac
  Adéla Štěpková authored Jul 21, 2024
  
  a6cf13ac
- add empty method to transitions and get_subautomaton to ExtNFA and PortsNFA · cb0f9324
  Adéla Štěpková authored Jul 21, 2024
  
  cb0f9324
Jul 18, 2024
- plotting · 5133bf03
  Adéla Štěpková authored Jul 18, 2024
  
  5133bf03
Jul 02, 2024
- experiments with group join and no RABIT · 4fd2e382
  Adéla Štěpková authored Jul 02, 2024
  
  4fd2e382
May 31, 2024
- experiments: add data for port complement with group connect · 910097a0
  Adéla Štěpková authored May 31, 2024
  
  910097a0
May 29, 2024
- add notebook for testing isomorphism of automata · 17d0697b
  Adéla Štěpková authored May 29, 2024
  
  17d0697b
- some exploration · 3cfecf16
  Adéla Štěpková authored May 29, 2024
  
  3cfecf16
- update TODO · 7e66a4db
  Adéla Štěpková authored May 29, 2024
  
  7e66a4db
- add translation of ExtNFA to labeled nx graph · 6dd6659f
  Adéla Štěpková authored May 29, 2024
  
  6dd6659f
- add port options to prefix in file export · dce18d9d
  Adéla Štěpková authored May 29, 2024
  
  dce18d9d
May 13, 2024
- experiments: partial results for port complement with group connect · 4a1bd915
  Adéla Štěpková authored May 13, 2024
  
  4a1bd915
May 12, 2024
- experiments: add generator of settings, modify full_exp.sh to take settings from file · 075814cf
  Adéla Štěpková authored May 12, 2024
  
  075814cf
May 10, 2024
- Merge branch 'complement_restructuring' into 'main' · f99c9583
  Adéla Štěpková authored May 10, 2024
  f99c9583
- remove deprecated files · b5daa358
  Adéla Štěpková authored May 10, 2024
  
  b5daa358
- port complement debugging, add transitions cache · 28b99c82
  Adéla Štěpková authored May 10, 2024
  
  28b99c82
- add support for different output file extensions · 9b4cdbe5
  Adéla Štěpková authored May 10, 2024
  
  9b4cdbe5
- add save_to_file function for different extensions · 3a30a3df
  Adéla Štěpková authored May 10, 2024
  
  3a30a3df
- update TODO · c445e0e1
  Adéla Štěpková authored May 10, 2024
  
  c445e0e1
- add install_requires to setup.py · 5ffca5a6
  Adéla Štěpková authored May 10, 2024
  
  5ffca5a6
- update README, more detailed installation · 5791e266
  Adéla Štěpková authored May 10, 2024
  
  5791e266
May 09, 2024
- move determinization to PortPartitioner, compute internal entry ports after determinization · dfbf113a
  Adéla Štěpková authored May 09, 2024
  
  dfbf113a
- add a script for validating complements · 5371f871
  Adéla Štěpková authored May 09, 2024
  
  5371f871
May 08, 2024
- delete some test csvs from experimetnts · 299ff7ee
  Adéla Štěpková authored May 08, 2024
  
  299ff7ee
- add support for new aligater options in experiment scripts · 32a0ed39
  Adéla Štěpková authored May 08, 2024
  
  32a0ed39