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

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

Deliverable D2.2

File size: 370 bytes
Line 
1
2(** This module defines the target architecture and instanciates the memory
3    functor for each intermediate language. *)
4
5module TargetArch : Arch.S
6
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.