Skip to content

Add an example app with paths extraction - #49

Merged
UsatovPavel merged 29 commits into
FormalLanguageConstrainedPathQuerying:mainfrom
vkutuev:path-extractor
Oct 17, 2026
Merged

UsatovPavel merged 29 commits into
FormalLanguageConstrainedPathQuerying:mainfrom
vkutuev:path-extractor

Conversation

@vkutuev

@vkutuev vkutuev commented Mar 7, 2026

Copy link
Copy Markdown

Adds a demo application for extracting paths

  • Grammar: field-sensitive pointer analysis
  • All paths stop strategy: dfs with bounded depth

@vkutuev
vkutuev requested review from bachish and gsvgit March 7, 2026 21:20

@bachish bachish left a comment

Copy link
Copy Markdown
Collaborator

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Great that you add human-readable examples. I left some issues, but they are not critical can be fixed in next MR's.

@vkutuev
vkutuev marked this pull request as draft July 14, 2026 16:43

@UsatovPavel UsatovPavel left a comment •

Copy link
Copy Markdown
Collaborator

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Done force-push on this branch to old commit. All of vkatuev branch is in https://github.com/FormalLanguageConstrainedPathQuerying/UCFS/tree/docs-ci
Think that part of draft MR was out of scope and must be verified separately

Comment thread AGENTS.md Resolved
@UsatovPavel
UsatovPavel marked this pull request as ready for review October 17, 2026 16:20
Figures are documentation sources and should not be packaged into the app jar. Update README image links accordingly and ignore generated SPPF output in cfpq-paths-app/gen/.
Upstream added StringExtension.or(Regexp, Regexp) (8635967), which makes the Regexp.or import from the regexp package ambiguous and breaks compilation of Main.kt.
…mples

Unit tests for getPathFromSppf on hand-built SPPF nodes (terminal, epsilon, empty, intermediate/nonterminal concatenation, range alternatives, exhausted depth) and end-to-end tests of PointsToGrammar on the example graphs from README.
@UsatovPavel
UsatovPavel merged commit ebb5e16 into FormalLanguageConstrainedPathQuerying:main Oct 17, 2026
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

4 participants