Issues

• The TestDotParser test in the solver module fails.

  FormalLanguageConstrainedPathQuerying/UCFS#51 · Filter by author GRIGAeo opened on Apr 28, 2026

• StackOverflowError in getAlphabet() on large grammars

  FormalLanguageConstrainedPathQuerying/UCFS#47 · Filter by author RodionovMaxim05 opened on Feb 18, 2026

• Fix tre building

  FormalLanguageConstrainedPathQuerying/UCFS#33 · Filter by author bachish opened on Jan 6, 2025

• Update time-benchmark system

  FormalLanguageConstrainedPathQuerying/UCFS#32 · Filter by author bachish opened on Aug 27, 2024
  

• Separate incrementality logic

  FormalLanguageConstrainedPathQuerying/UCFS#23 · Filter by author bachish opened on Apr 11, 2024

• Speed up generator tests

  FormalLanguageConstrainedPathQuerying/UCFS#19 · Filter by author bachish opened on Mar 22, 2024

• RSM Edges

  enhancement
  FormalLanguageConstrainedPathQuerying/UCFS#18 · Filter by author cyb3r-b4stard opened on Mar 20, 2024
  

• Parser generator: access to rules API

  FormalLanguageConstrainedPathQuerying/UCFS#13 · Filter by author bachish opened on Jan 19, 2024
  

• Build a hierarchy for RsmState class

  FormalLanguageConstrainedPathQuerying/UCFS#12 · Filter by author bachish opened on Jan 19, 2024

• Nonterminals serialization

  FormalLanguageConstrainedPathQuerying/UCFS#8 · Filter by author bachish opened on Nov 28, 2023

• RSM modification

  FormalLanguageConstrainedPathQuerying/UCFS#4 · Filter by author bachish opened on Nov 16, 2023