Repository navigation

TDFA(1): delay the tag writes of a closure to the outgoing transitions - #209

Merged

hhugo merged 4 commits into

ocaml-community:masterfrom

hhugo:pr4d-tdfa1

Sep 28, 2026

Merged

TDFA(1): delay the tag writes of a closure to the outgoing transitions#209
hhugo merged 4 commits into
ocaml-community:masterfrom
hhugo:pr4d-tdfa1

Commits on Sep 28, 2026
- Give end of input its own transitions
  
  hhugo
  and
  claude
  committed
  a50c92e
- Add a runtime primitive recording the position before the last read
  
  hhugo
  and
  claude
  committed
  5e4a153
- Delay the tag writes of a closure to the outgoing transitions (TDFA(1))
  
  hhugo
  and
  claude
  committed
  feae0f8
- Test sub-matches that end where end of input is read
  
  hhugo
  and
  claude
  committed
  fbf1a44