Changeset 2907 for src/ASM/Status.ma


Ignore:
Timestamp:
Mar 19, 2013, 7:48:19 PM (7 years ago)
Author:
sacerdot
Message:
  1. a few bugs fixed
  2. as_return implemented for ASM & OC
File:
1 edited

Legend:

Unmodified
Added
Removed
  • src/ASM/Status.ma

    r2770 r2907  
    708708    let memory ≝
    709709      if head' … bit_one then
     710        (high_internal_ram ?? s)
     711      else
    710712        (low_internal_ram ?? s)
    711       else
    712         (high_internal_ram ?? s)
    713713    in
    714714      lookup … seven_bits memory (zero 8).
Note: See TracChangeset for help on using the changeset viewer.