January 2009 - PPL-devel - BUGSENG Mailman

w3ppl/htdocs/Documentation ppl_citations.bib
by Roberto Bagnara 26 Jan '09

26 Jan '09

CVSROOT: /cvs/ppl Module name: w3ppl Changes by: bagnara(a)cs.unipr.it 2009-01-26 21:29:54 Modified files: htdocs/Documentation: ppl_citations.bib Log message: Added AlbertAGP08. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/w3ppl/htdocs/Documentation/ppl_ci…

1 0

w3ppl/htdocs/Documentation ppl_citations.bib
by Roberto Bagnara 26 Jan '09

26 Jan '09

CVSROOT: /cvs/ppl Module name: w3ppl Changes by: bagnara(a)cs.unipr.it 2009-01-26 21:09:31 Modified files: htdocs/Documentation: ppl_citations.bib Log message: Added MakhloufK06. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/w3ppl/htdocs/Documentation/ppl_ci…

1 0

ppl/tests/Polyhedron simplifyusingcontext1.cc
by Enea Zaffanella 26 Jan '09

26 Jan '09

CVSROOT: /cvs/ppl Module name: ppl Changes by: zaffanella(a)cs.unipr.it 2009-01-26 16:12:06 Modified files: tests/Polyhedron: simplifyusingcontext1.cc Log message: Test 01 overflows when using 8bit coefficients and assertions are turned on. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Polyhedron/simplifyusin…

1 0

All PPL services will be moved to new hardware on January 28, 2009
by Roberto Bagnara 26 Jan '09

26 Jan '09

Dear All, all the PPL services (web site, CVS repository, ftp and rsync access, mailing lists, tinderbox, ...) will be moved to new hardware and a new GNU/Linux distribution next Wednesday, January 28, 2009. The services will be taken down at around 11AM UTC and will be brought up again (we hope) a few hours later. I will send another message to the list when this is done: you will be welcome to help testing that everything is in order. The new hardware is a powerful server donated by AMD, and the (complex!) migration task will be quickly performed in an almost automatic way thanks to the work of Abramo Bagnara, INRIA. We are extremely grateful to AMD (particularly to Christophe Harle and Sebastian Pop) and to INRIA (particularly to Albert Cohen) for the support they are giving to the PPL project. Many thanks are also due to the Department of Mathematics of the University of Parma (particularly to Lucia Alessandrini) for allowing us to put the new server in a suitable room. All the best, Roberto -- Prof. Roberto Bagnara Computer Science Group Department of Mathematics, University of Parma, Italy http://www.cs.unipr.it/~bagnara/ mailto:bagnara@cs.unipr.it

1 0

ppl/src C_Polyhedron.cc NNC_Polyhedron.cc
by Enea Zaffanella 26 Jan '09

26 Jan '09

CVSROOT: /cvs/ppl Module name: ppl Changes by: zaffanella(a)cs.unipr.it 2009-01-26 12:26:15 Modified files: src : C_Polyhedron.cc NNC_Polyhedron.cc Log message: Switch to new implementation of poly_hull_assign_if_exact(), based on the results stated in BagnaraHZ09. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/C_Polyhedron.cc.diff?cvsr… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/NNC_Polyhedron.cc.diff?cv…

1 0

ppl configure.ac
by Roberto Bagnara 26 Jan '09

26 Jan '09

CVSROOT: /cvs/ppl Module name: ppl Changes by: bagnara(a)cs.unipr.it 2009-01-26 11:56:22 Modified files: . : configure.ac Log message: Version number bumped. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/configure.ac.diff?cvsroot=ppl…

1 0

ppl/demos/ppl_lpsol ppl_lpsol.c
by Roberto Bagnara 26 Jan '09

26 Jan '09

CVSROOT: /cvs/ppl Module name: ppl Changes by: bagnara(a)cs.unipr.it 2009-01-26 11:55:55 Modified files: demos/ppl_lpsol: ppl_lpsol.c Log message: Support more versions of GLPK. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/demos/ppl_lpsol/ppl_lpsol.c.d…

1 0

ppl configure.ac
by Roberto Bagnara 26 Jan '09

26 Jan '09

CVSROOT: /cvs/ppl Module name: ppl Changes by: bagnara(a)cs.unipr.it 2009-01-26 11:25:04 Modified files: . : configure.ac Log message: Fixed copy-and-paste mistake. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/configure.ac.diff?cvsroot=ppl…

1 0

w3ppl/htdocs/Documentation ppl.bib
by Roberto Bagnara 26 Jan '09

26 Jan '09

CVSROOT: /cvs/ppl Module name: w3ppl Changes by: bagnara(a)cs.unipr.it 2009-01-26 10:56:37 Modified files: htdocs/Documentation: ppl.bib Log message: Added BjorndalenA05. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/w3ppl/htdocs/Documentation/ppl.bi…

1 0

ppl/tests/Polyhedron polyhullifexact2.cc
by Enea Zaffanella 26 Jan '09

26 Jan '09

CVSROOT: /cvs/ppl Module name: ppl Changes by: zaffanella(a)cs.unipr.it 2009-01-26 10:42:53 Modified files: tests/Polyhedron: polyhullifexact2.cc Log message: Added tests corresponding to examples in BHZ09. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Polyhedron/polyhullifex…

1 0