Timeline


and

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 …

Apr 21, 2011:

7:24 PM Changeset [766] by campbell
Most of the Cminor to RTLabs stage. Is buggy, generates inefficient …

Apr 20, 2011:

5:39 PM Changeset [765] by campbell
Remove superfluous register in RTLabs return statements. Also fix up …
5:38 PM Changeset [764] by campbell
Start Cminor to RTLabs phase. Includes some syntax for matching …
11:33 AM Changeset [763] by mulligan
Changes to RTL-ERTL pass.

Apr 19, 2011:

5:48 PM Changeset [762] by campbell
Make naming of RTLabs files more uniform
3:47 PM RelatedWork edited by campbell
(diff)
3:44 PM RelatedWork edited by campbell
(diff)
3:42 PM RelatedWork edited by campbell
(diff)
2:46 PM RelatedWork edited by mulligan
(diff)
2:46 PM RelatedWork edited by mulligan
(diff)
2:45 PM RelatedWork edited by mulligan
(diff)
2:45 PM RelatedWork edited by mulligan
(diff)
2:40 PM RelatedWork created by mulligan
2:40 PM WikiStart edited by mulligan
(diff)
12:22 PM Changeset [761] by campbell
Enforce the use of declared identifiers/registers in Cminor/RTLabs.
12:22 PM Changeset [760] by campbell
Fix tailcall continuations in Cminor.

Apr 18, 2011:

5:32 PM Changeset [759] by mulligan
More work on the RTL to ERTL pass.
12:33 PM Changeset [758] by campbell
Implement replacement of global var initialisation data by code in Cminor.
12:30 PM Changeset [757] by mulligan
Lots more fixing to get both front and backends using same conventions …

Apr 15, 2011:

5:47 PM Changeset [756] by mulligan
Made a start on RTL. Renaming in ERTL and below to move closer to …
4:26 PM Changeset [755] by campbell
An experimental branch of the Cminor semantics.
1:29 PM Changeset [754] by mulligan
Syntax of RTL.

Apr 14, 2011:

5:54 PM Changeset [753] by mulligan
Work from today.
2:23 PM Changeset [752] by mulligan
Fixed error in BitVectorTrieSet? file.

Apr 13, 2011:

6:52 PM Changeset [751] by campbell
Initial version of the Cminor syntax and semantics.

Apr 12, 2011:

12:32 PM Changeset [750] by campbell
Track some of the changes to the prototype in RTLabs. Just one …
12:32 PM Changeset [749] by campbell
Make definition more explicit to avoid jmeq.
12:32 PM Changeset [748] by campbell
Change example statement for easier testing.
Note: See TracTimeline for information about the timeline view.