#
# ChangeLog for src/ASM/CPP2012-policy
#
# Generated by Trac 1.2
# Feb 25, 2021, 6:58:52 AM

Fri, 15 Jun 2012 15:56:30 GMT boender [2099]
	* src/ASM/CPP2012-policy/biblio.bib (modified)
	* src/ASM/CPP2012-policy/conclusion.tex (modified)
	* src/ASM/CPP2012-policy/main.tex (modified)
	* src/ASM/CPP2012-policy/problem.tex (modified)
	* src/ASM/CPP2012-policy/proof.tex (modified)

	- added reference to Intel dev manual


Fri, 15 Jun 2012 15:29:10 GMT boender [2098]
	* src/ASM/CPP2012-policy/algorithm.tex (modified)
	* src/ASM/CPP2012-policy/biblio.bib (modified)
	* src/ASM/CPP2012-policy/conclusion.tex (modified)
	* src/ASM/CPP2012-policy/proof.tex (modified)

	- updates & changes


Fri, 15 Jun 2012 13:25:55 GMT mulligan [2097]
	* src/ASM/CPP2012-policy/main.tex (modified)

	Consistency change (institution)


Fri, 15 Jun 2012 13:25:21 GMT mulligan [2096]
	* src/ASM/CPP2012-policy/algorithm.tex (modified)
	* src/ASM/CPP2012-policy/conclusion.tex (modified)
	* src/ASM/CPP2012-policy/problem.tex (modified)
	* src/ASM/CPP2012-policy/proof.tex (modified)

	Changes to the English for Jaap, and some tidying up and making ...


Fri, 15 Jun 2012 11:56:59 GMT boender [2094]
	* src/ASM/CPP2012-policy/biblio.bib (modified)

	- oops


Fri, 15 Jun 2012 11:55:52 GMT boender [2093]
	* src/ASM/CPP2012-policy/biblio.bib (modified)
	* src/ASM/CPP2012-policy/conclusion.tex (modified)

	- added reference to CompCertTSO


Fri, 15 Jun 2012 11:35:46 GMT boender [2091]
	* src/ASM/CPP2012-policy/algorithm.tex (modified)
	* src/ASM/CPP2012-policy/biblio.bib (modified)
	* src/ASM/CPP2012-policy/conclusion.tex (modified)
	* src/ASM/CPP2012-policy/problem.tex (modified)
	* src/ASM/CPP2012-policy/proof.tex (modified)

	- systematically changed 'jump' to 'branch'


Fri, 15 Jun 2012 09:39:17 GMT boender [2086]
	* src/ASM/CPP2012-policy/algorithm.tex (modified)
	* src/ASM/CPP2012-policy/problem.tex (modified)

	- spell-check


Fri, 15 Jun 2012 09:36:47 GMT boender [2085]
	* src/ASM/CPP2012-policy/algorithm.tex (modified)
	* src/ASM/CPP2012-policy/biblio.bib (modified)
	* src/ASM/CPP2012-policy/conclusion.tex (modified)
	* src/ASM/CPP2012-policy/problem.tex (modified)
	* src/ASM/CPP2012-policy/proof.tex (modified)

	- rewrote introduction
	- changed 'medium' to 'absolute'
	- added a ...


Thu, 14 Jun 2012 23:17:15 GMT boender [2084]
	* src/ASM/CPP2012-policy/conclusion.tex (modified)
	* src/ASM/CPP2012-policy/main.tex (modified)
	* src/ASM/CPP2012-policy/proof.tex (modified)
	* src/ASM/CPP2012-policy/splncs03.bst (added)

	- changed bibliography style
	- added CerCo thanks
	- some words of ...


Thu, 14 Jun 2012 14:26:23 GMT boender [2082]
	* src/ASM/CPP2012-policy/proof.tex (modified)

	- reworked and extended presentation of invariants


Thu, 14 Jun 2012 09:57:51 GMT boender [2080]
	* src/ASM/CPP2012-policy/algorithm.tex (modified)
	* src/ASM/CPP2012-policy/biblio.bib (modified)
	* src/ASM/CPP2012-policy/proof.tex (modified)

	- added references to SDCC and gcc (thanks, Dominic)
	- updated sigma ...


Thu, 14 Jun 2012 08:45:15 GMT boender [2077]
	* src/ASM/CPP2012-policy/lst-grafite.tex (added)

	- committed actual file instead of link


Wed, 13 Jun 2012 15:54:50 GMT boender [2065]
	* src/ASM/CPP2012-policy/proof.tex (modified)

	- committed another draft


Wed, 13 Jun 2012 15:29:11 GMT boender [2064]
	* src/ASM/CPP2012-policy/algorithm.tex (modified)
	* src/ASM/CPP2012-policy/biblio.bib (modified)
	* src/ASM/CPP2012-policy/conclusion.tex (added)
	* src/ASM/CPP2012-policy/lst-grafite.tex (added)
	* src/ASM/CPP2012-policy/main.tex (modified)
	* src/ASM/CPP2012-policy/problem.tex (modified)
	* src/ASM/CPP2012-policy/proof.tex (added)

	- more progress


Wed, 13 Jun 2012 09:58:55 GMT boender [2054]
	* src/ASM/CPP2012-policy/algorithm.tex (modified)
	* src/ASM/CPP2012-policy/main.tex (modified)
	* src/ASM/CPP2012-policy/problem.tex (modified)

	- progress


Tue, 12 Jun 2012 13:49:27 GMT boender [2049]
	* src/ASM/CPP2012-policy/algorithm.tex (modified)
	* src/ASM/CPP2012-policy/problem.tex (modified)

	- progress


Tue, 12 Jun 2012 11:35:47 GMT boender [2045]
	* src/ASM/CPP2012-policy (copied)

	- renamed paper directory


Tue, 17 Apr 2012 16:05:46 GMT boender [1889]
	* src/ASM/SEFM2012/algorithm.tex (added)
	* src/ASM/SEFM2012/biblio.bib (added)
	* src/ASM/SEFM2012/llncs.cls (added)
	* src/ASM/SEFM2012/main.tex (added)
	* src/ASM/SEFM2012/problem.tex (added)

	- some pages of article