#
# ChangeLog for Papers
#
# Generated by Trac 1.2
# Dec 8, 2019, 2:20:01 PM

Mon, 06 Mar 2017 11:46:20 GMT mulligan [3605]
	* Papers/jar-cerco-2017/cerco.bib (modified)
	* Papers/jar-cerco-2017/cerco.tex (modified)

	bib file


Mon, 06 Mar 2017 11:43:28 GMT mulligan [3604]
	* Papers/jar-cerco-2017/cerco.tex (modified)

	fopara intro as a base


Mon, 06 Mar 2017 11:37:34 GMT mulligan [3603]
	* Papers/jar-cerco-2017/cerco.tex (modified)

	added abstract from fopara as a base to work from


Mon, 06 Mar 2017 11:32:07 GMT mulligan [3602]
	* Papers/jar-cerco-2017/cerco.tex (modified)

	fixed up addresses, names, etc. for consistency


Mon, 06 Mar 2017 11:28:13 GMT boender [3601]
	* Papers/jar-cerco-2017/cerco.tex (modified)

	Added my address


Mon, 06 Mar 2017 11:24:55 GMT mulligan [3600]
	* Papers/jar-cerco-2017/cerco.tex (modified)

	addresses, authors, title, etc.


Mon, 06 Mar 2017 11:13:54 GMT mulligan [3599]
	* Papers/jar-cerco-2017/cerco.bib (added)
	* Papers/jar-cerco-2017/cerco.tex (modified)

	more initialisation work...


Mon, 06 Mar 2017 11:12:02 GMT mulligan [3598]
	* Papers/jar-cerco-2017/cerco.tex (added)

	added empty tex file


Mon, 06 Mar 2017 11:11:30 GMT mulligan [3597]
	* Papers/jar-cerco-2017 (moved)

	changed to current year...


Mon, 06 Mar 2017 11:10:46 GMT mulligan [3596]
	* Papers/jar-cerco-2016/spbasic.bst (added)
	* Papers/jar-cerco-2016/spmpsci.bst (added)
	* Papers/jar-cerco-2016/spphys.bst (added)
	* Papers/jar-cerco-2016/svglov3.clo (added)
	* Papers/jar-cerco-2016/svjour3.cls (added)
	* Papers/jar-cerco-2016/usrguid3.pdf (added)

	added jar style files


Mon, 06 Mar 2017 11:07:00 GMT mulligan [3595]
	* Papers/jar-cerco-2016 (added)

	added new directory for paper


Fri, 24 Apr 2015 12:53:41 GMT boender [3558]
	* Papers/jar-assembler-2015/boender-jar-2015.tex (modified)

	- Added paragraph to branch displacement section


Fri, 24 Apr 2015 11:31:35 GMT mulligan [3557]
	* Papers/jar-assembler-2015/boender-jar-2015.tex (modified)

	bit more on bitvectortrie


Fri, 24 Apr 2015 11:07:42 GMT boender [3556]
	* Papers/jar-assembler-2015/old_paper.tex (moved)

	- Renamed old paper to something more appropriate


Fri, 24 Apr 2015 11:04:26 GMT mulligan [3555]
	* Papers/jar-assembler-2015 (moved)
	* Papers/jar-assembler-2014/boender-jar-2014.bib (deleted)
	* Papers/jar-assembler-2014/boender-jar-2014.tex (deleted)
	* Papers/jar-assembler-2015/boender-jar-2015.bib (copied)
	* Papers/jar-assembler-2015/boender-jar-2015.tex (copied)

	dominic, jaap taking another look at the paper


Thu, 20 Nov 2014 15:48:24 GMT boender [3522]
	* Papers/jar-assembler-2014/boender-jar-2014.bib (modified)

	bibliography.


Thu, 20 Nov 2014 15:40:46 GMT boender [3521]
	* Papers/jar-assembler-2014/boender-jar-2014.tex (modified)

	- some more additions


Thu, 20 Nov 2014 11:42:03 GMT mulligan [3520]
	* Papers/jar-assembler-2014/boender-jar-2014.tex (modified)

	abstract added


Tue, 18 Nov 2014 15:11:49 GMT mulligan [3519]
	* Papers/jar-assembler-2014/boender-jar-2014.bib (modified)
	* Papers/jar-assembler-2014/boender-jar-2014.tex (modified)

	little more added about matita.  finished introduction to matita


Tue, 18 Nov 2014 11:25:43 GMT mulligan [3518]
	* Papers/jar-assembler-2014/boender-jar-2014.bib (modified)
	* Papers/jar-assembler-2014/boender-jar-2014.tex (modified)

	little more added


Tue, 18 Nov 2014 11:02:04 GMT mulligan [3517]
	* Papers/jar-assembler-2014/boender-jar-2014.tex (modified)
	* Papers/jar-assembler-2014/lst-grafite.tex (modified)

	more about matita


Mon, 17 Nov 2014 11:08:32 GMT mulligan [3516]
	* Papers/jar-assembler-2014/boender-jar-2014.bib (modified)
	* Papers/jar-assembler-2014/boender-jar-2014.tex (modified)

	more on matita


Fri, 14 Nov 2014 16:50:34 GMT mulligan [3515]
	* Papers/jar-assembler-2014/boender-jar-2014.tex (modified)

	work with jb,dpm from today


Fri, 14 Nov 2014 15:22:14 GMT mulligan [3514]
	* Papers/jar-assembler-2014/boender-jar-2014.bib (added)
	* Papers/jar-assembler-2014/boender-jar-2014.tex (added)

	added outline of new paper


Fri, 14 Nov 2014 14:44:03 GMT mulligan [3513]
	* Papers/jar-assembler-2014 (moved)
	* Papers/jar-assembler-2014/jar-assembler-2014.tex (moved)

	renamed sttt paper


Mon, 20 Oct 2014 10:53:29 GMT mulligan [3512]
	* Papers/sttt/main.tex (modified)

	more work on the introduction


Mon, 22 Sep 2014 13:50:30 GMT mulligan [3477]
	* Papers/sttt/biblio.bib (modified)
	* Papers/sttt/main.tex (modified)

	changes to intro, in progress...


Mon, 22 Sep 2014 09:47:45 GMT mulligan [3476]
	* Papers/sttt/main.tex (modified)

	beginning reorientation of paper, rewrote abstract


Mon, 22 Sep 2014 09:27:05 GMT mulligan [3475]
	* Papers/sttt/algorithm.tex (deleted)
	* Papers/sttt/conclusion.tex (deleted)
	* Papers/sttt/problem.tex (deleted)
	* Papers/sttt/proof.tex (deleted)

	removed useless files


Mon, 22 Sep 2014 09:26:39 GMT mulligan [3474]
	* Papers/sttt/algorithm.tex (modified)

	...


Mon, 22 Sep 2014 09:25:51 GMT mulligan [3473]
	* Papers/sttt/conclusion.tex (modified)
	* Papers/sttt/main.tex (modified)
	* Papers/sttt/problem.tex (modified)
	* Papers/sttt/proof.tex (modified)

	inlined section into main document, title change


Thu, 11 Sep 2014 10:24:34 GMT mulligan [3472]
	* Papers/sttt/main.tex (modified)

	title and abstract changes


Thu, 11 Sep 2014 10:01:40 GMT mulligan [3471]
	* Papers/sttt/main.tex (modified)

	reworked the abstract


Tue, 09 Sep 2014 13:21:33 GMT boender [3470]
	* Papers/sttt (added)
	* Papers/sttt/algorithm.tex (added)
	* Papers/sttt/biblio.bib (added)
	* Papers/sttt/conclusion.tex (added)
	* Papers/sttt/lst-grafite.tex (added)
	* Papers/sttt/main.tex (added)
	* Papers/sttt/problem.tex (added)
	* Papers/sttt/proof.tex (added)
	* Papers/sttt/spbasic.bst (added)
	* Papers/sttt/svglov3.clo (added)
	* Papers/sttt/svjour3.cls (added)

	- added first version of STTT paper


Wed, 28 May 2014 09:01:39 GMT mulligan [3469]
	* Papers/fopara2013/fopara13.bib (modified)
	* Papers/fopara2013/fopara13.tex (modified)
	* Papers/fopara2013/fopara13.zip (added)

	added final zip file commited to easychair


Mon, 19 May 2014 12:22:25 GMT campbell [3468]
	* Papers/fopara2013/fopara13-postsub.pdf (moved)

	Move post-proceedings submission out of the way.


Fri, 21 Feb 2014 16:51:01 GMT campbell [3462]
	* Papers/fopara2013/fopara13.bib (modified)
	* Papers/fopara2013/fopara13.pdf (modified)
	* Papers/fopara2013/fopara13.tex (modified)

	Some final changes before submission.


Fri, 21 Feb 2014 10:50:26 GMT mulligan [3461]
	* Papers/fopara2013/fopara13.tex (modified)

	more fiddling


Fri, 21 Feb 2014 10:24:39 GMT mulligan [3460]
	* Papers/fopara2013/fopara13.tex (modified)

	more fiddling, commit to avoid conflicts


Fri, 21 Feb 2014 09:35:10 GMT mulligan [3459]
	* Papers/fopara2013/fopara13.tex (modified)

	small changes to abstract again


Thu, 20 Feb 2014 15:45:53 GMT mulligan [3456]
	* Papers/fopara2013/fopara13.bib (modified)

	more small changes to bib file, including filling in paolo's qapl ...


Thu, 20 Feb 2014 15:20:30 GMT mulligan [3455]
	* Papers/fopara2013/fopara13.bib (modified)
	* Papers/fopara2013/fopara13.tex (modified)

	more space saving.  now down to 16 pages + 1 page bibliography


Thu, 20 Feb 2014 12:01:15 GMT mulligan [3454]
	* Papers/fopara2013/fopara13.tex (modified)

	a little more


Thu, 20 Feb 2014 11:38:06 GMT mulligan [3453]
	* Papers/fopara2013/fopara13.tex (modified)

	reworking up to Section 2


Thu, 20 Feb 2014 10:57:44 GMT mulligan [3452]
	* Papers/fopara2013/fopara13.tex (modified)

	changes to second para


Thu, 20 Feb 2014 10:43:47 GMT mulligan [3451]
	* Papers/fopara2013/fopara13.tex (modified)

	de-Tristram Shandefied the opening paragraph


Thu, 20 Feb 2014 10:26:04 GMT mulligan [3450]
	* Papers/fopara2013/fopara13.tex (modified)

	small rewordings of the abstract, working on rest of paper


Mon, 17 Feb 2014 11:37:33 GMT mulligan [3444]
	* Papers/fopara2013/fopara13.bib (modified)
	* Papers/fopara2013/fopara13.tex (modified)

	More language changes.  At end of file.


Mon, 17 Feb 2014 11:09:32 GMT mulligan [3443]
	* Papers/fopara2013/fopara13.bib (modified)
	* Papers/fopara2013/fopara13.tex (modified)

	More changes, including more missing references (including to CerCo's ...


Mon, 17 Feb 2014 10:40:57 GMT mulligan [3442]
	* Papers/fopara2013/fopara13.bib (modified)
	* Papers/fopara2013/fopara13.tex (modified)

	Changes up to Section 3.  Added missing reference to AbsInt's aiT
	tools.


Mon, 17 Feb 2014 10:17:28 GMT mulligan [3441]
	* Papers/fopara2013/fopara13.tex (modified)

	Some language/spelling changes in fopara2013.tex up to Section 2. ...


Fri, 14 Feb 2014 19:19:53 GMT campbell [3440]
	* Papers/fopara2013/fopara13.pdf (added)

	Add a preformatted PDF.


Fri, 14 Feb 2014 19:17:45 GMT campbell [3439]
	* Papers/fopara2013/fopara13.bib (modified)

	Fiddle references back into one page.


Fri, 14 Feb 2014 19:10:49 GMT campbell [3438]
	* Papers/fopara2013/appendix.tex (modified)
	* Papers/fopara2013/fopara13.tex (modified)

	Appendix about the reviewer's comments.


Fri, 14 Feb 2014 18:56:01 GMT campbell [3437]
	* Papers/fopara2013/fopara13.tex (modified)

	Deal more directly with some reviewer's comments.


Fri, 14 Feb 2014 18:21:57 GMT campbell [3436]
	* Papers/fopara2013/fopara13.tex (modified)

	Section 4.5 revisions.


Fri, 14 Feb 2014 16:37:31 GMT campbell [3435]
	* Papers/fopara2013/fopara13.tex (modified)

	Revise section 4.4.


Fri, 14 Feb 2014 15:36:38 GMT campbell [3434]
	* Papers/fopara2013/fopara13.tex (modified)

	Section 4.3 revised.


Fri, 14 Feb 2014 13:43:25 GMT campbell [3433]
	* Papers/fopara2013/fopara13.tex (modified)

	Revise sections 4.1, 4.2.


Fri, 14 Feb 2014 11:09:27 GMT campbell [3432]
	* Papers/fopara2013/fopara13.bib (modified)
	* Papers/fopara2013/fopara13.tex (modified)

	Consistently use ll spelling of labelled/labelling.


Fri, 14 Feb 2014 11:09:26 GMT campbell [3431]
	* Papers/fopara2013/fopara13.bib (modified)
	* Papers/fopara2013/fopara13.tex (modified)

	Note the specification language in Sec 3.


Thu, 13 Feb 2014 13:12:30 GMT campbell [3430]
	* Papers/fopara2013/fopara13.tex (modified)

	Revisions up to the end of section 3.


Thu, 13 Feb 2014 13:12:29 GMT campbell [3429]
	* Papers/fopara2013/fopara13.tex (modified)

	Adjust figure formatting to fit in page without being unreadable.


Wed, 12 Feb 2014 10:30:21 GMT campbell [3428]
	* Papers/fopara2013/fopara13.tex (modified)

	More minor stuff.


Tue, 11 Feb 2014 17:41:19 GMT campbell [3427]
	* Papers/fopara2013/appendix.tex (modified)
	* Papers/fopara2013/fopara13.tex (modified)

	Make example clearer for readers in black and white.


Tue, 11 Feb 2014 17:41:17 GMT campbell [3426]
	* Papers/fopara2013/appendix.tex (modified)
	* Papers/fopara2013/fopara13.tex (modified)

	Clarify WCET state-of-the-art citation.


Tue, 11 Feb 2014 16:02:28 GMT campbell [3425]
	* Papers/fopara2013/fopara13.tex (modified)

	Rearrange section 4


Tue, 11 Feb 2014 11:35:22 GMT campbell [3424]
	* Papers/fopara2013/fopara13.tex (modified)

	Minor edits to section 4.


Mon, 10 Feb 2014 17:45:55 GMT campbell [3423]
	* Papers/fopara2013/appendix.tex (modified)

	Note for appendix.


Mon, 10 Feb 2014 17:45:54 GMT campbell [3422]
	* Papers/fopara2013/fopara13.tex (modified)

	Basic restructuring of section 2.


Mon, 10 Feb 2014 17:45:53 GMT campbell [3421]
	* Papers/fopara2013/appendix.tex (modified)

	Note parametric example for appendix


Mon, 10 Feb 2014 16:18:47 GMT campbell [3420]
	* Papers/fopara2013/fopara13.tex (modified)

	Parametric example for FOPARA.


Mon, 10 Feb 2014 16:18:46 GMT campbell [3419]
	* Papers/fopara2013/fopara13.tex (modified)

	Tweak abstract.


Mon, 10 Feb 2014 10:53:32 GMT campbell [3418]
	* Papers/fopara2013/fopara13-preproc.pdf (moved)

	Move preproceedings version of FOPARA paper aside.


Mon, 10 Feb 2014 10:47:15 GMT campbell [3417]
	* Papers/fopara2013/appendix.tex (added)
	* Papers/fopara2013/fopara13.tex (modified)

	Many of the minor reviewer comments about FOPARA paper.


Mon, 17 Jun 2013 20:40:42 GMT sacerdot [3369]
	* Papers/itp-2013/ccexec2.tex (modified)

	submitted


Mon, 17 Jun 2013 20:34:38 GMT sacerdot [3368]
	* Papers/itp-2013/ccexec2.tex (modified)

	..


Mon, 17 Jun 2013 17:16:15 GMT tranquil [3367]
	* Papers/itp-2013/ccexec2.tex (modified)

	...


Mon, 17 Jun 2013 16:48:16 GMT tranquil [3366]
	* Papers/itp-2013/ccexec2.tex (modified)

	...


Fri, 14 Jun 2013 16:01:56 GMT tranquil [3360]
	* Papers/itp-2013/ccexec2.tex (modified)

	aggiustate le figure


Fri, 14 Jun 2013 15:48:01 GMT tranquil [3359]
	* Papers/itp-2013/ccexec2.tex (modified)

	recuperato un po' della formalizzazione, ancora in fondo.


Fri, 14 Jun 2013 14:43:46 GMT sacerdot [3358]
	* Papers/itp-2013/ccexec.bib (modified)
	* Papers/itp-2013/ccexec2.tex (modified)

	...


Fri, 14 Jun 2013 14:32:41 GMT sacerdot [3357]
	* Papers/itp-2013/ccexec2.tex (modified)

	...


Fri, 14 Jun 2013 14:21:50 GMT sacerdot [3356]
	* Papers/itp-2013/ccexec2.tex (modified)

	...


Fri, 14 Jun 2013 13:21:21 GMT sacerdot [3355]
	* Papers/itp-2013/ccexec2.tex (modified)

	...


Fri, 14 Jun 2013 09:54:19 GMT sacerdot [3351]
	* Papers/itp-2013/ccexec2.tex (modified)

	...


Fri, 14 Jun 2013 09:46:10 GMT sacerdot [3350]
	* Papers/itp-2013/ccexec2.tex (modified)

	...


Thu, 13 Jun 2013 16:10:14 GMT tranquil [3349]
	* Papers/itp-2013/ccexec2.tex (modified)

	statements


Thu, 13 Jun 2013 11:22:56 GMT tranquil [3348]
	* Papers/itp-2013/ccexec2.tex (modified)

	ipotesi della forward simulation


Wed, 12 Jun 2013 16:14:31 GMT tranquil [3347]
	* Papers/itp-2013/ccexec2.tex (modified)

	andato avanti...


Wed, 12 Jun 2013 12:50:49 GMT sacerdot [3346]
	* Papers/itp-2013/ccexec2.tex (modified)

	...


Wed, 12 Jun 2013 10:13:24 GMT sacerdot [3345]
	* Papers/itp-2013/ccexec2.tex (modified)

	...


Tue, 11 Jun 2013 20:31:46 GMT sacerdot [3344]
	* Papers/itp-2013/ccexec2.tex (modified)

	...


Tue, 11 Jun 2013 16:43:55 GMT tranquil [3343]
	* Papers/itp-2013/ccexec2.tex (added)

	file parallelo


Fri, 07 Jun 2013 16:17:58 GMT sacerdot [3340]
	* Papers/fopara2013/fopara13.pdf (added)

	Final version


Fri, 07 Jun 2013 16:02:21 GMT tranquil [3339]
	* Papers/fopara2013/fopara13.bib (added)
	* Papers/fopara2013/fopara13.tex (modified)
	* Papers/fopara2013/splncs.bst (added)
	* Papers/fopara2013/splncs03.bst (added)
	* Papers/fopara2013/splncs_srt.bst (added)

	passed biblio to bibtex, and some aesthetical changes


Fri, 07 Jun 2013 13:12:26 GMT mulligan [3337]
	* Papers/fopara2013/fopara13.tex (modified)

	Final changes


Fri, 07 Jun 2013 12:32:38 GMT mulligan [3336]
	* Papers/fopara2013/fopara13.tex (modified)

	80% done, synch. commit


Fri, 07 Jun 2013 10:18:21 GMT amadio [3335]
	* Papers/fopara2013/fopara13.tex (modified)

	rob


Fri, 07 Jun 2013 09:36:25 GMT mulligan [3334]
	* Papers/fopara2013/fopara13.tex (modified)

	About half way through