- Timestamp:
- Jun 28, 2012, 3:00:45 PM (9 years ago)
- File:
-
- 1 edited
Legend:
- Unmodified
- Added
- Removed
-
src/ASM/Assembly.ma
r2111 r2137 709 709 ∧ 710 710 ( (nat_of_bitvector … ppc < |instr_list| → nat_of_bitvector … pc < nat_of_bitvector … next_pc) 711 ∨ (nat_of_bitvector … ppc = |instr_list| → n ext_pc = (zero …))).711 ∨ (nat_of_bitvector … ppc = |instr_list| → nat_of_bitvector … pc < nat_of_bitvector … next_pc ∨ next_pc = (zero …))). 712 712 713 713 definition assembly:
Note: See TracChangeset
for help on using the changeset viewer.