Timeline



May 20, 2011:

6:09 PM Changeset [820] by mulligan
changes to get the semantics of pseudoassembly working

May 19, 2011:

4:45 PM Changeset [819] by mulligan
Final changes. Under 8 pages.
4:03 PM Changeset [818] by ayache
32 and 16 bits operations support in D2.2/8051
3:16 PM Changeset [817] by mulligan
final changes, now to get under 8 pages
3:06 PM Changeset [816] by campbell
Clight to Cminor compilation, modulo switch statements, temporary …
12:24 PM Changeset [815] by mulligan
some changes

May 18, 2011:

3:33 PM Changeset [814] by mulligan
changes with claudio

May 16, 2011:

6:07 PM Changeset [813] by mulligan
added boxing of matita code to distinguish from o'caml
5:43 PM Changeset [812] by mulligan
small change
5:35 PM Changeset [811] by mulligan
small typo fixed
5:12 PM Changeset [810] by mulligan
More added.
4:32 PM Changeset [809] by mulligan
more changes to get everything to fit correctly. gone past 8 pg limit
10:44 AM Changeset [808] by mulligan
Changes to paper to get it ready for FMCAD

May 13, 2011:

6:31 PM Changeset [807] by mulligan
small change
6:29 PM Changeset [806] by mulligan
more changes to language used
6:21 PM Changeset [805] by sacerdot
6:18 PM Changeset [804] by sacerdot
6:07 PM Changeset [803] by mulligan
more changes
5:55 PM Changeset [802] by sacerdot
5:50 PM Changeset [801] by mulligan
Changes to english in letter.
5:36 PM Changeset [800] by sacerdot
Half finished.
5:35 PM Changeset [799] by mulligan
more changes.
1:10 PM Changeset [798] by campbell
Fix usual matita tactic mistake.
1:10 PM Changeset [797] by campbell
Add error messages wherever the error monad is used. Sticks to …
1:10 PM Changeset [796] by campbell
Put correct type on cost label expressions in the prototype.
12:29 PM Changeset [795] by mulligan
Changes from this morning.

May 12, 2011:

7:19 PM Changeset [794] by Ian Stark
Some content for addendum
5:33 PM Changeset [793] by mulligan
Work from today on rtlabs -> rtl pass.

May 11, 2011:

5:06 PM Changeset [792] by amadio
Deliverable D2.1 with addendum
2:01 PM Changeset [791] by Ian Stark
Empty addendum
11:44 AM PublicationVenues edited by mulligan
(diff)

May 10, 2011:

5:50 PM Changeset [790] by campbell
A little tidying: get rid of requirement for jmeq in Mem.ma, remove …
5:36 PM Changeset [789] by mulligan
More work on rtlabs -> rtl pass.

May 9, 2011:

5:52 PM RelatedWork edited by campbell
(diff)

May 6, 2011:

3:47 PM Changeset [788] by campbell
Add newer files to experimental Cminor branch.
11:45 AM Changeset [787] by campbell
Update experimental version of Cminor semantics.

May 5, 2011:

12:48 PM Changeset [786] by campbell
A version of the clight matita term printer for the current prototype.
11:38 AM Changeset [785] by sacerdot
Addenda required by the reviewers.

Apr 29, 2011:

1:59 PM Changeset [784] by mulligan
Added missing tailcall simplification file.
1:36 PM Changeset [783] by mulligan
rtl to ertl pass complete (modulo some straightforward axioms that …

Apr 28, 2011:

5:36 PM Changeset [782] by mulligan
More work on rtl-ertl pass from today, plus resolved conflict.
4:43 PM Changeset [781] by campbell
Implement labelling pass for Clight.
10:55 AM Changeset [780] by campbell
Properly update set of registers that are used for pointers in Cminor …
10:55 AM Changeset [779] by campbell
Add merging of tries and identifier sets (based on Dominic's earlier …
10:28 AM Changeset [778] by mulligan
moved register set into correct place

Apr 27, 2011:

5:25 PM Changeset [777] by mulligan
Lots of work on RTL to ERTL pass from today.
11:47 AM Changeset [776] by campbell
Fix up some minor null pointer issues in Clight. Add corresponding …
11:47 AM Changeset [775] by campbell
A few useful definitions for when RTLabs programs fail.

Apr 26, 2011:

4:51 PM Changeset [774] by campbell
Separate out the different forms of addition and subtraction in the …
4:51 PM Changeset [773] by campbell
Report a couple of minor changes from the prototype compiler.

Apr 22, 2011:

5:09 PM Changeset [772] by campbell
Implement proper support for RTLabs addressing modes.
3:21 PM Changeset [771] by campbell
Implement switch statements in Cminor -> RTLabs phase
1:49 PM Changeset [770] by campbell
Clight and Cminor examples for switch statement.
1:49 PM Changeset [769] by campbell
Update the Clight matita term printer.
1:49 PM Changeset [768] by campbell
Make Cminor tests test translation to RTLabs.
11:48 AM Changeset [767] by campbell
Use variable shadowing as a poor man's state monad in cminor to rtlabs …
Note: See TracTimeline for information about the timeline view.