November 2002 - PPL-devel - BUGSENG Mailman

ppl/m4 ac_check_gmp.m4 ac_cxx_flexible_arrays.m4
by Roberto Bagnara 05 Nov '02

05 Nov '02

CVSROOT: /cvs/ppl Module name: ppl Changes by: roberto(a)cs.unipr.it 2002-11-05 12:40:30 Modified files: m4 : ac_check_gmp.m4 ac_cxx_flexible_arrays.m4 Log message: More quoting where needed. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/m4/ac_check_gmp.m4.diff?cvsro… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/m4/ac_cxx_flexible_arrays.m4.…

1 0

ppl/Watchdog Watchdog.cc Watchdog.defs.hh
by Roberto Bagnara 05 Nov '02

05 Nov '02

CVSROOT: /cvs/ppl Module name: ppl Changes by: roberto(a)cs.unipr.it 2002-11-05 11:49:27 Modified files: Watchdog : Watchdog.cc Watchdog.defs.hh Log message: Standard conformance fixes. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/Watchdog/Watchdog.cc.diff?cvs… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/Watchdog/Watchdog.defs.hh.dif…

1 0

ppl ltmain.sh
by Roberto Bagnara 05 Nov '02

05 Nov '02

CVSROOT: /cvs/ppl Module name: ppl Changes by: roberto(a)cs.unipr.it 2002-11-05 10:58:06 Modified files: . : ltmain.sh Log message: Updated. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/ltmain.sh.diff?cvsroot=ppl&r1…

1 0

ppl/Watchdog configure.ac
by Roberto Bagnara 05 Nov '02

05 Nov '02

CVSROOT: /cvs/ppl Module name: ppl Changes by: roberto(a)cs.unipr.it 2002-11-05 10:57:26 Modified files: Watchdog : configure.ac Log message: Work around a bug in AC_CHECK_FUNCS as implemented in autoconf 2.54c and previous versions. For more information, see http://www.cs.unipr.it/pipermail/ppl-devel/2002-November/002929.html. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/Watchdog/configure.ac.diff?cv…

1 0

ppl ./configure.ac Watchdog/configure.ac m4/ac ...
by Roberto Bagnara 05 Nov '02

05 Nov '02

CVSROOT: /cvs/ppl Module name: ppl Changes by: roberto(a)cs.unipr.it 2002-11-05 10:11:05 Modified files: . : configure.ac Watchdog : configure.ac m4 : ac_check_gmp.m4 ac_cxx_flexible_arrays.m4 Log message: Avoid using obsolete macros. 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/Watchdog/configure.ac.diff?cv… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/m4/ac_check_gmp.m4.diff?cvsro… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/m4/ac_cxx_flexible_arrays.m4.…

1 0

ppl ./configure.ac m4/ac_check_gmp.m4 m4/ac_cx ...
by Roberto Bagnara 05 Nov '02

05 Nov '02

CVSROOT: /cvs/ppl Module name: ppl Changes by: roberto(a)cs.unipr.it 2002-11-05 09:23:12 Modified files: . : configure.ac m4 : ac_check_gmp.m4 ac_cxx_flexible_arrays.m4 Log message: Avoid using obsolete macros. 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_check_gmp.m4.diff?cvsro… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/m4/ac_cxx_flexible_arrays.m4.…

1 0

ppl/interfaces/Prolog/XSB ppl_xsb.cc
by Roberto Bagnara 05 Nov '02

05 Nov '02

CVSROOT: /cvs/ppl Module name: ppl Changes by: roberto(a)cs.unipr.it 2002-11-05 09:09:11 Modified files: interfaces/Prolog/XSB: ppl_xsb.cc Log message: Warning avoided, FIXME added. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/XSB/ppl_xsb…

1 0

ppl/tests smm1.cc
by Roberto Bagnara 05 Nov '02

05 Nov '02

CVSROOT: /cvs/ppl Module name: ppl Changes by: roberto(a)cs.unipr.it 2002-11-05 09:08:41 Modified files: tests : smm1.cc Log message: Extend the Parma_Polyhedra_Library namespace with the output operators before using STL stream iterators. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/smm1.cc.diff?cvsroot=pp…

1 0

ppl/src ConSys.cc ConSys.defs.hh ConSys.inline ...
by Roberto Bagnara 05 Nov '02

05 Nov '02

CVSROOT: /cvs/ppl Module name: ppl Changes by: roberto(a)cs.unipr.it 2002-11-05 00:12:27 Modified files: src : ConSys.cc ConSys.defs.hh ConSys.inlines.hh GenSys.cc GenSys.defs.hh Matrix.defs.hh Log message: We were violating the C++ standard by referring to unaccessible base classes. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/ConSys.cc.diff?cvsroot=pp… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/ConSys.defs.hh.diff?cvsro… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/ConSys.inlines.hh.diff?cv… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/GenSys.cc.diff?cvsroot=pp… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/GenSys.defs.hh.diff?cvsro… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Matrix.defs.hh.diff?cvsro…

1 0

ppl/tests Makefile.am ascii_dump_load4.cc asci ...
by Elisa Ricci 04 Nov '02

04 Nov '02

CVSROOT: /cvs/ppl Module name: ppl Changes by: ericci(a)cs.unipr.it 2002-11-04 17:28:07 Modified files: tests : Makefile.am ascii_dump_load4.cc ascii_dump_load5.cc Added files: tests : affineimage7.cc affinepreimage9.cc ascii_dump_load6.cc Log message: Added tests to verify ascii_dump() and ascii_load() of SatMatrix and of Status and to verify Polyhedron::affine_image() and Polyhedron::affine_preimage() with a negative denominator. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/affineimage7.cc?cvsroot… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/affinepreimage9.cc?cvsr… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/ascii_dump_load6.cc?cvs… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Makefile.am.diff?cvsroo… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/ascii_dump_load4.cc.dif… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/ascii_dump_load5.cc.dif…

1 0