Timeline


and

Jan 16, 2012:

3:04 PM Changeset [1646] by mulligan
finished the block_costs computation, and propagated the changes …

Jan 13, 2012:

6:11 PM Changeset [1645] by mulligan
more progress on the ASMCosts work: block_costs is now complete …
3:08 PM Changeset [1644] by tranquil
minor changes
12:23 PM Changeset [1643] by tranquil
* some changes in everything * separated extensions in sequential and …

Jan 12, 2012:

6:16 PM Changeset [1642] by mulligan
finished big proof in all but two cases

Jan 11, 2012:

8:03 PM Changeset [1641] by tranquil
* semanticsUtils_paolo.ma contains code to generate both graph and …
5:41 PM Changeset [1640] by tranquil
* finished fork of semantics.ma * unification of Errors under the …

Jan 10, 2012:

5:27 PM Changeset [1639] by mulligan
changes from today
4:31 PM Changeset [1638] by campbell
Tidy up RTLabs structured traces code a little.
11:26 AM Changeset [1637] by campbell
RTLabs structured traces: Add a termination measure to satisfy …

Jan 9, 2012:

12:38 PM Changeset [1636] by tranquil
* added coercions to arguments (in RTL) and notation for ops (for the …

Jan 7, 2012:

12:33 AM Changeset [1635] by tranquil
* lists with binders and monads * Joint.ma and other temprarily …

Jan 4, 2012:

7:42 PM Changeset [1634] by campbell
Update memory model examples syntax.
7:19 PM Changeset [1633] by campbell
Update Cminor pretty printer and examples.

Dec 20, 2011:

2:38 PM Changeset [1632] by boender
- strengthened insert_lookup_opt

Dec 19, 2011:

2:48 PM Changeset [1631] by campbell
Use fact that type environments in Cminor have distinct variables to …
2:48 PM Changeset [1630] by campbell
Remainder of freshness in Clight to Cminor pass.
2:48 PM Changeset [1629] by campbell
Sort out most of the fresh names stuff in Clight to Cminor.
2:48 PM Changeset [1628] by campbell
Show that the universe generated by Clight/fresh.ma is good.
2:48 PM Changeset [1627] by campbell
Add some notions of freshness, and start using them for temporary …
2:48 PM Changeset [1626] by campbell
Add extra type safety in front end. NB: critical freshness parts …
Note: See TracTimeline for information about the timeline view.