Fixed FilterProjectTranspose and ProjectFilterTranspose; Added New Rule Instances#22

Merged

joyemang33 merged 9 commits intoqed-solver:dslfrom

Jul 22, 2025

Commits on Jun 10, 2025

sync with origin dsl
zengzirong
committed

Commits on Jun 14, 2025

fixed JoinCommute
zengzirong
committed

Commits on Jul 4, 2025

Merge branch 'dsl' of github.com:qed-solver/parser into zzr
zengzirong
committed

Commits on Jul 20, 2025

Commits on Jul 21, 2025

Commits on Jul 22, 2025