source: Deliverables/D2.2/8051/src/driver.mli

Last change on this file was 486, checked in by ayache, 9 years ago

Deliverable D2.2

File size: 370 bytes
2(** This module defines the target architecture and instanciates the memory
3    functor for each intermediate language. *)
5module TargetArch : Arch.S
7module ClightMemory : Memory.S
8module CminorMemory : Memory.S
9module RTLabsMemory : Memory.S
10module RTLMemory    : Memory.S
11module ERTLMemory   : Memory.S
12module LTLMemory    : Memory.S
13module LINMemory    : Memory.S
Note: See TracBrowser for help on using the repository browser.