Changeset 1128 for src/ERTL/spill.ma


Ignore:
Timestamp:
Aug 29, 2011, 4:27:30 PM (9 years ago)
Author:
mulligan
Message:

fixed ERTLtoLTLI so it type checks again

File:
1 edited

Legend:

Unmodified
Added
Removed
  • src/ERTL/spill.ma

    r1127 r1128  
    11include "common/AST.ma".
     2include "utilities/Interference.ma".
    23
    34definition decision ≝ Immediate.
    45
    5 definition colouring ≝
     6(* XXX: should be a map! *)
     7definition colouring ≝ list (vertex × decision).
     8
     9axiom colour_colouring: colouring.
     10axiom colour_locals: nat.
Note: See TracChangeset for help on using the changeset viewer.