Add support for unbounded look-behind expressions#1266

Open

Multimodcrafter wants to merge 68 commits intorust-lang:masterfrom

epfl-systemf:captureless-lookbehinds

Commits on Aug 25, 2025

Add lookaround expressions to HIR

Multimodcrafter
authored and
shilangyu
committed
Change how flatten works on hir::Lookaround
shilangyu
committed
Add hir::Lookaround to the visitor
shilangyu
committed
Fix hir::Lookaround printing and add test
shilangyu
committed
Remove useless ref
shilangyu
committed
Add missing drop case for hir::Lookaround
shilangyu
committed
Rename Lookaround to LookAround
shilangyu
committed
Fix properties of LookArounds
shilangyu
committed
Add missing literal lookaround test
shilangyu
committed
Fix literal test and useless property computation
shilangyu
committed
Adjust parsing errors for lookarounds
shilangyu
committed
Add LookAround to Ast
shilangyu
committed
Disable failing tests
shilangyu
committed
Fix UnsupportedCaptureInLookBehind typo
shilangyu
committed
Add unclosed lookaround error
shilangyu
committed
Rename lookaround to look-around
shilangyu
committed
Support parsing of look-behinds
shilangyu
committed
Reject lookbehinds with capture groups
shilangyu
committed
Add tests for parsing lookbehinds
shilangyu
committed
Add AST -> HIR translation for lookarounds
shilangyu
committed
Fix typo
shilangyu
committed
Allow for non-capturing groups in lookbehinds
shilangyu
committed
Fix missing LookAround in regex-cli
shilangyu
committed
Detect capture groups in lookarounds for cheaper
shilangyu
committed
Remove accidental import
shilangyu
committed
Add new instructions to NFA

Multimodcrafter
authored and
shilangyu
committed
Implement lookaround compilation

Multimodcrafter
authored and
shilangyu
committed
Restore compilation behaviour for regexes without lookarounds

Multimodcrafter
authored and
shilangyu
committed
Address review comments

Multimodcrafter
authored and
shilangyu
committed
Implement look-around index generation

Multimodcrafter
authored and
shilangyu
committed
Change tracking of look-around state to index

Multimodcrafter
authored and
shilangyu
committed
Fix cli tool and AST->HIR translation

Multimodcrafter
authored and
shilangyu
committed
Fix lookaround union order

Multimodcrafter
authored and
shilangyu
committed
Address review comments

Multimodcrafter
authored and
shilangyu
committed
Fix look-around indexing

Multimodcrafter
authored and
shilangyu
committed
Add error messages and fix pre-filter

Multimodcrafter
authored and
shilangyu
committed
Add unit tests for look-behind assertions

Multimodcrafter
authored and
shilangyu
committed
Bump version numbers

Multimodcrafter
authored and
shilangyu
committed
Adjust some docs
shilangyu
committed
Add lookbehind with capture group test
shilangyu
committed
Change how test suite filters tests
shilangyu
committed
Change engine fallbacks
shilangyu
committed
Rename lookaround_index
shilangyu
committed
Fix literals tests
shilangyu
committed
Fix anchors in lookarounds
shilangyu
committed
Fix broken doc link

Multimodcrafter
authored and
shilangyu
committed
Remove unneeded if condition
shilangyu
committed
Explain use of empty look-set

Multimodcrafter
authored and
shilangyu
committed
Add regression tests

Multimodcrafter
authored and
shilangyu
committed
Change compilation to disconnected components

Multimodcrafter
authored and
shilangyu
committed
Implement look-behind state processing

Multimodcrafter
authored and
shilangyu
committed
Show look-behind starts in nfa debug print

Multimodcrafter
authored and
shilangyu
committed
Fix doc-link

Multimodcrafter
authored and
shilangyu
committed
Fix memory usage calculation

Multimodcrafter
authored and
shilangyu
committed
Fix spelling

Multimodcrafter
authored and
shilangyu
committed
Implement matchall performance improvement

Multimodcrafter
authored and
shilangyu
committed
Implement matchall speedup for meta-engine

Multimodcrafter
authored and
shilangyu
committed
Replace catchall with explicit ignore

Multimodcrafter
authored and
shilangyu
committed
Rephrase doc and fix lb start state order

Multimodcrafter
authored and
shilangyu
committed
Disable lookaround scanning when none present

Multimodcrafter
authored and
shilangyu
committed
Fast forward look-around threads upon prefiltering
shilangyu
committed
Add small test for prefiltered regex with lookbehind
shilangyu
committed
Change literal extraction for look-arounds
shilangyu
committed
Update wrong doc
shilangyu
committed
Fix literal extraction tests
shilangyu
committed
Reverse look_behind_starts
shilangyu
committed
Fix NFA memory usage and typo

Multimodcrafter
authored and
shilangyu
committed
Fix lookaround index initialization

Multimodcrafter
authored and
shilangyu
committed