source: Deliverables/D3.3/id-lookup-branch/ERTL/ @ 1639

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

Merge trunk to invariants branch, sorting out the handling of temporaries
in Clight/toCminor.

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