source: src/ERTL/spill.ma @ 1229

Last change on this file since 1229 was 1229, checked in by mulligan, 9 years ago

changes

File size: 235 bytes
RevLine 
[1127]1include "common/AST.ma".
[1229]2include "ERTL/Interference.ma".
[1127]3
4definition decision ≝ Immediate.
5
[1128]6(* XXX: should be a map! *)
7definition colouring ≝ list (vertex × decision).
8
9axiom colour_colouring: colouring.
10axiom colour_locals: nat.
Note: See TracBrowser for help on using the repository browser.