Changeset 2738 for extracted/compiler.ml


Ignore:
Timestamp:
Feb 27, 2013, 2:03:12 PM (7 years ago)
Author:
sacerdot
Message:

Porting the graph colouring stuff from the untrusted prototype to the extracted
code.

File:
1 edited

Legend:

Unmodified
Added
Removed
  • extracted/compiler.ml

    r2736 r2738  
    274274
    275275(** val colour_graph : Interference.coloured_graph_computer **)
    276 let colour_graph _ =
    277   failwith "AXIOM TO BE REALIZED"
     276let colour_graph = Compute_colouring.colour_graph
    278277
    279278(** val back_end :
Note: See TracChangeset for help on using the changeset viewer.