Ignore:
Timestamp:
Feb 27, 2013, 4:59:31 PM (7 years ago)
Author:
sacerdot
Message:

Graph colouring terminated up to Uses that will be implemented
in Matita.

File:
1 edited

Legend:

Unmodified
Added
Removed
  • extracted/untrusted/coloring.ml

    r2738 r2740  
    5656
    5757let colors : ColorSet.t =
    58   List.foldr
    59    (fun reg set -> HwRegisterSet.add reg set)
    60    HwRegisterSet.empty I8051.registersAllocatable
     58 Untrusted_interference.hwregisterset_of_list I8051.registersAllocatable
    6159
    6260(* This is the number of available colors. *)
Note: See TracChangeset for help on using the changeset viewer.