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