Changeset 1272


Ignore:
Timestamp:
Sep 26, 2011, 5:57:55 PM (8 years ago)
Author:
campbell
Message:

Revert accidental commit.

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

Legend:

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

    r1227 r1272  
    114114  (* Build a [LTL] function. *)
    115115
    116 
     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  }
    117123
    118124
  • Deliverables/D2.2/8051/src/utilities/interference.ml

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