Changeset 3263 for src/LIN

Timestamp:

May 10, 2013, 1:40:31 PM (8 years ago)

Author:

tranquil

Message:

moved callee saved saving and restoring to ERTL -> LTL pass (untrusted
colourer and interference graph creator still need to be updated)
joint now has the stack size split in three (referenced locals, params
and spilled)

File:

• src/LIN/LIN.ma (modified) (1 diff)

src/LIN/LIN.ma

@@ -40 +40 @@
   (mk_universe … (p0 (p0 one)))
   (mk_universe … one)
-  it it 0 0 code 0.
+  it it 0 0 0 code 0.
 %
 [ * [2: * [2: * [2: #n ]]] #s whd in ⊢ (??%?→?); #EQ destruct