Changeset 1108


Ignore:
Timestamp:
Aug 24, 2011, 3:04:20 PM (8 years ago)
Author:
mulligan
Message:

changes to get ertltoltli to compile

Location:
src
Files:
2 edited

Legend:

Unmodified
Added
Removed
  • src/ERTL/ERTLToLTLI.ma

    r1084 r1108  
    231231    let l ≝ read globals srcr (λhdw. joint_st_sequential ? globals (joint_instr_to_acc globals hdw) l) in
    232232      joint_st_sequential ? globals (joint_instr_skip globals) l
    233   | ertl_st_return l ⇒ joint_st_return ? globals
     233  | ertl_st_return ⇒ joint_st_return ? globals
    234234  ].
    235235  cases daemon (* XXX: todo -- proofs regarding gvars *)
  • src/LIN/JointLTLLIN.ma

    r1089 r1108  
    2323  | joint_instr_load: joint_instruction globals
    2424  | joint_instr_store: joint_instruction globals
    25   | joint_instr_call_id: label → joint_instruction globals
     25  | joint_instr_call_id: ident → joint_instruction globals
    2626  | joint_instr_cond_acc: label → joint_instruction globals.
    2727
Note: See TracChangeset for help on using the changeset viewer.