Changeset 2264 for src/ASM/PolicyStep.ma
- Timestamp:
- Jul 26, 2012, 12:38:42 AM (9 years ago)
- File:
-
- 1 edited
Legend:
- Unmodified
- Added
- Removed
-
src/ASM/PolicyStep.ma
r2248 r2264 1067 1067 occurs_exactly_once ?? l program → 1068 1068 bitvector_of_nat ? (lookup_def … lm l 0) = 1069 address_of_word_labels _code_memprogram l).1069 address_of_word_labels program l). 1070 1070 ∀old_policy:(Σpolicy:ppc_pc_map. 1071 1071 (* out_of_program_none program policy *)
Note: See TracChangeset
for help on using the changeset viewer.