Repository navigation

Make expand_defs linear in the size of the context - #303

Merged

lemmy merged 3 commits into

tlaplus:mainfrom

lemmy:expand-defs-single-pass

Nov 10, 2026

Merged

Make expand_defs linear in the size of the context#303
lemmy merged 3 commits into
tlaplus:mainfrom
lemmy:expand-defs-single-pass

Commits on Oct 13, 2026
- Note why Toolbox.expand_defs does not expand backend pragmas
  lemmy
  committed
  a1c23a7
- Add inline tests for expand_defs
  
  lemmy
  and
  claude
  committed
  1856993
Commits on Nov 10, 2026
- Make expand_defs linear in the size of the context
  
  committed
  369884f