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/untrusted_interference.ml

    r2738 r2740  
    33module HwOrdReg = struct type t = hwregister let compare = compare end
    44module HwRegisterSet = Set.Make (HwOrdReg)
     5
     6let hwregisterset_of_list =
     7  List.foldr
     8   (fun reg set -> HwRegisterSet.add reg set)
     9   HwRegisterSet.empty
    510
    611(* Pasted from Pottier's PP compiler *)
Note: See TracChangeset for help on using the changeset viewer.