May 2006 - PPL-devel - BUGSENG Mailman

ppl/src Octagonal_Shape.defs.hh
by Barbara Quartieri 10 May '06

10 May '06

CVSROOT: /cvs/ppl Module name: ppl Branch: octagons Changes by: quartieri(a)cs.unipr.it 2006-05-10 14:19:58 Modified files: src : Octagonal_Shape.defs.hh Log message: Added the declaration for void generalized_affine_preimage(const Linear_Expression& lhs, const Relation_Symbol relsym, const Linear_Expression& rhs). Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Octagonal_Shape.defs.hh.d…

1 0

ppl/src Grid_widenings.cc
by Matthew Mundell 10 May '06

10 May '06

CVSROOT: /cvs/ppl Module name: ppl Changes by: mundell(a)cs.unipr.it 2006-05-10 14:18:08 Modified files: src : Grid_widenings.cc Log message: Correct parameter indentation. Add const to some variable declarations. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Grid_widenings.cc.diff?cv…

1 0

ppl/src Grid_simplify.cc
by Matthew Mundell 10 May '06

10 May '06

CVSROOT: /cvs/ppl Module name: ppl Changes by: mundell(a)cs.unipr.it 2006-05-10 13:57:50 Modified files: src : Grid_simplify.cc Log message: Move temp integers out of the loop in reduce_reduced. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Grid_simplify.cc.diff?cvs…

1 0

ppl/src Grid_simplify.cc
by Matthew Mundell 10 May '06

10 May '06

CVSROOT: /cvs/ppl Module name: ppl Changes by: mundell(a)cs.unipr.it 2006-05-10 13:29:59 Modified files: src : Grid_simplify.cc Log message: Replace semicolons in tracing statements. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Grid_simplify.cc.diff?cvs…

1 0

ppl/src BD_Shape.templates.hh
by Elena Mazzi 10 May '06

10 May '06

CVSROOT: /cvs/ppl Module name: ppl Changes by: mazzi(a)cs.unipr.it 2006-05-10 13:08:27 Modified files: src : BD_Shape.templates.hh Log message: Avoid almost useless uses of reference DB_Row (prefer the direct dbm accessors' operators if a single access to the row has to be done). Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/BD_Shape.templates.hh.dif…

1 0

ppl/src Grid_public.cc
by Matthew Mundell 10 May '06

10 May '06

CVSROOT: /cvs/ppl Module name: ppl Changes by: mundell(a)cs.unipr.it 2006-05-10 13:00:59 Modified files: src : Grid_public.cc Log message: Update relation_with(cg) to use a reference instead of a temporary integer for variable `modulus'. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Grid_public.cc.diff?cvsro…

1 0

ppl/src Congruence.defs.hh
by Matthew Mundell 10 May '06

10 May '06

CVSROOT: /cvs/ppl Module name: ppl Changes by: mundell(a)cs.unipr.it 2006-05-10 12:22:15 Modified files: src : Congruence.defs.hh Log message: Convert use of namespace alias PPL to use of full name. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Congruence.defs.hh.diff?c…

1 0

ppl/src fpu-ia32.inlines.hh
by Roberto Bagnara 10 May '06

10 May '06

CVSROOT: /cvs/ppl Module name: ppl Changes by: bagnara(a)cs.unipr.it 2006-05-10 11:56:54 Modified files: src : fpu-ia32.inlines.hh Log message: Avoid compiler warnings. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/fpu-ia32.inlines.hh.diff?…

1 0

ppl/tests/BD_Shape Makefile.am generalizedaffi ...
by Elena Mazzi 10 May '06

10 May '06

CVSROOT: /cvs/ppl Module name: ppl Changes by: mazzi(a)cs.unipr.it 2006-05-10 11:29:08 Modified files: tests/BD_Shape : Makefile.am generalizedaffinepreimage2.cc Added files: tests/BD_Shape : generalizedaffinepreimage3.cc Log message: Added some tests for generalized_affine_preimage(const Linear_Expression& lhs, Relation_Symbol relsym, const Linear_Expression& rhs). Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/BD_Shape/generalizedaff… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/BD_Shape/Makefile.am.di… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/BD_Shape/generalizedaff…

1 0

ppl/src BD_Shape.defs.hh BD_Shape.templates.hh
by Elena Mazzi 10 May '06

10 May '06

CVSROOT: /cvs/ppl Module name: ppl Changes by: mazzi(a)cs.unipr.it 2006-05-10 11:27:21 Modified files: src : BD_Shape.defs.hh BD_Shape.templates.hh Log message: Defined a new method: BD_Shape::generalized_affine_preimage(const Linear_Expression& lhs, Relation_Symbol relsym, const Linear_Expression& rhs). 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.templates.hh.dif…

1 0