llama.cpp
grammar : optimize matching with left factoring
#29557
Merged

grammar : optimize matching with left factoring #29557

ggerganov merged 14 commits into ggml-org:master from o7si:issue-29457
o7si
github-actions github-actions added testing
o7si
o7si o7si marked this pull request as ready for review 48 days ago
o7si o7si requested a review from ggerganov ggerganov 48 days ago
aldehir
o7si o7si requested a review 11 days ago
o7si o7si marked this pull request as draft 11 days ago
o7si grammar : limit the number of alternatives
393a707e
o7si grammar : introduce an AST for grammar parsing
84f3b57c
o7si o7si force pushed from 3f8800e5 to 84f3b57c 11 days ago
o7si o7si changed the title grammar : limit the number of alternatives grammar : add an AST and limit alternatives 10 days ago
o7si o7si marked this pull request as ready for review 10 days ago
o7si
aldehir
pwilkin
aldehir
o7si
o7si grammar : revert AST refactor and alternatives limit
8139cbae
pwilkin grammar: optimize big grammar matching by using left-factorization
85ebb897
o7si grammar : preserve character class boundaries during left factoring
7f10bc27
o7si grammar : prevent infinite expansion during left factoring
daa2414c
o7si
o7si o7si changed the title grammar : add an AST and limit alternatives grammar : optimize matching with left factoring 9 days ago
pwilkin
ggml-gh-bot
pwilkin
o7si grammar : use ASCII characters in comments
d9ba014d
o7si grammar : test empty suffixes after left factoring
c40e3545
o7si grammar : deduplicate left factoring logic
9eb84cae
o7si grammar : add comments
e6d2dafd
o7si grammar : use number parameters and clarify RSS output
38d587a6
o7si grammar : clarify character class test names
bf4e8619
o7si
o7si
pwilkin
pwilkin approved these changes on 2026-11-07
aldehir
o7si
aldehir
aldehir approved these changes on 2026-11-08
o7si grammar : remove performance benchmark
678832c1
o7si
ggerganov
ggerganov commented on 2026-11-12
o7si grammar : share immutable rules
2011bf54
ggerganov
ggerganov approved these changes on 2026-11-12
ggerganov
ggerganov ggerganov added merge ready
o7si
ggerganov ggerganov merged 108f73ad into master 2 days ago

Login to write a write a comment.

Login via GitHub

Assignees
No one assigned
Labels
Milestone