Jun 8, 2010:

3:25 PM Changeset [5] by campbell
Add a few execution steps and calculation of the initial state to the …

Jun 2, 2010:

7:11 PM Changeset [4] by campbell
Some experimental work on executable Clight semantics.

May 27, 2010:

11:47 AM Changeset [3] by campbell
Import work-in-progress port of the CompCert? C semantics to matita.
Note: See TracTimeline for information about the timeline view.