Repository navigation

compiler: Fix two guard bugs exposed by buffering - #3061

Open

ggorman wants to merge 8 commits into

mainfrom

fix-buffering-guards

Open

compiler: Fix two guard bugs exposed by buffering#3061
ggorman wants to merge 8 commits into
mainfrom
fix-buffering-guards

Commits on Oct 22, 2026
- compiler: Make GuardFactorNe an inequality
  ggorman
  committed
  9f61204
- compiler: Print SymPy true/false as 1/0 in C
  
  Gerard Gorman
  authored and
  ggorman
  committed
  1a8fc6d
- compiler: Drop cluster guards folded to true
  
  Gerard Gorman
  authored and
  ggorman
  committed
  d46c0bd
- compiler: Never set a guard reducing to true
  
  Gerard Gorman
  authored and
  ggorman
  committed
  36cda5b
- tests: Exercise GuardFactorNe through the user API
  ggorman
  committed
  242a160
- tests: Check a true guard is never set through the user API
  ggorman
  committed
  b27da4c
- compiler: Drop the GuardFactorNe change and its test
  ggorman
  committed
  efc6e3b
- tests: Move the true-guard test to TestConditionalDimension
  ggorman
  committed
  953054a