diff options
Diffstat (limited to 'docs')
| -rw-r--r-- | docs/roadmap.ja.md | 2 | ||||
| -rw-r--r-- | docs/roadmap.md | 3 |
2 files changed, 1 insertions, 4 deletions
diff --git a/docs/roadmap.ja.md b/docs/roadmap.ja.md index 057e4440..fdaaff91 100644 --- a/docs/roadmap.ja.md +++ b/docs/roadmap.ja.md @@ -7,7 +7,7 @@ ## 正確性とコンパイル -- `ArithNode` と `ConvertNode` の型計算をフェーズに依存しない単調な規則にする。Eval2 の追加ロード時のスケジューリング用領域、`StopCUNode` の全呼び出し・関数要約の反復走査、Export 内に残るエンコード処理も整理する。 +- Eval2 の追加ロード時のスケジューリング用領域、`StopCUNode` の全呼び出し・関数要約の反復走査、Export 内に残るエンコード処理を整理する。 - 依存関係全体を調べ、変更を伝播してから保存 IR を再利用する、正しい増分ビルドを実装する。 - 型の読み込みからネイティブリンクまでのライブラリ変更を検出する。SHA-256 を含むシンボルの照合は将来案であり、Eval2 は整合したビルドを前提とする。 - コンパイル単位ごとの選択的ロードを、オブジェクト内の関数単位へ細分化する。 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. |