source: src/utilities/Colouring.ma @ 1192

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

some files that were missing / laying dormant on my computer

File size: 193 bytes
Line 
1include "ASM/I8051.ma".
2include "utilities/Interference.ma".
3
4inductive decision: Type[0] ≝
5  | decision_spill: decision
6  | decision_colour: Register → decision.
7
8definition colouring ≝
Note: See TracBrowser for help on using the repository browser.