Changeset 1995 for src/ERTL/liveness.ma


Ignore:
Timestamp:
May 24, 2012, 7:18:35 PM (8 years ago)
Author:
campbell
Message:

Overall compiler definition; bits and pieces to
make everything happy(ish).

File:
1 edited

Legend:

Unmodified
Added
Removed
  • src/ERTL/liveness.ma

    r1730 r1995  
    298298  fix_correct:
    299299    ∀globals: list ident.
    300     ∀int_fun.
     300(*    ∀int_fun.*)
    301301    ∀f. (* CSC: was let f ≝ liveafter globals int_fun in *)
    302302      ∀v: label.
Note: See TracChangeset for help on using the changeset viewer.