Changeset 2598 for src/Cminor


Ignore:
Timestamp:
Jan 31, 2013, 12:56:03 PM (7 years ago)
Author:
garnier
Message:

Tentative, partial draft for the definition of Clight-Cminor simulation for statements. Commented out for now.
Also, some stuff on memory injections, and some more aliases on abstract.ma.

File:
1 edited

Legend:

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