Repository navigation

hoist_invariants: decide invariance modulo the RVar bounds - #9521

Draft

alexreinking wants to merge 4 commits into

alexreinking/multiramp-alignment-stackedfrom

alexreinking/hoist-invariants-bounds

Draft

hoist_invariants: decide invariance modulo the RVar bounds#9521
alexreinking wants to merge 4 commits into
alexreinking/multiramp-alignment-stackedfrom
alexreinking/hoist-invariants-bounds

Commits on Oct 24, 2026
- hoist_invariants: decide invariance modulo the RVar bounds
  
  alexreinking
  and
  Copilot
  committed
  f8e6682
- hoist_invariants: test a blocked reduction with per-lane partials
  
  alexreinking
  and
  Copilot
  committed
  e442c24
- hoist_invariants: use explicit bounds on pure vars
  
  alexreinking
  and
  Copilot
  committed
  4674c35
- Drop rfactor's likely tag with the promises hoist_invariants removes
  
  alexreinking
  and
  Copilot
  committed
  923e28e