Changeset 93 for Deliverables/D4.1
- Timestamp:
- Sep 20, 2010, 5:42:45 PM (10 years ago)
- File:
-
- 1 edited
Legend:
- Unmodified
- Added
- Removed
-
Deliverables/D4.1/ASMInterpret.ml
r92 r93 826 826 let inc_dpl = 0 in 827 827 (* DPM: finish *) 828 status828 assert false 829 829 else 830 830 (* DPM: finish *) 831 status831 assert false 832 832 | INC ((`A | `REG _ | `DIRECT _ | `INDIRECT _) as d) -> 833 833 let b = get_arg_8 status d in
Note: See TracChangeset
for help on using the changeset viewer.