March 2006 - PPL-devel - BUGSENG Mailman

ppl/tests/Polyhedron generalizedaffineimage1.c ...
by Enea Zaffanella 01 Mar '06

01 Mar '06

1 0

ppl/tests/Polyhedron foldspacedims1.cc foldspa ...
by Enea Zaffanella 01 Mar '06

01 Mar '06

CVSROOT: /cvs/ppl Module name: ppl Changes by: zaffanella(a)cs.unipr.it 2006-03-01 12:18:43 Modified files: tests/Polyhedron: foldspacedims1.cc foldspacedims2.cc Log message: Adapted foldspacedims*.cc to new standards for tests. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Polyhedron/foldspacedim… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Polyhedron/foldspacedim…

1 0

ppl/tests/Polyhedron expandspacedim1.cc expand ...
by Enea Zaffanella 01 Mar '06

01 Mar '06

CVSROOT: /cvs/ppl Module name: ppl Changes by: zaffanella(a)cs.unipr.it 2006-03-01 12:00:56 Modified files: tests/Polyhedron: expandspacedim1.cc expandspacedim2.cc Log message: Adapted expandspacedim*.cc to new standards for tests. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Polyhedron/expandspaced… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Polyhedron/expandspaced…

1 0

ppl/tests/Polyhedron equals1.cc
by Enea Zaffanella 01 Mar '06

01 Mar '06

CVSROOT: /cvs/ppl Module name: ppl Changes by: zaffanella(a)cs.unipr.it 2006-03-01 11:50:32 Modified files: tests/Polyhedron: equals1.cc Log message: Adapted to new standards for tests. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Polyhedron/equals1.cc.d…

1 0

ppl/tests/Polyhedron empty1.cc
by Enea Zaffanella 01 Mar '06

01 Mar '06

CVSROOT: /cvs/ppl Module name: ppl Changes by: zaffanella(a)cs.unipr.it 2006-03-01 11:43:41 Modified files: tests/Polyhedron: empty1.cc Log message: Adapted empty*.cc to new standards for tests. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Polyhedron/empty1.cc.di…

1 0

ppl/tests/Polyhedron boundedbhrz03extrapolatio ...
by Enea Zaffanella 01 Mar '06

01 Mar '06

CVSROOT: /cvs/ppl Module name: ppl Changes by: zaffanella(a)cs.unipr.it 2006-03-01 11:41:52 Modified files: tests/Polyhedron: boundedbhrz03extrapolation1.cc boundedh79extrapolation1.cc Log message: Modified to work correclty with failing coefficient configurations. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Polyhedron/boundedbhrz0… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Polyhedron/boundedh79ex…

1 0

ppl/tests/Polyhedron disjoint1.cc disjoint2.cc ...
by Enea Zaffanella 01 Mar '06

01 Mar '06

CVSROOT: /cvs/ppl Module name: ppl Changes by: zaffanella(a)cs.unipr.it 2006-03-01 11:36:18 Modified files: tests/Polyhedron: disjoint1.cc disjoint2.cc Makefile.am Removed files: tests/Polyhedron: disjoint3.cc Log message: Adapted disjoint*.cc to new standards for tests. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Polyhedron/disjoint1.cc… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Polyhedron/disjoint2.cc… 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/disjoint3.cc…

1 0

ppl/tests/Polyhedron contains1.cc contains2.cc ...
by Enea Zaffanella 01 Mar '06

01 Mar '06

CVSROOT: /cvs/ppl Module name: ppl Changes by: zaffanella(a)cs.unipr.it 2006-03-01 11:02:35 Modified files: tests/Polyhedron: contains1.cc contains2.cc Makefile.am Removed files: tests/Polyhedron: contains3.cc contains4.cc contains5.cc Log message: Adapted contsains*.cc to new standards for tests. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Polyhedron/contains1.cc… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Polyhedron/contains2.cc… 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/contains3.cc… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Polyhedron/contains4.cc… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Polyhedron/contains5.cc…

1 0

ppl/tests/Polyhedron boundedaffineimage1.cc bo ...
by Enea Zaffanella 01 Mar '06

01 Mar '06

CVSROOT: /cvs/ppl Module name: ppl Changes by: zaffanella(a)cs.unipr.it 2006-03-01 10:00:32 Modified files: tests/Polyhedron: boundedaffineimage1.cc boundedaffinepreimage1.cc Makefile.am Removed files: tests/Polyhedron: boundedaffineimage2.cc boundedaffineimage3.cc boundedaffinepreimage2.cc boundedaffinepreimage3.cc Log message: Adapted boundedaffine[pre]image*.cc to new standards for tests. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Polyhedron/boundedaffin… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Polyhedron/boundedaffin… 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/boundedaffin… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Polyhedron/boundedaffin… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Polyhedron/boundedaffin… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Polyhedron/boundedaffin…

1 0

ppl/tests/Polyhedron bhz03widening1.cc Makefil ...
by Enea Zaffanella 01 Mar '06

01 Mar '06

CVSROOT: /cvs/ppl Module name: ppl Changes by: zaffanella(a)cs.unipr.it 2006-03-01 09:56:54 Modified files: tests/Polyhedron: bhz03widening1.cc Makefile.am Removed files: tests/Polyhedron: bhz03widening2.cc bhz03widening3.cc bhz03widening4.cc bhz03widening5.cc bhz03widening6.cc Log message: Adapted bhz03widening*.cc to new standards for tests files. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Polyhedron/bhz03widenin… 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/bhz03widenin… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Polyhedron/bhz03widenin… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Polyhedron/bhz03widenin… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Polyhedron/bhz03widenin… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Polyhedron/bhz03widenin…

1 0