Repository navigation

Add an example app with paths extraction - #49

Merged

UsatovPavel merged 29 commits into

FormalLanguageConstrainedPathQuerying:mainfrom

vkutuev:path-extractor

Oct 17, 2026

Merged

Add an example app with paths extraction#49
UsatovPavel merged 29 commits into
FormalLanguageConstrainedPathQuerying:mainfrom
vkutuev:path-extractor

Commits on Feb 10, 2026
- Add Regexp-Regexp Concat operator for Grammar DSL
  vkutuev
  committed
  79c0dd3
- Add paths extraction app
  vkutuev
  committed
  36a33ce
- Add more examples
  vkutuev
  committed
  5ece2ae
Commits on Feb 11, 2026
- Optimize imports in path extractor
  vkutuev
  committed
  38dd6a0
- Remove unneeded class in path extractor
  vkutuev
  committed
  8672268
- Add sppf saving to path extractor
  vkutuev
  committed
  573f321
- Corrected grammar. More examples.
  gsvgit
  committed
  7e7ea11
- Multiple paths from loops.
  gsvgit
  committed
  0f27589
- Corrected grammar. Corrected examples.
  gsvgit
  committed
  38072c4
- Brief readme.
  gsvgit
  committed
  0cc147c
- Small code cleanup.
  gsvgit
  committed
  dc6ab72
- Corrected grammar. More examples.
  
  gsvgit
  authored and
  vkutuev
  committed
  77f2a5e
- Multiple paths from loops.
  
  gsvgit
  authored and
  vkutuev
  committed
  85a5231
- Corrected grammar. Corrected examples.
  
  gsvgit
  authored and
  vkutuev
  committed
  03b2582
- Brief readme.
  
  gsvgit
  authored and
  vkutuev
  committed
  b813da6
- Small code cleanup.
  
  gsvgit
  authored and
  vkutuev
  committed
  19c1444
Commits on Feb 20, 2026
- Fix examples. Not finished.
  gsvgit
  committed
  ff15198
- Added explicit Points-to analysis
  gsvgit
  committed
  5ca7f8a
- Draft of updated readme.
  gsvgit
  committed
  9d28557
- Impreved readme: detailed description of examples
  gsvgit
  committed
  cb70a3c
- Missed figures
  gsvgit
  committed
  cb8c88e
- Merge branch 'path-extractor' into path-extractor
  gsvgit
  authored
  5c16ff5
- Merge pull request #2 from gsvgit/path-extractor
  vkutuev
  authored
  4ddcde2
Commits on Mar 8, 2026
- Fix module and packages names
  vkutuev
  committed
  7ddd261
Commits on Oct 17, 2026