Feature/inline multivariable filters#1182

Closed

zonotope wants to merge 23 commits intomainfrom

feature/inline-multivariable-filters

Commits on Dec 4, 2025

Use context aware traversal in the filter inlining loop
zonotope
committed

Commits on Dec 5, 2025

Commits on Dec 12, 2025

Commits on Dec 18, 2025

Separate filters from binding patterns; sort binding patterns alone
zonotope
committed

Commits on Dec 19, 2025

Commits on Dec 23, 2025

push -> append/nest
zonotope
committed

Commits on Jan 3, 2026

Commits on Jan 4, 2026

Commits on Jan 13, 2026

Merge remote-tracking branch 'origin/main' into feature/inline-multivariable-filters
zonotope
committed

Commits on Jan 14, 2026

Treat exists/not-exists/minus patterns as nonbinding filters
zonotope
committed

Commits on Jan 15, 2026

Merge remote-tracking branch 'origin/main' into feature/inline-multivariable-filters
zonotope
committed

Commits on Jan 20, 2026

Merge remote-tracking branch 'origin/main' into feature/inline-multivariable-filters
zonotope
committed