March 2002 - PPL-devel - BUGSENG Mailman

ppl/tests Makefile.am inters7.cc
by Roberto Bagnara 31 Mar '02

31 Mar '02

CVSROOT: /cvs/ppl Module name: ppl Changes by: roberto(a)cs.unipr.it 2002-03-31 10:10:44 Modified files: tests : Makefile.am Added files: tests : inters7.cc Log message: Test Polyhedron::intersection_assign_and_minimize() with empty polyhedra (exposes bugs in the current implementation of that method). Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/inters7.cc.diff?cvsroot… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Makefile.am.diff?cvsroo…

1 0

ppl/src PolyBase.cc PolyBase.defs.hh
by Roberto Bagnara 31 Mar '02

31 Mar '02

CVSROOT: /cvs/ppl Module name: ppl Changes by: roberto(a)cs.unipr.it 2002-03-31 10:06:07 Modified files: src : PolyBase.cc PolyBase.defs.hh Log message: PolyBase::minimize() now returns a Boolean: false if and only if *this turns out to be empty. Handling of empty polyhedra fixed in PolyBase::convex_hull_assign_and_minimize(). Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/PolyBase.cc.diff?cvsroot=… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/PolyBase.defs.hh.diff?cvs…

1 0

ppl/tests convexhull4.cc
by Roberto Bagnara 31 Mar '02

31 Mar '02

CVSROOT: /cvs/ppl Module name: ppl Changes by: roberto(a)cs.unipr.it 2002-03-31 09:58:10 Modified files: tests : convexhull4.cc Log message: Exercise PolyBase::convex_hull_assign_and_minimize() with empty polyhedra in all possible ways (exposes more bugs in the current PolyBase implementation). Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/convexhull4.cc.diff?cvs…

1 0

ppl/src PolyBase.cc
by Roberto Bagnara 31 Mar '02

31 Mar '02

CVSROOT: /cvs/ppl Module name: ppl Changes by: roberto(a)cs.unipr.it 2002-03-31 08:49:32 Modified files: src : PolyBase.cc Log message: PolyBase::convex_hull_assign_and_minimize() fixed. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/PolyBase.cc.diff?cvsroot=…

1 0

ppl/tests Makefile.am convexhull4.cc
by Roberto Bagnara 31 Mar '02

31 Mar '02

CVSROOT: /cvs/ppl Module name: ppl Changes by: roberto(a)cs.unipr.it 2002-03-31 00:40:17 Modified files: tests : Makefile.am Added files: tests : convexhull4.cc Log message: Test Polyhedron::convex_hull_assign_and_minimize() with an empty parameter polyhedron. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/convexhull4.cc.diff?cvs… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Makefile.am.diff?cvsroo…

1 0

ppl/interfaces/C ppl_c.h ppl_c.cc
by Roberto Bagnara 30 Mar '02

30 Mar '02

CVSROOT: /cvs/ppl Module name: ppl Changes by: roberto(a)cs.unipr.it 2002-03-30 22:56:00 Modified files: interfaces/C : ppl_c.h ppl_c.cc Log message: New interface functions. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/C/ppl_c.h.diff?cvs… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/C/ppl_c.cc.diff?cv…

1 0

ppl/src PolyBase.cc PolyBase.defs.hh
by Roberto Bagnara 30 Mar '02

30 Mar '02

CVSROOT: /cvs/ppl Module name: ppl Changes by: roberto(a)cs.unipr.it 2002-03-30 15:39:16 Modified files: src : PolyBase.cc PolyBase.defs.hh Log message: PolyBase::generators() fixed: no longer ignoring the return value of PolyBase::update_generators(). Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/PolyBase.cc.diff?cvsroot=… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/PolyBase.defs.hh.diff?cvs…

1 0

ppl/src PolyBase.cc
by Enea Zaffanella 30 Mar '02

30 Mar '02

CVSROOT: /cvs/ppl Module name: ppl Changes by: zaffanella(a)cs.unipr.it 2002-03-30 11:51:40 Modified files: src : PolyBase.cc Log message: Corrected bugs in methods insert(g), add_generators(gs) and add_generators_and_minimize(gs): in the case of NNC topology, we were not adding the closure points corresponding to each added point. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/PolyBase.cc.diff?cvsroot=…

1 0

ppl/src GenSys.cc GenSys.defs.hh
by Enea Zaffanella 30 Mar '02

30 Mar '02

CVSROOT: /cvs/ppl Module name: ppl Changes by: zaffanella(a)cs.unipr.it 2002-03-30 11:48:41 Modified files: src : GenSys.cc GenSys.defs.hh Log message: Added method GenSys::add_corresponding_closure_points(). Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/GenSys.cc.diff?cvsroot=pp… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/GenSys.defs.hh.diff?cvsro…

1 0

ppl/interfaces/C ppl_c.h ppl_c.cc
by Roberto Bagnara 30 Mar '02

30 Mar '02

CVSROOT: /cvs/ppl Module name: ppl Changes by: roberto(a)cs.unipr.it 2002-03-30 11:39:09 Modified files: interfaces/C : ppl_c.h ppl_c.cc Log message: Fixed ppl_assign_Coefficient_from_mpz_t() and ppl_Generator_type(). Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/C/ppl_c.h.diff?cvs… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/C/ppl_c.cc.diff?cv…

1 0