March 2006 - PPL-devel - BUGSENG Mailman

ppl/tests/BD_Shape bgp99extrapolation1.cc bhmz ...
by Roberto Bagnara 01 Mar '06

01 Mar '06

1 0

ppl/tests/Polyhedron geomcovers1.cc
by Roberto Bagnara 01 Mar '06

01 Mar '06

CVSROOT: /cvs/ppl Module name: ppl Changes by: bagnara(a)cs.unipr.it 2006-03-01 19:56:04 Modified files: tests/Polyhedron: geomcovers1.cc Log message: Do not require recent versions of GCC just for printing something in test programs: use `using namespace IO_Operators;' instead of more refined things. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Polyhedron/geomcovers1.…

1 0

ppl/tests/Polyhedron Makefile.am
by Roberto Bagnara 01 Mar '06

01 Mar '06

CVSROOT: /cvs/ppl Module name: ppl Changes by: bagnara(a)cs.unipr.it 2006-03-01 18:15:11 Modified files: tests/Polyhedron: Makefile.am Log message: No longer needed XFAILs removed. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Polyhedron/Makefile.am.…

1 0

ppl/tests/Polyhedron memory1.cc
by Roberto Bagnara 01 Mar '06

01 Mar '06

CVSROOT: /cvs/ppl Module name: ppl Changes by: bagnara(a)cs.unipr.it 2006-03-01 17:56:15 Modified files: tests/Polyhedron: memory1.cc Log message: Temporarily disable this test on Alpha machines. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Polyhedron/memory1.cc.d…

1 0

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

01 Mar '06

1 0

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

01 Mar '06

1 0

ppl/tests/Polyhedron geomcovers1.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 14:51:58 Modified files: tests/Polyhedron: geomcovers1.cc Log message: Adapted to the new standards for tests. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Polyhedron/geomcovers1.…

1 0

ppl/tests/Polyhedron generators1.cc Makefile.a ...
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 14:31:35 Modified files: tests/Polyhedron: generators1.cc Makefile.am Removed files: tests/Polyhedron: generators2.cc generators3.cc generators4.cc generators5.cc generators6.cc generators7.cc Log message: Adapted generators*.cc to new standards for tests. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Polyhedron/generators1.… 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/generators2.… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Polyhedron/generators3.… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Polyhedron/generators4.… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Polyhedron/generators5.… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Polyhedron/generators6.… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Polyhedron/generators7.…

1 0

ppl/tests/Polyhedron Makefile.am generalizedaf ...
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 14:06:12 Modified files: tests/Polyhedron: Makefile.am generalizedaffinepreimage1.cc generalizedaffinepreimage2.cc Removed files: tests/Polyhedron: generalizedaffinepreimage3.cc generalizedaffinepreimage4.cc Log message: Adapted generalizedaffinepreimage*.cc to the new standards for tests. Patches: 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/generalizeda… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Polyhedron/generalizeda… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Polyhedron/generalizeda… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Polyhedron/generalizeda…

1 0

ppl/tests/Polyhedron nncminimize2.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 13:00:05 Modified files: tests/Polyhedron: nncminimize2.cc Log message: Fails with all bounded integers. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Polyhedron/nncminimize2…

1 0