Changeset 1600 for src/ASM/Interpret.ma


Ignore:
Timestamp:
Dec 13, 2011, 1:41:08 PM (8 years ago)
Author:
sacerdot
Message:

utilities and ASM ported to the new standard library

File:
1 edited

Legend:

Unmodified
Added
Removed
  • src/ASM/Interpret.ma

    r1588 r1600  
    11include "ASM/Status.ma".
    22include "ASM/Fetch.ma".
    3 include "ASM/JMCoercions.ma".
    43
    54definition sign_extension: Byte → Word ≝
Note: See TracChangeset for help on using the changeset viewer.