December 2005 - PPL-devel - BUGSENG Mailman

ppl/tests/Polyhedron numberinput1.cc
by Roberto Bagnara 31 Dec '05

31 Dec '05

CVSROOT: /cvs/ppl Module name: ppl Changes by: bagnara(a)cs.unipr.it 2005-12-31 17:35:23 Modified files: tests/Polyhedron: numberinput1.cc Log message: FIX comments removed: some were OK, some were not. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Polyhedron/numberinput1…

1 0

ppl/src Polyhedra_Powerset.cc
by Enea Zaffanella 31 Dec '05

31 Dec '05

CVSROOT: /cvs/ppl Module name: ppl Changes by: zaffanella(a)cs.unipr.it 2005-12-31 15:30:03 Modified files: src : Polyhedra_Powerset.cc Log message: Added a missing \relates Doxygen command. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Polyhedra_Powerset.cc.dif…

1 0

ppl/src GMP_Integer.defs.hh GMP_Integer.inlines.hh
by Enea Zaffanella 31 Dec '05

31 Dec '05

CVSROOT: /cvs/ppl Module name: ppl Changes by: zaffanella(a)cs.unipr.it 2005-12-31 15:23:16 Modified files: src : GMP_Integer.defs.hh GMP_Integer.inlines.hh Log message: Added binary version of neg_assign(). Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/GMP_Integer.defs.hh.diff?… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/GMP_Integer.inlines.hh.di…

1 0

ppl/tests/Polyhedron numberinput1.cc
by Abramo Bagnara 31 Dec '05

31 Dec '05

CVSROOT: /cvs/ppl Module name: ppl Changes by: abagnara(a)cs.unipr.it 2005-12-31 12:23:28 Modified files: tests/Polyhedron: numberinput1.cc Log message: Rewritten test function. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Polyhedron/numberinput1…

1 0

ppl/src Checked_Number.inlines.hh
by Abramo Bagnara 31 Dec '05

31 Dec '05

CVSROOT: /cvs/ppl Module name: ppl Changes by: abagnara(a)cs.unipr.it 2005-12-31 12:17:19 Modified files: src : Checked_Number.inlines.hh Log message: Missing rename. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Checked_Number.inlines.hh…

1 0

ppl demos/ppl_lcdd/ppl_lcdd.cc interfaces/C/pp ...
by Abramo Bagnara 31 Dec '05

31 Dec '05

1 0

ppl/doc definitions.dox
by Enea Zaffanella 30 Dec '05

30 Dec '05

CVSROOT: /cvs/ppl Module name: ppl Changes by: zaffanella(a)cs.unipr.it 2005-12-30 23:37:05 Modified files: doc : definitions.dox Log message: Removed a repeated "the". Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/doc/definitions.dox.diff?cvsr…

1 0

ppl TODO
by Patricia Hill 30 Dec '05

30 Dec '05

CVSROOT: /cvs/ppl Module name: ppl Changes by: hill(a)cs.unipr.it 2005-12-30 23:22:23 Modified files: . : TODO Log message: Removed two items: - Improve the documentation of Polyhedron::shrink_bounding_box(). See http://www.cs.unipr.it/pipermail/ppl-devel/2005-July/006191.html. (documentation of Polyhedron::shrink_bounding_box() has been improved.) - The documentation has been read through but a more careful check, particularly on the detailed descriptions, should be done. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/TODO.diff?cvsroot=ppl&r1=1.16…

1 0

ppl/src Polyhedron.defs.hh
by Patricia Hill 30 Dec '05

30 Dec '05

CVSROOT: /cvs/ppl Module name: ppl Changes by: hill(a)cs.unipr.it 2005-12-30 23:08:55 Modified files: src : Polyhedron.defs.hh Log message: Added more explanation regarding shrink_bounding_box. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Polyhedron.defs.hh.diff?c…

1 0

ppl/src Linear_Expression.cc
by Roberto Bagnara 30 Dec '05

30 Dec '05

CVSROOT: /cvs/ppl Module name: ppl Changes by: bagnara(a)cs.unipr.it 2005-12-30 21:50:07 Modified files: src : Linear_Expression.cc Log message: Removed excessive uses of vertical space. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Linear_Expression.cc.diff…

1 0