Changeset 2516 for src/ASM/AbstractStatus.ma
- Timestamp:
- Dec 2, 2012, 5:45:36 PM (8 years ago)
- File:
-
- 1 edited
Legend:
- Unmodified
- Added
- Removed
-
src/ASM/AbstractStatus.ma
r2498 r2516 48 48 definition current_instruction_label ≝ 49 49 λcode_memory. 50 λcost_labels: costlabel_map.50 λcost_labels: BitVectorTrie costlabel 16. 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.