source: Deliverables/D2.3/8051-memoryspaces-branch/src/driver.mli @ 461

Last change on this file since 461 was 453, checked in by ayache, 9 years ago

Import of the Paris's sources.

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.