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

Browse files

Oct 16, 2024
- plots: comparing old and new gate partition · 5f37cb36
  Adéla Štěpková authored Oct 16, 2024
  
  5f37cb36
- experiments: new gate partitioning comparison · def4447e
  Adéla Štěpková authored Oct 16, 2024
  
  def4447e
Oct 13, 2024
- Merge branch 'main' of gitlab.fi.muni.cz:xstepkov/aligater into gate-refactoring · b4e25cb2
  Adéla Štěpková authored Oct 13, 2024
  
  b4e25cb2
- 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 03, 2024
- fix bugs in equal partition checking · 614db1ab
  Adéla Štěpková authored Oct 03, 2024
  
  614db1ab
Oct 02, 2024
- fix transitions removal in gate checker · 667cebdd
  Adéla Štěpková authored Oct 02, 2024
  
  667cebdd
- add test for gate complement · 410bfebb
  Adéla Štěpková authored Oct 02, 2024
  
  410bfebb
- regex parsing exploration · c2514a78
  Adéla Štěpková authored Oct 02, 2024
  
  c2514a78
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
- update TODO · 40348d1c
  Adéla Štěpková authored Oct 01, 2024
  
  40348d1c
- change tests · ac0a30b2
  Adéla Štěpková authored Oct 01, 2024
  
  ac0a30b2
- fix bugs · dd40cd54
  Adéla Štěpková authored Oct 01, 2024
  
  dd40cd54
- fix bugs · 3490b2e7
  Adéla Štěpková authored Oct 01, 2024
  
  3490b2e7
- add tests · b5f462b6
  Adéla Štěpková authored Oct 01, 2024
  
  b5f462b6
Sep 30, 2024
- update TODO · a287686d
  Adéla Štěpková authored Sep 30, 2024
  
  a287686d
- refactor gate complement, add dicjoint grp · f5aa643b
  Adéla Štěpková authored Sep 30, 2024
  
  f5aa643b
Sep 29, 2024
- fix some bugs · 5dfc642b
  Adéla Štěpková authored Sep 29, 2024
  
  5dfc642b
- add tests · a8c0d212
  Adéla Štěpková authored Sep 29, 2024
  
  a8c0d212
- 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
- notebooks: testling libmata behavior · fd922435
  Adéla Štěpková authored Sep 28, 2024
  
  fd922435
Sep 27, 2024
- update TODO · 35ee0ace
  Adéla Štěpková authored Sep 27, 2024
  
  35ee0ace
- gate refactor: finish partitioning · 220ca720
  Adéla Štěpková authored Sep 27, 2024
  
  220ca720