Search:
Login
Preferences
Help/Guide
About Trac
Wiki
Timeline
Roadmap
Browse Source
View Tickets
Search
Context Navigation
View Latest Revision
source:
Papers
/
cpp-asm-2012
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)
@2371
8 years
mulligan
Added scanned LNCS copyright form as a PDF
(edit)
@2370
8 years
mulligan
Added reference to Jaap's
ArXiv?
paper
(edit)
@2369
8 years
mulligan
English fixes and some rewording.
(edit)
@2368
8 years
sacerdot
3.4 patched.
(edit)
@2367
8 years
sacerdot
…
(edit)
@2366
8 years
sacerdot
…
(edit)
@2365
8 years
mulligan
More minor tweaks.
(edit)
@2364
8 years
mulligan
Some minor changes to Claudio's additions and reinstatement of some …
(edit)
@2363
8 years
sacerdot
New 3.3. Maybe worse than the previous one.
(edit)
@2362
8 years
mulligan
16 pages at last due to all sorts of fiddling. Any more additions …
(edit)
@2361
8 years
mulligan
Just half of a page left to find.
(edit)
@2360
8 years
mulligan
Back to 17 pages after Claudio's additions.
(edit)
@2359
8 years
sacerdot
…
(edit)
@2358
8 years
mulligan
Down to 17 pages now.
(edit)
@2357
8 years
mulligan
Begun editing down to reclaim space. Fixed some embarrassing typos …
(edit)
@2356
8 years
mulligan
Consistency changes.
(edit)
@2355
8 years
sacerdot
"Total correctness" => correctness
(edit)
@2354
8 years
sacerdot
3.1 and 3.2 rewritten because now the reader has more information …
(edit)
@2352
8 years
mulligan
Removed repeated references as suggested by the referee
(edit)
@2351
8 years
mulligan
Small consistency changes.
(edit)
@2350
8 years
mulligan
Got to the conclusions.
(edit)
@2349
8 years
mulligan
Up to section 3.5.
(edit)
@2348
8 years
mulligan
Edited up to Sec. 3.3
(edit)
@2347
8 years
mulligan
MCS-51 not MCS-8051
(edit)
@2346
8 years
mulligan
Minor changes to Claudio's new text
(edit)
@2345
8 years
sacerdot
…
(edit)
@2344
8 years
mulligan
Fixed "C statements" rather than "blocks of instructions"
(edit)
@2343
8 years
mulligan
Fixed Claudio's horrifying use of American spellings (optimizing, etc.)
(edit)
@2342
8 years
mulligan
simplified statements
(edit)
@2341
8 years
sacerdot
More introduction.
(edit)
@2340
8 years
sacerdot
Introduction rewritten.
(edit)
@2339
8 years
mulligan
Got to page 8/9.
(edit)
@2337
8 years
mulligan
Removed the referee's comments that have already been addressed from …
(edit)
@2336
8 years
mulligan
Added hyphenat.sty, needed file to compile even after doing a …
(edit)
@2334
8 years
sacerdot
Only relevant pieces of reviews left in place.
(edit)
@2333
8 years
sacerdot
Reviews committed.
(copy)
@2329
8 years
mulligan
Added new directory for papers so as to stop them from being spread …
copied from
src/ASM/CPP2012-asm
:
(edit)
@2095
8 years
mulligan
Added reference to
CompCert?
and CompCertTSO.
Note:
See
TracRevisionLog
for help on using the revision log.
Download in other formats:
RSS Feed
ChangeLog