Skip to content

automata: fix ID rollover bug in lazy DFA#1300

Merged
BurntSushi merged 1 commit intomasterfrom
ag/fix-lazy-dfa-id-cache-rollover
Oct 6, 2025
Merged

automata: fix ID rollover bug in lazy DFA#1300
BurntSushi merged 1 commit intomasterfrom
ag/fix-lazy-dfa-id-cache-rollover

Commits

Commits on Oct 6, 2025