Changeset 1227 for Deliverables/D2.2


Ignore:
Timestamp:
Sep 19, 2011, 12:57:02 PM (8 years ago)
Author:
mulligan
Message:

changes

Location:
Deliverables/D2.2/8051/src
Files:
2 edited

Legend:

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

    r486 r1227  
    114114  (* Build a [LTL] function. *)
    115115
    116   {
    117     LTL.f_luniverse = int_fun.ERTL.f_luniverse;
    118     LTL.f_stacksize = stacksize ;
    119     LTL.f_entry = int_fun.ERTL.f_entry;
    120     LTL.f_exit = int_fun.ERTL.f_exit;
    121     LTL.f_graph = !graph
    122   }
     116
    123117
    124118
  • Deliverables/D2.2/8051/src/utilities/interference.ml

    r486 r1227  
    518518let ipp graph v =
    519519  interference#neighborsv graph v
     520
    520521
    521522(* [iph graph v] is the set of hardware registers that the vertex [v]
     
    615616    Register.Set.fold (fun r (v, regmap, degree) ->
    616617      v+1,
    617       RegMap.add r v regmap,
     618      RegMap.add r v regmap,f
    618619      PrioritySet.add v 0 degree
    619620    ) regs (0, RegMap.empty, PrioritySet.empty)
Note: See TracChangeset for help on using the changeset viewer.