Ignore:
Timestamp:
Nov 28, 2011, 3:13:14 PM (9 years ago)
Author:
tranquil
Message:
  • corrected previous bug
  • finished propagating immediates
Location:
Deliverables/D2.2/8051/src/LTL
Files:
2 edited

Legend:

Unmodified
Added
Removed
  • Deliverables/D2.2/8051/src/LTL/LTLInterpret.ml

    r1568 r1572  
    8282  fst (List.fold_left f (Labels_Offsets.empty, Val.Offset.zero) p.LTL.functs)
    8383
    84 let fun_def_of_ptr mem ptr = match Mem.find_fun_def mem ptr with
     84let fun_def_of_ptr mem ptr =
     85  match Mem.find_fun_def mem ptr with
    8586  | LTL.F_int def -> def
    8687  | _ -> error "Trying to fetch the definition of an external function."
  • Deliverables/D2.2/8051/src/LTL/LTLPrinter.ml

    r1568 r1572  
    7171
    7272
    73 let print_graph n c =
     73let print_graph n c entry =
    7474  let f lbl stmt s =
    7575    Printf.sprintf "%s%s: %s\n%s"
     
    7878      (print_statement stmt)
    7979      s in
    80   Label.Map.fold f c ""
     80  LTLUtilities.dfs_fold f c entry ""
     81  (* Label.Map.fold f c "" *)
    8182
    8283
     
    9394    (n_spaces (n+2))
    9495    def.LTL.f_exit
    95     (print_graph (n+2) def.LTL.f_graph)
     96    (print_graph (n+2) def.LTL.f_graph def.LTL.f_entry)
    9697
    9798
Note: See TracChangeset for help on using the changeset viewer.