# # ChangeLog for src/ASM/CPP2012-asm # # Generated by Trac 1.2 # Dec 10, 2019, 2:01:45 PM Mon, 10 Sep 2012 14:45:44 GMT mulligan [2327] * src/ASM/CPP2012-asm/cpp-2012-asm.tex (modified) Fixed typos in paper highlighted by referees. More substantial ... 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. Fri, 15 Jun 2012 11:38:07 GMT mulligan [2092] * src/ASM/CPP2012-asm/cpp-2012-asm.bib (modified) * src/ASM/CPP2012-asm/cpp-2012-asm.tex (modified) Jaap noticed it's Randall Hyde not Holmes. Fri, 15 Jun 2012 10:57:03 GMT mulligan [2090] * src/ASM/CPP2012-asm/cpp-2012-asm.tex (modified) Fixed mistaken reference to RISC instead of CISC architectures. Fri, 15 Jun 2012 09:54:30 GMT mulligan [2089] * src/ASM/CPP2012-asm/cpp-2012-asm.tex (modified) Harmonised institution name to that used by Jaap Fri, 15 Jun 2012 09:52:37 GMT mulligan [2088] * src/ASM/CPP2012-asm/cpp-2012-asm.tex (modified) Added list of keywords as is required. Other minor changes. Fri, 15 Jun 2012 09:40:25 GMT mulligan [2087] * src/ASM/CPP2012-asm/cpp-2012-asm.bib (modified) * src/ASM/CPP2012-asm/cpp-2012-asm.tex (modified) Tidied up the paper, added a few more things, tidied and expanded ... Thu, 14 Jun 2012 15:32:04 GMT mulligan [2083] * src/ASM/CPP2012-asm/cpp-2012-asm.bib (modified) * src/ASM/CPP2012-asm/cpp-2012-asm.tex (modified) More work on paper from today. Wed, 13 Jun 2012 17:58:55 GMT sacerdot [2069] * src/ASM/CPP2012-asm/cpp-2012-asm.tex (modified) ... Wed, 13 Jun 2012 17:54:36 GMT sacerdot [2068] * src/ASM/CPP2012-asm/cpp-2012-asm.tex (modified) ... Wed, 13 Jun 2012 17:50:53 GMT sacerdot [2067] * src/ASM/CPP2012-asm/cpp-2012-asm.tex (modified) ... Wed, 13 Jun 2012 16:46:06 GMT mulligan [2066] * src/ASM/CPP2012-asm/cpp-2012-asm.tex (modified) Finished for the day. Wed, 13 Jun 2012 15:05:30 GMT mulligan [2063] * src/ASM/CPP2012-asm/cpp-2012-asm.tex (modified) Minor fixes Wed, 13 Jun 2012 14:59:45 GMT mulligan [2061] * src/ASM/CPP2012-asm/cpp-2012-asm.bib (modified) * src/ASM/CPP2012-asm/cpp-2012-asm.tex (modified) Added Randall Holmes' Usenet post on branch displacement optimisation ... Wed, 13 Jun 2012 14:26:50 GMT mulligan [2060] * src/ASM/CPP2012-asm/cpp-2012-asm.tex (modified) More work on paper. Wed, 13 Jun 2012 13:17:24 GMT mulligan [2058] * src/ASM/CPP2012-asm/cpp-2012-asm.tex (modified) First draft of changes to main sections (i.e. those describing the ... Wed, 13 Jun 2012 09:02:37 GMT mulligan [2053] * src/ASM/CPP2012-asm/cpp-2012-asm.tex (modified) Introduction changed, with many paragraphs deleted. Wed, 13 Jun 2012 08:04:04 GMT mulligan [2052] * src/ASM/CPP2012-asm (added) * src/ASM/CPP2012-asm/cpp-2012-asm.bib (added) * src/ASM/CPP2012-asm/cpp-2012-asm.tex (added) * src/ASM/CPP2012-asm/llncs.cls (added) * src/ASM/CPP2012-asm/llncs.ind (added) * src/ASM/CPP2012-asm/llncsdoc.sty (added) * src/ASM/CPP2012-asm/lst-grafite.tex (added) * src/ASM/CPP2012-asm/splncs03.bst (added) * src/ASM/CPP2012-asm/sprmindx.sty (added) * src/ASM/CPP2012-asm/subjidx.ind (added) Initial commit of proposed CPP 2012 paper on the proof of correctness ...