Changeset 2498 for src/ASM/AbstractStatus.ma
- Timestamp:
- Nov 27, 2012, 6:01:50 PM (8 years ago)
- File:
-
- 1 edited
Legend:
- Unmodified
- Added
- Removed
-
src/ASM/AbstractStatus.ma
r1944 r2498 48 48 definition current_instruction_label ≝ 49 49 λcode_memory. 50 λcost_labels: BitVectorTrie costlabel 16.50 λcost_labels: costlabel_map. 51 51 λs: Status code_memory. 52 52 let pc ≝ program_counter … code_memory s in
Note: See TracChangeset
for help on using the changeset viewer.