source: Deliverables/D3.4/Report

Revision Log Mode:


Legend:

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