Changeset 2280


Ignore:
Timestamp:
Jul 31, 2012, 12:10:59 AM (7 years ago)
Author:
sacerdot
Message:

Proof repaired.

File:
1 edited

Legend:

Unmodified
Added
Removed
  • src/ASM/Interpret.ma

    r2279 r2280  
    909909    |7,8,9,10,11,12,13,14,15,16, (* INC *)
    910910     71,72,73,74,75,76, (* CLR *)
    911      77,78,79,80,81,82, (* CPL *)
    912      99,100: (* PUSH *)
     911     77,78,79,80,81,82: (* CPL *)
    913912      lapply (subaddressing_modein ???) <EQaddr normalize nodelta #b
     913    |99,100: (* PUSH *)
     914      whd in match add; normalize nodelta [>clock_write_at_stack_pointer]
    914915    |93,94: (* MOV *)
    915916      cases addr * normalize nodelta
Note: See TracChangeset for help on using the changeset viewer.