summaryrefslogtreecommitdiff
path: root/docs/roadmap.md
diff options
context:
space:
mode:
authorCliff Click <cliffc@acm.org>2026-10-28 15:05:08 -0700
committerCliff Click <cliffc@acm.org>2026-10-28 15:05:08 -0700
commit50924bbe7cfeecfe7aec1885dae9bbda0013ac1b (patch)
tree2d04316faa3c73e2a2586de8f95f9b9fb248425f /docs/roadmap.md
parent86ce5bc5d5018dcb62054d214b23f7a59b9c0d7d (diff)
downloadSimple-50924bbe7cfeecfe7aec1885dae9bbda0013ac1b.tar.gz
Simple-50924bbe7cfeecfe7aec1885dae9bbda0013ac1b.zip
Remove _phase checks from Arith & Compute
Fix some monotonicty bugs, rounding bugs, in float ops
Diffstat (limited to 'docs/roadmap.md')
-rw-r--r--docs/roadmap.md3
1 files changed, 0 insertions, 3 deletions
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.