Changeset 1494 for src/ASM/Interpret.ma
- Timestamp:
- Nov 7, 2011, 10:56:13 AM (9 years ago)
- File:
-
- 1 edited
Legend:
- Unmodified
- Added
- Removed
-
src/ASM/Interpret.ma
r1037 r1494 678 678 let s ≝ set_clock ? s (\fst ticks + clock ? s) in 679 679 let preamble ≝ \fst (code_memory ? s) in 680 let data_labels ≝ construct_datalabels preamblein680 let data_labels ≝ construct_datalabels (map … (fst …) preamble) in 681 681 set_arg_16 ? s (get_arg_16 ? s (DATA16 (lookup ? ? ident data_labels (zero ?)))) dptr 682 682 ]
Note: See TracChangeset
for help on using the changeset viewer.