From 50924bbe7cfeecfe7aec1885dae9bbda0013ac1b Mon Sep 17 00:00:00 2001 From: Cliff Click Date: Wed, 28 Oct 2026 15:05:08 -0700 Subject: Remove _phase checks from Arith & Compute Fix some monotonicty bugs, rounding bugs, in float ops --- docs/roadmap.md | 3 --- 1 file changed, 3 deletions(-) (limited to 'docs/roadmap.md') diff --git a/docs/roadmap.md b/docs/roadmap.md index 0878bbc7..ae450d82 100644 --- a/docs/roadmap.md +++ b/docs/roadmap.md @@ -13,9 +13,6 @@ design decisions and chapter boundaries. Remaining work: -- Remove phase-dependent transfer rules from `ArithNode.compute()` and - `ConvertNode.compute()`. Keep the same monotone rule in both pessimistic - and optimistic analysis. - Remove Eval2 scheduling scratch costs proportional to all previously allocated node IDs. Scheduling a newly loaded object should cost only for that graph and any affected existing nodes. -- cgit v1.2.3