March 2008 - PPL-devel - BUGSENG Mailman

w3ppl/htdocs/Documentation ppl_citations.bib
by Roberto Bagnara 08 Mar '08

08 Mar '08

CVSROOT: /cvs/ppl Module name: w3ppl Changes by: bagnara(a)cs.unipr.it 2008-03-08 14:42:41 Modified files: htdocs/Documentation: ppl_citations.bib Log message: Added SankaranarayananIG07. Completed GopanR07b. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/w3ppl/htdocs/Documentation/ppl_ci…

1 0

ppl ./ltmain.sh Watchdog/ltmain.sh Watchdog/m4 ...
by Roberto Bagnara 08 Mar '08

08 Mar '08

CVSROOT: /cvs/ppl Module name: ppl Changes by: bagnara(a)cs.unipr.it 2008-03-08 11:55:05 Modified files: . : ltmain.sh Watchdog : ltmain.sh Watchdog/m4 : libtool.m4 ltversion.m4 m4 : libtool.m4 ltversion.m4 Log message: Updated from Libtool 2.3a. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/ltmain.sh.diff?cvsroot=ppl&r1… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/Watchdog/ltmain.sh.diff?cvsro… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/Watchdog/m4/libtool.m4.diff?c… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/Watchdog/m4/ltversion.m4.diff… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/m4/libtool.m4.diff?cvsroot=pp… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/m4/ltversion.m4.diff?cvsroot=…

1 0

ppl/tests/Octagonal_Shape max_min2.cc
by Patricia Hill 07 Mar '08

07 Mar '08

CVSROOT: /cvs/ppl Module name: ppl Changes by: hill(a)cs.unipr.it 2008-03-07 22:44:56 Modified files: tests/Octagonal_Shape: max_min2.cc Log message: The bug shown by test07 is now corrected. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Octagonal_Shape/max_min…

1 0

ppl/tests/BD_Shape max_min2.cc
by Enea Zaffanella 07 Mar '08

07 Mar '08

CVSROOT: /cvs/ppl Module name: ppl Changes by: zaffanella(a)cs.unipr.it 2008-03-07 21:17:53 Modified files: tests/BD_Shape : max_min2.cc Log message: The bug shown by test10 is now corrected. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/BD_Shape/max_min2.cc.di…

1 0

ppl/src MIP_Problem.cc BD_Shape.templates.hh
by Enea Zaffanella 07 Mar '08

07 Mar '08

CVSROOT: /cvs/ppl Module name: ppl Changes by: zaffanella(a)cs.unipr.it 2008-03-07 21:17:09 Modified files: src : MIP_Problem.cc BD_Shape.templates.hh Log message: Corrected a bug in the evaluation of objective function whereby a wrong result could have been obtained if the objective function had a non-zero inhomogeneous term and the evaluating point was non-integral. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/MIP_Problem.cc.diff?cvsro… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/BD_Shape.templates.hh.dif…

1 0

ppl/tests BD_Shape/max_min2.cc Octagonal_Shape ...
by Patricia Hill 07 Mar '08

07 Mar '08

CVSROOT: /cvs/ppl Module name: ppl Changes by: hill(a)cs.unipr.it 2008-03-07 16:18:45 Modified files: tests/BD_Shape : max_min2.cc tests/Octagonal_Shape: max_min2.cc Log message: test07 in Octagonal_Shape/max_min2.cc and test10 in BD_Shape/max_min2.cc show a bug in having an inhomogeneous term in the linear expression for maximize() and minimize() when the denominator is different from 1. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/BD_Shape/max_min2.cc.di… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Octagonal_Shape/max_min…

1 0

Re: [PPL-devel] [libtool 2.2] testsuite: 34 failed
by Roberto Bagnara 07 Mar '08

07 Mar '08

Ralf Wildenhues wrote: > * Roberto Bagnara wrote on Sun, Mar 02, 2008 at 08:48:07AM CET: >> I got errors on a Fedora 7 system (x86_64): the log file >> is attached. I have also tried using Libtool 2.2 on one >> of my projets, but I get the following: >> >> /bin/sh ../libtool --tag=CXX --mode=compile g++ -DHAVE_CONFIG_H -I. -I.. -I/home/roberto/ppl/ppl/src -I.. -I/home/roberto/ppl/ppl/src -g -frounding-math -W -Wall -MT Box.lo -MD -MP -MF .deps/Box.Tpo -c -o Box.lo /home/roberto/ppl/ppl/src/Box.cc >> ../libtool: line 459: CDPATH: command not found >> ../libtool: line 1262: func_opt_split: command not found >> libtool: Version mismatch error. This is libtool 2.2, but the >> libtool: definition of this LT_INIT comes from an older release. >> libtool: You should recreate aclocal.m4 with macros from libtool 2.2 >> libtool: and run autoconf again. >> >> I think I did that on entirely new directories and after running >> `autoreconf -f' to recreate (among other things), aclocal.m4. >> What am I missing? > > Which Autoconf, M4 versions were used? What says > grep LT_INIT aclocal.m4 m4/libtool.m4 > > (modify the latter to point at the libtool.m4 file that's copied into > your project if any). Hi Ralf, this was entirely my fault: I did something stupid in my first attempt of switching from Libtool 1.5.24 to Libtool 2.2 (m4/libtool.m4 was not even there). However, things still do not seem to work properly for me. Trying to understand what is going on, I have distilled the following: $ cat mycommand #!/bin/sh echo "mycommand invoked with argument '$1'" $ mycommand ciao mycommand invoked with argument 'ciao' $ ./libtool --mode=execute mycommand ciao mycommand invoked with argument '/home/roberto/tppl/' $ Note that /home/roberto/tppl/ is the directory where the libtool script is located. I can also do $ cd interfaces/ $ ../libtool --mode=execute ../mycommand ciao mycommand invoked with argument '/home/roberto/tppl/' Is this behavior normal? ./libtool is what has been created at configure time and a bzipped version of it is attached to this file. > Still looking at your the testsuite failure (but it's anyway an issue > separate from the above). > > Cheers, and thanks for the report, Thanks to you! Best, Roberto P.S. In ./libtool there is the line # Generated automatically by config.status (GNU ppl) 0.10pre16 `ppl' is indeed the short name of the project. I don't know why it is preceded by "GNU". -- Prof. Roberto Bagnara Computer Science Group Department of Mathematics, University of Parma, Italy http://www.cs.unipr.it/~bagnara/ mailto:bagnara@cs.unipr.it

3 7

ppl tests/Octagonal_Shape/relatwithcons3.cc sr ...
by Patricia Hill 07 Mar '08

07 Mar '08

CVSROOT: /cvs/ppl Module name: ppl Changes by: hill(a)cs.unipr.it 2008-03-07 11:38:06 Modified files: tests/Octagonal_Shape: relatwithcons3.cc src : BD_Shape.templates.hh Octagonal_Shape.templates.hh tests/BD_Shape : relations3.cc relations4.cc Log message: Improved the code again for the relations_with() for constraints for both the Octagons and BD_Shapes. Tests also improved. The BD_Shape relation_with() for congruences now uses the relation_with() for constraints instead of the temporary implementation that converted to polyhedra to compute the relations. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Octagonal_Shape/relatwi… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/BD_Shape.templates.hh.dif… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Octagonal_Shape.templates… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/BD_Shape/relations3.cc.… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/BD_Shape/relations4.cc.…

1 0

ppl tests/Octagonal_Shape/relatwithcons3.cc sr ...
by Patricia Hill 07 Mar '08

07 Mar '08

CVSROOT: /cvs/ppl Module name: ppl Changes by: hill(a)cs.unipr.it 2008-03-07 09:30:55 Modified files: tests/Octagonal_Shape: relatwithcons3.cc src : Octagonal_Shape.templates.hh Log message: Revised relation_with() for a congruence so as to use the relation_with() for a constraint instead of the temporary implementation which was coverting the octagon to a polyhedron and using the method there. Fixed a bug in relation_with() for a (non-octagonal) constraint due to the inclusion of the inhomogeneous term in the linear expression when calling maximize() and minimize(). Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Octagonal_Shape/relatwi… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Octagonal_Shape.templates…

1 0

ppl src/Box.templates.hh tests/Box/relations3.cc
by Patricia Hill 07 Mar '08

07 Mar '08

CVSROOT: /cvs/ppl Module name: ppl Changes by: hill(a)cs.unipr.it 2008-03-07 07:49:26 Modified files: src : Box.templates.hh tests/Box : relations3.cc Log message: Redone the previous correction for the interval_relation() when the relation symbol is an equality as it did not correct the case when the interval was fully bounded. A further test added for bounded intervals and equality. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Box.templates.hh.diff?cvs… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Box/relations3.cc.diff?…

1 0