source: Deliverables/D3.3/id-lookup-branch/ERTL/spill.ma @ 1153

Last change on this file since 1153 was 1153, checked in by campbell, 10 years ago

Merge trunk into branch.

File size: 240 bytes
Line 
1include "common/AST.ma".
2include "utilities/Interference.ma".
3
4definition decision ≝ Immediate.
5
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.