Repository navigation

feat(stage0, types): memo hash-consing, group properties (column_sign, depends_on_evaluation_time, aggregate_coverage), @ end()/@ start() above their subtree (#1207 PR 2) - #1230

Draft

zzylol wants to merge 1 commit into

refactor/1207-propertiesfrom

refactor/1207-memo

Draft

feat(stage0, types): memo hash-consing, group properties (column_sign, depends_on_evaluation_time, aggregate_coverage), @ end()/@ start() above their subtree (#1207 PR 2)#1230
zzylol wants to merge 1 commit into
refactor/1207-propertiesfrom
refactor/1207-memo

Commits on Nov 9, 2026
- feat(stage0, types): memo hash-consing, group properties (column_sign, depends_on_evaluation_time, aggregate_coverage), @ end()/@ start() lifted above their subtree (#1207 PR 2)
  zzylol
  committed
  49a145c