Commits · 5cfc8176f79ac7934f9e4e2839f8d1eb0fb49d0d · Adéla Štěpková / aligater · GitLab

Oct 15, 2024
- create runnable script for intersection complement · 5cfc8176
  Adéla Štěpková authored Oct 15, 2024
  
  5cfc8176
- implement union complement by intersecting groups · 4b29485c
  Adéla Štěpková authored Oct 15, 2024
  
  4b29485c
Oct 13, 2024
- add script to complement automata union · 24b2104d
  Adéla Štěpková authored Oct 13, 2024
  
  24b2104d
- regex experiments plots · 50172d52
  Adéla Štěpková authored Oct 13, 2024
  
  50172d52
- remove unnecessary notebook · c0b77b99
  Adéla Štěpková authored Oct 13, 2024
  
  c0b77b99
- ignore pyinstaller files · abcc2af0
  Adéla Štěpková authored Oct 13, 2024
  
  abcc2af0
- fix pyinstaller instructions in README · e34de4ae
  Adéla Štěpková authored Oct 13, 2024
  
  e34de4ae
- modify CLI for running with benchexec · f6937eb3
  Adéla Štěpková authored Oct 13, 2024
  
  f6937eb3
- experiments: more data for regexes · c16dfc51
  Adéla Štěpková authored Oct 13, 2024
  
  c16dfc51
Oct 10, 2024
- experiments: regexes with correct anchors, add statistics · a404810f
  Adéla Štěpková authored Oct 10, 2024
  
  a404810f
- Merge branch 'main' of https://gitlab.fi.muni.cz/xstepkov/aligater · a6d7cc12
  Adéla Štěpková authored Oct 10, 2024
  
  a6d7cc12
- experiments: regexes with correct anchors · 48c8c76a
  Adéla Štěpková authored Oct 10, 2024
  
  48c8c76a
Oct 08, 2024
- modify README to inlude steps for running pyinstaller · ae1f0ec4
  Adéla Štěpková authored Oct 08, 2024
  
  ae1f0ec4
Oct 02, 2024
- add test for gate complement · 410bfebb
  Adéla Štěpková authored Oct 02, 2024
  
  410bfebb
Oct 01, 2024
- experiments: reg snort policy · cff51678
  Adéla Štěpková authored Oct 01, 2024
  
  cff51678
- testing regex parsing · 8ed5238d
  Adéla Štěpková authored Oct 01, 2024
  
  8ed5238d
Sep 29, 2024
- plots and exploration: regex union · cc0e06b0
  Adéla Štěpková authored Sep 29, 2024
  
  cc0e06b0
Sep 28, 2024
- update exclude in setup.py · cff6fb32
  Adéla Štěpková authored Sep 28, 2024
  
  cff6fb32
- experiments: statistics for reg-union · 0b15a59b
  Adéla Štěpková authored Sep 28, 2024
  
  0b15a59b
- Merge branch 'main' of https://gitlab.fi.muni.cz/xstepkov/aligater · bf02d63d
  Adéla Štěpková authored Sep 28, 2024
  
  bf02d63d
- update setup to exclude unnecessary scripts · f49e25e9
  Adéla Štěpková authored Sep 28, 2024
  
  f49e25e9
- update README · ee7e8144
  Adéla Štěpková authored Sep 28, 2024
  
  ee7e8144
- Merge branch 'main' of gitlab.fi.muni.cz:xstepkov/aligater · 65ba6af7
  Adéla Štěpková authored Sep 28, 2024
  
  65ba6af7
- add setup for cxfreeze · 6809ec30
  Adéla Štěpková authored Sep 28, 2024
  
  6809ec30
Sep 27, 2024
- experiments: regex union powerset · 46c16776
  Adéla Štěpková authored Sep 27, 2024
  
  46c16776
Sep 26, 2024
- regex parsing: make union of all regexes in a file · e8d59b7c
  Adéla Štěpková authored Sep 26, 2024
  
  e8d59b7c
- plotting · d5ee2e1f
  Adéla Štěpková authored Sep 26, 2024
  
  d5ee2e1f
Sep 23, 2024
- experiments: plots · d3a3a5bd
  Adéla Štěpková authored Sep 23, 2024
  
  d3a3a5bd
- Merge branch 'main' of https://gitlab.fi.muni.cz/xstepkov/aligater · c3b2ea52
  Adéla Štěpková authored Sep 23, 2024
  
  c3b2ea52
- experiments: regexes · 38302820
  Adéla Štěpková authored Sep 23, 2024
  
  38302820
Sep 22, 2024
- update README · 127878f1
  Adéla Štěpková authored Sep 22, 2024
  
  127878f1
Sep 17, 2024
- update TODO · f2655212
  Adéla Štěpková authored Sep 17, 2024
  
  f2655212
- re-enable statistics · c69dbac7
  Adéla Štěpková authored Sep 17, 2024
  
  c69dbac7
- improve performance of reachability computation · 46a3498f
  Adéla Štěpková authored Sep 17, 2024
  
  46a3498f
Sep 16, 2024
- update TODO · 5b1dda9a
  Adéla Štěpková authored Sep 16, 2024
  
  5b1dda9a
- better prefix for error reports · 1b536ba7
  Adéla Štěpková authored Sep 16, 2024
  
  1b536ba7
- Merge branch 'change-dfa-minimization' into 'main' · d7938853
  Adéla Štěpková authored Sep 16, 2024
  d7938853
Sep 15, 2024
- update TODO · 5ad1eecb
  Adéla Štěpková authored Sep 15, 2024
  
  5ad1eecb
- add tests for minimization · 2f4a5675
  Adéla Štěpková authored Sep 15, 2024
  
  2f4a5675
- add utils for new minimization, add int_unoccuring_state · 96dd41ae
  Adéla Štěpková authored Sep 15, 2024
  
  96dd41ae