Timeline
Aug 10, 2011:
- 5:17 PM Changeset [1105] by
- Show that RTLabs graphs are closed on branch (i.e., all labels in …
- 5:17 PM Changeset [1104] by
- A little more tidying.
Aug 5, 2011:
- 1:47 PM Changeset [1103] by
- - reverted to old policy
Aug 4, 2011:
- 1:55 PM Changeset [1102] by
- Tidy up branch
Aug 3, 2011:
- 5:18 PM Changeset [1101] by
- Label preservation in Cminor initialisation and RTLabs translation on …
- 5:18 PM Changeset [1100] by
- Finally show that labels in generated Cminor programs are properly …
- 4:17 PM Changeset [1099] by
- Bug fix in Deliverables/D2.2/8051: cast simplification.
- 2:48 PM Changeset [1098] by
- Merge branch with trunk
- 1:04 PM Changeset [1097] by
- Checkpoint labels work on branch again.
- 1:04 PM Changeset [1096] by
- Checkpoint part way through adding proper C label checking to the branch.
- 1:04 PM Changeset [1095] by
- Make add_exprs total (on branch).
Jul 28, 2011:
- 5:26 PM Changeset [1094] by
- some changes from today to do with liveness analyses
- 12:15 PM Changeset [1093] by
- Merge a bit more.
- 12:14 PM Changeset [1092] by
- Some minor definitions for identifiers and lists.
- 12:14 PM Changeset [1091] by
- Merge trunk into id-lookup-branch
Jul 27, 2011:
- 5:56 PM Changeset [1090] by
- small change to liveness analysis
- 5:50 PM Changeset [1089] by
- more changes from earlier in the week
- 5:50 PM Changeset [1088] by
- work on liveness analysis: an imperative nightmare
Jul 25, 2011:
- 2:58 PM Changeset [1087] by
- Experimental branch where lookups of local variables in Cminor code …
- 12:41 PM Changeset [1086] by
- Branch for experimenting with identifier binding guarantees.
Jul 21, 2011:
- 5:09 PM Changeset [1085] by
- removed stray files that are no longer needed
- 5:00 PM Changeset [1084] by
- more added on ertl pass: not sure how much should be axiomatised wrt …
- 12:28 PM Changeset [1083] by
- ertl --> ltl statement generation nearly complete. required some …
Jul 20, 2011:
- 5:17 PM Changeset [1082] by
- work from today on ertl -> ltl pass
- 11:26 AM Changeset [1081] by
- completed rtl-ertl pass
Jul 19, 2011:
- 5:28 PM Changeset [1080] by
- more added
- 4:30 PM Changeset [1079] by
- finished rtl to ertl pass modulo conversion of tailcall simplification code
- 12:39 PM Changeset [1078] by
- Implement stack allocation for parameters whose address is taken.
- 12:23 PM Changeset [1077] by
- ack, dependent types are scary
Jul 18, 2011:
- 5:40 PM Changeset [1076] by
- small changes
- 5:21 PM Changeset [1075] by
- nearly completed rtl -> ertl pass removing all option types with dep. types
- 12:44 PM Changeset [1074] by
- - added lookup lemma
Jul 15, 2011:
- 5:38 PM Changeset [1073] by
- more changes from today
- 4:56 PM Changeset [1072] by
- Use not equals form of showing entry/exit labels.
- 2:40 PM Changeset [1071] by
- changes the specific form that the added proofs take to use None, not …
- 12:56 PM Changeset [1070] by
- Show that entry and exit labels are in the RTLabs graph.
- 12:56 PM Changeset [1069] by
- Change odd proof obligation problem back.
Jul 14, 2011:
- 2:27 PM Changeset [1068] by
- rtlabs translation complete subject to axioms
Jul 13, 2011:
- 5:37 PM Changeset [1067] by
- more smaller changes
- 5:12 PM Changeset [1066] by
- changes from today
- 4:02 PM Changeset [1065] by
- Note a couple of deviations from the prototype.
Jul 12, 2011:
- 5:52 PM Changeset [1064] by
- changes from today, nearly complete rtlabs translation pass
Jul 11, 2011:
- 5:52 PM Changeset [1063] by
- changes from today
- 2:09 PM Changeset [1062] by
- separated jmeq and coercions from foldstuff.ma in order to fix the …
Note: See TracTimeline
for information about the timeline view.