Search:
Login
Preferences
Help/Guide
About Trac
Wiki
Timeline
Roadmap
Browse Source
View Tickets
Search
Context Navigation
View Latest Revision
source:
Deliverables
/
D3.4
Revision Log Mode:
Stop on copy
Follow copies
Show only adds and deletes
View log starting at
and back to
Show at most
revisions per page.
Show full log messages
Legend:
Added
Modified
Copied or renamed
Diff
Rev
Age
Author
Log Message
(edit)
@3249
6 years
Ian Stark
UEDIN D3.4, D6.4-6.5
(edit)
@3236
6 years
campbell
Sneak in a single word fix.
(edit)
@3231
6 years
campbell
Final revisions to 3.4.
(edit)
@3228
6 years
campbell
Add a more formal note to the abstract in 3.4.
(edit)
@3227
6 years
campbell
Last bits about lifting proof in 3.4.
(edit)
@3226
6 years
campbell
More 3.4 revisions; mostly administrative.
(edit)
@3223
6 years
campbell
More revisions to 3.4.
(edit)
@3218
6 years
campbell
Text about Cminor to RTLabs.
(edit)
@3216
6 years
campbell
Revisions throughout 3.4.
(edit)
@3214
6 years
campbell
Some 3.4 revisions.
(edit)
@3212
6 years
campbell
Sort out some "to do"s, minimal conclusion.
(edit)
@3211
6 years
campbell
Put switch removal in correct place; describe cost labelling sim.
(edit)
@3203
6 years
campbell
Text on structured trace construction.
(edit)
@3191
6 years
garnier
Some more info on cast removal
(edit)
@3181
6 years
campbell
Compiler overview section of 3.4
(edit)
@3173
6 years
campbell
A little reworking of 3.4.
(edit)
@3168
6 years
campbell
Add some text from Ilias.
(edit)
@3167
6 years
campbell
A little bit about structured traces.
(edit)
@3159
6 years
campbell
A bit more text in 3.4.
(edit)
@3158
6 years
campbell
Some text on measurable subtraces throughout the front-end.
(edit)
@3142
6 years
campbell
Sketch out a bit more of 3.4.
(edit)
@3140
6 years
campbell
Diagram illustrating nested function calls in structured traces.
(edit)
@3138
6 years
campbell
Sketch up-to-labelling bit.
(edit)
@3131
6 years
campbell
Add rest of correctness.
(edit)
@3130
6 years
campbell
Tweak diagram spacing.
(edit)
@3129
6 years
campbell
Right version of the diagram.
(add)
@3128
6 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.
Download in other formats:
RSS Feed
ChangeLog