Changeset 619 for Deliverables/D2.2/8051/README

Timestamp:

Mar 2, 2011, 3:27:41 PM (10 years ago)

Author:

ayache

Message:

Update of D2.2 from Paris.

File:

• Deliverables/D2.2/8051/README (modified) (1 diff)

Deliverables/D2.2/8051/README

@@ -5 +5 @@
   the CIL parser[1], Xavier Leroy's translation from C to Clight, and
   an existing back-end compiler for a register transfer language to a
-  subset of the MIPS assembly language[2] or the 8051 microprocessor
-  family. The current version is configured to output 8051 code.
+  subset of the MIPS assembly language[2]. 
 
   We wrote 3 compiler passes: one from Clight to Cminor, another from
   Cminor to an abstract register transfer language (RTLabs), and a
-  last one from RTLabs to an RTL that uses either MIPS or 8051 instructions.
-  We extended interpreters for the intermediate languages to output a
+  last one from RTLabs to an RTL that uses MIPS instructions. We
+  extended interpreters for the intermediate languages to output a
   list of labels which denote key control points of the program that
   have been crossed during the interpretation. These labels are the