Changeset 1082 for src/LIN


Ignore:
Timestamp:
Jul 20, 2011, 5:17:38 PM (8 years ago)
Author:
mulligan
Message:

work from today on ertl -> ltl pass

File:
1 edited

Legend:

Unmodified
Added
Removed
  • src/LIN/JointLTLLIN.ma

    r757 r1082  
    88  | joint_instr_comment: String → joint_instruction globals
    99  | joint_instr_cost_label: costlabel → joint_instruction globals
    10   | joint_instr_int: register → Byte → joint_instruction globals
     10  | joint_instr_int: Register → Byte → joint_instruction globals
    1111  | joint_instr_pop: joint_instruction globals
    1212  | joint_instr_push: joint_instruction globals
    1313  | joint_instr_address: ∀i: ident. (member i (eq_identifier ?) globals) → joint_instruction globals
    14   | joint_instr_from_acc: register → joint_instruction globals
    15   | joint_instr_to_acc: register → joint_instruction globals
     14  | joint_instr_from_acc: Register → joint_instruction globals
     15  | joint_instr_to_acc: Register → joint_instruction globals
    1616  | joint_instr_opaccs: OpAccs → joint_instruction globals
    1717  | joint_instr_op1: Op1 → joint_instruction globals
    18   | joint_instr_op2: Op2 → register → joint_instruction globals
     18  | joint_instr_op2: Op2 → Register → joint_instruction globals
    1919  | joint_instr_clear_carry: joint_instruction globals
    2020  | joint_instr_load: joint_instruction globals
Note: See TracChangeset for help on using the changeset viewer.