March 2007 - PPL-devel - BUGSENG Mailman

ppl/src fpu.defs.hh
by Abramo Bagnara 31 Mar '07

31 Mar '07

CVSROOT: /cvs/ppl Module name: ppl Changes by: abagnara(a)cs.unipr.it 2007-03-31 19:27:02 Modified files: src : fpu.defs.hh Log message: Give priority to faster architecture dependent fpu control. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/fpu.defs.hh.diff?cvsroot=…

1 0

ppl/src checked_float.inlines.hh
by Roberto Bagnara 26 Mar '07

26 Mar '07

CVSROOT: /cvs/ppl Module name: ppl Changes by: bagnara(a)cs.unipr.it 2007-03-26 21:12:34 Modified files: src : checked_float.inlines.hh Log message: On platforms not providing rintl() and not providing proper long doubles, make the assumption that long double and double are the same type and use rint() instead of rintl(). Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/checked_float.inlines.hh.…

1 0

ppl/doc definitions.dox
by Roberto Bagnara 25 Mar '07

25 Mar '07

CVSROOT: /cvs/ppl Module name: ppl Changes by: bagnara(a)cs.unipr.it 2007-03-25 22:14:35 Modified files: doc : definitions.dox Log message: Corrected a wrong sign in the paragraph about "Images and Preimages of Affine Transfer Relations." Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/doc/definitions.dox.diff?cvsr…

1 0

ppl ./configure.ac m4/Makefile.am m4/ac_cxx_pr ...
by Roberto Bagnara 25 Mar '07

25 Mar '07

CVSROOT: /cvs/ppl Module name: ppl Changes by: bagnara(a)cs.unipr.it 2007-03-25 18:08:30 Modified files: . : configure.ac m4 : Makefile.am Added files: m4 : ac_cxx_proper_long_double.m4 Log message: Check whether the C++ compiler provides proper long doubles. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/configure.ac.diff?cvsroot=ppl… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/m4/ac_cxx_proper_long_double.… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/m4/Makefile.am.diff?cvsroot=p…

1 0

ppl/tests/Polyhedron pointsetpowerset1.cc
by Roberto Bagnara 24 Mar '07

24 Mar '07

CVSROOT: /cvs/ppl Module name: ppl Changes by: bagnara(a)cs.unipr.it 2007-03-24 10:03:00 Modified files: tests/Polyhedron: pointsetpowerset1.cc Log message: Fixed test18() and test19(). Drafted test20(). Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Polyhedron/pointsetpowe…

1 0

ppl/tests/MIP_Problem mipproblem2.cc
by Enea Zaffanella 21 Mar '07

21 Mar '07

CVSROOT: /cvs/ppl Module name: ppl Changes by: zaffanella(a)cs.unipr.it 2007-03-21 11:17:09 Modified files: tests/MIP_Problem: mipproblem2.cc Log message: Test modified so as to propagate overflows and therefore interact correctly with macro DO_TEST_OVERFLOW. The test overflows when using 8-bit coefficients. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/MIP_Problem/mipproblem2…

1 0

ppl/tests/Box refine2.cc
by Enea Zaffanella 21 Mar '07

21 Mar '07

CVSROOT: /cvs/ppl Module name: ppl Changes by: zaffanella(a)cs.unipr.it 2007-03-21 10:35:16 Modified files: tests/Box : refine2.cc Log message: Test test02() does not overflow with 64 bits integers. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Box/refine2.cc.diff?cvs…

1 0

ppl/tests/Box frombox1.cc
by Enea Zaffanella 20 Mar '07

20 Mar '07

CVSROOT: /cvs/ppl Module name: ppl Changes by: zaffanella(a)cs.unipr.it 2007-03-20 11:23:35 Modified files: tests/Box : frombox1.cc Log message: Test test05() overflows with all bounded coefficients. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Box/frombox1.cc.diff?cv…

1 0

ppl/src Box.templates.hh
by Enea Zaffanella 20 Mar '07

20 Mar '07

CVSROOT: /cvs/ppl Module name: ppl Changes by: zaffanella(a)cs.unipr.it 2007-03-20 09:43:52 Modified files: src : Box.templates.hh Log message: Use DIRTY_TEMP when allocating a temporary Coefficient or mpq_class object. Use properly typed temporaries in max_min(), so as to avoid errors when configured to used bounded integer coefficients. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Box.templates.hh.diff?cvs…

1 0

ppl/src Box.templates.hh
by Enea Zaffanella 19 Mar '07

19 Mar '07

CVSROOT: /cvs/ppl Module name: ppl Changes by: zaffanella(a)cs.unipr.it 2007-03-19 16:35:51 Modified files: src : Box.templates.hh Log message: Excessively optimistic assertions just introduced replaced by canonicalization, which is required. In the constructor of a Box from a polyhedron, do use Coefficient temporaries when invoking the MIP solver. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Box.templates.hh.diff?cvs…

1 0