August 2005 - PPL-devel - BUGSENG Mailman

ppl/src Coefficient.defs.hh Coefficient.inline ...
by Enea Zaffanella 29 Aug '05

29 Aug '05

CVSROOT: /cvs/ppl Module name: ppl Changes by: zaffanella(a)cs.unipr.it 2005-08-29 17:02:13 Modified files: src : Coefficient.defs.hh Coefficient.inlines.hh Generator.cc Linear_Row.cc globals.defs.hh globals.inlines.hh simplex.cc Log message: Do use Coefficient_traits where appropriate. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Coefficient.defs.hh.diff?… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Coefficient.inlines.hh.di… 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/Linear_Row.cc.diff?cvsroo… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/globals.defs.hh.diff?cvsr… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/globals.inlines.hh.diff?c… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/simplex.cc.diff?cvsroot=p…

1 0

ppl/src BD_Shape.defs.hh BD_Shape.inlines.hh
by Enea Zaffanella 29 Aug '05

29 Aug '05

CVSROOT: /cvs/ppl Module name: ppl Changes by: zaffanella(a)cs.unipr.it 2005-08-29 16:51:13 Modified files: src : BD_Shape.defs.hh BD_Shape.inlines.hh Log message: Using Coefficient_traits where appropriate. Corrected a few comments. Trying to clean up affine_image(). Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/BD_Shape.defs.hh.diff?cvs… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/BD_Shape.inlines.hh.diff?…

1 0

ppl/src BD_Shape.defs.hh
by Roberto Bagnara 29 Aug '05

29 Aug '05

CVSROOT: /cvs/ppl Module name: ppl Changes by: bagnara(a)cs.unipr.it 2005-08-29 12:28:29 Modified files: src : BD_Shape.defs.hh Log message: No longer mention is_nonnegative(). Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/BD_Shape.defs.hh.diff?cvs…

1 0

ppl/tests/BD_Shape cc76extrapolation6.cc ch78w ...
by Roberto Bagnara 29 Aug '05

29 Aug '05

CVSROOT: /cvs/ppl Module name: ppl Changes by: bagnara(a)cs.unipr.it 2005-08-29 12:22:31 Modified files: tests/BD_Shape : cc76extrapolation6.cc ch78widening6.cc relations1.cc relations2.cc relations3.cc relations4.cc relations5.cc Log message: Added, when needed, using directives for IO_Operators. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/BD_Shape/cc76extrapolat… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/BD_Shape/ch78widening6.… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/BD_Shape/relations1.cc.… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/BD_Shape/relations2.cc.… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/BD_Shape/relations3.cc.… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/BD_Shape/relations4.cc.… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/BD_Shape/relations5.cc.…

1 0

CVSROOT users
by Roberto Bagnara 29 Aug '05

29 Aug '05

CVSROOT: /cvs/ppl Module name: CVSROOT Changes by: roberto(a)cs.unipr.it 2005-08-29 12:21:06 Modified files: . : users Log message: Added a translation for user `bagnara'. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/CVSROOT/users.diff?cvsroot=ppl&r1…

1 0

ppl/src BD_Shape.inlines.hh
by Roberto Bagnara 29 Aug '05

29 Aug '05

CVSROOT: /cvs/ppl Module name: ppl Changes by: bagnara(a)cs.unipr.it 2005-08-29 11:50:11 Modified files: src : BD_Shape.inlines.hh Log message: No longer refer to the obsolete function is_nonnegative(). Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/BD_Shape.inlines.hh.diff?…

1 0

ppl/tests/Polyhedron gramshmidt1.cc
by Roberto Bagnara 29 Aug '05

29 Aug '05

CVSROOT: /cvs/ppl Module name: ppl Changes by: roberto(a)cs.unipr.it 2005-08-29 09:57:46 Added files: tests/Polyhedron: gramshmidt1.cc Log message: Draft test program for Constraint_System::gram_shmidt(). Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Polyhedron/gramshmidt1.…

1 0

ppl/src Bounding_Box.inlines.hh Polyhedron.inl ...
by Roberto Bagnara 28 Aug '05

28 Aug '05

CVSROOT: /cvs/ppl Module name: ppl Changes by: roberto(a)cs.unipr.it 2005-08-28 19:19:01 Modified files: src : Bounding_Box.inlines.hh Polyhedron.inlines.hh Log message: Objects of type mpq_class now created properly. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Bounding_Box.inlines.hh.d… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Polyhedron.inlines.hh.dif…

1 0

ppl/interfaces/Prolog ppl_prolog.icc Ciao/ppl_ ...
by Enea Zaffanella 28 Aug '05

28 Aug '05

1 0

ppl/src Bounding_Box.inlines.hh
by Roberto Bagnara 28 Aug '05

28 Aug '05

CVSROOT: /cvs/ppl Module name: ppl Changes by: roberto(a)cs.unipr.it 2005-08-28 10:40:13 Modified files: src : Bounding_Box.inlines.hh Log message: Temporary kludges to avoid the selection of the wrong mpq_class constructor. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Bounding_Box.inlines.hh.d…

1 0