Changeset 745 for src/ERTL/Liveness.ma


Ignore:
Timestamp:
Apr 8, 2011, 10:15:30 AM (9 years ago)
Author:
mulligan
Message:

Changes from yesterday. Slowly implementing the functorized imperative code from ERTL :(

File:
1 edited

Legend:

Unmodified
Added
Removed
  • src/ERTL/Liveness.ma

    r735 r745  
    3232  | ERTL_St_Call_Id id v l ⇒ set_singleton l
    3333  | ERTL_St_CondAcc _ l1 l2 ⇒ set_union ? (set_singleton l1) (set_singleton l2)
    34   | _ ⇒ ?
    3534  ].
    3635
Note: See TracChangeset for help on using the changeset viewer.