Timestamp:
Jun 21, 2010, 4:22:09 PM (11 years ago)
Author:
campbell
Message:

Enough of an executable semantics to execute a not-quite-trivial program,
plus a patch for compcert to convert C to a matita definition.

File:
1 added

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