[Middlend] Non-linear and definite iteration pattern simplification#224

Open

DCupello1 wants to merge 5 commits into

mainfrom

Commits on Mar 5, 2026

Pattern simp pass made
DCupello1
committed

Commits on Apr 21, 2026

Extended definite iter pattern simplification to relations.
DCupello1
committed
Moved patsimp pass as it is dependent on dependent types being removed.
DCupello1
committed

Commits on May 4, 2026

Pat simp: Now uses a different name generation and moved it after sub expansion in order to remove some non-linear bindings.
DCupello1
committed

Commits on May 31, 2026

Merge branch 'main' into pat-simp-pass
DCupello1
committed