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/LTL/LTL.mli

    r818 r1462  
    7575  | St_call_id of AST.ident * Label.t
    7676
     77  (* Call to a function given its address. Parameters are the registers holding
     78     the address of the function, and the label of the next statement. *)
     79  | St_call_ptr of I8051.register * I8051.register * Label.t
     80
    7781  (* Branch on A accumulator. Parameters are the label to go to when the A
    7882     accumulator is not 0, and the label to go to when the A accumulator is
Note: See TracChangeset for help on using the changeset viewer.