Changeset 1475

Timestamp:
Nov 1, 2011, 3:14:09 PM (8 years ago)
Author:
sacerdot
Message:

Towards the two fullexec transition systems that represent interpretation of
assembly and object code. To be used for the main statement of soundness.

File:
1 added

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