From dbcaebdefff26658debc29cae284ad4aa0da4c65 Mon Sep 17 00:00:00 2001 From: Cliff Click Date: Thu, 22 Oct 2026 10:45:43 -0700 Subject: Split out incomplete type analysis --- docs/chapter-split.md | 5 +++-- 1 file changed, 3 insertions(+), 2 deletions(-) (limited to 'docs/chapter-split.md') diff --git a/docs/chapter-split.md b/docs/chapter-split.md index d2727e11..959966db 100644 --- a/docs/chapter-split.md +++ b/docs/chapter-split.md @@ -94,8 +94,9 @@ constant instance-field storage remain future work. See the The first runnable extractions are [SCCP Within a Function](../chapter-sccp/README.md) and -[SCCP Across Functions](../chapter-interprocedural-sccp/README.md). -The other five snapshots remain to be extracted. Numbered Chapters 24 and 25 +[SCCP Across Functions](../chapter-interprocedural-sccp/README.md), followed by +[SSA Before Types Are Known](../chapter-incomplete-types/README.md). +The other four snapshots remain to be extracted. Numbered Chapters 24 and 25 remain comparison baselines during this work. Choose final numbers after trying the implementation boundaries above. -- cgit v1.2.3