source:
Deliverables/D2.2/8051-indexed-labels-branch/src/driver.mli
@
1319
| Last change on this file since 1319 was 486, checked in by , 10 years ago | |
|---|---|
| File size: 370 bytes | |
| Line | |
|---|---|
| 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.
