#
# 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 ...