From 119569c97edcf9579c370588c5e98a4d8e80d690 Mon Sep 17 00:00:00 2001 From: Edward Amsden Date: Mon, 9 May 2022 17:43:26 -0400 Subject: [PATCH] [docs] Milestone typos --- docs/proposal/milestones.md | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/docs/proposal/milestones.md b/docs/proposal/milestones.md index 34f26a9..b9fcd78 100644 --- a/docs/proposal/milestones.md +++ b/docs/proposal/milestones.md @@ -28,7 +28,7 @@ The goal of this set of milestones is to validate the 2stackz memory model and i The goal of this stage is to generate highly-linearized IR from Nock -Mote that a substantial part of this milestone is already accomplished, if unvalidated. +Note that a substantial part of this milestone is already accomplished, if unvalidated. The New Mars project began with linearization of Nock across Nock 2 and Nock 9 being a problem without theoretical or design solution. Subject-knowledge analysis (SKA) is the (currently theoretical) artifact which permits such linearization. @@ -39,7 +39,7 @@ Subject-knowledge analysis (SKA) is the (currently theoretical) artifact which p ## Later: heaps and paging -The goal of this stage is to permit New MArs to function fully as a Mars, saving snapshots and event logs, and paging infrequently used and/or large data out to disk. +The goal of this stage is to permit New Mars to function fully as a Mars, saving snapshots and event logs, and paging infrequently used and/or large data out to disk. - Threshhold based eviction to a heap - Heap collection strategies