Ignore:
Timestamp:
May 19, 2011, 4:03:04 PM (9 years ago)
Author:
ayache
Message:

32 and 16 bits operations support in D2.2/8051

File:
1 edited

Legend:

Unmodified
Added
Removed
  • Deliverables/D2.2/8051/src/clight/clightToCminor.mli

    r486 r818  
    22    program. *)
    33
     4val sizeof_ctype : Clight.ctype -> AST.abstract_size
     5
    46(** [translate cp] compiles a Clight program into a Cminor program. *)
    5 (* Translation simplify control structures and explain memory operations *)
     7(* Translation simplifies control structures and explicits memory operations *)
    68
    79val translate : Clight.program -> Cminor.program
Note: See TracChangeset for help on using the changeset viewer.