- Timestamp:
- Sep 22, 2011, 4:23:05 PM (9 years ago)
- File:
-
- 1 edited
Legend:
- Unmodified
- Added
- Removed
-
src/joint/Joint.ma
r1254 r1255 35 35 | joint_instr_address: ∀i: ident. (member i (eq_identifier ?) globals) → dpl_reg p → dph_reg p → joint_instruction p globals 36 36 | joint_instr_opaccs: OpAccs → acc_a_reg p → acc_b_reg p → joint_instruction p globals 37 | joint_instr_op1: Op1 → acc_a_reg p → joint_instruction p globals38 | joint_instr_op2: Op2 → acc_a_reg p → generic_reg p → joint_instruction p globals37 | joint_instr_op1: Op1 → acc_a_reg p → acc_a_reg p → joint_instruction p globals 38 | joint_instr_op2: Op2 → acc_a_reg p → acc_a_reg p → generic_reg p → joint_instruction p globals 39 39 | joint_instr_clear_carry: joint_instruction p globals 40 40 | joint_instr_set_carry: joint_instruction p globals
Note: See TracChangeset
for help on using the changeset viewer.