Changeset 1241 for src/ERTL/liveness.ma


Ignore:
Timestamp:
Sep 21, 2011, 5:28:06 PM (9 years ago)
Author:
mulligan
Message:

changes for claudio

File:
1 edited

Legend:

Unmodified
Added
Removed
  • src/ERTL/liveness.ma

    r1223 r1241  
    283283  λlabel.
    284284  λliveafter: valuation.
    285   match lookup ? ? (joint_if_graph … int_fun) label with
     285  match joint_if_lookup … int_fun label with
    286286  [ None      ⇒ ?
    287287  | Some stmt ⇒ statement_semantics globals stmt (liveafter label)
     
    296296  λlabel.
    297297  λliveafter: valuation.
    298   match lookup … (joint_if_graph … int_fun) label with
     298  match joint_if_lookup … int_fun label with
    299299  [ None      ⇒ ?
    300300  | Some stmt ⇒ set_fold ? ? (λsuccessor. λaccu: register_lattice.
Note: See TracChangeset for help on using the changeset viewer.