Commits · 69af38ddab5b949314bc6858932bda0fa0952ba2 · Adéla Štěpková / aligater · GitLab

May 08, 2024
- 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
Apr 21, 2024
- move getting mata alphabet from main to mata_handler, modify mata validation to not need alphabet · 863303be
  Adéla Štěpková authored Apr 21, 2024
  
  863303be
- remove automatalib validation · b5e635ef
  Adéla Štěpková authored Apr 21, 2024
  
  b5e635ef
- move custom complementation to classes · eef5fc1b
  Adéla Štěpková authored Apr 21, 2024
  
  eef5fc1b
Apr 20, 2024
- add TODO file · 3db4f104
  Adéla Štěpková authored Apr 20, 2024
  
  3db4f104
- edit README · 5ba53b63
  Adéla Štěpková authored Apr 20, 2024
  
  5ba53b63
- some plots · 3dd48bec
  Adéla Štěpková authored Apr 20, 2024
  
  3dd48bec
Apr 19, 2024
- some weird merge, hope I didnt break anything · 2a9488be
  Adéla Štěpková authored Apr 19, 2024
  
  2a9488be
- experiments with intersection_all · 94e87f58
  Adéla Štěpková authored Apr 19, 2024
  
  94e87f58
Apr 16, 2024
- fix automaton reversing in main · e5da942e
  Adéla Štěpková authored Apr 16, 2024
  
  e5da942e
- plots with new experiments · f642a6fc
  Adéla Štěpková authored Apr 16, 2024
  
  f642a6fc
- change get_stats_file_name to new interface · e00927db
  Adéla Štěpková authored Apr 16, 2024
  
  e00927db
- experiments: add data with reverse port, gate, and all from noodler/intersection · bb63aef8
  Adéla Štěpková authored Apr 16, 2024
  
  bb63aef8
Apr 08, 2024
- Merge branch 'main' of gitlab.fi.muni.cz:xstepkov/aligater · 9a684719
  Adéla Štěpková authored Apr 08, 2024
  
  9a684719
- add port_det_lrev to file prefixes · a8fa71d0
  Adéla Štěpková authored Apr 08, 2024
  
  a8fa71d0
- change option and mode from enum to class and add reverse option for all · 01303939
  Adéla Štěpková authored Apr 08, 2024
  
  01303939
- experiments with mona · 66f0c72f
  Adéla Štěpková authored Apr 08, 2024
  
  66f0c72f
Apr 07, 2024
- fix deterministic comps and last rev partitioning · b469e5a5
  Adéla Štěpková authored Apr 07, 2024
  
  b469e5a5