source: src/ASM/ @ 2093

Last change on this file since 2093 was 1415, checked in by sacerdot, 10 years ago
  1. hwreg_store/retrieve no longer returns a res (but it is still axiomatized)
  2. added initialization of local environment that sets the sp in the appropriate way
  3. ASM/I8051 splitted into ASM/I8051bis because of some bugs with disambiguation
File size: 125 bytes
[1415]1include "utilities/binary/".
3definition internal_ram_size: Z ≝ two_p 8.
4definition external_ram_size: Z ≝ two_p 16.
Note: See TracBrowser for help on using the repository browser.