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)
@2380
7 years
mulligan
Some spelling changes to Britishi*S*e the text.
(edit)
@2379
7 years
mulligan
Down to 16 pages again
(edit)
@2378
7 years
sacerdot
…
(edit)
@2377
7 years
sacerdot
typo fixed
(edit)
@2376
7 years
mulligan
To avoid conflicts
(edit)
@2375
7 years
sacerdot
…
(edit)
@2374
7 years
sacerdot
…
(edit)
@2373
7 years
mulligan
Changes to the Italian-English
(edit)
@2372
7 years
sacerdot
3.5 rewritten up to XXXX
(edit)
@2371
7 years
mulligan
Added scanned LNCS copyright form as a PDF
(edit)
@2370
7 years
mulligan
Added reference to Jaap's
ArXiv?
paper
(edit)
@2369
7 years
mulligan
English fixes and some rewording.
(edit)
@2368
7 years
sacerdot
3.4 patched.
(edit)
@2367
7 years
sacerdot
…
(edit)
@2366
7 years
sacerdot
…
(edit)
@2365
7 years
mulligan
More minor tweaks.
(edit)
@2364
7 years
mulligan
Some minor changes to Claudio's additions and reinstatement of some …
(edit)
@2363
7 years
sacerdot
New 3.3. Maybe worse than the previous one.
(edit)
@2362
7 years
mulligan
16 pages at last due to all sorts of fiddling. Any more additions …
(edit)
@2361
7 years
mulligan
Just half of a page left to find.
(edit)
@2360
7 years
mulligan
Back to 17 pages after Claudio's additions.
(edit)
@2359
7 years
sacerdot
…
(edit)
@2358
7 years
mulligan
Down to 17 pages now.
(edit)
@2357
7 years
mulligan
Begun editing down to reclaim space. Fixed some embarrassing typos …
(edit)
@2356
7 years
mulligan
Consistency changes.
(edit)
@2355
7 years
sacerdot
"Total correctness" => correctness
(edit)
@2354
7 years
sacerdot
3.1 and 3.2 rewritten because now the reader has more information …
(edit)
@2352
7 years
mulligan
Removed repeated references as suggested by the referee
(edit)
@2351
7 years
mulligan
Small consistency changes.
(edit)
@2350
7 years
mulligan
Got to the conclusions.
(edit)
@2349
7 years
mulligan
Up to section 3.5.
(edit)
@2348
7 years
mulligan
Edited up to Sec. 3.3
(edit)
@2347
7 years
mulligan
MCS-51 not MCS-8051
(edit)
@2346
7 years
mulligan
Minor changes to Claudio's new text
(edit)
@2345
7 years
sacerdot
…
(edit)
@2344
7 years
mulligan
Fixed "C statements" rather than "blocks of instructions"
(edit)
@2343
7 years
mulligan
Fixed Claudio's horrifying use of American spellings (optimizing, etc.)
(edit)
@2342
7 years
mulligan
simplified statements
(edit)
@2341
7 years
sacerdot
More introduction.
(edit)
@2340
7 years
sacerdot
Introduction rewritten.
(edit)
@2339
7 years
mulligan
Got to page 8/9.
(edit)
@2337
7 years
mulligan
Removed the referee's comments that have already been addressed from …
(edit)
@2336
7 years
mulligan
Added hyphenat.sty, needed file to compile even after doing a …
(edit)
@2334
7 years
sacerdot
Only relevant pieces of reviews left in place.
(edit)
@2333
7 years
sacerdot
Reviews committed.
(copy)
@2329
7 years
mulligan
Added new directory for papers so as to stop them from being spread …
copied from
src/ASM/CPP2012-asm
:
(edit)
@2095
7 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