January 2009 - PPL-devel - BUGSENG Mailman

ppl/tests/Polyhedron polyhullifexact1.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:12 Modified files: tests/Polyhedron: polyhullifexact1.cc Log message: Added a new test. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Polyhedron/polyhullifex…

1 0

ppl/src Polyhedron_nonpublic.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:39:41 Modified files: src : Polyhedron_nonpublic.cc Log message: Added implementation of the BHZ09 exact upper bound test for NNC polyhedra; Factored out those parts that are common to the C polyhedron case. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Polyhedron_nonpublic.cc.d…

1 0

ppl/src Polyhedron.defs.hh
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:37:00 Modified files: src : Polyhedron.defs.hh Log message: Added declarations for two non-public methods (one for the C and another for the NNC case) implementing exact upper bound tests using BHZ09. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Polyhedron.defs.hh.diff?c…

1 0

w3ppl/htdocs/Applications Applications.raw
by Roberto Bagnara 25 Jan '09

25 Jan '09

CVSROOT: /cvs/ppl Module name: w3ppl Changes by: bagnara(a)cs.unipr.it 2009-01-25 22:04:42 Modified files: htdocs/Applications: Applications.raw Log message: Added a link to Henning Meyer's program to compute various aspects of tropical polytopes. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/w3ppl/htdocs/Applications/Applica…

1 0

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

25 Jan '09

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

1 0

w3ppl/htdocs/Applications Applications.raw
by Roberto Bagnara 25 Jan '09

25 Jan '09

CVSROOT: /cvs/ppl Module name: w3ppl Changes by: bagnara(a)cs.unipr.it 2009-01-25 21:01:53 Modified files: htdocs/Applications: Applications.raw Log message: Added a link to GENEPI, a GENEric Presburger programming Interface. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/w3ppl/htdocs/Applications/Applica…

1 0

w3ppl/htdocs/Applications Applications.raw
by Roberto Bagnara 25 Jan '09

25 Jan '09

CVSROOT: /cvs/ppl Module name: w3ppl Changes by: bagnara(a)cs.unipr.it 2009-01-25 20:25:23 Modified files: htdocs/Applications: Applications.raw Log message: Added a link to BIOCHAM: the Biochemical Abstract Machine. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/w3ppl/htdocs/Applications/Applica…

1 0

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

25 Jan '09

CVSROOT: /cvs/ppl Module name: w3ppl Changes by: bagnara(a)cs.unipr.it 2009-01-25 09:45:51 Modified files: htdocs/Documentation: ppl_citations.bib Log message: Added BramanM08. 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 25 Jan '09

25 Jan '09

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

1 0

ppl NEWS
by Roberto Bagnara 24 Jan '09

24 Jan '09

CVSROOT: /cvs/ppl Module name: ppl Changes by: bagnara(a)cs.unipr.it 2009-01-24 17:22:17 Modified files: . : NEWS Log message: Wording improved. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/NEWS.diff?cvsroot=ppl&r1=1.28…

1 0