Grammar optimization: eliminate redundant grammar trees (~4x faster grammar sampling) #6616
Optimization: eliminate addition of redundant stacks when advancing g…
80553e53
HanClinto
force pushed
from
3bbceb5f
to
80553e53
1 year ago
HanClinto
changed the title Grammar Optimization: Eliminate Redundant Grammar Trees Grammar optimization: eliminate redundant grammar trees (~9x faster grammar sampling) 1 year ago
HanClinto
changed the title Grammar optimization: eliminate redundant grammar trees (~9x faster grammar sampling) Grammar optimization: eliminate redundant grammar trees (~4x faster grammar sampling) 1 year ago
ochafik
approved these changes
on 2024-04-12
HanClinto
merged
04a5ac21
into master 1 year ago
Assignees
No one assigned
Login to write a write a comment.
Login via GitHub