January 2006 - PPL-devel - BUGSENG Mailman

ppl/tests/Grid generalizedaffineimage2.cc gene ...
by Matthew Mundell 30 Jan '06

30 Jan '06

CVSROOT: /cvs/ppl Module name: ppl Changes by: mundell(a)cs.unipr.it 2006-01-30 09:59:46 Modified files: tests/Grid : generalizedaffineimage2.cc generalizedaffineimage1.cc affinepreimage1.cc affineimage1.cc Log message: Add tests with zero denominator parameters and space dimension exceptions. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Grid/generalizedaffinei… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Grid/generalizedaffinei… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Grid/affinepreimage1.cc… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Grid/affineimage1.cc.di…

1 0

ppl/tests/Grid addgenerator1.cc
by Matthew Mundell 30 Jan '06

30 Jan '06

CVSROOT: /cvs/ppl Module name: ppl Changes by: mundell(a)cs.unipr.it 2006-01-30 09:56:31 Modified files: tests/Grid : addgenerator1.cc Log message: Add tests for adding to an empty grid. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Grid/addgenerator1.cc.d…

1 0

ppl/tests/Grid addcongruences1.cc
by Matthew Mundell 30 Jan '06

30 Jan '06

CVSROOT: /cvs/ppl Module name: ppl Changes by: mundell(a)cs.unipr.it 2006-01-30 09:55:19 Modified files: tests/Grid : addcongruences1.cc Log message: Add tests for adding an empty system and adding a trivial system to a zero dim grid. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Grid/addcongruences1.cc…

1 0

ppl/tests/Grid Makefile.am addgenerators1.cc
by Matthew Mundell 30 Jan '06

30 Jan '06

CVSROOT: /cvs/ppl Module name: ppl Changes by: mundell(a)cs.unipr.it 2006-01-30 09:54:02 Modified files: tests/Grid : Makefile.am Added files: tests/Grid : addgenerators1.cc Log message: Add addgenerators1, which tests methods that can add multiple generators to a grid. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Grid/addgenerators1.cc?… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Grid/Makefile.am.diff?c…

1 0

ppl/src Grid_public.cc
by Matthew Mundell 30 Jan '06

30 Jan '06

CVSROOT: /cvs/ppl Module name: ppl Changes by: mundell(a)cs.unipr.it 2006-01-30 09:52:06 Modified files: src : Grid_public.cc Log message: Update add_generator(g) to throw an exception when a parameter is given and the grid is zero dimension empty. Rework the generalized_affine_image(lhs,..) and generalized_affine_preimage(lhs,..) lhs space dimension calculation to aid coverage analysis. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Grid_public.cc.diff?cvsro…

1 0

ppl/src Grid_nonpublic.cc
by Matthew Mundell 30 Jan '06

30 Jan '06

CVSROOT: /cvs/ppl Module name: ppl Changes by: mundell(a)cs.unipr.it 2006-01-30 09:40:37 Modified files: src : Grid_nonpublic.cc Log message: Rename parameters in throw_dimension_incompatible(char*, char*, Grid). Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Grid_nonpublic.cc.diff?cv…

1 0

ppl/src Float.inlines.hh
by Roberto Bagnara 29 Jan '06

29 Jan '06

CVSROOT: /cvs/ppl Module name: ppl Changes by: bagnara(a)cs.unipr.it 2006-01-29 17:37:55 Modified files: src : Float.inlines.hh Log message: Fixed the build() method in specializations ot template <typename T> struct TFloat. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Float.inlines.hh.diff?cvs…

1 0

Re: ppl os x ...
by Fred Mesnard 29 Jan '06

29 Jan '06

Please can you give me the unix command to apply the patch ? Fred On Jan 29, 2006, at 11:22 AM, Roberto Bagnara wrote: > Fred Mesnard wrote: >> Any hint ? > > Yes: try the attached patch. I will then ask you to do one or two > extra tests when this is done. > >> Maybe I should use another email address for this kind of stuff ? > > ppl-devel(a)cs.unipr.it would be better because the discussion could > benefit other people. > Ciao, > > Roberto > > -- > Prof. Roberto Bagnara > Computer Science Group > Department of Mathematics, University of Parma, Italy > http://www.cs.unipr.it/~bagnara/ > mailto:bagnara@cs.unipr.it > Index: Float.inlines.hh > =================================================================== > RCS file: /cvs/ppl/ppl/src/Float.inlines.hh,v > retrieving revision 1.16 > diff -u -d -r1.16 Float.inlines.hh > --- Float.inlines.hh 1 Jan 2006 08:27:34 -0000 1.16 > +++ Float.inlines.hh 29 Jan 2006 07:13:14 -0000 > @@ -334,13 +334,13 @@ > u.parts.msp = (negative ? MSP_SGN_MASK : 0); > u.parts.msp |= static_cast<uint64_t>(exponent + EXPONENT_BIAS) > << (MANTISSA_BITS - 64); > #if ULONG_MAX == 0xffffffffUL > - mpz_export(&u.parts.lsp, 0, 1, 8, 0, 0, mantissa) > + mpz_export(&u.parts.lsp, 0, 1, 8, 0, 0, mantissa); > #else > u.parts.lsp = mpz_get_ui(mantissa); > #endif > mpz_tdiv_q_2exp(mantissa, mantissa, 64); > #if ULONG_MAX == 0xffffffffUL > - mpz_export(&u.parts.lsp, 0, 1, 8, 0, 0, mantissa) > + mpz_export(&u.parts.lsp, 0, 1, 8, 0, 0, mantissa); > #else > m = mpz_get_ui(mantissa); > #endif

2 2

ppl/src Float.inlines.hh
by Roberto Bagnara 29 Jan '06

29 Jan '06

CVSROOT: /cvs/ppl Module name: ppl Branch: ppl-0_8-branch Changes by: bagnara(a)cs.unipr.it 2006-01-29 08:23:56 Modified files: src : Float.inlines.hh Log message: Added missing semicolons. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Float.inlines.hh.diff?cvs…

1 0

ppl/src Float.inlines.hh
by Roberto Bagnara 29 Jan '06

29 Jan '06

CVSROOT: /cvs/ppl Module name: ppl Changes by: bagnara(a)cs.unipr.it 2006-01-29 08:09:53 Modified files: src : Float.inlines.hh Log message: Added missing semicolons. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Float.inlines.hh.diff?cvs…

1 0