Skip to content

automata: fix bug where reverse NFA lacked an unanchored prefix#1170

Merged
BurntSushi merged 1 commit intomasterfrom ag/fix-reverse-unanchored-prefixMar 4, 2024

Commits

Commits on Mar 4, 2024