MPS issue job000544

TitleReference manual mentions a number of obsolete symbols
Assigned userNick Barnes
DescriptionThe MPS reference manual mentions a number of obsolete symbols: MPS_RM_PROT_INNER, MPS_ARCH_M6, mps_assert_default, mps_assert_install, mps_assert_t, mps_message_collection_stats_condemned_size, mps_message_collection_stats_live_size, mps_message_collection_stats_not_condemned_size, mps_message_type_collection_stats. These should be removed.
AnalysisSee also job000539.
How foundinspection
EvidenceI just know.
Observed in1.100.0
Introduced in1.100.0
Created byNick Barnes
Created on2002-06-21 15:03:53
Last modified byGareth Rees
Last modified on2013-05-22 12:06:21
History2002-06-21 NB Created.


Change Effect Date User Description
180943 closed 2013-02-08 16:17:34 Richard Brooksby Integrating branch/2012-10-09/user-guide back to master.
30382 closed 2002-06-21 15:06:54 Nick Barnes Removed obsolete symbols and fixed a bit of formatting.