Changeset 1166 for src/ERTL/ERTLToLTL.ma


Ignore:
Timestamp:
Sep 2, 2011, 10:35:24 AM (8 years ago)
Author:
mulligan
Message:

moved joint ltl lin files into their own directory. more changes to ltl and lin passes to help type checker in ertl pass

File:
1 edited

Legend:

Unmodified
Added
Removed
  • src/ERTL/ERTLToLTL.ma

    r1165 r1166  
    6060    let off ≝ adjust_off globals int_fun off in
    6161    let luniv ≝ ertl_if_luniverse globals int_fun in
    62     let 〈l, graph, luniv〉 ≝ generate globals luniv graph (joint_st_sequential globals (joint_instr_move … globals (from_acc r)) l) in
     62    let 〈l, graph, luniv〉 ≝ generate globals luniv graph (joint_st_sequential ??????? globals (joint_instr_move … globals (from_acc r)) l) in
    6363    ?.
    6464   
Note: See TracChangeset for help on using the changeset viewer.