February 2006 - PPL-devel - BUGSENG Mailman

ppl/tests/Polyhedron addspacedims1.cc addspace ...
by Enea Zaffanella 27 Feb '06

27 Feb '06

1 0

ppl/tests/Polyhedron addgenerator1.cc addgener ...
by Enea Zaffanella 27 Feb '06

27 Feb '06

1 0

ppl/tests/Polyhedron addconstraint1.cc addcons ...
by Enea Zaffanella 27 Feb '06

27 Feb '06

1 0

ppl/tests/Polyhedron addcongruences1.cc Makefi ...
by Enea Zaffanella 27 Feb '06

27 Feb '06

CVSROOT: /cvs/ppl Module name: ppl Changes by: zaffanella(a)cs.unipr.it 2006-02-27 12:28:53 Modified files: tests/Polyhedron: addcongruences1.cc Makefile.am Removed files: tests/Polyhedron: addcongruences2.cc addcongruences3.cc addcongruences4.cc addcongruences5.cc Log message: Transformed according to new standards for tests. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Polyhedron/addcongruenc… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Polyhedron/Makefile.am.… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Polyhedron/addcongruenc… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Polyhedron/addcongruenc… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Polyhedron/addcongruenc… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Polyhedron/addcongruenc…

1 0

ppl/tests/Polyhedron Makefile.am
by Enea Zaffanella 27 Feb '06

27 Feb '06

CVSROOT: /cvs/ppl Module name: ppl Changes by: zaffanella(a)cs.unipr.it 2006-02-27 12:27:13 Modified files: tests/Polyhedron: Makefile.am Log message: Dealing with addcongruence. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Polyhedron/Makefile.am.…

1 0

ppl/tests/Polyhedron addcongruence1.cc addcong ...
by Enea Zaffanella 27 Feb '06

27 Feb '06

CVSROOT: /cvs/ppl Module name: ppl Changes by: zaffanella(a)cs.unipr.it 2006-02-27 12:26:15 Modified files: tests/Polyhedron: addcongruence1.cc Removed files: tests/Polyhedron: addcongruence2.cc addcongruence3.cc addcongruence4.cc addcongruence5.cc Log message: Transformed according to new standard for tests. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Polyhedron/addcongruenc… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Polyhedron/addcongruenc… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Polyhedron/addcongruenc… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Polyhedron/addcongruenc… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Polyhedron/addcongruenc…

1 0

ppl/tests/Polyhedron Makefile.am
by Enea Zaffanella 27 Feb '06

27 Feb '06

CVSROOT: /cvs/ppl Module name: ppl Changes by: zaffanella(a)cs.unipr.it 2006-02-27 12:19:19 Modified files: tests/Polyhedron: Makefile.am Log message: Added nncminimize1.cc and removed NNCminimize*. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Polyhedron/Makefile.am.…

1 0

ppl/tests/Polyhedron nncminimize1.cc NNCminimi ...
by Enea Zaffanella 27 Feb '06

27 Feb '06

CVSROOT: /cvs/ppl Module name: ppl Changes by: zaffanella(a)cs.unipr.it 2006-02-27 12:16:46 Added files: tests/Polyhedron: nncminimize1.cc Removed files: tests/Polyhedron: NNCminimize1.cc NNCminimize2.cc NNCminimize3.cc NNCminimize4.cc NNCminimize5.cc NNCminimize6.cc Log message: Transformed according to new standard for tests. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Polyhedron/nncminimize1… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Polyhedron/NNCminimize1… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Polyhedron/NNCminimize2… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Polyhedron/NNCminimize3… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Polyhedron/NNCminimize4… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Polyhedron/NNCminimize5… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Polyhedron/NNCminimize6…

1 0

ppl ./NEWS src/Saturation_Row.cc
by Roberto Bagnara 27 Feb '06

27 Feb '06

CVSROOT: /cvs/ppl Module name: ppl Changes by: bagnara(a)cs.unipr.it 2006-02-27 07:57:41 Modified files: . : NEWS src : Saturation_Row.cc Log message: Fixed a long-standing bug in Saturation_Row::prev(). Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/NEWS.diff?cvsroot=ppl&r1=1.18… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Saturation_Row.cc.diff?cv…

1 0

ppl/tests/Grid bhz03widening1.cc
by Patricia Hill 26 Feb '06

26 Feb '06

CVSROOT: /cvs/ppl Module name: ppl Changes by: hill(a)cs.unipr.it 2006-02-26 21:47:06 Modified files: tests/Grid : bhz03widening1.cc Log message: Revised test to guidelines. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Grid/bhz03widening1.cc.…

1 0