source: src/ERTL/spill.ma @ 1127

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

interference graphs axiomatised, more added to ertl

File size: 87 bytes
Line 
1include "common/AST.ma".
2
3definition decision ≝ Immediate.
4
5definition colouring ≝
Note: See TracBrowser for help on using the repository browser.