Repository navigation

wpfacts: interval rule results are not widened, and a counter write on a leaving path keeps the narrowed reads (R1 range tightening) - #14416

Merged

proggeramlug merged 8 commits into

mainfrom

perf/range-sum-and-leaving-writes

Nov 10, 2026

Merged

wpfacts: interval rule results are not widened, and a counter write on a leaving path keeps the narrowed reads (R1 range tightening)#14416
proggeramlug merged 8 commits into
mainfrom
perf/range-sum-and-leaving-writes

Commits on Nov 10, 2026
- wpfacts: interval rule results are not widened, and a counter write on a leaving path keeps the narrowed reads (R1 range tightening)
  Ralph Küpper
  committed
  5c74e1a
- wpfacts: R1 test: the labeled control's test implies no clip
  Ralph Küpper
  committed
  1231ef3
- Merge remote-tracking branch 'origin/main' into perf/range-sum-and-leaving-writes
  Ralph Küpper
  committed
  631a293
- wpfacts: R1 exactrule sabotage is a deterministic wrong sum (the operands' hull)
  Ralph Küpper
  committed
  93bb48b
- S0: R1 fixtures read through the b1 call with a local key (a loop-counter key goes to the index method clone)
  Ralph Küpper
  committed
  a0b546e
- Merge remote-tracking branch 'origin/main' into perf/range-sum-and-leaving-writes
  Ralph Küpper
  committed
  5bdd2e4
- Merge remote-tracking branch 'origin/main' into perf/range-sum-and-leaving-writes
  Ralph Küpper
  committed
  27f7790
- Merge remote-tracking branch 'origin/main' into perf/range-sum-and-leaving-writes
  Ralph Küpper
  committed
  3ae41e6