Repository navigation

refactor(DecisionTree,QueryComplexity): privatize 43 module-local proof helpers (#899) - #913

Merged

SamuelSchlesinger merged 2 commits into

mainfrom

refactor/privatize-query-decisiontree-899

Oct 25, 2026

Merged

refactor(DecisionTree,QueryComplexity): privatize 43 module-local proof helpers (#899)#913
SamuelSchlesinger merged 2 commits into
mainfrom
refactor/privatize-query-decisiontree-899

Commits on Oct 24, 2026
- refactor(DecisionTree,QueryComplexity): privatize 43 module-local proof helpers (#899)
  SamuelSchlesinger
  committed
  0676c4e
Commits on Oct 25, 2026
- refactor(QueryComplexity,DecisionTree): keep API-shaped declarations public
  
  SamuelSchlesinger
  and
  claude
  committed
  feabbb5