June 2005 - PPL-devel - BUGSENG Mailman

ppl/tests/Polyhedron Makefile.am bug2.cc bug2.dat
by Roberto Bagnara 16 Jun '05

16 Jun '05

CVSROOT: /cvs/ppl Module name: ppl Changes by: roberto(a)cs.unipr.it 2005-06-16 14:47:08 Modified files: tests/Polyhedron: Makefile.am Added files: tests/Polyhedron: bug2.cc bug2.dat Log message: Program bug2.cc exhibits a misbehavior that, up to now, has only been observed on MacOs X. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Polyhedron/bug2.cc?cvsr… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Polyhedron/bug2.dat?cvs… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Polyhedron/Makefile.am.…

1 0

ppl/tests/Polyhedron Makefile.am bug1.cc bug1.dat
by Roberto Bagnara 16 Jun '05

16 Jun '05

CVSROOT: /cvs/ppl Module name: ppl Changes by: roberto(a)cs.unipr.it 2005-06-16 12:57:57 Modified files: tests/Polyhedron: Makefile.am Added files: tests/Polyhedron: bug1.cc bug1.dat Log message: Program bug1.cc exhibits a bug in Polyhedron::concatenate_assign(). Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Polyhedron/bug1.cc?cvsr… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Polyhedron/bug1.dat?cvs… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Polyhedron/Makefile.am.…

1 0

ppl NEWS
by Roberto Bagnara 16 Jun '05

16 Jun '05

CVSROOT: /cvs/ppl Module name: ppl Changes by: roberto(a)cs.unipr.it 2005-06-16 11:55:24 Modified files: . : NEWS Log message: Colon added. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/NEWS.diff?cvsroot=ppl&r1=1.15…

1 0

ppl ./NEWS src/Constraint.cc src/Constraint.de ...
by Roberto Bagnara 16 Jun '05

16 Jun '05

CVSROOT: /cvs/ppl Module name: ppl Changes by: roberto(a)cs.unipr.it 2005-06-16 11:49:38 Modified files: . : NEWS src : Constraint.cc Constraint.defs.hh Generator.cc Generator.defs.hh Log message: New output operators in namespace IO_Operators: std::ostream& operator<<(std::ostream&, const Constraint::Type&) and std::ostream& operator<<(std::ostream&, const Generator::Type&). Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/NEWS.diff?cvsroot=ppl&r1=1.15… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Constraint.cc.diff?cvsroo… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Constraint.defs.hh.diff?c… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Generator.cc.diff?cvsroot… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Generator.defs.hh.diff?cv…

1 0

ppl/interfaces/C ppl_c.cc
by Roberto Bagnara 16 Jun '05

16 Jun '05

CVSROOT: /cvs/ppl Module name: ppl Changes by: roberto(a)cs.unipr.it 2005-06-16 11:42:52 Modified files: interfaces/C : ppl_c.cc Log message: FIXME dealt with. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/C/ppl_c.cc.diff?cv…

1 0

ppl/src Constraint.cc Generator.cc
by Roberto Bagnara 16 Jun '05

16 Jun '05

CVSROOT: /cvs/ppl Module name: ppl Changes by: roberto(a)cs.unipr.it 2005-06-16 11:21:35 Modified files: src : Constraint.cc Generator.cc Log message: Avoid unnecessary qualification. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Constraint.cc.diff?cvsroo… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Generator.cc.diff?cvsroot…

1 0

ppl/tests/Polyhedron randphull2.cc
by Roberto Bagnara 16 Jun '05

16 Jun '05

CVSROOT: /cvs/ppl Module name: ppl Changes by: roberto(a)cs.unipr.it 2005-06-16 11:07:15 Modified files: tests/Polyhedron: randphull2.cc Log message: When NOISY, make noise in case of failure. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Polyhedron/randphull2.c…

1 0

ppl/interfaces/Prolog/Ciao Makefile.am
by Roberto Bagnara 15 Jun '05

15 Jun '05

CVSROOT: /cvs/ppl Module name: ppl Changes by: roberto(a)cs.unipr.it 2005-06-15 11:36:52 Modified files: interfaces/Prolog/Ciao: Makefile.am Log message: Do not assume `.' is in the `PATH' environment variable. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/Ciao/Makefi…

1 0

ppl/tests/Grid addgenerator1.cc
by Matthew Mundell 14 Jun '05

14 Jun '05

CVSROOT: /cvs/ppl Module name: ppl Branch: grids Changes by: mundell(a)cs.unipr.it 2005-06-14 15:22:31 Modified files: tests/Grid : addgenerator1.cc Log message: Improve comment. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Grid/addgenerator1.cc.d…

1 0

ppl/tests ppl_test.hh
by Matthew Mundell 14 Jun '05

14 Jun '05

CVSROOT: /cvs/ppl Module name: ppl Branch: grids Changes by: mundell(a)cs.unipr.it 2005-06-14 15:22:09 Modified files: tests : ppl_test.hh Log message: Print ASCII dump of a when loading it fails. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/ppl_test.hh.diff?cvsroo…

1 0