Repository navigation

refactor(DecisionTree,QueryComplexity,Communication): make 16 API and general declarations public again and drop one re-proof (#926) - #934

Merged

SamuelSchlesinger merged 2 commits into

mainfrom

refactor/privaudit-query

Oct 25, 2026

Merged

refactor(DecisionTree,QueryComplexity,Communication): make 16 API and general declarations public again and drop one re-proof (#926)#934
SamuelSchlesinger merged 2 commits into
mainfrom
refactor/privaudit-query

Commits on Oct 25, 2026
- refactor(DecisionTree,QueryComplexity,Communication): make 16 API and general declarations public again (#926)
  
  SamuelSchlesinger
  and
  claude
  committed
  e8a47da
- refactor(QueryComplexity): reuse certificateComplexityFor_restrict_le instead of a re-proof (#926)
  
  SamuelSchlesinger
  and
  claude
  committed
  cd3278a