February 2006 - PPL-devel - BUGSENG Mailman

ppl/src Constraint.cc H79_Certificate.inlines. ...
by Roberto Bagnara 26 Feb '06

26 Feb '06

CVSROOT: /cvs/ppl Module name: ppl Changes by: bagnara(a)cs.unipr.it 2006-02-26 07:48:52 Modified files: src : Constraint.cc H79_Certificate.inlines.hh Polyhedra_Powerset.templates.hh Log message: Avoid useless parentheses. 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/H79_Certificate.inlines.h… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Polyhedra_Powerset.templa…

1 0

ppl/src Congruence.inlines.hh
by Roberto Bagnara 26 Feb '06

26 Feb '06

CVSROOT: /cvs/ppl Module name: ppl Changes by: bagnara(a)cs.unipr.it 2006-02-26 07:44:32 Modified files: src : Congruence.inlines.hh Log message: Fix misplaced parenthesis. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Congruence.inlines.hh.dif…

1 0

ppl/src Grid.templates.hh
by Patricia Hill 26 Feb '06

26 Feb '06

CVSROOT: /cvs/ppl Module name: ppl Changes by: hill(a)cs.unipr.it 2006-02-26 00:07:20 Modified files: src : Grid.templates.hh Log message: Fixed a bug in get_covering_box(). Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Grid.templates.hh.diff?cv…

1 0

ppl/tests print.cc print.hh Grid/Makefile.am G ...
by Patricia Hill 26 Feb '06

26 Feb '06

1 0

ppl/src Float.inlines.hh checked_int.inlines.hh
by Abramo Bagnara 25 Feb '06

25 Feb '06

CVSROOT: /cvs/ppl Module name: ppl Changes by: abagnara(a)cs.unipr.it 2006-02-25 18:57:58 Modified files: src : Float.inlines.hh checked_int.inlines.hh Log message: Fixed mpz_export use. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Float.inlines.hh.diff?cvs… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/checked_int.inlines.hh.di…

1 0

ppl/src Float.inlines.hh checked_float.inlines ...
by Abramo Bagnara 25 Feb '06

25 Feb '06

CVSROOT: /cvs/ppl Module name: ppl Changes by: abagnara(a)cs.unipr.it 2006-02-25 17:17:52 Modified files: src : Float.inlines.hh checked_float.inlines.hh checked_int.inlines.hh Log message: Fixed mpz_export order argument. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Float.inlines.hh.diff?cvs… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/checked_float.inlines.hh.… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/checked_int.inlines.hh.di…

1 0

ppl/interfaces/C ppl_c.cc
by Roberto Bagnara 25 Feb '06

25 Feb '06

CVSROOT: /cvs/ppl Module name: ppl Changes by: bagnara(a)cs.unipr.it 2006-02-25 15:25:53 Modified files: interfaces/C : ppl_c.cc Log message: Avoid an ambiguity problem occurring, e.g., on Solaris 2.9. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/C/ppl_c.cc.diff?cv…

1 0

ppl/tests/Polyhedron boundingbox4.cc boundingb ...
by Enea Zaffanella 25 Feb '06

25 Feb '06

CVSROOT: /cvs/ppl Module name: ppl Changes by: zaffanella(a)cs.unipr.it 2006-02-25 14:08:38 Removed files: tests/Polyhedron: boundingbox4.cc boundingbox5.cc Log message: Removed (incorporated in other tests). Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Polyhedron/boundingbox4… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Polyhedron/boundingbox5…

1 0

ppl/tests/Polyhedron boundingbox1.cc boundingb ...
by Enea Zaffanella 25 Feb '06

25 Feb '06

CVSROOT: /cvs/ppl Module name: ppl Changes by: zaffanella(a)cs.unipr.it 2006-02-25 14:07:44 Modified files: tests/Polyhedron: boundingbox1.cc boundingbox2.cc boundingbox3.cc Makefile.am Log message: Translated the tests boundingbox* into the new style. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Polyhedron/boundingbox1… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Polyhedron/boundingbox2… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Polyhedron/boundingbox3… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Polyhedron/Makefile.am.…

1 0

ppl/src Grid_public.cc
by Roberto Bagnara 25 Feb '06

25 Feb '06

CVSROOT: /cvs/ppl Module name: ppl Changes by: bagnara(a)cs.unipr.it 2006-02-25 14:02:28 Modified files: src : Grid_public.cc Log message: Wrong inline qualifier removed. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Grid_public.cc.diff?cvsro…

1 0