source:
Deliverables/D2.2/8051/src/driver.mli
@
640
| Last change on this file since 640 was 486, checked in by , 10 years ago | |
|---|---|
| File size: 370 bytes | |
| Rev | Line | |
|---|---|---|
| [486] | 1 | |
| 2 | (** This module defines the target architecture and instanciates the memory | |
| 3 | functor for each intermediate language. *) | |
| 4 | ||
| 5 | module TargetArch : Arch.S | |
| 6 | ||
| 7 | module ClightMemory : Memory.S | |
| 8 | module CminorMemory : Memory.S | |
| 9 | module RTLabsMemory : Memory.S | |
| 10 | module RTLMemory : Memory.S | |
| 11 | module ERTLMemory : Memory.S | |
| 12 | module LTLMemory : Memory.S | |
| 13 | module LINMemory : Memory.S |
Note: See TracBrowser
for help on using the repository browser.
