Ignore:
Timestamp:
Oct 25, 2011, 4:11:11 PM (8 years ago)
Author:
ayache
Message:

Added D5.1: Frama-C plug-in and Lustre wrapper. D2.2 (8051) has been updated accordingly.

File:
1 edited

Legend:

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

    r818 r1462  
    144144  | St_call_id of AST.ident * int * Label.t
    145145
     146  (* Call to a function given its address. Parameters are the registers holding
     147     the address of the function, the number of arguments of the function, and
     148     the label of the next statement. *)
     149  | St_call_ptr of Register.t * Register.t * int * Label.t
     150
    146151(*
    147   (* Call to a function given its address. Parameters are registers holding the
    148      address of the function, the arguments of the function, the destination
    149      registers, and the label of the next statement. *)
    150   | St_call_ptr of registers * register list * registers * Label.t
    151 
    152152  (* Tail call to a function given its name. Parameters are the name of the
    153      function, and the number of arguments of the function. *)
     153    function, and the number of arguments of the function. *)
    154154  | St_tailcall_id of AST.ident * int
    155155
Note: See TracChangeset for help on using the changeset viewer.