Changeset 1415 for src/ASM/I8051bis.ma

Timestamp:
Oct 19, 2011, 4:22:52 PM (8 years ago)
Author:
sacerdot
Message:
  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:
1 added

Note: See TracChangeset for help on using the changeset viewer.