source: Deliverables/D3.4/Report

Revision Log Mode:


Legend:

Added
Modified
Copied or renamed
Diff Rev Age Author Log Message
(edit) @3249   8 years Ian Stark UEDIN D3.4, D6.4-6.5
(edit) @3236   8 years campbell Sneak in a single word fix.
(edit) @3231   8 years campbell Final revisions to 3.4.
(edit) @3228   8 years campbell Add a more formal note to the abstract in 3.4.
(edit) @3227   8 years campbell Last bits about lifting proof in 3.4.
(edit) @3226   8 years campbell More 3.4 revisions; mostly administrative.
(edit) @3223   8 years campbell More revisions to 3.4.
(edit) @3218   8 years campbell Text about Cminor to RTLabs.
(edit) @3216   8 years campbell Revisions throughout 3.4.
(edit) @3214   8 years campbell Some 3.4 revisions.
(edit) @3212   8 years campbell Sort out some "to do"s, minimal conclusion.
(edit) @3211   8 years campbell Put switch removal in correct place; describe cost labelling sim.
(edit) @3203   8 years campbell Text on structured trace construction.
(edit) @3191   8 years garnier Some more info on cast removal
(edit) @3181   8 years campbell Compiler overview section of 3.4
(edit) @3173   8 years campbell A little reworking of 3.4.
(edit) @3168   8 years campbell Add some text from Ilias.
(edit) @3167   8 years campbell A little bit about structured traces.
(edit) @3159   8 years campbell A bit more text in 3.4.
(edit) @3158   8 years campbell Some text on measurable subtraces throughout the front-end.
(edit) @3142   8 years campbell Sketch out a bit more of 3.4.
(edit) @3140   8 years campbell Diagram illustrating nested function calls in structured traces.
(edit) @3138   8 years campbell Sketch up-to-labelling bit.
(edit) @3131   8 years campbell Add rest of correctness.
(edit) @3130   8 years campbell Tweak diagram spacing.
(edit) @3129   8 years campbell Right version of the diagram.
(add) @3128   8 years campbell Start of D3.4. (Sorry it's taking longer than anticipated; I blame a …
Note: See TracRevisionLog for help on using the revision log.