Ignore:
Timestamp:
Feb 27, 2013, 4:59:31 PM (8 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/eRTLptrToLTL.ml

    r2730 r2740  
    805805    Liveness.analyse_liveness the_fixpoint globals (Types.pi1 int_fun)
    806806  in
    807   let coloured_graph0 = build after in
     807  let coloured_graph0 = build globals (Types.pi1 int_fun) after in
    808808  let stack_sz =
    809809    Nat.plus coloured_graph0.Interference.spilled_no
Note: See TracChangeset for help on using the changeset viewer.