Timeline



Jul 26, 2010:

7:04 PM Changeset [17] by campbell
Remainder of the statements for the executable semantics (except for …
5:19 PM Changeset [16] by campbell
Add rest of the expressions to executable Clight semantics.

Jul 22, 2010:

4:50 PM Changeset [15] by campbell
Make some definitions more normalization friendly by a little 'nlet …

Jul 21, 2010:

3:08 PM Changeset [14] by campbell
Make Integers.ma respect bounds again, and reenable the rest of Mem.ma.

Jul 19, 2010:

4:30 PM Changeset [13] by campbell
Minor syntactic changes.

Jul 7, 2010:

6:46 PM Changeset [12] by campbell
Make memory model tests more readable. Update README.
12:55 PM Changeset [11] by campbell
Fill in some axioms to aid executablity. Implement global variable …

Jul 6, 2010:

11:53 AM Changeset [10] by campbell
Add binary arithmetic libraries, use for integers and identifiers (but …
Note: See TracTimeline for information about the timeline view.