[PPL-devel] [GIT] ppl/ppl(master): New commits
Roberto Bagnara
bagnara at cs.unipr.it
Sun Apr 1 10:22:27 CEST 2012
URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=918e0190b75c18027320ca043aed49766dc4676d
Author: Roberto Bagnara <bagnara at 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=8582094d68494ff40f7aef1f870108fd6ff5bfb5
Author: Roberto Bagnara <bagnara at 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=31cba9901a70e30f2672d7e92063dd04515df4fd
Author: Roberto Bagnara <bagnara at 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=f038d425e1686f76e63b5a8588450ca3e5f69ae1
Author: Roberto Bagnara <bagnara at 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=01ee05bc44c6aa758384f61826a97cf709924d6a
Author: Roberto Bagnara <bagnara at 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=a4199d5fd3db45a0f4b9a1e211090dea82924471
Author: Roberto Bagnara <bagnara at 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=a2d5f584e8e0e22e7ad49bb61941edc1977c5bf7
Author: Roberto Bagnara <bagnara at 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=e02097c61eb9c98e1c108db5f4e3861fd139aa24
Author: Roberto Bagnara <bagnara at 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=a6f44ff00f4d130e0e3f0e0b551719b16fad7460
Author: Roberto Bagnara <bagnara at 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=64e071d0d18c4b2555b53d219bb2e3d9852d2ae1
Author: Roberto Bagnara <bagnara at 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=666e769a33d127f9c61fe67e9b4490bfa85dd7de
Author: Roberto Bagnara <bagnara at 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=51f4adf64e4f6008d7c9ae6ff741af3ab192c44e
Author: Roberto Bagnara <bagnara at 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=32c4c2b73a930611b765bdcdf681d386476ab6d7
Author: Roberto Bagnara <bagnara at 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=c0a2d7a8520924848239d1618fe162836e7e7649
Author: Roberto Bagnara <bagnara at 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=d8b1b9877ab2aa230613cb0d3221658d36b16329
Author: Roberto Bagnara <bagnara at 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=5093fc1e5622dc4f93a4d4411789a9ee681ad957
Author: Roberto Bagnara <bagnara at 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=1d6edee51c406f99c30d3f2457b521d2c3dcb039
Author: Roberto Bagnara <bagnara at 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=e7637d0e17205e03c4948286591a00e1e2b7fa36
Author: Roberto Bagnara <bagnara at 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=9ae541d62afd2fabbe07d3e64126d48bc417d3db
Author: Roberto Bagnara <bagnara at 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=1a7a6a2e0e137ecd33bc37d3eef2c71b403bd0ee
Author: Roberto Bagnara <bagnara at 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=9ae23a676a7e45676e507c784268eb0d8695066f
Author: Roberto Bagnara <bagnara at 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=ee2aca9d993aa86096e5a04dbd9a442e29a3d02f
Author: Roberto Bagnara <bagnara at 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=89245fa234c9e236ad394704fdc0bc32991da370
Author: Roberto Bagnara <bagnara at 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=48a7a0e0d12750a56a2ebf58dee4307aabd61298
Author: Roberto Bagnara <bagnara at 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=ff907d7d94f2172234a6a33d6c6c51f974e7ede6
Author: Roberto Bagnara <bagnara at 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=94cf39b71566a9b300e4a83d7873141ad229fbb5
Author: Roberto Bagnara <bagnara at 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=af301881fd8e8db4ae840b773697316d2b57b29d
Author: Roberto Bagnara <bagnara at 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=8e8ceb41474e612bae25a3aba2a288ab48b1ba8c
Author: Roberto Bagnara <bagnara at 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=102213c6c44eb5c3ae3285f24af84d7809d25255
Author: Roberto Bagnara <bagnara at 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=05394fdb57d911a400a255b7a721cf273e4e96f0
Author: Roberto Bagnara <bagnara at 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=533511d66d4bcbfe59394501db2d6c9da352cf09
Author: Roberto Bagnara <bagnara at 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=84c367f397a48e90e852d69f2788eeb5cba29583
Author: Roberto Bagnara <bagnara at 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=8f05eb08a6cf680c9df3a3fb87d7b149004f4f8e
Author: Roberto Bagnara <bagnara at 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=b7344037dad604bd108b4ebdb9feabd516d4c8b9
Author: Roberto Bagnara <bagnara at 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=e6d83ba8446860a6b460e5e29a94bdf255f83120
Author: Roberto Bagnara <bagnara at 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=4380ed9cb376bb86603379b56e4b1a6cfead16a7
Author: Roberto Bagnara <bagnara at 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=b7191b99a8071dd07f2f33ee9274312d5ed0750f
Author: Roberto Bagnara <bagnara at 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=96372382ead787ebd80f40f8a5dcc41929be88c7
Author: Roberto Bagnara <bagnara at 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=3cd7f770749a137b1fbb5fc509dc6412b2affef8
Author: Roberto Bagnara <bagnara at 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=7cbb68d14a5b21680a3f3846097584c27c7dde2e
Author: Roberto Bagnara <bagnara at 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=11be95f27a555ac6b1b214c01375be45597c54d5
Author: Roberto Bagnara <bagnara at 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=f5c4a8eb2296968e942ed6236e859241537add64
Author: Roberto Bagnara <bagnara at 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=c612c6be6bd9a53e665967bf8dc63d1e21a3c845
Author: Roberto Bagnara <bagnara at 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=f3d9bbbe2cd78dfa3d5f2a8696b865c2af8fdfbf
Author: Enea Zaffanella <zaffanella at 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=7dc6b8e3228c75319ce2bf53ecfa46641ab6199a
Author: Roberto Bagnara <bagnara at 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=9da14557a61bfb0a6b32764b99e2d28df0a24d9d
Author: Roberto Bagnara <bagnara at 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=c3c7f2af2ea529f76146cd04b27d21200167775c
Author: Roberto Bagnara <bagnara at 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=9b205c9463e2b9e1edf2e3af79df9cc783980829
Author: Roberto Bagnara <bagnara at 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=07173d58ba53b5b668a8ae743d483efd0e640944
Author: Roberto Bagnara <bagnara at 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=08907a02f03c1ff491527b12783e0d945baf2633
Author: Roberto Bagnara <bagnara at 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=3e193a34117132d7210cdeae3f96db7de2df3ca9
Author: Roberto Bagnara <bagnara at 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=76e6e7bd51a40eb5b0744d9208c8b86b539c7015
Author: Roberto Bagnara <bagnara at 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=2714f8d7ec83a494b3234b7719afcf8692c5bcbf
Author: Roberto Bagnara <bagnara at 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=9400029ab255c3a1a35d8eb6c8750469b0a027c8
Author: Roberto Bagnara <bagnara at 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=13c1cf85faa2005760d80e18d8c479a44a9a8292
Author: Roberto Bagnara <bagnara at 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=1a8492d80f43650d421a05c08b5c90a359579892
Author: Roberto Bagnara <bagnara at 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=2b449635539042e921953f062a54437f8edce472
Author: Roberto Bagnara <bagnara at 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=c5375dcdf6d61e0e63930ad3f13ff219763730f5
Author: Roberto Bagnara <bagnara at 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=dde31a3d3c9df60232a9dd34ff6bfa8c7530968c
Author: Roberto Bagnara <bagnara at 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=755b09c3a5908df6a8b6906edc347dbf7d6c34af
Author: Roberto Bagnara <bagnara at 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=8cd703104a6146d6bae2562bb7d8bd909bbfe262
Author: Roberto Bagnara <bagnara at 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=c891f29b0a306cfb7a2a7cc908641e7bfc74ba34
Author: Roberto Bagnara <bagnara at 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=6d9ce4d731b6bc51655b5b3bdb67e0b1bc0d59fd
Author: Enea Zaffanella <zaffanella at 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=6ac4d1961130e84346991a5de6ce63b51098db4b
Author: Roberto Bagnara <bagnara at 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=cbbaefe0cd1d4ace80aa21ad9d94b97e91e6086b
Author: Roberto Bagnara <bagnara at 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=40034c50e9d186c8847260611441e872cd0bad3f
Author: Roberto Bagnara <bagnara at 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=f274c5ef44df8228a7afccc50a7d326017c3f587
Author: Patricia M. Hill <hill at 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=c2d651a8de752d1a04a47cf6d167b7315a516251
Author: Roberto Bagnara <bagnara at 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=426a7c98c74fa4689549d83ea61584f22b9a5e0e
Author: Roberto Bagnara <bagnara at 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=2f7a41d0f9423bc6a3c9d73b079bd2dff48e37e7
Author: Roberto Bagnara <bagnara at 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=a0c2799684732db620e19d352e13f4ef574d81e7
Author: Roberto Bagnara <bagnara at 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=b78bf651fe7301023b843ffdb0d91414f59fa583
Author: Roberto Bagnara <bagnara at 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=35f647e2259642fc02f963096130b26f184cc94b
Author: Roberto Bagnara <bagnara at 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=9576316c86c332b95c681750dc32bd2813ff76b3
Author: Roberto Bagnara <bagnara at 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=5aa5fd1f7d8457923fd4dae953347a939521772e
Author: Roberto Bagnara <bagnara at 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=9ae2693b999db4a42e26bfbb19523ba22caffa64
Author: Roberto Bagnara <bagnara at 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=772fe6def4023a60627f7598a48f1fe019925f64
Author: Roberto Bagnara <bagnara at 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=9676fab9f314a0564678e31af143807938c2b9cd
Author: Enea Zaffanella <zaffanella at 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=ca562172c0ae0a04641a071fb480d02f8d499c4d
Author: Roberto Bagnara <bagnara at 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=1a1633c8c103f9ac3990f1a417361e683489a6d2
Author: Roberto Bagnara <bagnara at 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=8af60f166d42939b2c90d5ace5e2943e0f34e167
Author: Roberto Bagnara <bagnara at 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=c871cccf82b8991b288e6a99a96048d78cf6f8eb
Author: Roberto Bagnara <bagnara at 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=30d3c0d0d605c41d967f262b609bb1fe9f43892c
Author: Roberto Bagnara <bagnara at 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=b46fffedb1553aada1bfbdb284e206d1ee6fc196
Author: Roberto Bagnara <bagnara at 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=ce1e3c2c3b10fa22cb3b2dd707efd17f48b910cd
Author: Roberto Bagnara <bagnara at 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=9fb4ce7b116f0535548e3af4e4b5a17bd9e627bc
Author: Roberto Bagnara <bagnara at 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=661a6586d31c5b3c3e041616530fb829a441cb10
Author: Roberto Bagnara <bagnara at 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=2280f02ef45b99eec44ee8d55a9a216034024e4c
Author: Roberto Bagnara <bagnara at 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=2883f56ed1dccec86914571426268c7a1aced5f7
Author: Roberto Bagnara <bagnara at 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=fccbbc064bfdb5fe0d6795eb652a9a35d41a9277
Author: Roberto Bagnara <bagnara at 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=515fee3aa68eedb060e7ddb4da0b97a0a75660a8
Author: Roberto Bagnara <bagnara at 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=aa590d1cf77724c02c40f604df5adec2ac2f0a7e
Author: Enea Zaffanella <zaffanella at 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=3cb3f6e63ad850723b53b6dc0bf51c27cbf8b21e
Author: Roberto Bagnara <bagnara at 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=f6e68c08ed82230292a525cd694c3c045482be33
Author: Roberto Bagnara <bagnara at 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=6472d93de28185b74ec565d0a2f77ddd3d19e8ea
Author: Roberto Bagnara <bagnara at 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=a4bed5a7ae0c6a4c0c4819d4e511b2e6e807e7ff
Author: Roberto Bagnara <bagnara at 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=b77849257149b8734a2f9f18a7fcfd6cc3fd2306
Author: Roberto Bagnara <bagnara at 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=c9cb807a366cf393c67d95e9d102b09c3ec2e019
Author: Roberto Bagnara <bagnara at 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=269fbaf3933120ca0fe7d6a4c1c07da947a3fe6c
Author: Roberto Bagnara <bagnara at 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=9e948aea7e21e2b534d1c87a45a84fcb69d42432
Author: Roberto Bagnara <bagnara at 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=5ad70c2cbf33ef2ffb54d1074c3482589db624ea
Author: Roberto Bagnara <bagnara at 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=2c0819d39d4ec7c8a7fdc1814b87b16ab0f74c65
Author: Roberto Bagnara <bagnara at 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=37e3da823130d830619111309a0d37cdac6cac01
Author: Roberto Bagnara <bagnara at 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=0ffc4d91f87199bf3b5924005d5dd6bde0abda95
Author: Roberto Bagnara <bagnara at 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=13acbebc48344341defee6325ddcefeaa68cd651
Author: Roberto Bagnara <bagnara at 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=ab2b70f260d76b81ea68e859b13541370622a529
Author: Roberto Bagnara <bagnara at 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=364f04e713d3c21c217d3dd7c68d617e05ab955f
Author: Roberto Bagnara <bagnara at 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=269ccb5c2474d20813a8fb2440e38be64c11d96d
Author: Patricia M. Hill <hill at 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=80d255e8c77cd67b1c8b791f39944d177b4d60ab
Author: Roberto Bagnara <bagnara at 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=25eacbc958a429b232825afa7cf7d2f011b2073c
Author: Roberto Bagnara <bagnara at 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=5e83429221afff8056c0ec4053b6c48fb91c3b29
Author: Roberto Bagnara <bagnara at 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=0a43c3c1d2cb30701a058a981aea54fae2c9250a
Author: Roberto Bagnara <bagnara at 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=c111a9c6919ac2aef2ca9d42b128ea180b7df91e
Author: Roberto Bagnara <bagnara at 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=5abd2b2ae925576432dabbb6ab8996f82090a016
Author: Roberto Bagnara <bagnara at 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=718a3107ded5525d86279e70f9f03b980215ef25
Author: Roberto Bagnara <bagnara at 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=48b0c71b4b811f7ba8d8df23228cf8442f3b4ead
Author: Roberto Bagnara <bagnara at 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=eb12911b4e7dd21a0f22bc8d4a5c1e61bb449daa
Author: Roberto Bagnara <bagnara at 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=7a7156d0a5698abb243064745e92d0157093685c
Author: Roberto Bagnara <bagnara at 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=22e7b98132129e9e9ce21ffe544fb4b5b2525a9c
Author: Roberto Bagnara <bagnara at 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=cbb87aeef566099c15dd6957449528df23b07b97
Author: Roberto Bagnara <bagnara at 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=ccad5bf7f2760d4ede0a92519fca10625d074b05
Author: Roberto Bagnara <bagnara at 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=10389d5f02b7a82aad96584a08b008ac6679b075
Author: Roberto Bagnara <bagnara at 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=44e99a5bc4831ca46c62be18119148713079d309
Author: Roberto Bagnara <bagnara at 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=374a39134c900bf395cdb36228682f354d738097
Author: Roberto Bagnara <bagnara at 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=114da14272c8a96ad363bd4d1fdc8260cc757235
Author: Roberto Bagnara <bagnara at 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=6069efa18a8bfb549103eea39e72fb577ef714ca
Author: Roberto Bagnara <bagnara at 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=4122f3a9d28fa76077be0a80bb2260e9e8ea7623
Author: Roberto Bagnara <bagnara at 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=3bb6b18b6062644d33abb2985c82f90664e0e69c
Author: Roberto Bagnara <bagnara at 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=4b4dc046e97e2b0729f48dbffe30fda1973b6cad
Author: Roberto Bagnara <bagnara at 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=b4687389683608b5e7f0e5597a3bb03a5c0b768e
Author: Patricia M. Hill <hill at 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=008e249eb677fef3c1d0868b512549700956712f
Author: Roberto Bagnara <bagnara at 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=e8ba804127e130d10c65ac1b2bdfac3bfab847ef
Author: Roberto Bagnara <bagnara at 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=723922d0731364fdf0e6acdae63bbeee46e0c72a
Author: Roberto Bagnara <bagnara at 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=ab8fa7a23327c8767afbbf0864ff3c0f1d8b50df
Author: Roberto Bagnara <bagnara at 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=efd2fd39c371de0989654852cb7f2bee5be8cf6a
Author: Patricia M. Hill <hill at 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=942b3c4d09bbe44763f098abb1b401794d706e8e
Author: Roberto Bagnara <bagnara at 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=15c9e498d372cdf924cff2ee86453ae4bbbb796d
Author: Patricia M. Hill <hill at 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=f0c8fd57169e85d57c12c95ba9c68e0d0b845030
Author: Patricia M. Hill <hill at 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=0e8de1e7cdd08057c8c6b81c4166fcbc42745cac
Author: Roberto Bagnara <bagnara at 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=0addfb34da3490b693301ea975de0744915bae74
Author: Roberto Bagnara <bagnara at 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=16ecc665593e532468522cb7e5bbe60ab6a7a02f
Author: Roberto Bagnara <bagnara at 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=c0c9e5ba53c0d4c73d41a7f6e13e83cc88e2e581
Author: Roberto Bagnara <bagnara at 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=541313fed8656c5682b29d1f838bf87cd6ca99d2
Author: Roberto Bagnara <bagnara at 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=335700946a561df07f3c79ee0b97a5f3a34d89e5
Author: Roberto Bagnara <bagnara at 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=4dddbc6c8b3c11d810f59529a5900d29cbc4ba57
Author: Roberto Bagnara <bagnara at 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=f5d1190f9c5412d38a1fa56e85ab0d0e156f315a
Author: Roberto Bagnara <bagnara at 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=2e33cd4da1bea32e362fa5929b0a5da67394909d
Author: Roberto Bagnara <bagnara at 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=63656e6f69716d7a8516659de4c86c75288b535e
Author: Roberto Bagnara <bagnara at 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=b2a64974c375eb664d873b66bba8d79d78a7900c
Author: Roberto Bagnara <bagnara at 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=cb0cc624d401c178d9ca3da3bee2c4dd54f1060e
Author: Roberto Bagnara <bagnara at 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=d53ab1273a0a9f5afa0293ae93db32260ab18b9c
Author: Roberto Bagnara <bagnara at 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=299fdd500f08b6872b9acd3e014494233b2c95bf
Author: Roberto Bagnara <bagnara at 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=5594316a66d514562882b4f1b696439c066eeefd
Author: Roberto Bagnara <bagnara at 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=9c246698b260ed26da0ef4565fe7993fe153cec3
Author: Roberto Bagnara <bagnara at 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=1be4ae54e1fb41d420b3ea73fcb447187feeb1c1
Author: Enea Zaffanella <zaffanella at 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=8b5343d1c763b7974216396a09c691e608edd7be
Author: Roberto Bagnara <bagnara at 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=85c76926c84c64cacffcabb2613a6377c78d9af6
Author: Roberto Bagnara <bagnara at 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=18455e30a812859c800a24ba4e7d55185a10c7f9
Author: Roberto Bagnara <bagnara at 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=add234eb834594bce19c7d01ce9c65e26b648593
Author: Roberto Bagnara <bagnara at 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=d41981dc844aa9ae0c8e5c67e2b8624664e1ddec
Author: Roberto Bagnara <bagnara at 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=59ca66b402208fb6863b85a079f7d5980bd110c9
Author: Roberto Bagnara <bagnara at 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=98f480d1f2a899c95fbbe2219857ca7aa60a6ce7
Author: Roberto Bagnara <bagnara at 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=ba4079dd46c9eacf2dbc4075e4d9623ced6cd907
Author: Roberto Bagnara <bagnara at 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=dc72f78552241766a557c29401d5c3c9454c8910
Author: Roberto Bagnara <bagnara at 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=7e5ab4a06e0c0b48152cce4215dcf5bba8984d8d
Author: Roberto Bagnara <bagnara at 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=071ee1a4ea2f818d784ac0ee3b86a738d09b7c4f
Author: Roberto Bagnara <bagnara at 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=e38f2726df02dbd67df2f7f5a37db563a2b02362
Author: Patricia M. Hill <hill at 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=8082c85d126daf6dbb298e37f94de93beeeacc50
Author: Roberto Bagnara <bagnara at 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=af421116939901194b092f0b23bccc64689d6d6c
Author: Roberto Bagnara <bagnara at 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=0112746b1c29b1e671ae12f9f414dfd5c7be5fbe
Author: Roberto Bagnara <bagnara at 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=e8a44e22551edadabe9e039c3a9bc1c50bb307a8
Author: Roberto Bagnara <bagnara at 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=9cda6eed9ec57f37ceebee7296fd0fda31ed3fec
Author: Andrea Pescetti <pescetti at 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=d70d6be3a88f2155e764c5d121ed43482b753c21
Author: Roberto Bagnara <bagnara at 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=e5a607174dd4b22520cbff689dd0936fd04806aa
Author: Roberto Bagnara <bagnara at 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=408ccaa24f8c93f194dfa953f6695b755bbe3560
Author: Roberto Bagnara <bagnara at 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=bf1cbe7bfe9636cbe9557bb8b646b6a5ae7301cd
Author: Roberto Bagnara <bagnara at 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=3ccec28448aef09a2b9da9d715660e1c2e5be78f
Author: Roberto Bagnara <bagnara at 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=ab1354ebfd905130130a6eab54034d002eb88af5
Author: Roberto Bagnara <bagnara at 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=463d32b2fe76a2c2d560f43f0fc3e50e0ab2bbe6
Author: Roberto Bagnara <bagnara at 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=a0db57b87268b3aaa95885fa996c703feb9e20f1
Author: Roberto Bagnara <bagnara at 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=62914264dee80c6f4155a23d0d1fc65da2c20ca0
Author: Roberto Bagnara <bagnara at 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=c37e4b2b2606f3407e2f01b6ebab92384598f83b
Author: Roberto Bagnara <bagnara at 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=a982dcc0b28aac21500474315bf0cb4d69f43268
Author: Roberto Bagnara <bagnara at 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=0ff5f5a85d55e939fca33eeac11b44b96fe90196
Author: Roberto Bagnara <bagnara at 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=2f06257d4e73e2eb9de77b1b74af4f820cdb2ebd
Author: Roberto Bagnara <bagnara at 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=6d855c9491130a463e708b934fb1f4476194c03c
Author: Roberto Bagnara <bagnara at 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=8b06029c6d474da8a496a80aaa57aa155fd1a08f
Author: Roberto Bagnara <bagnara at 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=1377768cbef02b77c6aebcf050622e47caa9b7aa
Author: Roberto Bagnara <bagnara at 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=36fc0df83206769cc0ca97979584be3a30632897
Author: Enea Zaffanella <zaffanella at 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=0800a1eef363de2d9fee48f0955377f35b372ae1
Author: Patricia M. Hill <hill at 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=8f174b71624ee5d55a44bad75933f98093a1ad35
Author: Roberto Bagnara <bagnara at 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=ec22ba0ec90a92b2514768a9495822d2b95e9d89
Author: Roberto Bagnara <bagnara at 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=b88b20eaf21a3791c4f3a533c961bf042f82a89a
Author: Roberto Bagnara <bagnara at 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=c2ffc65b52b950b2a4dde4427199ee6d68dad956
Author: Roberto Bagnara <bagnara at 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=1ec46f8e554a43cdc28e9f297ae4cdb9383181ed
Author: Roberto Bagnara <bagnara at 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=f8d31fc30374b5e72ffc8948648dea275344f0e1
Author: Roberto Bagnara <bagnara at 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=d02dbc6efab98c049044b67a92c325e440da26c9
Author: Roberto Bagnara <bagnara at 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=1eae426743a2463ab89c8b0c79452a397dcb4f14
Author: Roberto Bagnara <bagnara at 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=1bc07fd3488fa472a49e2444939b9b4499dda4ca
Author: Roberto Bagnara <bagnara at 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=786ac6e03ad989b4bdfaeb4a6d30d7ce88e6920d
Author: Roberto Bagnara <bagnara at 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=ccffc533a3ce573f1604e554bab2d0f57b2be4dc
Author: Roberto Bagnara <bagnara at 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=9efcf0824244c0521f049971ba2c344326e385bf
Author: Roberto Bagnara <bagnara at 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=8875acae65bb402273f3f882a2445a660f602fdd
Author: Roberto Bagnara <bagnara at 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=9f3eebd8fbf74de41f0e006658c811bb33540f34
Author: Roberto Bagnara <bagnara at 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=565237ceec6cea310ba7eac76e943487dcb9151e
Author: Roberto Bagnara <bagnara at 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=f47f14371c71d6c9ec00ca05bc9990902e9ec388
Author: Roberto Bagnara <bagnara at 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=d25c5eda27b690b7bf1f0589c286b2afda9b6aea
Author: Roberto Bagnara <bagnara at 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=ff2ed47c93fb6b9f278d9ddc42c35550938c110e
Author: Roberto Bagnara <bagnara at 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=7becd7ce1fd258dc9271d3635a08906d2a15a172
Author: Roberto Bagnara <bagnara at 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=10e1877d37fad8e68c5bff48dd5f7d35fe7d51e0
Author: Roberto Bagnara <bagnara at 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=f91ed1f8c851dc15df53f3e0860f1cd1a76d1003
Author: Roberto Bagnara <bagnara at 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=d507787f38b471a505c8dda46dd08242c78952c0
Author: Roberto Bagnara <bagnara at 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=f04ab67b0fda69f5fb0e3c038f6e3e03dc070bfe
Author: Roberto Bagnara <bagnara at 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=4e299d9bb1f64803c3be50240c61d24fd0ae61d6
Author: Patricia M. Hill <hill at 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=13a058f62b776d53ccdf2e7fd4d84ebd153d4bd9
Author: Roberto Bagnara <bagnara at 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=6afa76f9dff19563f7440f943920e43f4a44ae07
Author: Roberto Bagnara <bagnara at 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=ba6eef9d43ff60497bf8991b7c29089301301e6a
Author: Roberto Bagnara <bagnara at 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=a9fd2fc193e9f26140d507a88e48b152e0d8ec62
Author: Patricia M. Hill <hill at 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=07d86e0a9bc4ed44268656d1c15b8c88245ab1d7
Author: Patricia M. Hill <hill at 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=2bd62f88217203bedd95b3170db66a62fe8c6cab
Author: Patricia M. Hill <hill at 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=0a6650e14aaedc4af0ec6a345296a958fc147a63
Author: Roberto Bagnara <bagnara at 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=0dbff733a32031a3ba4e6aff5cec6f40ef5c1ae1
Author: Roberto Bagnara <bagnara at 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=92ac61755ab07ceb063e7f8762e32628230be91a
Author: Patricia M. Hill <hill at 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=ac8d192502d260c89b86261ff380f6a0a4375e6b
Author: Roberto Bagnara <bagnara at 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=72070dd1bb5e56ee39dc5adf8c2c18da1ec824a1
Author: Roberto Bagnara <bagnara at 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=2bcf299483e6555a60be244983c0231bf026cb9a
Author: Roberto Bagnara <bagnara at 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=528d11dd17ed2725ce3cca8779d8f395cb00a817
Author: Roberto Bagnara <bagnara at 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=539ca1f47ec96da81f385076d1eb35bdc26695e5
Author: Roberto Bagnara <bagnara at 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=e39acf0eac1e893b103318c6f3bd8666f224ece5
Author: Roberto Bagnara <bagnara at 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=68def679698a2c8018b6143b3e038aec1f58c523
Author: Enea Zaffanella <zaffanella at 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=7d555e47ca89491b107f23cf1f417a5b4983e477
Author: Enea Zaffanella <zaffanella at 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=833836f6cc54e5d8ce96ed04dfb49be5eb1e5f2b
Author: Roberto Bagnara <bagnara at 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=4d95249b3b1d60c4c6091c6071f2ef3c0e368e16
Author: Roberto Bagnara <bagnara at 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=69db35beaba77e18126a827b2a4d095d3688af61
Author: Enea Zaffanella <zaffanella at 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=dfbd7183e607636018402169906b1e64ed02d4dd
Author: Roberto Bagnara <bagnara at 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=dbad4bee730b85ab23ac04b927ce8d19aa4a790a
Author: Roberto Bagnara <bagnara at 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=419f8c93f7b36c14237274d5192504473f740107
Author: Roberto Bagnara <bagnara at 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=d1231685afce8ba0a5e62cea95da9a261121d517
Author: Enea Zaffanella <zaffanella at 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=67f512ffbfee5431fa33a4c7314d932de0b9f136
Author: Roberto Bagnara <bagnara at 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=9883b06e1c2fb47a2bec4086092f3a99f2bd034b
Author: Roberto Bagnara <bagnara at 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=c8ed671115f70b21efe0047d86ee4cdc1bdff4ff
Author: Patricia M. Hill <hill at 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=c3db81f1df89824692969512392c15e493d6e512
Author: Roberto Bagnara <bagnara at 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=f77f8f2f2f484d86cb7761817572c56b37e6b45b
Author: Roberto Bagnara <bagnara at 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=5c2a08c1d6860294e891a662cd9c6231c2cc5e3d
Author: Patricia M. Hill <hill at 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=e0fca05d346268a7bdef1a634658136101a84db6
Author: Roberto Bagnara <bagnara at 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=740d8d5e021d98cf065564ce8dd2225247810c88
Author: Roberto Bagnara <bagnara at 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=4c91ea21b179c839b3a4f7d3010c5771e2a9ff28
Author: Roberto Bagnara <bagnara at 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=c995100fe8efe27391a73a176b3875882afcddc1
Author: Roberto Bagnara <bagnara at 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=281b50409e8ebc91a366a64d30a7c39f5d831f4a
Author: Roberto Bagnara <bagnara at 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=7417b62523d932cf7e5b8120be68554802aa19bd
Author: Roberto Bagnara <bagnara at 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=ec65adf3df21e59d21ecb6daf969f3e7a95499c5
Author: Roberto Bagnara <bagnara at 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=80de92b95ec3389f45299e39a4efa969ba9fe8cb
Author: Roberto Bagnara <bagnara at 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=c891375844bd9c8851f9ab26396d25c1427e0695
Author: Enea Zaffanella <zaffanella at 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=6a880a04dc2a8917abedeb01c17a51916233c6ac
Author: Roberto Bagnara <bagnara at 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=47f34c8acccafcc13ccd26e25b899e67b8d7ec26
Author: Roberto Bagnara <bagnara at 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=a6580bf01b629dbfcb666f8dccb8600f0301b089
Author: Roberto Bagnara <bagnara at 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=3e1184d93aa79af899eada49c4ff6953a248c1e0
Author: Roberto Bagnara <bagnara at 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=08acf2c0a10c4eed570923365258ef795c99b95c
Author: Roberto Bagnara <bagnara at 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=99a2353d3d5db64ab6522e7045f2730e96de182b
Author: Roberto Bagnara <bagnara at 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=f85dd9d2401aecf3161e8a8c007f0265c033d01e
Author: Roberto Bagnara <bagnara at 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=0e0f8e82c7be0464c906b75928b78da034b3f29a
Author: Roberto Bagnara <bagnara at 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=4b87079d7c0f771baa57b0157958b3481f715410
Author: Roberto Bagnara <bagnara at 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=64316c253e81925aa9277c50f880dfb40dd7007c
Author: Roberto Bagnara <bagnara at 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=5e1e4c5a1707c79f562e56914bc6cf33eada193a
Author: Enea Zaffanella <zaffanella at 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=a678da49aab70f6c94908d89d0e0ce1c8795403a
Author: Roberto Bagnara <bagnara at 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=62bdfcefce4cbc5789656046c162e38b6f4e6dcd
Author: Roberto Bagnara <bagnara at 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=bf19a0b5a317f0e81a6836d78450d1ad177968a1
Author: Roberto Bagnara <bagnara at 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=2db81023ec9461648ff421d07157e5d8f9ec6800
Author: Roberto Bagnara <bagnara at 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=a484d425d2ab4833880f540f998cb8b6b5136aa1
Author: Roberto Bagnara <bagnara at 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=568a5013ccb59b43648ebb3d84a003065ad3b896
Author: Roberto Bagnara <bagnara at 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=5f5a6de7491fe7786b894983e18ee627aa910bbf
Author: Enea Zaffanella <zaffanella at 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=fa841cb595fe7f86a8457fdf00a054a18c4a0774
Author: Roberto Bagnara <bagnara at 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=24b7d8711d816b7e9f03d6981e98dfb9e2caf6de
Author: Roberto Bagnara <bagnara at 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=f780c0cb29b8194a329030d82e24824446339127
Author: Roberto Bagnara <bagnara at 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=f289eec7b70e2a8b8c385248f2955770e34a4f91
Author: Roberto Bagnara <bagnara at 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=66039f1d71a34fa918663d5136e2626d36cf044e
Author: Roberto Bagnara <bagnara at 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=9bfd831abf5d1f60b28ab8ec6e5bf00ef1c50adb
Author: Roberto Bagnara <bagnara at 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=7c6c82dbc328588de9a4d93aee5995e6d1d5d0ec
Author: Roberto Bagnara <bagnara at 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=fbdcde504cbd4b2cb4c9a6ec9c3349d380277e23
Author: Roberto Bagnara <bagnara at 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=df0620ab0f27b92f5cc986958ac71c9ebe1ce228
Author: Roberto Bagnara <bagnara at 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=edb61b8d410d031b83450584016ef5e72c944f15
Author: Roberto Bagnara <bagnara at 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=b19f489621ae9a854b39b2cd9334bf0f3abe1cf8
Author: Roberto Bagnara <bagnara at 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=8f2d1612d112c7494b6c609654e8b15403a74549
Author: Roberto Bagnara <bagnara at 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=9f25ae34748fa1741670502a3b2a18f53b574226
Author: Roberto Bagnara <bagnara at 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=da2bd8cc470122386ec86132db11bcdd0cbf74e3
Author: Roberto Bagnara <bagnara at 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=de18c94819e626a55b13030f52c16e0def2f76a1
Author: Elisa Ricci <ericci at 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=7a66665e2aca12d20bd6cfeaa635f1bcdde25c79
Author: Roberto Bagnara <bagnara at 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=2bdf242a89e1c3e99fa8e1aa9aa21b5d937539e1
Author: Elisa Ricci <ericci at 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=add09ea8c8956c1d4b8a278e8ceefad40c2ba6d9
Author: Roberto Bagnara <bagnara at 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=ec8a4848c3ae8605f07ab1589f97c4cc296718db
Author: Roberto Bagnara <bagnara at 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=9177234e00b3133c3a7c85b1a68b782b1224410b
Author: Roberto Bagnara <bagnara at 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=c8893de1181dad3779c3d883e4a909afb0dd0032
Author: Roberto Bagnara <bagnara at 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=c42f9db1e39c6957176cd0e32bf24bf9d891f36f
Author: Roberto Bagnara <bagnara at 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=f7181964f1f3842b8a01ca91f74addcd21b760aa
Author: Roberto Bagnara <bagnara at 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=10fda351ee29282a5bc22ef193555dcd96a45b1f
Author: Roberto Bagnara <bagnara at 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=787a6a1915d9b2bc845d60b8685e671b34a512bb
Author: Roberto Bagnara <bagnara at 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.
More information about the PPL-devel
mailing list