Timeline



Aug 10, 2011:

5:17 PM Changeset [1105] by campbell
Show that RTLabs graphs are closed on branch (i.e., all labels in …
5:17 PM Changeset [1104] by campbell
A little more tidying.

Aug 5, 2011:

1:47 PM Changeset [1103] by boender
- reverted to old policy

Aug 4, 2011:

1:55 PM Changeset [1102] by campbell
Tidy up branch

Aug 3, 2011:

5:18 PM Changeset [1101] by campbell
Label preservation in Cminor initialisation and RTLabs translation on …
5:18 PM Changeset [1100] by campbell
Finally show that labels in generated Cminor programs are properly …
4:17 PM Changeset [1099] by ayache
Bug fix in Deliverables/D2.2/8051: cast simplification.
2:48 PM Changeset [1098] by campbell
Merge branch with trunk
1:04 PM Changeset [1097] by campbell
Checkpoint labels work on branch again.
1:04 PM Changeset [1096] by campbell
Checkpoint part way through adding proper C label checking to the branch.
1:04 PM Changeset [1095] by campbell
Make add_exprs total (on branch).

Jul 28, 2011:

5:26 PM Changeset [1094] by mulligan
some changes from today to do with liveness analyses
12:15 PM Changeset [1093] by campbell
Merge a bit more.
12:14 PM Changeset [1092] by campbell
Some minor definitions for identifiers and lists.
12:14 PM Changeset [1091] by campbell
Merge trunk into id-lookup-branch

Jul 27, 2011:

5:56 PM Changeset [1090] by mulligan
small change to liveness analysis
5:50 PM Changeset [1089] by mulligan
more changes from earlier in the week
5:50 PM Changeset [1088] by mulligan
work on liveness analysis: an imperative nightmare

Jul 25, 2011:

2:58 PM Changeset [1087] by campbell
Experimental branch where lookups of local variables in Cminor code …
12:41 PM Changeset [1086] by campbell
Branch for experimenting with identifier binding guarantees.

Jul 21, 2011:

5:09 PM Changeset [1085] by mulligan
removed stray files that are no longer needed
5:00 PM Changeset [1084] by mulligan
more added on ertl pass: not sure how much should be axiomatised wrt …
12:28 PM Changeset [1083] by mulligan
ertl --> ltl statement generation nearly complete. required some …

Jul 20, 2011:

5:17 PM Changeset [1082] by mulligan
work from today on ertl -> ltl pass
11:26 AM Changeset [1081] by mulligan
completed rtl-ertl pass

Jul 19, 2011:

5:28 PM Changeset [1080] by mulligan
more added
4:30 PM Changeset [1079] by mulligan
finished rtl to ertl pass modulo conversion of tailcall simplification code
12:39 PM Changeset [1078] by campbell
Implement stack allocation for parameters whose address is taken.
12:23 PM Changeset [1077] by mulligan
ack, dependent types are scary

Jul 18, 2011:

5:40 PM Changeset [1076] by mulligan
small changes
5:21 PM Changeset [1075] by mulligan
nearly completed rtl -> ertl pass removing all option types with dep. types
12:44 PM Changeset [1074] by boender
- added lookup lemma
Note: See TracTimeline for information about the timeline view.