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

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
- reflect partitioning file restructuring in __init__ · ed5f1726
  Adéla Štěpková authored May 08, 2024
  
  ed5f1726
- rename complementt handler to interface · b86fa9cb
  Adéla Štěpková authored May 08, 2024
  
  b86fa9cb
- modify gate complement to take PortsNFA · d2951867
  Adéla Štěpková authored May 08, 2024
  
  d2951867
- change string counter to int for state renaming in powerset · 69af38dd
  Adéla Štěpková authored May 08, 2024
  
  69af38dd
- fix bugs after restructuring port complement · dbc0032f
  Adéla Štěpková authored May 08, 2024
  
  dbc0032f
- add precomputation of needed ports for port complement · be758bb0
  Adéla Štěpková authored May 08, 2024
  
  be758bb0
- changes to work with new partition and connect modes · 01bc5bd4
  Adéla Štěpková authored May 08, 2024
  
  01bc5bd4
- add port partition and connect modes to __init__.py · d1fb5d62
  Adéla Štěpková authored May 08, 2024
  
  d1fb5d62
- remove unnecessary imports · 96093f51
  Adéla Štěpková authored May 08, 2024
  
  96093f51
- add port partition and connect modes · 0fddf9bb
  Adéla Štěpková authored May 08, 2024
  
  0fddf9bb
- add port partition and connect options to CLI · 0fcf3440
  Adéla Štěpková authored May 08, 2024
  
  0fcf3440
- add notebook for testing automata intersection · 8413470e
  Adéla Štěpková authored May 08, 2024
  
  8413470e
- update TODO · 586c4248
  Adéla Štěpková authored May 08, 2024
  
  586c4248
May 06, 2024
- small updates to keep up with partitioning changes · 062ab434
  Adéla Štěpková authored May 06, 2024
  
  062ab434
- change Complement classes to take PortsNFA instead of ExtNFA · 6233efdb
  Adéla Štěpková authored May 06, 2024
  
  6233efdb
- restructure partitioning, move everything to classes · 1f9ee939
  Adéla Štěpková authored May 06, 2024
  
  1f9ee939
- add reverse and copy methods for PortsNFA · 2b8260ae
  Adéla Štěpková authored May 06, 2024
  
  2b8260ae
- move PortOptions to types · e54cf4a1
  Adéla Štěpková authored May 06, 2024
  
  e54cf4a1
Apr 25, 2024
- update to new handling of ports · 8c7ce7c0
  Adéla Štěpková authored Apr 25, 2024
  
  8c7ce7c0
- refactor port complement · e055a5a8
  Adéla Štěpková authored Apr 25, 2024
  
  e055a5a8
- add remove dead and unreachable for MappedPortsNFA · 5f41d3b9
  Adéla Štěpková authored Apr 25, 2024
  
  5f41d3b9
- add rename states for MappedPortNFA · deccd5b9
  Adéla Štěpková authored Apr 25, 2024
  
  deccd5b9
- update functions to different port handling · f909098e
  Adéla Štěpková authored Apr 25, 2024
  
  f909098e
Apr 23, 2024
- assign SCC finding to networkx · 69efaccf
  Adéla Štěpková authored Apr 23, 2024
  
  69efaccf
Apr 22, 2024
- edit TODO · 855a9243
  Adéla Štěpková authored Apr 22, 2024
  
  855a9243
- move ports from ExtendedNFA to PortsNFA, fix gate complementation to work with it · d8a67fad
  Adéla Štěpková authored Apr 22, 2024
  
  d8a67fad