Timeline



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 …

Dec 16, 2011:

6:35 PM Changeset [1625] by mulligan
before christmas
3:44 PM Changeset [1624] by mulligan
commit for claudio
2:07 PM Changeset [1623] by mulligan
strange matita issue
10:09 AM Changeset [1622] by mulligan
to avoid conflicts, bug in typechecker?

Dec 15, 2011:

10:22 AM Changeset [1621] by mulligan
to prevent conflicts
12:23 AM Changeset [1620] by sacerdot
One of the mutual cases of the open proof is practically finished.
12:02 AM Changeset [1619] by sacerdot
Major advancement.

Dec 14, 2011:

6:17 PM Changeset [1618] by campbell
Minor updates due to recent changes.
6:17 PM Changeset [1617] by campbell
Note stuff to do on structured traces.
5:57 PM Changeset [1616] by sacerdot
Partially ported to new Matita syntax. Because of some changes in …
5:28 PM Changeset [1615] by sacerdot
Policy now depends on Assembly and not the other way around.
5:00 PM Changeset [1614] by boender
- split policy from assembly
4:41 PM Changeset [1613] by sacerdot
Coercion moved to Matita standard lib.
3:58 PM Changeset [1612] by sacerdot
All library ported to new Matita lib (finally).
3:35 PM Changeset [1611] by sacerdot
All of Cminor now compiles with the latest lib of Matita.
3:33 PM Changeset [1610] by sacerdot
Ported to new lib.
2:44 PM Changeset [1609] by boender
- added alias to ASM/BitVectorTrie - removed double include from …
2:30 PM Changeset [1608] by sacerdot
Porting to new library still in progress.
1:50 PM Changeset [1607] by sacerdot
Porting to new library.
1:40 PM Changeset [1606] by sacerdot
Porting to last library of Matita.
1:18 PM Changeset [1605] by sacerdot
Porting to last standard library of Matita.
11:52 AM Changeset [1604] by mulligan
for jaap

Dec 13, 2011:

5:37 PM Changeset [1603] by sacerdot
More proofs ported to new lib.
4:23 PM Changeset [1602] by mulligan
giving up on fetch proofs for time being
2:49 PM Changeset [1601] by sacerdot
Files ported to new version of the standard library.
1:41 PM Changeset [1600] by sacerdot
utilities and ASM ported to the new standard library
1:34 AM Changeset [1599] by sacerdot
Start of merging of stuff into the standard library of Matita.

Dec 12, 2011:

5:53 PM Changeset [1598] by mulligan
changes over the last couple of days
9:51 AM Changeset [1597] by mulligan
fixed fetch for jaap
Note: See TracTimeline for information about the timeline view.