Changeset 2137


Ignore:
Timestamp:
Jun 28, 2012, 3:00:45 PM (5 years ago)
Author:
sacerdot
Message:

Bug fixed in specification.

File:
1 edited

Legend:

Unmodified
Added
Removed
  • src/ASM/Assembly.ma

    r2111 r2137  
    709709     ∧       
    710710      (  (nat_of_bitvector … ppc < |instr_list| → nat_of_bitvector … pc < nat_of_bitvector … next_pc)
    711        ∨ (nat_of_bitvector … ppc = |instr_list| → next_pc = (zero …))).
     711       ∨ (nat_of_bitvector … ppc = |instr_list| → nat_of_bitvector … pc < nat_of_bitvector … next_pc ∨ next_pc = (zero …))).
    712712
    713713definition assembly:
Note: See TracChangeset for help on using the changeset viewer.