src/driver.mli

   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