Issues

• Bound NFA-to-DFA stress test to prevent hard-gate OOM

  task
  FormalLanguageConstrainedPathQuerying/FLPQ_sharp_edu#22 · Filter by author gsvgit opened on Oct 23, 2026
  1

• Find minimal trigger examples for GLL stored-pops & RNGLR passing-reductions

  task
  FormalLanguageConstrainedPathQuerying/FLPQ_sharp_edu#21 · Filter by author gsvgit opened on Oct 23, 2026
  4

• Refine Kronecker CFPQ viz: render K block vertical lines + final-front newly-visited final-state highlights

  task
  FormalLanguageConstrainedPathQuerying/FLPQ_sharp_edu#20 · Filter by author gsvgit opened on Oct 22, 2026
  1

• Kronecker viz: front final-state highlights + fix K column labels and vertical lines

  task
  FormalLanguageConstrainedPathQuerying/FLPQ_sharp_edu#19 · Filter by author gsvgit opened on Oct 22, 2026

• Refine Kronecker CFPQ viz: new-cell highlights, empty-set dots, K block lines

  task
  FormalLanguageConstrainedPathQuerying/FLPQ_sharp_edu#18 · Filter by author gsvgit opened on Oct 22, 2026

• Refine Kronecker CFPQ step visualization (indices, edges, front highlights)

  task
  FormalLanguageConstrainedPathQuerying/FLPQ_sharp_edu#17 · Filter by author gsvgit opened on Oct 21, 2026

• Improve visualization of Kronecker CFPQ: step-by-step product, MS-BFS fronts, and new nonterminal edges

  task
  FormalLanguageConstrainedPathQuerying/FLPQ_sharp_edu#16 · Filter by author gsvgit opened on Oct 21, 2026
  1

• Clean up cross-project fixture/helper duplication (B1-B13, B16)

  task
  FormalLanguageConstrainedPathQuerying/FLPQ_sharp_edu#14 · Filter by author gsvgit opened on Oct 21, 2026

• Code review follow-ups from task 8 (toCnf epsilon fix)

  hub
  FormalLanguageConstrainedPathQuerying/FLPQ_sharp_edu#13 · Filter by author gsvgit opened on Oct 19, 2026
  2

• Replace failwith with proper error types in representable-state paths

  task
  FormalLanguageConstrainedPathQuerying/FLPQ_sharp_edu#12 · Filter by author gsvgit opened on Oct 19, 2026
  1

• Clean up dead and duplicated shared test-case code in FLPQ.TestUtilities

  task
  FormalLanguageConstrainedPathQuerying/FLPQ_sharp_edu#11 · Filter by author gsvgit opened on Oct 19, 2026
  1

• runPropertyTreeYieldTest is a no-crash smoke test — assert real tree-yield/acceptance behavior

  task
  FormalLanguageConstrainedPathQuerying/FLPQ_sharp_edu#10 · Filter by author gsvgit opened on Oct 19, 2026

• Add missing XML doc comments across src/ (~273 members)

  task
  FormalLanguageConstrainedPathQuerying/FLPQ_sharp_edu#9 · Filter by author gsvgit opened on Oct 19, 2026
  1

• toCnf drops epsilon-acceptance for transitively nullable starts; isEpsilonAccepted only checks a direct rule

  task
  FormalLanguageConstrainedPathQuerying/FLPQ_sharp_edu#8 · Filter by author gsvgit opened on Oct 16, 2026
  1

• Kronecker-product-based CFPQ (straightforward version with MS-BFS)

  task
  FormalLanguageConstrainedPathQuerying/FLPQ_sharp_edu#7 · Filter by author gsvgit opened on Oct 15, 2026
  2

• Reorganize AGENTS.md, skills, and documentation (PySymGym model)

  task
  FormalLanguageConstrainedPathQuerying/FLPQ_sharp_edu#6 · Filter by author gsvgit opened on Oct 15, 2026
  1

• Task 215: Use indexed properties to access Matrix elements

  task
  FormalLanguageConstrainedPathQuerying/FLPQ_sharp_edu#3 · Filter by author gsvgit opened on Oct 15, 2026

• Migrate task flow from files to GitHub issues

  task
  FormalLanguageConstrainedPathQuerying/FLPQ_sharp_edu#2 · Filter by author gsvgit opened on Oct 15, 2026
  1