Commits · 8413470e647ba6ba622eeb3b9f5466191b81c1cd · Adéla Štěpková / aligater · GitLab

May 08, 2024
- 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
- plots · 0da0746f
  Adéla Štěpková authored Apr 07, 2024
  
  0da0746f
- Merge branch 'main' of gitlab.fi.muni.cz:xstepkov/aligater · 6672175c
  Adéla Štěpková authored Apr 07, 2024
  
  6672175c
- plotting and experiments cleanup · 60929a2a
  Adéla Štěpková authored Apr 07, 2024
  
  60929a2a
- plotting and csv cleanup · ea4bbc3c
  Adéla Štěpková authored Apr 07, 2024
  
  ea4bbc3c
- remove benchmarks from repository · e99719e2
  Adéla Štěpková authored Apr 07, 2024
  
  e99719e2
- the rest of experiments armc · 41702851
  Adéla Štěpková authored Apr 07, 2024
  
  41702851
Mar 27, 2024
- experiments: continuing armc and 2comp with gaston · 897fea86
  Adéla Štěpková authored Mar 27, 2024
  
  897fea86
Mar 26, 2024
- add lists of timeouted benchmarks to run again · d3c90499
  Adéla Štěpková authored Mar 26, 2024
  
  d3c90499