# # ChangeLog for Papers/cpp-asm-2012 # # Generated by Trac 1.2 # Dec 9, 2019, 10:24:16 PM Tue, 30 Apr 2013 09:45:00 GMT tranquil [3222] * Deliverables/D4.4/mauro.tex (modified) * Deliverables/D4.4/paolo.tex (modified) * Deliverables/D4.4/report.tex (modified) * Papers/cpp-asm-2012/cpp-2012-asm.tex (modified) * Papers/itp-2013/ccexec.tex (modified) added pages to included papers. final version. Thu, 25 Oct 2012 10:30:01 GMT mulligan [2416] * Papers/cpp-asm-2012/cpp-2012-asm.tex (modified) * Papers/polymorphic-variants-2012/polymorphic-variants.bib (modified) * Papers/polymorphic-variants-2012/polymorphic-variants.tex (modified) Some more minor changes Fri, 28 Sep 2012 16:35:12 GMT mulligan [2380] * Papers/cpp-asm-2012/cpp-2012-asm.tex (modified) Some spelling changes to Britishi*S*e the text. Fri, 28 Sep 2012 16:26:29 GMT mulligan [2379] * Papers/cpp-asm-2012/cpp-2012-asm.tex (modified) Down to 16 pages again Fri, 28 Sep 2012 16:24:44 GMT sacerdot [2378] * Papers/cpp-asm-2012/cpp-2012-asm.tex (modified) * Papers/cpp-asm-2012/reviews.txt (modified) ... Fri, 28 Sep 2012 16:18:25 GMT sacerdot [2377] * Papers/cpp-asm-2012/cpp-2012-asm.tex (modified) * Papers/cpp-asm-2012/reviews.txt (modified) typo fixed Fri, 28 Sep 2012 16:13:33 GMT mulligan [2376] * Papers/cpp-asm-2012/cpp-2012-asm.tex (modified) To avoid conflicts Fri, 28 Sep 2012 16:12:02 GMT sacerdot [2375] * Papers/cpp-asm-2012/cpp-2012-asm.tex (modified) ... Fri, 28 Sep 2012 15:54:08 GMT sacerdot [2374] * Papers/cpp-asm-2012/cpp-2012-asm.tex (modified) ... Fri, 28 Sep 2012 15:43:24 GMT mulligan [2373] * Papers/cpp-asm-2012/cpp-2012-asm.tex (modified) Changes to the Italian-English Fri, 28 Sep 2012 15:28:43 GMT sacerdot [2372] * Papers/cpp-asm-2012/cpp-2012-asm.tex (modified) 3.5 rewritten up to XXXX Fri, 28 Sep 2012 15:09:46 GMT mulligan [2371] * Papers/cpp-asm-2012/copyright.pdf (added) Added scanned LNCS copyright form as a PDF Fri, 28 Sep 2012 14:19:25 GMT mulligan [2370] * Papers/cpp-asm-2012/cpp-2012-asm.bib (modified) * Papers/cpp-asm-2012/cpp-2012-asm.tex (modified) Added reference to Jaap's ArXiv paper Fri, 28 Sep 2012 13:13:49 GMT mulligan [2369] * Papers/cpp-asm-2012/cpp-2012-asm.tex (modified) English fixes and some rewording. Fri, 28 Sep 2012 09:41:39 GMT sacerdot [2368] * Papers/cpp-asm-2012/cpp-2012-asm.tex (modified) 3.4 patched. Fri, 28 Sep 2012 00:27:37 GMT sacerdot [2367] * Papers/cpp-asm-2012/cpp-2012-asm.tex (modified) ... Fri, 28 Sep 2012 00:19:06 GMT sacerdot [2366] * Papers/cpp-asm-2012/cpp-2012-asm.tex (modified) ... Thu, 27 Sep 2012 15:48:10 GMT mulligan [2365] * Papers/cpp-asm-2012/cpp-2012-asm.tex (modified) More minor tweaks. Thu, 27 Sep 2012 15:46:59 GMT mulligan [2364] * Papers/cpp-asm-2012/cpp-2012-asm.tex (modified) Some minor changes to Claudio's additions and reinstatement of some ... Thu, 27 Sep 2012 15:36:44 GMT sacerdot [2363] * Papers/cpp-asm-2012/cpp-2012-asm.tex (modified) New 3.3. Maybe worse than the previous one. Thu, 27 Sep 2012 15:34:35 GMT mulligan [2362] * Papers/cpp-asm-2012/cpp-2012-asm.bib (modified) * Papers/cpp-asm-2012/cpp-2012-asm.tex (modified) 16 pages at last due to all sorts of fiddling. Any more additions ... Thu, 27 Sep 2012 14:24:04 GMT mulligan [2361] * Papers/cpp-asm-2012/cpp-2012-asm.tex (modified) Just half of a page left to find. Thu, 27 Sep 2012 13:28:44 GMT mulligan [2360] * Papers/cpp-asm-2012/cpp-2012-asm.tex (modified) Back to 17 pages after Claudio's additions. Thu, 27 Sep 2012 13:17:39 GMT sacerdot [2359] * Papers/cpp-asm-2012/cpp-2012-asm.tex (modified) ... Thu, 27 Sep 2012 13:16:34 GMT mulligan [2358] * Papers/cpp-asm-2012/cpp-2012-asm.tex (modified) Down to 17 pages now. Thu, 27 Sep 2012 12:46:30 GMT mulligan [2357] * Papers/cpp-asm-2012/cpp-2012-asm.tex (modified) Begun editing down to reclaim space. Fixed some embarrassing typos ... Thu, 27 Sep 2012 12:39:34 GMT mulligan [2356] * Papers/cpp-asm-2012/cpp-2012-asm.tex (modified) Consistency changes. Thu, 27 Sep 2012 11:26:39 GMT sacerdot [2355] * Papers/cpp-asm-2012/cpp-2012-asm.tex (modified) "Total correctness" => correctness Wed, 26 Sep 2012 20:39:22 GMT sacerdot [2354] * Papers/cpp-asm-2012/cpp-2012-asm.tex (modified) 3.1 and 3.2 rewritten because now the reader has more information ... Wed, 26 Sep 2012 15:57:59 GMT mulligan [2352] * Papers/cpp-asm-2012/cpp-2012-asm.tex (modified) Removed repeated references as suggested by the referee Wed, 26 Sep 2012 15:55:28 GMT mulligan [2351] * Papers/cpp-asm-2012/cpp-2012-asm.tex (modified) Small consistency changes. Wed, 26 Sep 2012 15:53:31 GMT mulligan [2350] * Papers/cpp-asm-2012/cpp-2012-asm.tex (modified) Got to the conclusions. Wed, 26 Sep 2012 15:44:31 GMT mulligan [2349] * Papers/cpp-asm-2012/cpp-2012-asm.tex (modified) Up to section 3.5. Wed, 26 Sep 2012 13:43:36 GMT mulligan [2348] * Papers/cpp-asm-2012/cpp-2012-asm.tex (modified) Edited up to Sec. 3.3 Wed, 26 Sep 2012 13:17:29 GMT mulligan [2347] * Papers/cpp-asm-2012/cpp-2012-asm.tex (modified) MCS-51 not MCS-8051 Wed, 26 Sep 2012 13:16:45 GMT mulligan [2346] * Papers/cpp-asm-2012/cpp-2012-asm.tex (modified) Minor changes to Claudio's new text Wed, 26 Sep 2012 12:57:50 GMT sacerdot [2345] * Papers/cpp-asm-2012/cpp-2012-asm.tex (modified) ... Wed, 26 Sep 2012 12:50:19 GMT mulligan [2344] * Papers/cpp-asm-2012/cpp-2012-asm.tex (modified) Fixed "C statements" rather than "blocks of instructions" Wed, 26 Sep 2012 12:46:57 GMT mulligan [2343] * Papers/cpp-asm-2012/cpp-2012-asm.tex (modified) Fixed Claudio's horrifying use of American spellings (optimizing, etc.) Wed, 26 Sep 2012 12:43:19 GMT mulligan [2342] * Papers/cpp-asm-2012/cpp-2012-asm.tex (modified) simplified statements Wed, 26 Sep 2012 12:08:42 GMT sacerdot [2341] * Papers/cpp-asm-2012/cpp-2012-asm.tex (modified) More introduction. Wed, 26 Sep 2012 11:53:30 GMT sacerdot [2340] * Papers/cpp-asm-2012/cpp-2012-asm.tex (modified) Introduction rewritten. Wed, 26 Sep 2012 10:24:53 GMT mulligan [2339] * Papers/cpp-asm-2012/cpp-2012-asm.tex (modified) Got to page 8/9. Tue, 25 Sep 2012 12:47:10 GMT mulligan [2337] * Papers/cpp-asm-2012/reviews.txt (modified) Removed the referee's comments that have already been addressed from ... Tue, 25 Sep 2012 12:11:07 GMT mulligan [2336] * Papers/cpp-asm-2012/hyphenat.sty (added) Added hyphenat.sty, needed file to compile even after doing a ... Sun, 16 Sep 2012 15:40:25 GMT sacerdot [2334] * Papers/cpp-asm-2012/reviews.txt (modified) Only relevant pieces of reviews left in place. Sun, 16 Sep 2012 15:30:24 GMT sacerdot [2333] * Papers/cpp-asm-2012/reviews.txt (added) Reviews committed. Tue, 11 Sep 2012 15:10:46 GMT mulligan [2329] * Papers (added) * Papers/cpp-2011 (copied) * Papers/cpp-asm-2012 (copied) * Papers/cpp-asm-2012/cpp-2012-asm.tex (copied) * Papers/cpp-policy-2012 (copied) * Papers/itp-2011 (copied) Added new directory for papers so as to stop them from being spread ... Fri, 15 Jun 2012 11:58:32 GMT mulligan [2095] * src/ASM/CPP2012-asm/cpp-2012-asm.bib (modified) * src/ASM/CPP2012-asm/cpp-2012-asm.tex (modified) Added reference to CompCert and CompCertTSO.