April 2012 - PPL-devel - BUGSENG Mailman

[GIT] ppl/ppl(master): Distribute the bibliographies.
by Roberto Bagnara 02 Apr '12

02 Apr '12

Module: ppl/ppl Branch: master Commit: 11157e9862f3015b42942d802aa027429daaed6d URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=11157e9862f3… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Mon Apr 2 08:28:04 2012 +0200 Distribute the bibliographies. --- NEWS | 3 +++ doc/Makefile.am | 5 +++++ 2 files changed, 8 insertions(+), 0 deletions(-) diff --git a/NEWS b/NEWS index 89e5c63..97ed008 100644 --- a/NEWS +++ b/NEWS @@ -27,6 +27,9 @@ o Added new Box<ITV> methods bound on variable `var'. The methods have been also added to all the available language interfaces. +o Two BibTeX databases of papers related to the Parma Polyhedra Library + have been added to the distribution (in the `doc' directory). + Bugfixes ======== diff --git a/doc/Makefile.am b/doc/Makefile.am index d911631..9cde930 100644 --- a/doc/Makefile.am +++ b/doc/Makefile.am @@ -47,6 +47,10 @@ $(PDF_LICENSES) \ $(TXT_LICENSES) \ $(PS_LICENSES) +BIBLIOGRAPHIES = \ +ppl.bib \ +ppl_citations.bib + ##### Library Core Manuals (C++ Interface) ##### USER_CORE_HTML_MANUAL = ppl-user-@VERSION@-html.tar.gz @@ -1629,6 +1633,7 @@ user-language-interface.doxyconf $(USER_JAVA_INTERFACE_STUFF) pdftops $< $@ EXTRA_DIST= \ +$(BIBLIOGRAPHIES) \ $(DIST_DOCS) \ $(DOX_FILES) \ README.doc \

1 0

[GIT] ppl/ppl(master): Added copyright and licensing information.
by Roberto Bagnara 02 Apr '12

02 Apr '12

Module: ppl/ppl Branch: master Commit: 7c4a875d02d44cec9b390ab26ca1a625b8bb4e18 URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=7c4a875d02d4… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Mon Apr 2 08:22:47 2012 +0200 Added copyright and licensing information. --- doc/ppl.bib | 452 +++++++++++++++++++++++++++++++++++++++++++++++++ doc/ppl_citations.bib | 451 ++++++++++++++++++++++++++++++++++++++++++++++++ 2 files changed, 903 insertions(+), 0 deletions(-) Diff: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commitdiff;h=7c4a875d…

1 0

[GIT] ppl/ppl(master): Updated.
by Roberto Bagnara 02 Apr '12

02 Apr '12

Module: ppl/ppl Branch: master Commit: e68a00aa20e2b0efe068001406bb1ed45587b426 URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=e68a00aa20e2… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Mon Apr 2 07:23:10 2012 +0200 Updated. --- ChangeLog | 1844 +++++++++++++++++++++++++++++++++++++++++++++++++++++++ NEWS | 27 + src/Makefile.am | 3 +- 3 files changed, 1873 insertions(+), 1 deletions(-) Diff: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commitdiff;h=e68a00aa…

1 0

[GIT] ppl/ppl(ppl-0_12-branch): New commits
by Roberto Bagnara 01 Apr '12

01 Apr '12

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=1dde529d12d8… Merge: 5825555c3c7b681d2e881e7494b7c14a830f6235 2d7a51922756f6a1e92db965e3b0c1774b98698e Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Sun Apr 1 17:43:40 2012 +0200 Merge branch 'master' into ppl-0_12-branch URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=2d7a51922756… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Sun Apr 1 17:37:43 2012 +0200 Removed two unused and unwanted methods. (They were also wrongly implemented.) URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=4ca090268809… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Sun Apr 1 13:01:26 2012 +0200 Added BagnaraMPZ12IC. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=cecfd8d5f806… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Sun Apr 1 12:55:00 2012 +0200 Added BagnaraMPZ12TR. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=918e0190b75c… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Mon Sep 26 18:06:09 2011 +0200 Broken link removed. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=8582094d6849… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Mon Sep 26 16:57:41 2011 +0200 Links fixed. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=31cba9901a70… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Mon Sep 26 16:56:01 2011 +0200 Links fixed. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=f038d425e168… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Sun Sep 25 17:19:31 2011 +0200 Broken links removed. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=01ee05bc44c6… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Sun Sep 25 17:15:32 2011 +0200 URI's updated. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=a4199d5fd3db… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Sat Nov 20 16:44:06 2010 +0100 Added Andre10. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=a2d5f584e8e0… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Sun May 16 11:24:48 2010 +0200 Fixed CousotC79. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=e02097c61eb9… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Fri Apr 30 07:52:39 2010 +0200 BagnaraHZ10CGTA has been published. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=a6f44ff00f4d… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Fri Apr 16 14:40:41 2010 +0200 Added BandaG10. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=64e071d0d18c… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Wed Apr 7 21:28:33 2010 +0200 Added BagnaraMPZ10TR. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=666e769a33d1… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Sun Mar 7 19:23:29 2010 +0400 Added BozgaGI09. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=51f4adf64e4f… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Thu Feb 18 10:21:20 2010 +0100 Added FeautrierCB07. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=32c4c2b73a93… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Fri Feb 5 09:09:24 2010 +0100 Added TrifunovicCEFG+10. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=c0a2d7a85209… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Sun Jan 24 10:18:14 2010 +0100 BagnaraHZ09CGTA renamed and completed. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=d8b1b9877ab2… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Thu Jan 14 11:18:28 2010 +0100 BagnaraHZ10FMSD renamed and completed. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=5093fc1e5622… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Tue Jan 12 11:18:18 2010 +0100 Added Feautrier88. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=1d6edee51c40… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Tue Jan 12 11:03:35 2010 +0100 Updated BagnaraHZ10FMSD. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=e7637d0e1720… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Fri Dec 11 18:26:12 2009 +0100 Added FagesR09 and JhalaM09. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=9ae541d62afd… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Sun Oct 11 08:09:38 2009 +0200 Added the online version of BagnaraHZ09CGTA. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=1a7a6a2e0e13… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Sat Oct 3 09:00:57 2009 +0200 Completed BagnaraHZ09TCS. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=9ae23a676a7e… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Tue Sep 29 20:24:01 2009 +0200 Added BagnaraHZ09CGTA. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=ee2aca9d993a… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Tue Sep 29 18:25:19 2009 +0200 BagnaraHZ09TCS completed. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=89245fa234c9… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Mon Aug 10 14:50:11 2009 +0200 Improved BagnaraHZ09TCS and BagnaraHZ09FMSD. Added BagnaraHZ09TRb. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=48a7a0e0d127… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Mon Aug 3 14:06:07 2009 +0200 Typo fixed. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=ff907d7d94f2… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Mon Aug 3 14:03:54 2009 +0200 BagnaraHZ09TCS updated. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=94cf39b71566… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Mon Jul 20 21:57:22 2009 +0200 Added PerezRS09. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=af301881fd8e… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Fri Jul 17 20:37:16 2009 +0200 Added JeannetM09. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=8e8ceb41474e… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Fri Jul 17 20:37:07 2009 +0200 Halbwachs93 completed. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=102213c6c44e… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Fri Jul 17 20:16:10 2009 +0200 BagnaraHZ09 updated and renamed BagnaraHZ09FMSD. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=05394fdb57d9… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Fri Jul 17 20:15:51 2009 +0200 Added LimeRST09. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=533511d66d4b… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Sat Jun 20 08:57:24 2009 +0200 URL added. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=84c367f397a4… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Sat Jun 20 08:52:00 2009 +0200 Added RizkBFS09. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=8f05eb08a6cf… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Fri May 15 08:15:23 2009 +0200 BagnaraHZ09 will be published in Formal Methods in System Design. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=b7344037dad6… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Thu May 7 09:36:49 2009 +0200 Added LeconteB06. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=e6d83ba84468… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Thu May 7 08:04:15 2009 +0200 Added SenS07TR. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=4380ed9cb376… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Wed Apr 29 15:26:37 2009 +0200 Added LogozzoF08. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=b7191b99a807… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Tue Apr 21 11:31:21 2009 +0200 BagnaraHZ09TRa updated. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=96372382ead7… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Thu Apr 16 07:43:49 2009 +0200 Updated BagnaraHZ09TRa. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=3cd7f770749a… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Sun Apr 12 09:20:57 2009 +0200 Added URI for arXiv. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=7cbb68d14a5b… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Sat Apr 11 20:59:29 2009 +0200 Added YangWGI09. Non-ASCII characters removed. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=11be95f27a55… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Sat Apr 11 20:48:55 2009 +0200 Added AlbertACGPZ08. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=f5c4a8eb2296… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Sat Apr 11 10:42:30 2009 +0200 Added BagnaraHZ09TRa. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=c612c6be6bd9… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Wed Apr 8 08:21:50 2009 +0200 Added MoserKK07. Entries sorted. Some specifications of page numbers fixed. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=f3d9bbbe2cd7… Author: Enea Zaffanella <zaffanella(a)cs.unipr.it> Date: Tue Apr 7 15:54:08 2009 +0200 Added bibtex entry for BagnaraHZ09 (submitted for publication). URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=7dc6b8e3228c… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Tue Apr 7 15:42:19 2009 +0200 Added BandaG09. Used the right kind of dash in other entries. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=9da14557a61b… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Tue Jan 27 09:04:25 2009 +0000 Added Frehse08. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=c3c7f2af2ea5… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Mon Jan 26 21:52:30 2009 +0000 Added AlbertAGPZ08. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=9b205c9463e2… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Mon Jan 26 21:19:53 2009 +0000 Added DenmatGD07. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=07173d58ba53… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Mon Jan 26 21:04:24 2009 +0000 Added KimGR07. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=08907a02f03c… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Mon Jan 26 20:36:47 2009 +0000 GulwaniL-AS09 updated. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=3e193a341171… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Mon Jan 26 20:33:28 2009 +0000 AlurKRS08 updated. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=76e6e7bd51a4… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Mon Jan 26 20:29:54 2009 +0000 Added AlbertAGP08. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=2714f8d7ec83… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Mon Jan 26 20:09:30 2009 +0000 Added MakhloufK06. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=9400029ab255… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Mon Jan 26 09:56:36 2009 +0000 Added BjorndalenA05. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=13c1cf85faa2… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Sun Jan 25 20:52:33 2009 +0000 Added PopeeaC08. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=1a8492d80f43… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Sun Jan 25 08:45:50 2009 +0000 Added BramanM08. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=2b4496355390… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Sun Jan 25 08:32:11 2009 +0000 Added ChenMC08. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=c5375dcdf6d6… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Tue Jan 20 20:30:16 2009 +0000 Entries reordered. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=dde31a3d3c9d… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Tue Jan 20 20:26:48 2009 +0000 Added LavironL09. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=755b09c3a590… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Tue Jan 20 20:16:09 2009 +0000 Added GulwaniL-AS09. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=8cd703104a61… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Sun Jan 18 16:54:27 2009 +0000 Added BagnaraHZ09TCS. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=c891f29b0a30… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Fri Dec 26 15:50:53 2008 +0000 Added TraonouezLR08. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=6d9ce4d731b6… Author: Enea Zaffanella <zaffanella(a)cs.unipr.it> Date: Mon Nov 24 13:35:56 2008 +0000 Added BemporadFT00TR and BemporadFT01. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=6ac4d1961130… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Wed Nov 19 18:45:47 2008 +0000 Use \url instead of \tt. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=cbbaefe0cd1d… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Wed Nov 19 18:45:19 2008 +0000 Added QuillereRW00. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=40034c50e9d1… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Mon Oct 27 08:55:26 2008 +0000 Several corrections to BlanchetCCFMMMR02. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=f274c5ef44df… Author: Patricia M. Hill <hill(a)comp.leeds.ac.uk> Date: Mon Oct 27 08:36:09 2008 +0000 Added reference to the paper by Blanchet et al that proposes the widening with thresholds (2002). URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=c2d651a8de75… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Wed Oct 22 20:30:18 2008 +0000 Added Soffia08TR. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=426a7c98c74f… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Wed Sep 17 10:11:00 2008 +0000 Added Vasconcelos08th. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=2f7a41d0f942… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Mon Aug 25 08:36:30 2008 +0000 Removed note from BagnaraHZ08SCP. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=a0c279968473… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Tue Aug 12 13:11:26 2008 +0000 Added AlurKRS08. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=b78bf651fe73… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Tue Jul 29 18:51:25 2008 +0000 Added BouchyFL08. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=35f647e22596… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Sat Jul 5 10:39:51 2008 +0000 BagnaraHZ08SCP completed. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=9576316c86c3… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Thu Jun 5 14:55:31 2008 +0000 Added Warren03. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=5aa5fd1f7d84… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Thu Jun 5 14:40:01 2008 +0000 Added SenS07. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=9ae2693b999d… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Thu Jun 5 14:19:40 2008 +0000 Added RepsBL06. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=772fe6def402… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Thu Jun 5 14:10:17 2008 +0000 Added SimonK07. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=9676fab9f314… Author: Enea Zaffanella <zaffanella(a)cs.unipr.it> Date: Thu Apr 17 13:29:50 2008 +0000 Added bibliographic entry HenkinMT71 (to be double checked). URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=ca562172c0ae… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Sat Mar 8 14:24:20 2008 +0000 Added PayetS07th. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=1a1633c8c103… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Sat Mar 8 14:15:39 2008 +0000 GopanR07a completed. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=8af60f166d42… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Sat Mar 8 14:13:12 2008 +0000 Added Gopan07th. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=c871cccf82b8… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Sat Mar 8 14:03:45 2008 +0000 Added Gobert07th. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=30d3c0d0d605… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Sat Mar 8 13:42:40 2008 +0000 Added SankaranarayananIG07. Completed GopanR07b. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=b46fffedb155… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Fri Feb 29 20:14:24 2008 +0000 BagnaraHZ08 renamed BagnaraHZ08SCP (the paper to appear on Science of Computer Programming). New paper BagnaraHZ08 (the VMCAI 2008 paper). URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=ce1e3c2c3b10… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Mon Feb 11 08:21:47 2008 +0000 Added Henriksen07th. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=9fb4ce7b116f… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Thu Aug 30 16:30:52 2007 +0000 Starynkevitch07 completed. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=661a6586d31c… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Thu Aug 30 16:22:04 2007 +0000 Added Starynkevitch07. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=2280f02ef45b… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Mon Aug 27 10:01:47 2007 +0000 Added BagnaraHZ08. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=2883f56ed1dc… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Tue Jul 17 14:11:48 2007 +0000 Added YangWGI06. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=fccbbc064bfd… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Tue Jul 17 07:14:40 2007 +0000 Added GopanR07a. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=515fee3aa68e… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Tue Jul 17 06:54:55 2007 +0000 Added GopanR07b. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=aa590d1cf777… Author: Enea Zaffanella <zaffanella(a)cs.unipr.it> Date: Wed Jul 4 10:20:40 2007 +0000 Added GobertLC07. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=3cb3f6e63ad8… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Wed Jul 4 07:50:32 2007 +0000 CovaFBV06 completed. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=f6e68c08ed82… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Wed Jul 4 07:32:48 2007 +0000 Added SankaranarayananISG06. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=6472d93de281… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Wed Jun 20 19:15:52 2007 +0000 Added Doyen06th. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=a4bed5a7ae0c… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Tue Jun 19 06:29:08 2007 +0000 Typo fixed. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=b77849257149… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Mon Jun 18 16:31:47 2007 +0000 Added SlaninaSSM07TR. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=c9cb807a366c… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Mon Jun 4 11:47:23 2007 +0000 BagnaraHZ07TRb completed. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=269fbaf39331… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Mon Jun 4 08:19:58 2007 +0000 Typo fixed. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=9e948aea7e21… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Sun Jun 3 20:33:34 2007 +0000 Added Vigna07. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=5ad70c2cbf33… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Sun Jun 3 20:07:50 2007 +0000 Added ArmandoBM07. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=2c0819d39d4e… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Fri Jun 1 09:27:47 2007 +0000 Added BagnaraHZ07TRb (still incomplete). URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=37e3da823130… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Fri Jun 1 09:24:14 2007 +0000 Renamed. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=0ffc4d91f871… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Fri Jun 1 09:05:41 2007 +0000 BagnaraHZ07TR renamed BagnaraHZ07TRa. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=13acbebc4834… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Mon Apr 16 09:53:38 2007 +0000 BagnaraDHMZ07 completed. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=ab2b70f260d7… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Sun Mar 18 19:19:14 2007 +0000 Revised Ricci02th. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=364f04e713d3… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Tue Feb 6 21:11:12 2007 +0000 DoyenHR05 added. Formed DoyenHR05 now has key DoyenHR05TR. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=269ccb5c2474… Author: Patricia M. Hill <hill(a)comp.leeds.ac.uk> Date: Fri Jan 19 12:13:09 2007 +0000 Added volume number for BagnaraDHMZ07 URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=80d255e8c77c… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Fri Jan 19 08:48:30 2007 +0000 Added BagnaraHZ07TR. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=25eacbc958a4… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Mon Jan 15 17:14:46 2007 +0000 Fixed Frehse05. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=5e83429221af… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Mon Jan 15 09:20:32 2007 +0000 Fixed StoerW70. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=0a43c3c1d2cb… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Sat Jan 13 15:04:40 2007 +0000 Added FrankM02th. Completed Flexeder05th. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=c111a9c6919a… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Tue Jan 9 16:41:51 2007 +0000 FrehseKRM05 replaced by FrehseKRM06. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=5abd2b2ae925… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Wed Dec 20 20:07:28 2006 +0000 Added a PDF URL to BagnaraHZ06TR. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=718a3107ded5… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Wed Dec 20 18:37:41 2006 +0000 Added Flexeder05th. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=48b0c71b4b81… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Wed Dec 20 18:16:47 2006 +0000 Added ChakrabortyMS06. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=eb12911b4e7d… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Wed Dec 20 18:06:28 2006 +0000 Added CovaFBV06. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=7a7156d0a569… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Wed Dec 20 17:41:57 2006 +0000 AsarinDFGLGM06 is no longer "to appear." URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=22e7b9813212… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Wed Dec 20 17:41:31 2006 +0000 Completed vanHeeOSV06. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=cbb87aeef566… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Wed Dec 20 17:33:30 2006 +0000 HenriksenG06 completed. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=ccad5bf7f276… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Wed Dec 20 17:28:43 2006 +0000 GopanR06 completed. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=10389d5f02b7… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Wed Dec 20 17:25:22 2006 +0000 GonnordH06 completed. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=44e99a5bc483… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Wed Dec 20 17:13:44 2006 +0000 SongCR05 rekeyed SongCR06, corrected and completed. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=374a39134c90… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Tue Dec 19 12:44:40 2006 +0000 BagnaraHZ06STTT completed. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=114da14272c8… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Tue Dec 19 12:19:57 2006 +0000 Added BagnaraDHMZ05TR. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=6069efa18a8b… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Mon Dec 18 18:17:50 2006 +0000 Missing comma added. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=4122f3a9d28f… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Mon Dec 18 17:42:07 2006 +0000 BagnaraDHMZ06a substituted by BagnaraDHMZ07. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=3bb6b18b6062… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Mon Dec 18 17:37:08 2006 +0000 HalbwachsMG06 completed. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=4b4dc046e97e… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Mon Dec 18 15:19:34 2006 +0000 Typo fixed. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=b46873896836… Author: Patricia M. Hill <hill(a)comp.leeds.ac.uk> Date: Mon Dec 18 14:55:07 2006 +0000 Updated BagnaraDHMZ06a and BagnaraDHMZ06b entries. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=008e249eb677… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Mon Dec 18 13:28:56 2006 +0000 BagnaraHZ06STTT updated. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=e8ba804127e1… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Mon Dec 18 10:26:46 2006 +0000 Typo fixed. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=723922d07313… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Mon Dec 18 10:26:18 2006 +0000 BagnaraHZ06TR corrected and completed. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=ab8fa7a23327… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Mon Dec 18 09:09:25 2006 +0000 Key BagnaraHZ04TRa changed to BagnaraHZ04TR. Provisional entry for BagnaraHZ06TR added. Do not use double quotes for numeric fields. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=efd2fd39c371… Author: Patricia M. Hill <hill(a)comp.leeds.ac.uk> Date: Mon Dec 18 08:27:06 2006 +0000 Spelling corrected. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=942b3c4d09bb… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Sun Dec 17 20:29:34 2006 +0000 Added NakanishiJPF99 and NakanishiF01. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=15c9e498d372… Author: Patricia M. Hill <hill(a)comp.leeds.ac.uk> Date: Mon Dec 11 11:13:17 2006 +0000 Previous references added removed. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=f0c8fd57169e… Author: Patricia M. Hill <hill(a)comp.leeds.ac.uk> Date: Mon Dec 11 10:14:26 2006 +0000 Revised the reference for BagnaraDHMZ06a. Added references for AlurCHHHNOSY95, AlurCHH93, and Henzinger96. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=0e8de1e7cdd0… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Wed Sep 27 18:02:59 2006 +0000 Avoid non-ASCII characters. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=0addfb34da34… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Sat Sep 23 18:06:16 2006 +0000 Spelling corrections. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=16ecc665593e… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Thu Sep 21 14:58:48 2006 +0000 Added GoldfarbR77. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=c0c9e5ba53c0… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Thu Sep 21 14:36:35 2006 +0000 Added PapadimitriouS98. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=541313fed865… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Sat Sep 2 15:13:14 2006 +0000 Added AsarinDFGLGM06. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=335700946a56… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Tue Aug 8 07:04:01 2006 +0000 HalbwachsMP-V03 fixed (copy and paste mistake). URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=4dddbc6c8b3c… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Sun Aug 6 10:22:49 2006 +0000 Added UchoaFLPPdAA06TR. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=f5d1190f9c54… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Sun Aug 6 09:36:27 2006 +0000 Added GonnordH06. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=2e33cd4da1be… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Sun Aug 6 09:25:44 2006 +0000 Added HalbwachsMG06. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=63656e6f6971… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Sun Aug 6 08:12:20 2006 +0000 Added HenriksenG06. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=b2a64974c375… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Sun Aug 6 07:50:41 2006 +0000 Added abstracts for Avery06, CarloniPPS-V06, GulavaniR06 and Pop06. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=cb0cc624d401… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Sat Aug 5 22:28:00 2006 +0000 Added CarloniPPS-V06. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=d53ab1273a0a… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Sat Aug 5 22:17:21 2006 +0000 Added Pop06. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=299fdd500f08… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Sat Aug 5 21:59:05 2006 +0000 Added Avery06. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=5594316a66d5… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Sat Aug 5 21:31:36 2006 +0000 Added GulavaniR06. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=9c246698b260… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Mon Jun 26 07:02:17 2006 +0000 Added GopanR06. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=1be4ae54e1fb… Author: Enea Zaffanella <zaffanella(a)cs.unipr.it> Date: Fri Apr 28 19:50:17 2006 +0000 Corrected a spelling error. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=8b5343d1c763… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Fri Apr 28 17:50:34 2006 +0000 Fixed Ancourt91th. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=85c76926c84c… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Fri Apr 28 17:50:16 2006 +0000 Added DooseM05. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=18455e30a812… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Fri Apr 21 09:28:05 2006 +0000 MesnardB05TPLP fixed. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=add234eb8345… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Wed Apr 19 12:35:18 2006 +0000 Capitalization fixed in the references about `polymake'. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=d41981dc844a… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Sun Apr 16 21:18:13 2006 +0000 Added vanHeeOSV06. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=59ca66b40220… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Sun Apr 16 18:44:50 2006 +0000 Added Ellenbogen04th. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=98f480d1f2a8… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Sun Apr 16 18:28:00 2006 +0000 Added SankaranarayananSM06. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=ba4079dd46c9… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Sun Apr 16 18:03:52 2006 +0000 Added SankaranarayananCSM06. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=dc72f7855224… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Sun Apr 16 17:23:03 2006 +0000 Minor formatting change. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=7e5ab4a06e0c… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Sun Apr 16 09:36:57 2006 +0000 GopanDMDRS04 was missing the address field: added. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=071ee1a4ea2f… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Sat Apr 15 16:20:08 2006 +0000 Added Ricci02th. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=e38f2726df02… Author: Patricia M. Hill <hill(a)comp.leeds.ac.uk> Date: Fri Apr 14 21:56:54 2006 +0000 Added bib entries for Grid papers submitted to FM and about to be sub,itted to LOPSTR. Note that the link on my site to the postscript for the LOPSTR submission is deliberately unreadable until the actual submission. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=8082c85d126d… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Wed Apr 12 06:12:36 2006 +0000 FrehseKR06 fixed. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=af4211169399… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Tue Apr 11 11:32:39 2006 +0000 BagnaraHZ05STTT renamed BagnaraHZ06STTT; year field changed to 2006. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=0112746b1c29… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Sun Apr 9 13:28:41 2006 +0000 Added KhachiyanBBEG06. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=e8a44e22551e… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Mon Jan 23 13:17:42 2006 +0000 Added FrehseKR06. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=9cda6eed9ec5… Author: Andrea Pescetti <pescetti(a)no.email> Date: Fri Jan 20 17:33:47 2006 +0000 Broken and obsolete links updated. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=d70d6be3a88f… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Sun Jan 8 10:53:44 2006 +0000 Added ISBN for the SAS 2005 volume. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=e5a607174dd4… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Sun Jan 1 18:32:51 2006 +0000 Trailing blanks removed. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=408ccaa24f8c… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Sun Jan 1 18:28:06 2006 +0000 Missing comma added. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=bf1cbe7bfe96… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Sun Jan 1 17:43:27 2006 +0000 Added BagnaraDHMZ05TR.pdf. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=3ccec28448ae… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Sun Sep 18 15:28:03 2005 +0000 Ancourt91th completed. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=ab1354ebfd90… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Sun Sep 18 08:04:59 2005 +0000 Fixed many broken or redirected links. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=463d32b2fe76… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Sat Sep 17 06:17:26 2005 +0000 Frehse05th added. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=a0db57b87268… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Sat Sep 10 17:14:49 2005 +0000 CacheraM-A05 added. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=62914264dee8… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Sat Sep 10 16:37:16 2005 +0000 Added DoyenHR05. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=c37e4b2b2606… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Sat Sep 10 16:19:47 2005 +0000 Added LagoonMS03. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=a982dcc0b28a… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Sat Sep 10 15:55:02 2005 +0000 KruegelKMRV05 added. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=0ff5f5a85d55… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Sat Sep 10 15:12:30 2005 +0000 Added FrehseKRM05. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=2f06257d4e73… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Sat Sep 10 14:55:24 2005 +0000 SongCR05 added. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=6d855c949113… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Thu Sep 8 06:25:05 2005 +0000 BagnaraR-CZ05 completed. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=8b06029c6d47… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Mon Sep 5 13:37:02 2005 +0000 Completed the bibliographic information for BagnaraHRZ05SCP. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=1377768cbef0… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Sun Sep 4 21:21:38 2005 +0000 Added HuelsbergenHL90. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=36fc0df83206… Author: Enea Zaffanella <zaffanella(a)cs.unipr.it> Date: Sat Sep 3 11:52:30 2005 +0000 Completed the entry for BagnaraHZ05FAC. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=0800a1eef363… Author: Patricia M. Hill <hill(a)comp.leeds.ac.uk> Date: Fri Aug 5 16:19:34 2005 +0000 Added 1997 paper by Quinton et al. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=8f174b71624e… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Sat May 28 14:18:01 2005 +0000 Address added to CousotC76. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=ec22ba0ec90a… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Mon May 23 14:25:02 2005 +0000 Unwanted quotes removed. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=b88b20eaf21a… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Mon May 23 14:24:35 2005 +0000 Conflict removed. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=c2ffc65b52b9… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Mon May 23 14:20:11 2005 +0000 Frehse05 completed. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=1ec46f8e554a… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Thu May 19 06:02:48 2005 +0000 Added BagnaraHZ05FAC. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=f8d31fc30374… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Thu May 19 06:00:58 2005 +0000 Added BagnaraR-CZ05 and BagnaraR-CZ05TR. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=d02dbc6efab9… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Thu May 19 06:00:34 2005 +0000 Added BagnaraHMZ05 and BagnaraHZ05STTT. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=1eae426743a2… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Mon Apr 18 13:56:06 2005 +0000 Announce the new paper on widenings for weakly-relational numeric abstractions. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=1bc07fd3488f… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Mon Apr 18 13:22:18 2005 +0000 Reordered. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=786ac6e03ad9… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Mon Apr 18 12:56:34 2005 +0000 Added JaffarMSY94, NelsonO77, NelsonO80, Pratt77 and Shostak81. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=ccffc533a3ce… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Fri Apr 15 08:02:38 2005 +0000 Use a double hyphen in page ranges. Use month codes instead of month names. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=9efcf0824244… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Wed Apr 13 17:13:19 2005 +0000 Added BagnaraMHZ05TR. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=8875acae65bb… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Wed Apr 13 17:02:02 2005 +0000 Mine04 fixed. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=9f3eebd8fbf7… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Thu Mar 24 10:45:27 2005 +0000 Added page numbers to Frehse05. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=565237ceec6c… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Wed Mar 16 10:10:16 2005 +0000 Added Mine05th. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=f47f14371c71… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Sat Feb 12 08:14:00 2005 +0000 Added GopanRS05. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=d25c5eda27b6… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Thu Jan 27 09:13:37 2005 +0000 Spurious booktitle field removed. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=ff2ed47c93fb… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Thu Jan 27 09:12:46 2005 +0000 BagnaraHZ03b improved. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=7becd7ce1fd2… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Thu Jan 27 09:09:34 2005 +0000 Added SankaranarayananSM05. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=10e1877d37fa… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Thu Jan 27 06:45:29 2005 +0000 Frehse05 added. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=f91ed1f8c851… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Sun Jan 9 08:25:14 2005 +0000 Added BagnaraHMZ04EA. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=d507787f38b4… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Sat Jan 8 15:33:01 2005 +0000 Links to Komei Fukuda's home page updated. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=f04ab67b0fda… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Sat Jan 8 15:22:58 2005 +0000 Added BagnaraHRZ05SCP. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=4e299d9bb1f6… Author: Patricia M. Hill <hill(a)comp.leeds.ac.uk> Date: Tue Jan 4 12:41:59 2005 +0000 Removed erroneous line in Mine01a. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=13a058f62b77… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Fri Dec 10 10:16:14 2004 +0000 Added Mine01a and Mine02. Minor improvements elsewhere. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=6afa76f9dff1… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Fri Dec 10 09:55:35 2004 +0000 Mine04 added. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=ba6eef9d43ff… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Tue Nov 2 14:04:12 2004 +0000 Previous change reverted. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=a9fd2fc193e9… Author: Patricia M. Hill <hill(a)comp.leeds.ac.uk> Date: Tue Nov 2 13:15:06 2004 +0000 "official" changed to "full". URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=07d86e0a9bc4… Author: Patricia M. Hill <hill(a)comp.leeds.ac.uk> Date: Mon Sep 27 16:23:43 2004 +0000 References added to abstract for the Granger 1997 paper. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=2bd62f882172… Author: Patricia M. Hill <hill(a)comp.leeds.ac.uk> Date: Mon Sep 27 14:48:43 2004 +0000 Removed citations to applications in the paragraph about integral grids. Added to ppl.bib, references for Ancourt thesis, two papers by Granger (1991 and 1997) and Technical report by Quinton et al. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=0a6650e14aae… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Mon Sep 27 13:12:38 2004 +0000 Last change reverted: in the bibliography we use the right LaTeX code, which is then simplified, when needed, for the sake of BibTeX2HTML. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=0dbff733a320… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Mon Sep 27 13:00:55 2004 +0000 Do not use LaTeX that cannot be decently handled by BibTeX2HTML. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=92ac61755ab0… Author: Patricia M. Hill <hill(a)comp.leeds.ac.uk> Date: Mon Sep 27 09:15:32 2004 +0000 Completed draft descriptions of the numerical abstractions. Added to ppl.bib reference to the Mine paper on the octagon domain and to Roberto's thesis. Updated the gif version of the illustration of a relational grid to correspond to that already in abstractions.tex. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=ac8d192502d2… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Tue Aug 31 20:03:56 2004 +0000 Make sure `I/O' is not touched by BibTeX. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=72070dd1bb5e… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Tue Aug 31 19:56:37 2004 +0000 Missing comma added. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=2bcf299483e6… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Tue Aug 31 19:45:45 2004 +0000 Added a first draft for FrehseHK04. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=528d11dd17ed… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Tue Aug 31 19:23:13 2004 +0000 Added a first draft for Frehse04. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=539ca1f47ec9… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Tue Aug 31 18:42:48 2004 +0000 Added HalbwachsMP-V03. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=e39acf0eac1e… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Tue Aug 31 17:28:16 2004 +0000 New page and bibliography for citations. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=68def679698a… Author: Enea Zaffanella <zaffanella(a)cs.unipr.it> Date: Wed Aug 25 09:33:47 2004 +0000 Integrated the "abstract" of CousotC79. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=7d555e47ca89… Author: Enea Zaffanella <zaffanella(a)cs.unipr.it> Date: Tue Aug 24 10:04:34 2004 +0000 Added entries for CousotC76 and CousotC79, with "abstracts" (actually, the first sentences from the introductions) and URLs to PDF versions. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=833836f6cc54… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Wed Jul 7 11:24:34 2004 +0000 Added BalasundaramK89. This paper, back in 1989, introduced what are now called "octagons" under the name "simple sections." URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=4d95249b3b1d… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Wed Jul 7 07:38:36 2004 +0000 Kannan92 removed. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=69db35beaba7… Author: Enea Zaffanella <zaffanella(a)cs.unipr.it> Date: Mon Jul 5 07:05:56 2004 +0000 Kannan92. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=dfbd7183e607… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Wed May 5 12:14:33 2004 +0000 Bagnara98SCP fixed. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=dbad4bee730b… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Tue Apr 13 15:22:25 2004 +0000 Added GopanDMDRS04. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=419f8c93f7b3… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Mon Feb 9 14:42:03 2004 +0000 Added Masdupuy92 and Masdupuy93th. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=d1231685afce… Author: Enea Zaffanella <zaffanella(a)cs.unipr.it> Date: Wed Jan 21 09:59:57 2004 +0000 Added entry for Q349. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=67f512ffbfee… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Sun Jan 18 17:06:38 2004 +0000 BagnaraHZ03a added. BagnaraHZ03 renamed BagnaraHZ03b. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=9883b06e1c2f… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Thu Jan 8 15:17:50 2004 +0000 BagnaraHZ04 fixed, completed and renamed BagnaraHZ03 (since the publication date is 2003). URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=c8ed671115f7… Author: Patricia M. Hill <hill(a)comp.leeds.ac.uk> Date: Wed Nov 19 10:44:54 2003 +0000 added reference to Schriver text book. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=c3db81f1df89… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Wed Nov 19 10:13:02 2003 +0000 Key for NookalaR00 capitalized consistently. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=f77f8f2f2f48… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Fri Nov 7 15:19:18 2003 +0000 BagnaraHZ04 added. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=5c2a08c1d686… Author: Patricia M. Hill <hill(a)comp.leeds.ac.uk> Date: Wed Nov 5 07:16:18 2003 +0000 NELS and similar changes. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=e0fca05d3462… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Sun Jul 13 09:49:47 2003 +0000 Bagnara98SCP added. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=740d8d5e021d… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Thu May 15 05:15:17 2003 +0000 BagnaraHRZ03 completed. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=4c91ea21b179… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Fri Apr 18 06:44:01 2003 +0000 Missing commas added, unnecessary commas removed. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=c995100fe8ef… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Fri Apr 18 06:24:33 2003 +0000 BagnaraHRZ03 added. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=281b50409e8e… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Wed Mar 26 07:16:44 2003 +0000 GawrilowJ01 fixed. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=7417b62523d9… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Wed Feb 26 18:04:08 2003 +0000 Entry for Quaderno 312 completed. Abstract for Quaderno 305 added. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=ec65adf3df21… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Fri Feb 21 17:44:36 2003 +0000 Draft entry for BagnaraHRZ03TR added. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=80de92b95ec3… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Sun Feb 9 17:39:14 2003 +0000 Typo fixed in Halbwachs79th. HenzingerH95 and HenzingerPW01 added. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=c891375844bd… Author: Enea Zaffanella <zaffanella(a)cs.unipr.it> Date: Fri Nov 15 09:31:02 2002 +0000 BagnaraHZ02TR will appear as Quaderno 305. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=6a880a04dc2a… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Fri Oct 25 16:42:24 2002 +0000 BagnaraHZ02TR added. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=47f34c8accca… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Tue Oct 15 17:17:18 2002 +0000 Halbwachs93 added. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=a6580bf01b62… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Mon Oct 14 07:22:49 2002 +0000 BessonJT99 added. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=3e1184d93aa7… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Mon Oct 7 05:21:41 2002 +0000 BultanGP99 added. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=08acf2c0a10c… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Sun Oct 6 08:15:04 2002 +0000 Dantzig63 added. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=99a2353d3d5d… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Sat Oct 5 20:07:12 2002 +0000 Typo fixed. File bibliography.raw regenerated with the new version of bibtex2html (1.54). URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=f85dd9d2401a… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Sat Oct 5 19:56:26 2002 +0000 Srivastava93 added. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=0e0f8e82c7be… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Mon Sep 23 07:28:53 2002 +0000 BagnaraHZ02a added. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=4b87079d7c0f… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Mon Sep 23 06:36:44 2002 +0000 BagnaraRZH02 added. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=64316c253e81… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Wed Jul 31 10:28:15 2002 +0000 Force capitalization of "Parma Polyhedra Library" the right way. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=5e1e4c5a1707… Author: Enea Zaffanella <zaffanella(a)cs.unipr.it> Date: Wed Jul 31 10:21:00 2002 +0000 In the entry for BagnaraRZH02, enforced capitalization of the PPL. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=a678da49aab7… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Mon Jul 29 20:41:38 2002 +0000 Entry for BagnaraRZH02 completed. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=62bdfcefce4c… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Wed Jul 3 16:39:42 2002 +0000 BagnaraRZH02 added. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=bf19a0b5a317… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Fri Jun 28 16:18:31 2002 +0000 BagnaraRZH02TR and BagnaraRZH02TRerrata added. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=2db81023ec94… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Thu Jun 20 14:22:13 2002 +0000 Halbwachs79th added. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=a484d425d2ab… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Mon Jun 17 12:31:22 2002 +0000 CousotC92-PLILP added. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=568a5013ccb5… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Sun Apr 28 18:45:47 2002 +0000 HalbwachsKP95 added. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=5f5a6de7491f… Author: Enea Zaffanella <zaffanella(a)cs.unipr.it> Date: Fri Apr 26 06:45:30 2002 +0000 Corrected entry of LeVerge92, so as to consider "Le" as part of the family name. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=fa841cb595fe… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Thu Apr 25 19:50:50 2002 +0000 LeVergeVDW94 added. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=24b7d8711d81… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Thu Apr 25 13:00:00 2002 +0000 Loechner99 added. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=f780c0cb29b8… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Thu Apr 18 12:32:16 2002 +0000 StoerW70 added. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=f289eec7b70e… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Sun Apr 14 20:15:23 2002 +0000 Kuhn56 added. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=66039f1d71a3… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Sun Apr 14 09:27:04 2002 +0000 HalbwachsPR94 added. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=9bfd831abf5d… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Sat Apr 13 11:57:36 2002 +0000 NEW-POLKA-1-1-3c added. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=7c6c82dbc328… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Sat Apr 13 11:40:50 2002 +0000 Added GawrilowJ00, GawrilowJ01, and LoechnerW97. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=fbdcde504cbd… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Wed Apr 10 07:40:31 2002 +0000 NemhauserW88 fixed. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=df0620ab0f27… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Fri Dec 14 15:15:04 2001 +0000 There is no abstract in Weyl50. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=edb61b8d410d… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Fri Dec 14 09:13:39 2001 +0000 Weyl35 and Weyl50 added. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=b19f489621ae… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Wed Oct 17 14:48:32 2001 +0000 MotzkinRTT53 added. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=8f2d1612d112… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Fri Oct 12 09:31:31 2001 +0000 NemhauserW88 added. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=9f25ae34748f… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Wed Oct 10 17:47:05 2001 +0000 Provide the source code from LeVerge92. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=da2bd8cc4701… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Mon Oct 8 15:01:54 2001 +0000 Chernikova6[458] fixed: they were all wrong. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=de18c94819e6… Author: Elisa Ricci <ericci(a)no.email> Date: Mon Oct 8 13:27:13 2001 +0000 Added the Chernikova's articles (what I know). URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=7a66665e2aca… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Mon Oct 8 10:41:49 2001 +0000 LeVerge92 fixed (missing comma and spurious brackets). URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=2bdf242a89e1… Author: Elisa Ricci <ericci(a)no.email> Date: Mon Oct 8 09:52:59 2001 +0000 Added the 'Abstract' for "A note on Chernikova's Algorithm". URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=add09ea8c895… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Sun Oct 7 18:59:55 2001 +0000 Fukuda98 added. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=ec8a4848c3ae… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Sun Oct 7 18:16:42 2001 +0000 LeVerge92 added. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=9177234e00b3… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Sun Oct 7 17:15:55 2001 +0000 CousotH78 fixed. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=c8893de1181d… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Sun Oct 7 17:09:45 2001 +0000 FukudaP96 updated: abstract revised, URL and backup copy provided. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=c42f9db1e39c… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Sun Oct 7 17:01:40 2001 +0000 FukudaP96 added. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=f7181964f1f3… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Sun Oct 7 16:19:01 2001 +0000 Generate a bibliography page from ppl.bib: this is referenced from the Documentation page. Abstract of Wilde93th added. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=10fda351ee29… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Sun Oct 7 13:19:36 2001 +0000 CousotH78 added. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=787a6a1915d9… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Sun Oct 7 12:06:33 2001 +0000 All the documentation, both ours and the papers we cite, belong to the Documentation directory. The mirror subdirectory will contain backup copies of the papers we reference: things disappear from the web far too often. HalbwachsPR97 added.

1 0

Re: [PPL-devel] PPL 1 test (linearize) failed
by Roberto Bagnara 01 Apr '12

01 Apr '12

On 03/31/12 20:59, enricus@ wrote: > Ciao Roberto. > This snapshot passes all of the 10 tests beautifully. So yes, it was > most probably fixed with your recent commits. Hello Enric, thank you for reporting back. > Is it safe to build gcc with this release or better we wait until a > release in the period of time you said? I think it is better to wait: as I said, at most two weeks. Cheers, Roberto -- Prof. Roberto Bagnara Applied Formal Methods Laboratory Department of Mathematics, University of Parma, Italy http://www.cs.unipr.it/~bagnara/ mailto:bagnara@cs.unipr.it

1 0

[GIT] ppl/ppl(master): Removed two unused and unwanted methods.
by Roberto Bagnara 01 Apr '12

01 Apr '12

Module: ppl/ppl Branch: master Commit: 2d7a51922756f6a1e92db965e3b0c1774b98698e URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=2d7a51922756… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Sun Apr 1 17:37:43 2012 +0200 Removed two unused and unwanted methods. (They were also wrongly implemented.) --- src/Polyhedron.defs.hh | 8 -------- src/Polyhedron.inlines.hh | 5 ----- src/Polyhedron_public.cc | 12 ------------ 3 files changed, 0 insertions(+), 25 deletions(-) diff --git a/src/Polyhedron.defs.hh b/src/Polyhedron.defs.hh index 5f692c2..b52638d 100644 --- a/src/Polyhedron.defs.hh +++ b/src/Polyhedron.defs.hh @@ -35,8 +35,6 @@ site: http://bugseng.com/products/ppl/ . */ #include "Generator_System.inlines.hh" #include "Congruence_System.defs.hh" #include "Congruence_System.inlines.hh" -#include "Grid_Generator_System.defs.hh" -#include "Grid_Generator_System.inlines.hh" #include "Bit_Matrix.defs.hh" #include "Constraint.types.hh" #include "Generator.types.hh" @@ -550,12 +548,6 @@ public: */ Congruence_System minimized_congruences() const; - //! Returns a universe system of grid generators. - Grid_Generator_System grid_generators() const; - - //! Returns a universe system of grid generators. - Grid_Generator_System minimized_grid_generators() const; - /*! \brief Returns the relations holding between the polyhedron \p *this and the constraint \p c. diff --git a/src/Polyhedron.inlines.hh b/src/Polyhedron.inlines.hh index ff35596..ecdc412 100644 --- a/src/Polyhedron.inlines.hh +++ b/src/Polyhedron.inlines.hh @@ -369,11 +369,6 @@ Polyhedron::minimized_congruences() const { return Congruence_System(minimized_constraints()); } -inline Grid_Generator_System -Polyhedron::minimized_grid_generators() const { - return grid_generators(); -} - inline void Polyhedron::add_recycled_congruences(Congruence_System& cgs) { add_congruences(cgs); diff --git a/src/Polyhedron_public.cc b/src/Polyhedron_public.cc index 31f2c7d..440b0d5 100644 --- a/src/Polyhedron_public.cc +++ b/src/Polyhedron_public.cc @@ -194,18 +194,6 @@ PPL::Polyhedron::minimized_generators() const { return generators(); } -PPL::Grid_Generator_System -PPL::Polyhedron::grid_generators() const { - Grid_Generator_System ggs(space_dim); - // Trivially true point. - ggs.insert(grid_point(0*(Variable(0)))); - // A line for each dimension. - dimension_type dim = 0; - while (dim < space_dim) - ggs.insert(grid_line(Variable(dim))); - return ggs; -} - PPL::Poly_Con_Relation PPL::Polyhedron::relation_with(const Constraint& c) const { // Dimension-compatibility check.

1 0

[GIT] ppl/ppl(master): Added BagnaraMPZ12IC.
by Roberto Bagnara 01 Apr '12

01 Apr '12

Module: ppl/ppl Branch: master Commit: 4ca090268809487aae781880548a6805c198d1f0 URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=4ca090268809… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Sun Apr 1 13:01:26 2012 +0200 Added BagnaraMPZ12IC. --- doc/ppl.bib | 30 ++++++++++++++++++++++++++++++ 1 files changed, 30 insertions(+), 0 deletions(-) diff --git a/doc/ppl.bib b/doc/ppl.bib index 339a567..57f5f49 100644 --- a/doc/ppl.bib +++ b/doc/ppl.bib @@ -435,6 +435,36 @@ verifiers." } +@Article{BagnaraMPZ12IC, + Author = "R. Bagnara and F. Mesnard and A. Pescetti and E. Zaffanella", + Title = "A New Look at the Automatic Synthesis of Linear Ranking Functions", + Journal = "Information and Computation", + Publisher = "Elsevier Science B.V.", + Year = 2012, + Note = "To appear." + Abstract = "The classical technique for proving termination of a + generic sequential computer program involves the + synthesis of a \emph{ranking function} for each loop of + the program. \emph{Linear} ranking functions are + particularly interesting because many terminating loops + admit one and algorithms exist to automatically + synthesize it. In this paper we present two such + algorithms: one based on work dated 1991 by Sohn and + Van~Gelder; the other, due to Podelski and Rybalchenko, + dated 2004. Remarkably, while the two algorithms will + synthesize a linear ranking function under exactly the + same set of conditions, the former is mostly unknown to + the community of termination analysis and its general + applicability has never been put forward before the + present paper. In this paper we thoroughly justify both + algorithms, we prove their correctness, we compare their + worst-case complexity and experimentally evaluate their + efficiency, and we present an open-source implementation + of them that will make it very easy to include + termination-analysis capabilities in automatic program + verifiers." +} + @InProceedings{BagnaraRZH02, Author = "R. Bagnara and E. Ricci and E. Zaffanella and P. M. Hill", Title = "Possibly Not Closed Convex Polyhedra

1 0

[GIT] ppl/ppl(master): Added BagnaraMPZ12TR.
by Roberto Bagnara 01 Apr '12

01 Apr '12

Module: ppl/ppl Branch: master Commit: cecfd8d5f80648656ad87d47b48be0119cb0d686 URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=cecfd8d5f806… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Sun Apr 1 12:55:00 2012 +0200 Added BagnaraMPZ12TR. --- doc/ppl.bib | 36 +++++++++++++++++++++++++++++++++--- 1 files changed, 33 insertions(+), 3 deletions(-) diff --git a/doc/ppl.bib b/doc/ppl.bib index 92c0700..339a567 100644 --- a/doc/ppl.bib +++ b/doc/ppl.bib @@ -379,9 +379,39 @@ Type = "Quaderno", Institution = "Dipartimento di Matematica, Universit\`a di Parma, Italy", Year = 2010, - Note = "Available at \url{http://www.cs.unipr.it/Publications/}. - Also published as {\tt arXiv:cs.PL/1004.0944}, - available from \url{http://arxiv.org/}.", + Note = "Superseded by \cite{BagnaraMPZ12TR}.", + Abstract = "The classical technique for proving termination of a + generic sequential computer program involves the + synthesis of a \emph{ranking function} for each loop of + the program. \emph{Linear} ranking functions are + particularly interesting because many terminating loops + admit one and algorithms exist to automatically + synthesize it. In this paper we present two such + algorithms: one based on work dated 1991 by Sohn and + Van~Gelder; the other, due to Podelski and Rybalchenko, + dated 2004. Remarkably, while the two algorithms will + synthesize a linear ranking function under exactly the + same set of conditions, the former is mostly unknown to + the community of termination analysis and its general + applicability has never been put forward before the + present paper. In this paper we thoroughly justify both + algorithms, we prove their correctness, we compare their + worst-case complexity and experimentally evaluate their + efficiency, and we present an open-source implementation + of them that will make it very easy to include + termination-analysis capabilities in automatic program + verifiers." +} + +@Misc{BagnaraMPZ12TR, + Author = "R. Bagnara and F. Mesnard and A. Pescetti and E. Zaffanella", + Title = "The Automatic Synthesis of Linear Ranking Functions: + The Complete Unabridged Version", + Howpublished = "Report {\tt arXiv:cs.PL/1004.0944v2}", + Year = 2012, + Note = "Available at \url{http://arxiv.org/} + and \url{http://bugseng.com/products/ppl/}. + Improved version of \cite{BagnaraMPZ10TR}.", Abstract = "The classical technique for proving termination of a generic sequential computer program involves the synthesis of a \emph{ranking function} for each loop of

1 0

[GIT] ppl/ppl(master): New commits
by Roberto Bagnara 01 Apr '12

01 Apr '12

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=918e0190b75c… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Mon Sep 26 18:06:09 2011 +0200 Broken link removed. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=8582094d6849… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Mon Sep 26 16:57:41 2011 +0200 Links fixed. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=31cba9901a70… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Mon Sep 26 16:56:01 2011 +0200 Links fixed. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=f038d425e168… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Sun Sep 25 17:19:31 2011 +0200 Broken links removed. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=01ee05bc44c6… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Sun Sep 25 17:15:32 2011 +0200 URI's updated. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=a4199d5fd3db… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Sat Nov 20 16:44:06 2010 +0100 Added Andre10. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=a2d5f584e8e0… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Sun May 16 11:24:48 2010 +0200 Fixed CousotC79. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=e02097c61eb9… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Fri Apr 30 07:52:39 2010 +0200 BagnaraHZ10CGTA has been published. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=a6f44ff00f4d… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Fri Apr 16 14:40:41 2010 +0200 Added BandaG10. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=64e071d0d18c… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Wed Apr 7 21:28:33 2010 +0200 Added BagnaraMPZ10TR. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=666e769a33d1… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Sun Mar 7 19:23:29 2010 +0400 Added BozgaGI09. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=51f4adf64e4f… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Thu Feb 18 10:21:20 2010 +0100 Added FeautrierCB07. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=32c4c2b73a93… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Fri Feb 5 09:09:24 2010 +0100 Added TrifunovicCEFG+10. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=c0a2d7a85209… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Sun Jan 24 10:18:14 2010 +0100 BagnaraHZ09CGTA renamed and completed. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=d8b1b9877ab2… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Thu Jan 14 11:18:28 2010 +0100 BagnaraHZ10FMSD renamed and completed. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=5093fc1e5622… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Tue Jan 12 11:18:18 2010 +0100 Added Feautrier88. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=1d6edee51c40… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Tue Jan 12 11:03:35 2010 +0100 Updated BagnaraHZ10FMSD. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=e7637d0e1720… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Fri Dec 11 18:26:12 2009 +0100 Added FagesR09 and JhalaM09. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=9ae541d62afd… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Sun Oct 11 08:09:38 2009 +0200 Added the online version of BagnaraHZ09CGTA. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=1a7a6a2e0e13… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Sat Oct 3 09:00:57 2009 +0200 Completed BagnaraHZ09TCS. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=9ae23a676a7e… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Tue Sep 29 20:24:01 2009 +0200 Added BagnaraHZ09CGTA. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=ee2aca9d993a… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Tue Sep 29 18:25:19 2009 +0200 BagnaraHZ09TCS completed. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=89245fa234c9… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Mon Aug 10 14:50:11 2009 +0200 Improved BagnaraHZ09TCS and BagnaraHZ09FMSD. Added BagnaraHZ09TRb. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=48a7a0e0d127… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Mon Aug 3 14:06:07 2009 +0200 Typo fixed. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=ff907d7d94f2… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Mon Aug 3 14:03:54 2009 +0200 BagnaraHZ09TCS updated. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=94cf39b71566… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Mon Jul 20 21:57:22 2009 +0200 Added PerezRS09. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=af301881fd8e… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Fri Jul 17 20:37:16 2009 +0200 Added JeannetM09. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=8e8ceb41474e… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Fri Jul 17 20:37:07 2009 +0200 Halbwachs93 completed. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=102213c6c44e… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Fri Jul 17 20:16:10 2009 +0200 BagnaraHZ09 updated and renamed BagnaraHZ09FMSD. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=05394fdb57d9… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Fri Jul 17 20:15:51 2009 +0200 Added LimeRST09. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=533511d66d4b… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Sat Jun 20 08:57:24 2009 +0200 URL added. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=84c367f397a4… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Sat Jun 20 08:52:00 2009 +0200 Added RizkBFS09. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=8f05eb08a6cf… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Fri May 15 08:15:23 2009 +0200 BagnaraHZ09 will be published in Formal Methods in System Design. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=b7344037dad6… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Thu May 7 09:36:49 2009 +0200 Added LeconteB06. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=e6d83ba84468… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Thu May 7 08:04:15 2009 +0200 Added SenS07TR. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=4380ed9cb376… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Wed Apr 29 15:26:37 2009 +0200 Added LogozzoF08. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=b7191b99a807… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Tue Apr 21 11:31:21 2009 +0200 BagnaraHZ09TRa updated. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=96372382ead7… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Thu Apr 16 07:43:49 2009 +0200 Updated BagnaraHZ09TRa. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=3cd7f770749a… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Sun Apr 12 09:20:57 2009 +0200 Added URI for arXiv. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=7cbb68d14a5b… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Sat Apr 11 20:59:29 2009 +0200 Added YangWGI09. Non-ASCII characters removed. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=11be95f27a55… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Sat Apr 11 20:48:55 2009 +0200 Added AlbertACGPZ08. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=f5c4a8eb2296… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Sat Apr 11 10:42:30 2009 +0200 Added BagnaraHZ09TRa. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=c612c6be6bd9… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Wed Apr 8 08:21:50 2009 +0200 Added MoserKK07. Entries sorted. Some specifications of page numbers fixed. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=f3d9bbbe2cd7… Author: Enea Zaffanella <zaffanella(a)cs.unipr.it> Date: Tue Apr 7 15:54:08 2009 +0200 Added bibtex entry for BagnaraHZ09 (submitted for publication). URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=7dc6b8e3228c… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Tue Apr 7 15:42:19 2009 +0200 Added BandaG09. Used the right kind of dash in other entries. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=9da14557a61b… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Tue Jan 27 09:04:25 2009 +0000 Added Frehse08. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=c3c7f2af2ea5… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Mon Jan 26 21:52:30 2009 +0000 Added AlbertAGPZ08. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=9b205c9463e2… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Mon Jan 26 21:19:53 2009 +0000 Added DenmatGD07. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=07173d58ba53… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Mon Jan 26 21:04:24 2009 +0000 Added KimGR07. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=08907a02f03c… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Mon Jan 26 20:36:47 2009 +0000 GulwaniL-AS09 updated. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=3e193a341171… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Mon Jan 26 20:33:28 2009 +0000 AlurKRS08 updated. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=76e6e7bd51a4… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Mon Jan 26 20:29:54 2009 +0000 Added AlbertAGP08. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=2714f8d7ec83… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Mon Jan 26 20:09:30 2009 +0000 Added MakhloufK06. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=9400029ab255… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Mon Jan 26 09:56:36 2009 +0000 Added BjorndalenA05. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=13c1cf85faa2… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Sun Jan 25 20:52:33 2009 +0000 Added PopeeaC08. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=1a8492d80f43… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Sun Jan 25 08:45:50 2009 +0000 Added BramanM08. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=2b4496355390… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Sun Jan 25 08:32:11 2009 +0000 Added ChenMC08. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=c5375dcdf6d6… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Tue Jan 20 20:30:16 2009 +0000 Entries reordered. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=dde31a3d3c9d… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Tue Jan 20 20:26:48 2009 +0000 Added LavironL09. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=755b09c3a590… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Tue Jan 20 20:16:09 2009 +0000 Added GulwaniL-AS09. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=8cd703104a61… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Sun Jan 18 16:54:27 2009 +0000 Added BagnaraHZ09TCS. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=c891f29b0a30… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Fri Dec 26 15:50:53 2008 +0000 Added TraonouezLR08. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=6d9ce4d731b6… Author: Enea Zaffanella <zaffanella(a)cs.unipr.it> Date: Mon Nov 24 13:35:56 2008 +0000 Added BemporadFT00TR and BemporadFT01. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=6ac4d1961130… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Wed Nov 19 18:45:47 2008 +0000 Use \url instead of \tt. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=cbbaefe0cd1d… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Wed Nov 19 18:45:19 2008 +0000 Added QuillereRW00. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=40034c50e9d1… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Mon Oct 27 08:55:26 2008 +0000 Several corrections to BlanchetCCFMMMR02. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=f274c5ef44df… Author: Patricia M. Hill <hill(a)comp.leeds.ac.uk> Date: Mon Oct 27 08:36:09 2008 +0000 Added reference to the paper by Blanchet et al that proposes the widening with thresholds (2002). URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=c2d651a8de75… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Wed Oct 22 20:30:18 2008 +0000 Added Soffia08TR. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=426a7c98c74f… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Wed Sep 17 10:11:00 2008 +0000 Added Vasconcelos08th. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=2f7a41d0f942… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Mon Aug 25 08:36:30 2008 +0000 Removed note from BagnaraHZ08SCP. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=a0c279968473… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Tue Aug 12 13:11:26 2008 +0000 Added AlurKRS08. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=b78bf651fe73… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Tue Jul 29 18:51:25 2008 +0000 Added BouchyFL08. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=35f647e22596… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Sat Jul 5 10:39:51 2008 +0000 BagnaraHZ08SCP completed. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=9576316c86c3… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Thu Jun 5 14:55:31 2008 +0000 Added Warren03. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=5aa5fd1f7d84… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Thu Jun 5 14:40:01 2008 +0000 Added SenS07. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=9ae2693b999d… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Thu Jun 5 14:19:40 2008 +0000 Added RepsBL06. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=772fe6def402… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Thu Jun 5 14:10:17 2008 +0000 Added SimonK07. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=9676fab9f314… Author: Enea Zaffanella <zaffanella(a)cs.unipr.it> Date: Thu Apr 17 13:29:50 2008 +0000 Added bibliographic entry HenkinMT71 (to be double checked). URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=ca562172c0ae… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Sat Mar 8 14:24:20 2008 +0000 Added PayetS07th. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=1a1633c8c103… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Sat Mar 8 14:15:39 2008 +0000 GopanR07a completed. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=8af60f166d42… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Sat Mar 8 14:13:12 2008 +0000 Added Gopan07th. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=c871cccf82b8… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Sat Mar 8 14:03:45 2008 +0000 Added Gobert07th. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=30d3c0d0d605… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Sat Mar 8 13:42:40 2008 +0000 Added SankaranarayananIG07. Completed GopanR07b. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=b46fffedb155… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Fri Feb 29 20:14:24 2008 +0000 BagnaraHZ08 renamed BagnaraHZ08SCP (the paper to appear on Science of Computer Programming). New paper BagnaraHZ08 (the VMCAI 2008 paper). URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=ce1e3c2c3b10… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Mon Feb 11 08:21:47 2008 +0000 Added Henriksen07th. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=9fb4ce7b116f… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Thu Aug 30 16:30:52 2007 +0000 Starynkevitch07 completed. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=661a6586d31c… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Thu Aug 30 16:22:04 2007 +0000 Added Starynkevitch07. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=2280f02ef45b… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Mon Aug 27 10:01:47 2007 +0000 Added BagnaraHZ08. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=2883f56ed1dc… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Tue Jul 17 14:11:48 2007 +0000 Added YangWGI06. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=fccbbc064bfd… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Tue Jul 17 07:14:40 2007 +0000 Added GopanR07a. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=515fee3aa68e… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Tue Jul 17 06:54:55 2007 +0000 Added GopanR07b. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=aa590d1cf777… Author: Enea Zaffanella <zaffanella(a)cs.unipr.it> Date: Wed Jul 4 10:20:40 2007 +0000 Added GobertLC07. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=3cb3f6e63ad8… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Wed Jul 4 07:50:32 2007 +0000 CovaFBV06 completed. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=f6e68c08ed82… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Wed Jul 4 07:32:48 2007 +0000 Added SankaranarayananISG06. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=6472d93de281… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Wed Jun 20 19:15:52 2007 +0000 Added Doyen06th. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=a4bed5a7ae0c… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Tue Jun 19 06:29:08 2007 +0000 Typo fixed. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=b77849257149… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Mon Jun 18 16:31:47 2007 +0000 Added SlaninaSSM07TR. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=c9cb807a366c… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Mon Jun 4 11:47:23 2007 +0000 BagnaraHZ07TRb completed. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=269fbaf39331… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Mon Jun 4 08:19:58 2007 +0000 Typo fixed. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=9e948aea7e21… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Sun Jun 3 20:33:34 2007 +0000 Added Vigna07. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=5ad70c2cbf33… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Sun Jun 3 20:07:50 2007 +0000 Added ArmandoBM07. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=2c0819d39d4e… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Fri Jun 1 09:27:47 2007 +0000 Added BagnaraHZ07TRb (still incomplete). URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=37e3da823130… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Fri Jun 1 09:24:14 2007 +0000 Renamed. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=0ffc4d91f871… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Fri Jun 1 09:05:41 2007 +0000 BagnaraHZ07TR renamed BagnaraHZ07TRa. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=13acbebc4834… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Mon Apr 16 09:53:38 2007 +0000 BagnaraDHMZ07 completed. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=ab2b70f260d7… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Sun Mar 18 19:19:14 2007 +0000 Revised Ricci02th. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=364f04e713d3… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Tue Feb 6 21:11:12 2007 +0000 DoyenHR05 added. Formed DoyenHR05 now has key DoyenHR05TR. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=269ccb5c2474… Author: Patricia M. Hill <hill(a)comp.leeds.ac.uk> Date: Fri Jan 19 12:13:09 2007 +0000 Added volume number for BagnaraDHMZ07 URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=80d255e8c77c… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Fri Jan 19 08:48:30 2007 +0000 Added BagnaraHZ07TR. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=25eacbc958a4… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Mon Jan 15 17:14:46 2007 +0000 Fixed Frehse05. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=5e83429221af… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Mon Jan 15 09:20:32 2007 +0000 Fixed StoerW70. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=0a43c3c1d2cb… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Sat Jan 13 15:04:40 2007 +0000 Added FrankM02th. Completed Flexeder05th. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=c111a9c6919a… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Tue Jan 9 16:41:51 2007 +0000 FrehseKRM05 replaced by FrehseKRM06. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=5abd2b2ae925… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Wed Dec 20 20:07:28 2006 +0000 Added a PDF URL to BagnaraHZ06TR. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=718a3107ded5… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Wed Dec 20 18:37:41 2006 +0000 Added Flexeder05th. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=48b0c71b4b81… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Wed Dec 20 18:16:47 2006 +0000 Added ChakrabortyMS06. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=eb12911b4e7d… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Wed Dec 20 18:06:28 2006 +0000 Added CovaFBV06. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=7a7156d0a569… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Wed Dec 20 17:41:57 2006 +0000 AsarinDFGLGM06 is no longer "to appear." URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=22e7b9813212… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Wed Dec 20 17:41:31 2006 +0000 Completed vanHeeOSV06. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=cbb87aeef566… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Wed Dec 20 17:33:30 2006 +0000 HenriksenG06 completed. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=ccad5bf7f276… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Wed Dec 20 17:28:43 2006 +0000 GopanR06 completed. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=10389d5f02b7… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Wed Dec 20 17:25:22 2006 +0000 GonnordH06 completed. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=44e99a5bc483… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Wed Dec 20 17:13:44 2006 +0000 SongCR05 rekeyed SongCR06, corrected and completed. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=374a39134c90… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Tue Dec 19 12:44:40 2006 +0000 BagnaraHZ06STTT completed. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=114da14272c8… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Tue Dec 19 12:19:57 2006 +0000 Added BagnaraDHMZ05TR. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=6069efa18a8b… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Mon Dec 18 18:17:50 2006 +0000 Missing comma added. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=4122f3a9d28f… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Mon Dec 18 17:42:07 2006 +0000 BagnaraDHMZ06a substituted by BagnaraDHMZ07. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=3bb6b18b6062… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Mon Dec 18 17:37:08 2006 +0000 HalbwachsMG06 completed. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=4b4dc046e97e… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Mon Dec 18 15:19:34 2006 +0000 Typo fixed. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=b46873896836… Author: Patricia M. Hill <hill(a)comp.leeds.ac.uk> Date: Mon Dec 18 14:55:07 2006 +0000 Updated BagnaraDHMZ06a and BagnaraDHMZ06b entries. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=008e249eb677… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Mon Dec 18 13:28:56 2006 +0000 BagnaraHZ06STTT updated. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=e8ba804127e1… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Mon Dec 18 10:26:46 2006 +0000 Typo fixed. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=723922d07313… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Mon Dec 18 10:26:18 2006 +0000 BagnaraHZ06TR corrected and completed. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=ab8fa7a23327… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Mon Dec 18 09:09:25 2006 +0000 Key BagnaraHZ04TRa changed to BagnaraHZ04TR. Provisional entry for BagnaraHZ06TR added. Do not use double quotes for numeric fields. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=efd2fd39c371… Author: Patricia M. Hill <hill(a)comp.leeds.ac.uk> Date: Mon Dec 18 08:27:06 2006 +0000 Spelling corrected. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=942b3c4d09bb… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Sun Dec 17 20:29:34 2006 +0000 Added NakanishiJPF99 and NakanishiF01. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=15c9e498d372… Author: Patricia M. Hill <hill(a)comp.leeds.ac.uk> Date: Mon Dec 11 11:13:17 2006 +0000 Previous references added removed. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=f0c8fd57169e… Author: Patricia M. Hill <hill(a)comp.leeds.ac.uk> Date: Mon Dec 11 10:14:26 2006 +0000 Revised the reference for BagnaraDHMZ06a. Added references for AlurCHHHNOSY95, AlurCHH93, and Henzinger96. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=0e8de1e7cdd0… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Wed Sep 27 18:02:59 2006 +0000 Avoid non-ASCII characters. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=0addfb34da34… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Sat Sep 23 18:06:16 2006 +0000 Spelling corrections. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=16ecc665593e… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Thu Sep 21 14:58:48 2006 +0000 Added GoldfarbR77. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=c0c9e5ba53c0… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Thu Sep 21 14:36:35 2006 +0000 Added PapadimitriouS98. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=541313fed865… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Sat Sep 2 15:13:14 2006 +0000 Added AsarinDFGLGM06. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=335700946a56… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Tue Aug 8 07:04:01 2006 +0000 HalbwachsMP-V03 fixed (copy and paste mistake). URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=4dddbc6c8b3c… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Sun Aug 6 10:22:49 2006 +0000 Added UchoaFLPPdAA06TR. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=f5d1190f9c54… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Sun Aug 6 09:36:27 2006 +0000 Added GonnordH06. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=2e33cd4da1be… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Sun Aug 6 09:25:44 2006 +0000 Added HalbwachsMG06. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=63656e6f6971… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Sun Aug 6 08:12:20 2006 +0000 Added HenriksenG06. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=b2a64974c375… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Sun Aug 6 07:50:41 2006 +0000 Added abstracts for Avery06, CarloniPPS-V06, GulavaniR06 and Pop06. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=cb0cc624d401… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Sat Aug 5 22:28:00 2006 +0000 Added CarloniPPS-V06. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=d53ab1273a0a… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Sat Aug 5 22:17:21 2006 +0000 Added Pop06. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=299fdd500f08… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Sat Aug 5 21:59:05 2006 +0000 Added Avery06. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=5594316a66d5… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Sat Aug 5 21:31:36 2006 +0000 Added GulavaniR06. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=9c246698b260… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Mon Jun 26 07:02:17 2006 +0000 Added GopanR06. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=1be4ae54e1fb… Author: Enea Zaffanella <zaffanella(a)cs.unipr.it> Date: Fri Apr 28 19:50:17 2006 +0000 Corrected a spelling error. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=8b5343d1c763… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Fri Apr 28 17:50:34 2006 +0000 Fixed Ancourt91th. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=85c76926c84c… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Fri Apr 28 17:50:16 2006 +0000 Added DooseM05. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=18455e30a812… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Fri Apr 21 09:28:05 2006 +0000 MesnardB05TPLP fixed. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=add234eb8345… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Wed Apr 19 12:35:18 2006 +0000 Capitalization fixed in the references about `polymake'. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=d41981dc844a… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Sun Apr 16 21:18:13 2006 +0000 Added vanHeeOSV06. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=59ca66b40220… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Sun Apr 16 18:44:50 2006 +0000 Added Ellenbogen04th. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=98f480d1f2a8… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Sun Apr 16 18:28:00 2006 +0000 Added SankaranarayananSM06. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=ba4079dd46c9… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Sun Apr 16 18:03:52 2006 +0000 Added SankaranarayananCSM06. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=dc72f7855224… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Sun Apr 16 17:23:03 2006 +0000 Minor formatting change. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=7e5ab4a06e0c… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Sun Apr 16 09:36:57 2006 +0000 GopanDMDRS04 was missing the address field: added. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=071ee1a4ea2f… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Sat Apr 15 16:20:08 2006 +0000 Added Ricci02th. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=e38f2726df02… Author: Patricia M. Hill <hill(a)comp.leeds.ac.uk> Date: Fri Apr 14 21:56:54 2006 +0000 Added bib entries for Grid papers submitted to FM and about to be sub,itted to LOPSTR. Note that the link on my site to the postscript for the LOPSTR submission is deliberately unreadable until the actual submission. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=8082c85d126d… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Wed Apr 12 06:12:36 2006 +0000 FrehseKR06 fixed. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=af4211169399… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Tue Apr 11 11:32:39 2006 +0000 BagnaraHZ05STTT renamed BagnaraHZ06STTT; year field changed to 2006. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=0112746b1c29… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Sun Apr 9 13:28:41 2006 +0000 Added KhachiyanBBEG06. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=e8a44e22551e… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Mon Jan 23 13:17:42 2006 +0000 Added FrehseKR06. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=9cda6eed9ec5… Author: Andrea Pescetti <pescetti(a)no.email> Date: Fri Jan 20 17:33:47 2006 +0000 Broken and obsolete links updated. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=d70d6be3a88f… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Sun Jan 8 10:53:44 2006 +0000 Added ISBN for the SAS 2005 volume. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=e5a607174dd4… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Sun Jan 1 18:32:51 2006 +0000 Trailing blanks removed. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=408ccaa24f8c… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Sun Jan 1 18:28:06 2006 +0000 Missing comma added. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=bf1cbe7bfe96… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Sun Jan 1 17:43:27 2006 +0000 Added BagnaraDHMZ05TR.pdf. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=3ccec28448ae… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Sun Sep 18 15:28:03 2005 +0000 Ancourt91th completed. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=ab1354ebfd90… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Sun Sep 18 08:04:59 2005 +0000 Fixed many broken or redirected links. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=463d32b2fe76… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Sat Sep 17 06:17:26 2005 +0000 Frehse05th added. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=a0db57b87268… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Sat Sep 10 17:14:49 2005 +0000 CacheraM-A05 added. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=62914264dee8… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Sat Sep 10 16:37:16 2005 +0000 Added DoyenHR05. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=c37e4b2b2606… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Sat Sep 10 16:19:47 2005 +0000 Added LagoonMS03. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=a982dcc0b28a… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Sat Sep 10 15:55:02 2005 +0000 KruegelKMRV05 added. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=0ff5f5a85d55… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Sat Sep 10 15:12:30 2005 +0000 Added FrehseKRM05. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=2f06257d4e73… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Sat Sep 10 14:55:24 2005 +0000 SongCR05 added. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=6d855c949113… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Thu Sep 8 06:25:05 2005 +0000 BagnaraR-CZ05 completed. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=8b06029c6d47… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Mon Sep 5 13:37:02 2005 +0000 Completed the bibliographic information for BagnaraHRZ05SCP. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=1377768cbef0… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Sun Sep 4 21:21:38 2005 +0000 Added HuelsbergenHL90. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=36fc0df83206… Author: Enea Zaffanella <zaffanella(a)cs.unipr.it> Date: Sat Sep 3 11:52:30 2005 +0000 Completed the entry for BagnaraHZ05FAC. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=0800a1eef363… Author: Patricia M. Hill <hill(a)comp.leeds.ac.uk> Date: Fri Aug 5 16:19:34 2005 +0000 Added 1997 paper by Quinton et al. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=8f174b71624e… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Sat May 28 14:18:01 2005 +0000 Address added to CousotC76. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=ec22ba0ec90a… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Mon May 23 14:25:02 2005 +0000 Unwanted quotes removed. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=b88b20eaf21a… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Mon May 23 14:24:35 2005 +0000 Conflict removed. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=c2ffc65b52b9… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Mon May 23 14:20:11 2005 +0000 Frehse05 completed. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=1ec46f8e554a… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Thu May 19 06:02:48 2005 +0000 Added BagnaraHZ05FAC. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=f8d31fc30374… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Thu May 19 06:00:58 2005 +0000 Added BagnaraR-CZ05 and BagnaraR-CZ05TR. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=d02dbc6efab9… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Thu May 19 06:00:34 2005 +0000 Added BagnaraHMZ05 and BagnaraHZ05STTT. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=1eae426743a2… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Mon Apr 18 13:56:06 2005 +0000 Announce the new paper on widenings for weakly-relational numeric abstractions. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=1bc07fd3488f… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Mon Apr 18 13:22:18 2005 +0000 Reordered. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=786ac6e03ad9… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Mon Apr 18 12:56:34 2005 +0000 Added JaffarMSY94, NelsonO77, NelsonO80, Pratt77 and Shostak81. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=ccffc533a3ce… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Fri Apr 15 08:02:38 2005 +0000 Use a double hyphen in page ranges. Use month codes instead of month names. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=9efcf0824244… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Wed Apr 13 17:13:19 2005 +0000 Added BagnaraMHZ05TR. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=8875acae65bb… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Wed Apr 13 17:02:02 2005 +0000 Mine04 fixed. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=9f3eebd8fbf7… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Thu Mar 24 10:45:27 2005 +0000 Added page numbers to Frehse05. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=565237ceec6c… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Wed Mar 16 10:10:16 2005 +0000 Added Mine05th. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=f47f14371c71… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Sat Feb 12 08:14:00 2005 +0000 Added GopanRS05. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=d25c5eda27b6… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Thu Jan 27 09:13:37 2005 +0000 Spurious booktitle field removed. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=ff2ed47c93fb… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Thu Jan 27 09:12:46 2005 +0000 BagnaraHZ03b improved. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=7becd7ce1fd2… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Thu Jan 27 09:09:34 2005 +0000 Added SankaranarayananSM05. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=10e1877d37fa… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Thu Jan 27 06:45:29 2005 +0000 Frehse05 added. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=f91ed1f8c851… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Sun Jan 9 08:25:14 2005 +0000 Added BagnaraHMZ04EA. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=d507787f38b4… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Sat Jan 8 15:33:01 2005 +0000 Links to Komei Fukuda's home page updated. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=f04ab67b0fda… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Sat Jan 8 15:22:58 2005 +0000 Added BagnaraHRZ05SCP. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=4e299d9bb1f6… Author: Patricia M. Hill <hill(a)comp.leeds.ac.uk> Date: Tue Jan 4 12:41:59 2005 +0000 Removed erroneous line in Mine01a. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=13a058f62b77… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Fri Dec 10 10:16:14 2004 +0000 Added Mine01a and Mine02. Minor improvements elsewhere. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=6afa76f9dff1… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Fri Dec 10 09:55:35 2004 +0000 Mine04 added. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=ba6eef9d43ff… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Tue Nov 2 14:04:12 2004 +0000 Previous change reverted. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=a9fd2fc193e9… Author: Patricia M. Hill <hill(a)comp.leeds.ac.uk> Date: Tue Nov 2 13:15:06 2004 +0000 "official" changed to "full". URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=07d86e0a9bc4… Author: Patricia M. Hill <hill(a)comp.leeds.ac.uk> Date: Mon Sep 27 16:23:43 2004 +0000 References added to abstract for the Granger 1997 paper. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=2bd62f882172… Author: Patricia M. Hill <hill(a)comp.leeds.ac.uk> Date: Mon Sep 27 14:48:43 2004 +0000 Removed citations to applications in the paragraph about integral grids. Added to ppl.bib, references for Ancourt thesis, two papers by Granger (1991 and 1997) and Technical report by Quinton et al. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=0a6650e14aae… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Mon Sep 27 13:12:38 2004 +0000 Last change reverted: in the bibliography we use the right LaTeX code, which is then simplified, when needed, for the sake of BibTeX2HTML. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=0dbff733a320… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Mon Sep 27 13:00:55 2004 +0000 Do not use LaTeX that cannot be decently handled by BibTeX2HTML. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=92ac61755ab0… Author: Patricia M. Hill <hill(a)comp.leeds.ac.uk> Date: Mon Sep 27 09:15:32 2004 +0000 Completed draft descriptions of the numerical abstractions. Added to ppl.bib reference to the Mine paper on the octagon domain and to Roberto's thesis. Updated the gif version of the illustration of a relational grid to correspond to that already in abstractions.tex. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=ac8d192502d2… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Tue Aug 31 20:03:56 2004 +0000 Make sure `I/O' is not touched by BibTeX. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=72070dd1bb5e… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Tue Aug 31 19:56:37 2004 +0000 Missing comma added. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=2bcf299483e6… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Tue Aug 31 19:45:45 2004 +0000 Added a first draft for FrehseHK04. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=528d11dd17ed… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Tue Aug 31 19:23:13 2004 +0000 Added a first draft for Frehse04. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=539ca1f47ec9… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Tue Aug 31 18:42:48 2004 +0000 Added HalbwachsMP-V03. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=e39acf0eac1e… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Tue Aug 31 17:28:16 2004 +0000 New page and bibliography for citations. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=68def679698a… Author: Enea Zaffanella <zaffanella(a)cs.unipr.it> Date: Wed Aug 25 09:33:47 2004 +0000 Integrated the "abstract" of CousotC79. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=7d555e47ca89… Author: Enea Zaffanella <zaffanella(a)cs.unipr.it> Date: Tue Aug 24 10:04:34 2004 +0000 Added entries for CousotC76 and CousotC79, with "abstracts" (actually, the first sentences from the introductions) and URLs to PDF versions. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=833836f6cc54… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Wed Jul 7 11:24:34 2004 +0000 Added BalasundaramK89. This paper, back in 1989, introduced what are now called "octagons" under the name "simple sections." URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=4d95249b3b1d… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Wed Jul 7 07:38:36 2004 +0000 Kannan92 removed. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=69db35beaba7… Author: Enea Zaffanella <zaffanella(a)cs.unipr.it> Date: Mon Jul 5 07:05:56 2004 +0000 Kannan92. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=dfbd7183e607… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Wed May 5 12:14:33 2004 +0000 Bagnara98SCP fixed. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=dbad4bee730b… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Tue Apr 13 15:22:25 2004 +0000 Added GopanDMDRS04. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=419f8c93f7b3… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Mon Feb 9 14:42:03 2004 +0000 Added Masdupuy92 and Masdupuy93th. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=d1231685afce… Author: Enea Zaffanella <zaffanella(a)cs.unipr.it> Date: Wed Jan 21 09:59:57 2004 +0000 Added entry for Q349. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=67f512ffbfee… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Sun Jan 18 17:06:38 2004 +0000 BagnaraHZ03a added. BagnaraHZ03 renamed BagnaraHZ03b. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=9883b06e1c2f… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Thu Jan 8 15:17:50 2004 +0000 BagnaraHZ04 fixed, completed and renamed BagnaraHZ03 (since the publication date is 2003). URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=c8ed671115f7… Author: Patricia M. Hill <hill(a)comp.leeds.ac.uk> Date: Wed Nov 19 10:44:54 2003 +0000 added reference to Schriver text book. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=c3db81f1df89… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Wed Nov 19 10:13:02 2003 +0000 Key for NookalaR00 capitalized consistently. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=f77f8f2f2f48… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Fri Nov 7 15:19:18 2003 +0000 BagnaraHZ04 added. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=5c2a08c1d686… Author: Patricia M. Hill <hill(a)comp.leeds.ac.uk> Date: Wed Nov 5 07:16:18 2003 +0000 NELS and similar changes. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=e0fca05d3462… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Sun Jul 13 09:49:47 2003 +0000 Bagnara98SCP added. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=740d8d5e021d… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Thu May 15 05:15:17 2003 +0000 BagnaraHRZ03 completed. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=4c91ea21b179… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Fri Apr 18 06:44:01 2003 +0000 Missing commas added, unnecessary commas removed. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=c995100fe8ef… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Fri Apr 18 06:24:33 2003 +0000 BagnaraHRZ03 added. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=281b50409e8e… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Wed Mar 26 07:16:44 2003 +0000 GawrilowJ01 fixed. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=7417b62523d9… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Wed Feb 26 18:04:08 2003 +0000 Entry for Quaderno 312 completed. Abstract for Quaderno 305 added. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=ec65adf3df21… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Fri Feb 21 17:44:36 2003 +0000 Draft entry for BagnaraHRZ03TR added. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=80de92b95ec3… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Sun Feb 9 17:39:14 2003 +0000 Typo fixed in Halbwachs79th. HenzingerH95 and HenzingerPW01 added. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=c891375844bd… Author: Enea Zaffanella <zaffanella(a)cs.unipr.it> Date: Fri Nov 15 09:31:02 2002 +0000 BagnaraHZ02TR will appear as Quaderno 305. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=6a880a04dc2a… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Fri Oct 25 16:42:24 2002 +0000 BagnaraHZ02TR added. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=47f34c8accca… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Tue Oct 15 17:17:18 2002 +0000 Halbwachs93 added. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=a6580bf01b62… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Mon Oct 14 07:22:49 2002 +0000 BessonJT99 added. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=3e1184d93aa7… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Mon Oct 7 05:21:41 2002 +0000 BultanGP99 added. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=08acf2c0a10c… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Sun Oct 6 08:15:04 2002 +0000 Dantzig63 added. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=99a2353d3d5d… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Sat Oct 5 20:07:12 2002 +0000 Typo fixed. File bibliography.raw regenerated with the new version of bibtex2html (1.54). URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=f85dd9d2401a… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Sat Oct 5 19:56:26 2002 +0000 Srivastava93 added. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=0e0f8e82c7be… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Mon Sep 23 07:28:53 2002 +0000 BagnaraHZ02a added. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=4b87079d7c0f… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Mon Sep 23 06:36:44 2002 +0000 BagnaraRZH02 added. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=64316c253e81… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Wed Jul 31 10:28:15 2002 +0000 Force capitalization of "Parma Polyhedra Library" the right way. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=5e1e4c5a1707… Author: Enea Zaffanella <zaffanella(a)cs.unipr.it> Date: Wed Jul 31 10:21:00 2002 +0000 In the entry for BagnaraRZH02, enforced capitalization of the PPL. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=a678da49aab7… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Mon Jul 29 20:41:38 2002 +0000 Entry for BagnaraRZH02 completed. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=62bdfcefce4c… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Wed Jul 3 16:39:42 2002 +0000 BagnaraRZH02 added. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=bf19a0b5a317… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Fri Jun 28 16:18:31 2002 +0000 BagnaraRZH02TR and BagnaraRZH02TRerrata added. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=2db81023ec94… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Thu Jun 20 14:22:13 2002 +0000 Halbwachs79th added. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=a484d425d2ab… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Mon Jun 17 12:31:22 2002 +0000 CousotC92-PLILP added. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=568a5013ccb5… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Sun Apr 28 18:45:47 2002 +0000 HalbwachsKP95 added. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=5f5a6de7491f… Author: Enea Zaffanella <zaffanella(a)cs.unipr.it> Date: Fri Apr 26 06:45:30 2002 +0000 Corrected entry of LeVerge92, so as to consider "Le" as part of the family name. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=fa841cb595fe… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Thu Apr 25 19:50:50 2002 +0000 LeVergeVDW94 added. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=24b7d8711d81… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Thu Apr 25 13:00:00 2002 +0000 Loechner99 added. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=f780c0cb29b8… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Thu Apr 18 12:32:16 2002 +0000 StoerW70 added. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=f289eec7b70e… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Sun Apr 14 20:15:23 2002 +0000 Kuhn56 added. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=66039f1d71a3… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Sun Apr 14 09:27:04 2002 +0000 HalbwachsPR94 added. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=9bfd831abf5d… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Sat Apr 13 11:57:36 2002 +0000 NEW-POLKA-1-1-3c added. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=7c6c82dbc328… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Sat Apr 13 11:40:50 2002 +0000 Added GawrilowJ00, GawrilowJ01, and LoechnerW97. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=fbdcde504cbd… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Wed Apr 10 07:40:31 2002 +0000 NemhauserW88 fixed. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=df0620ab0f27… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Fri Dec 14 15:15:04 2001 +0000 There is no abstract in Weyl50. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=edb61b8d410d… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Fri Dec 14 09:13:39 2001 +0000 Weyl35 and Weyl50 added. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=b19f489621ae… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Wed Oct 17 14:48:32 2001 +0000 MotzkinRTT53 added. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=8f2d1612d112… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Fri Oct 12 09:31:31 2001 +0000 NemhauserW88 added. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=9f25ae34748f… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Wed Oct 10 17:47:05 2001 +0000 Provide the source code from LeVerge92. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=da2bd8cc4701… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Mon Oct 8 15:01:54 2001 +0000 Chernikova6[458] fixed: they were all wrong. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=de18c94819e6… Author: Elisa Ricci <ericci(a)no.email> Date: Mon Oct 8 13:27:13 2001 +0000 Added the Chernikova's articles (what I know). URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=7a66665e2aca… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Mon Oct 8 10:41:49 2001 +0000 LeVerge92 fixed (missing comma and spurious brackets). URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=2bdf242a89e1… Author: Elisa Ricci <ericci(a)no.email> Date: Mon Oct 8 09:52:59 2001 +0000 Added the 'Abstract' for "A note on Chernikova's Algorithm". URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=add09ea8c895… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Sun Oct 7 18:59:55 2001 +0000 Fukuda98 added. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=ec8a4848c3ae… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Sun Oct 7 18:16:42 2001 +0000 LeVerge92 added. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=9177234e00b3… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Sun Oct 7 17:15:55 2001 +0000 CousotH78 fixed. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=c8893de1181d… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Sun Oct 7 17:09:45 2001 +0000 FukudaP96 updated: abstract revised, URL and backup copy provided. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=c42f9db1e39c… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Sun Oct 7 17:01:40 2001 +0000 FukudaP96 added. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=f7181964f1f3… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Sun Oct 7 16:19:01 2001 +0000 Generate a bibliography page from ppl.bib: this is referenced from the Documentation page. Abstract of Wilde93th added. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=10fda351ee29… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Sun Oct 7 13:19:36 2001 +0000 CousotH78 added. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=787a6a1915d9… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Sun Oct 7 12:06:33 2001 +0000 All the documentation, both ours and the papers we cite, belong to the Documentation directory. The mirror subdirectory will contain backup copies of the papers we reference: things disappear from the web far too often. HalbwachsPR97 added.

1 0

[GIT] ppl/ppl(ppl-0_12-branch): Merge branch 'master' into ppl-0_12-branch
by Roberto Bagnara 01 Apr '12

01 Apr '12

Module: ppl/ppl Branch: ppl-0_12-branch Commit: 5825555c3c7b681d2e881e7494b7c14a830f6235 URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=5825555c3c7b… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Sun Apr 1 07:54:02 2012 +0200 Merge branch 'master' into ppl-0_12-branch ---

1 0