Repository navigation

WIP: Reduce time spent normalizing - #14049

Closed

alamb wants to merge 2 commits into

apache:mainfrom

alamb:alamb/less_normalize

Closed

WIP: Reduce time spent normalizing#14049
alamb wants to merge 2 commits into
apache:mainfrom
alamb:alamb/less_normalize

Commits on Jan 8, 2025
- refactor: only modify oeq_class by add_new_orderings
  alamb
  committed
  721a723
- Pre-compute the interesting orderings
  alamb
  committed
  a8182fc