source: src/ASM/I8051bis.ma @ 2771

Last change on this file since 2771 was 1415, checked in by sacerdot, 8 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
Line 
1include "utilities/binary/Z.ma".
2
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.