Timeline



Jan 23, 2012:

7:01 PM Changeset [1656] by campbell
Minor fixups to RTLabs/Traces due to syntax changes.
6:31 PM Changeset [1655] by campbell
Update Cminor and RTLabs semantics to use new monad definitions.
5:37 PM Changeset [1654] by campbell
Corrections to structured trace definitions (see the mailing list). …
5:37 PM Changeset [1653] by campbell
Start on building finite sections of non-terminating structured traces.
5:37 PM Changeset [1652] by campbell
Forgot to apply 1583 to non-terminating case.
5:37 PM Changeset [1651] by campbell
Start looking at non-terminating structured traces by defining …

Jan 19, 2012:

4:56 PM Changeset [1650] by mulligan
changes over the last couple of days: stuck due to matita producing …

Jan 18, 2012:

6:17 PM Changeset [1649] by boender
- changes to Assembly for integration with Policy and easier use of …
11:01 AM Changeset [1648] by mulligan
new version of utilities/monad.ma with typecheck command comented out

Jan 17, 2012:

1:13 PM Changeset [1647] by tranquil
* corrected some notation problems * adapted Cligth with slight …

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.
Note: See TracTimeline for information about the timeline view.