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/LIN/LINPrinter.ml

    r818 r1462  
    5454    Printf.sprintf "movex @DPTR, %s" print_a
    5555  | LIN.St_call_id f -> Printf.sprintf "call \"%s\"" f
     56  | LIN.St_call_ptr (f1, f2) ->
     57    Printf.sprintf "call_ptr [%s ; %s]" (print_reg f1) (print_reg f2)
    5658  | LIN.St_condacc lbl_true ->
    5759    Printf.sprintf "branch %s <> 0, %s" print_a lbl_true
Note: See TracChangeset for help on using the changeset viewer.