source: Deliverables/D3.4

Revision Log Mode:


Legend:

Added
Modified
Copied or renamed
Diff Rev Age Author Log Message
(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.