MPS issue job000537

TitleMany design documents missing
Assigned userNick Barnes
DescriptionThere are many, many documents from the Memory Management Information System which are essential design documents for the MPS but which are not yet in the design/ subdirectory. Some of these are under the "design." tag in the infosys, some are not (e.g. analysis.non-moving-colour).
AnalysisWe need to go through the MMInfo documents one at a time. Ones which we choose to include have to be redacted for confidential information. They also need to be reformatted (see job000538).

Design documents remaining to be converted:

design.mps.barrier [1]
design.mps.incr [2]
design.mps.ref [3]
design.mps.scheduler [4]
design.mps.thnt [5]
design.mps.weakness [6]
design.test.header [7]
How foundinspection
Observed in1.100.0
Introduced in1.100.0
Created byNick Barnes
Created on2002-06-21 11:37:31
Last modified byGareth Rees
Last modified on2016-10-12 17:09:58
History2002-06-21 NB Created.
2012-09-21 RB Downgraded to optional.