#
# ChangeLog for src/ASM/CPP2012-policy/proof.tex
#
# Generated by Trac 1.2
# Sep 20, 2020, 11:37:16 PM
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: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: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: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 ...
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