September 2008 - PPL-devel - BUGSENG Mailman

ppl/tests/Box ascii_dump_load1.cc
by Enea Zaffanella 03 Sep '08

03 Sep '08

CVSROOT: /cvs/ppl Module name: ppl Changes by: zaffanella(a)cs.unipr.it 2008-09-03 19:00:19 Modified files: tests/Box : ascii_dump_load1.cc Log message: Some improvements to the ascii_dump test. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Box/ascii_dump_load1.cc…

1 0

ppl/src Interval_Info.defs.hh Interval_Info.in ...
by Enea Zaffanella 03 Sep '08

03 Sep '08

CVSROOT: /cvs/ppl Module name: ppl Changes by: zaffanella(a)cs.unipr.it 2008-09-03 18:59:33 Modified files: src : Interval_Info.defs.hh Interval_Info.inlines.hh Log message: When ascii_dumping interval info, do set/reset hexadecimal output before/after dumping a bitset. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Interval_Info.defs.hh.dif… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Interval_Info.inlines.hh.…

1 0

ppl/src Interval_Info.defs.hh
by Enea Zaffanella 03 Sep '08

03 Sep '08

CVSROOT: /cvs/ppl Module name: ppl Changes by: zaffanella(a)cs.unipr.it 2008-09-03 18:12:58 Modified files: src : Interval_Info.defs.hh Log message: Do not define ascii_dump/load twice. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Interval_Info.defs.hh.dif…

1 0

ppl/src Interval.defs.hh Interval.inlines.hh I ...
by Enea Zaffanella 03 Sep '08

03 Sep '08

CVSROOT: /cvs/ppl Module name: ppl Changes by: zaffanella(a)cs.unipr.it 2008-09-03 18:10:06 Modified files: src : Interval.defs.hh Interval.inlines.hh Interval_Info.defs.hh Interval_Info.inlines.hh Log message: Started drafting appropriate ascii_dump/load methods for Interval. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Interval.defs.hh.diff?cvs… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Interval.inlines.hh.diff?… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Interval_Info.defs.hh.dif… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Interval_Info.inlines.hh.…

1 0

ppl/src Boundary.defs.hh
by Enea Zaffanella 03 Sep '08

03 Sep '08

CVSROOT: /cvs/ppl Module name: ppl Changes by: zaffanella(a)cs.unipr.it 2008-09-03 18:08:30 Modified files: src : Boundary.defs.hh Log message: Tell which namespace is being closed. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Boundary.defs.hh.diff?cvs…

1 0

ppl/tests/Box ascii_dump_load1.cc
by Roberto Bagnara 03 Sep '08

03 Sep '08

CVSROOT: /cvs/ppl Module name: ppl Changes by: bagnara(a)cs.unipr.it 2008-09-03 16:50:51 Modified files: tests/Box : ascii_dump_load1.cc Log message: Temporarily commented out the invocation of test07(). Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Box/ascii_dump_load1.cc…

1 0

ppl ./configure.ac interfaces/Prolog/GNU/Makef ...
by Roberto Bagnara 03 Sep '08

03 Sep '08

CVSROOT: /cvs/ppl Module name: ppl Changes by: bagnara(a)cs.unipr.it 2008-09-03 16:34:30 Modified files: . : configure.ac interfaces/Prolog/GNU: Makefile.am interfaces/Prolog/SICStus: Makefile.am interfaces/Prolog/SWI: Makefile.am interfaces/Prolog/XSB: Makefile.am interfaces/Prolog/YAP: Makefile.am Log message: Fixed several distribution issues. 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/interfaces/Prolog/GNU/Makefil… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/SICStus/Mak… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/SWI/Makefil… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/XSB/Makefil… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/YAP/Makefil…

1 0

About PPL 0.10
by Roberto 03 Sep '08

03 Sep '08

Hi I'm trying to install ppl-0.10 but I've made make in Cygwin shell and it returned the following bug report: $ make make all-recursive make[1]: Entering directory `/home/beto/ppl-0.10pre21' Making all in utils make[2]: Entering directory `/home/beto/ppl-0.10pre21/utils' make[2]: Nothing to be done for `all'. make[2]: Leaving directory `/home/beto/ppl-0.10pre21/utils' Making all in src make[2]: Entering directory `/home/beto/ppl-0.10pre21/src' make all-am make[3]: Entering directory `/home/beto/ppl-0.10pre21/src' /bin/sh ../libtool --tag=CXX --mode=compile g++ -DHAVE_CONFIG_H -I. -I.. -I.. -I../src -I/usr/local/include -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 -I/usr/local/inclu de -g -O2 -frounding-math -W -Wall -MT Box.lo -MD -MP -MF .deps/Box.Tpo -c Box.c c -DDLL_EXPORT -DPIC -o .libs/Box.o In file included from checked.defs.hh:426, from Checked_Number.defs.hh:27, from Coefficient.types.hh:15, from Coefficient.defs.hh:26, 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:579: internal compiler error: in invert_truthvalue, at fold-c onst.c:2719 Please submit a full bug report, with preprocessed source if appropriate. See <URL:http://cygwin.com/problems.html> for instructions. make[3]: *** [Box.lo] Error 1 make[3]: Leaving directory `/home/beto/ppl-0.10pre21/src' make[2]: *** [all] Error 2 make[2]: Leaving directory `/home/beto/ppl-0.10pre21/src' make[1]: *** [all-recursive] Error 1 make[1]: Leaving directory `/home/beto/ppl-0.10pre21' make: *** [all] Error 2 Is there any special options to configure PPL ? Yours Sincerely

2 1

ppl/interfaces/Prolog Makefile.am GNU/Makefile ...
by Roberto Bagnara 03 Sep '08

03 Sep '08

CVSROOT: /cvs/ppl Module name: ppl Changes by: bagnara(a)cs.unipr.it 2008-09-03 15:15:17 Modified files: interfaces/Prolog: Makefile.am interfaces/Prolog/GNU: Makefile.am interfaces/Prolog/SICStus: Makefile.am interfaces/Prolog/SWI: Makefile.am interfaces/Prolog/XSB: Makefile.am interfaces/Prolog/YAP: Makefile.am Log message: Corrected several variable's definitions. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/Makefile.am… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/GNU/Makefil… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/SICStus/Mak… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/SWI/Makefil… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/XSB/Makefil… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/YAP/Makefil…

1 0

ppl/tests/Box Makefile.am ascii_dump_load1.cc
by Roberto Bagnara 03 Sep '08

03 Sep '08

CVSROOT: /cvs/ppl Module name: ppl Changes by: bagnara(a)cs.unipr.it 2008-09-03 15:13:31 Modified files: tests/Box : Makefile.am ascii_dump_load1.cc Log message: Added test07(), which fails. Commented out the invocation of several other tests that are waiting for adaptation to boxes. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Box/Makefile.am.diff?cv… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Box/ascii_dump_load1.cc…

1 0