April 2008 - PPL-devel - BUGSENG Mailman

ppl TODO
by Patricia Hill 17 Apr '08

17 Apr '08

CVSROOT: /cvs/ppl Module name: ppl Changes by: hill(a)cs.unipr.it 2008-04-17 09:31:17 Modified files: . : TODO Log message: Added (partial) lists of the semantic GDs (simple and the constructors) in the section on Semantic geometric descriptors. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/TODO.diff?cvsroot=ppl&r1=1.24…

1 0

ppl src/Grid_public.cc tests/Grid/Makefile.am ...
by Patricia Hill 12 Apr '08

12 Apr '08

CVSROOT: /cvs/ppl Module name: ppl Changes by: hill(a)cs.unipr.it 2008-04-12 22:20:58 Modified files: src : Grid_public.cc tests/Grid : Makefile.am grid3.cc Added files: tests/Grid : frompolyhedron1.cc Log message: Corrected two bugs in the revised code for constructing a grid from a polyhedron with complexity class: The space dimension of the generator system must be set to be that of the polyhedron. After minimizing the polyhedron (in the case that the complexity is ANY_COMPLEXITY), we must check if the polyhedron is empty, and if it is return the empty grid. Added a new test file for checking this constructor, moved existing tests for it that were in grid3.cc to the new test file, and added a few extra tests to check the use of complexity classes. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Grid_public.cc.diff?cvsro… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Grid/frompolyhedron1.cc… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Grid/Makefile.am.diff?c… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Grid/grid3.cc.diff?cvsr…

1 0

ppl/src Grid.defs.hh Grid_public.cc
by Enea Zaffanella 12 Apr '08

12 Apr '08

CVSROOT: /cvs/ppl Module name: ppl Changes by: zaffanella(a)cs.unipr.it 2008-04-12 12:33:16 Modified files: src : Grid.defs.hh Grid_public.cc Log message: The constructor of a grid from a polyhedron now takes an optional argument specifying an upper bound to the complexity of the conversion to be applied. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Grid.defs.hh.diff?cvsroot… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Grid_public.cc.diff?cvsro…

1 0

ppl TODO
by Enea Zaffanella 10 Apr '08

10 Apr '08

CVSROOT: /cvs/ppl Module name: ppl Changes by: zaffanella(a)cs.unipr.it 2008-04-10 17:23:02 Modified files: . : TODO Log message: Small improvements to the description of syntactic/semantics GDs. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/TODO.diff?cvsroot=ppl&r1=1.24…

1 0

Error Message Installing the new version
by David Rodriguez Velazquez 02 Apr '08

02 Apr '08

Dear Roberto: I am installing the version 10 of ppl When I type make , one error was displayed. make make all-recursive make[1]: Entering directory `/home/david/alv/ppl-0.10pre17' Making all in utils make[2]: Entering directory `/home/david/alv/ppl-0.10pre17/utils' make[2]: Nothing to be done for `all'. make[2]: Leaving directory `/home/david/alv/ppl-0.10pre17/utils' Making all in src make[2]: Entering directory `/home/david/alv/ppl-0.10pre17/src' make all-am make[3]: Entering directory `/home/david/alv/ppl-0.10pre17/src' /bin/sh ../libtool --tag=CXX --mode=compile g++ -DHAVE_CONFIG_H -I. -I.. -I.. -I../src -g -O2 -frounding-math -W -Wall -MT Box.lo -MD -MP -MF .deps/Box.Tpo -c -o Box.lo Box.cc libtool: compile: g++ -DHAVE_CONFIG_H -I. -I.. -I.. -I../src -g -O2 -frounding-math -W -Wall -MT Box.lo -MD -MP -MF .deps/Box.Tpo -c Box.cc -fPIC -DPIC -o .libs/Box.o In file included from checked.defs.hh:426, from Checked_Number.defs.hh:27, from Boundary.defs.hh:26, from Interval_Info.defs.hh:26, from Interval.defs.hh:30, from Box.defs.hh:28, from Box.cc:24: checked.inlines.hh: In function `Parma_Polyhedra_Library::Result Parma_Polyhedra_Library::Checked::input_generic(Type&, std::istream&, Parma_Polyhedra_Library::Rounding_Dir)': checked.inlines.hh:575: internal compiler error: in invert_truthvalue, at fold-const.c:2700 Please submit a full bug report, with preprocessed source if appropriate. See <URL:http://bugzilla.redhat.com/bugzilla> for instructions. Preprocessed source stored into /tmp/cc4AXBs0.out file, please attach this to your bugreport. make[3]: *** [Box.lo] Error 1 make[3]: Leaving directory `/home/david/alv/ppl-0.10pre17/src' make[2]: *** [all] Error 2 make[2]: Leaving directory `/home/david/alv/ppl-0.10pre17/src' make[1]: *** [all-recursive] Error 1 make[1]: Leaving directory `/home/david/alv/ppl-0.10pre17' make: *** [all] Error 2 [david@shangai ppl-0.10pre17]$ I am sending the information about the error. Do you have any idea Why? Thanks. Sincerely. David Rodriguez Velazquez david.rodriguez-velazquez(a)wmich.edu

2 1

Error Installing the new version
by David Rodriguez Velazquez 02 Apr '08

02 Apr '08

Dear Roberto: Sorry I didn't write subject in my previous message Sincerely. David Rodriguez Velazquez david.rodriguez-velazquez(a)wmich.edu

1 0

(no subject)
by David Rodriguez Velazquez 02 Apr '08

02 Apr '08

Dear Roberto: I am installing the version 10 of ppl When I type make , one error was displayed. I am sending the information about the error. Do you have any idea Why? Thanks. Sincerely. David Rodriguez Velazquez david.rodriguez-velazquez(a)wmich.edu

1 0

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

02 Apr '08

1 0