November 2002 - PPL-devel - BUGSENG Mailman

ppl/tests Makefile.am ascii_dump_load1.cc asci ...
by Roberto Bagnara 03 Nov '02

03 Nov '02

CVSROOT: /cvs/ppl Module name: ppl Changes by: roberto(a)cs.unipr.it 2002-11-03 18:41:01 Modified files: tests : Makefile.am ascii_dump_load1.cc ascii_dump_load2.cc ascii_dump_load3.cc ascii_dump_load4.cc ascii_dump_load5.cc Log message: Be consistent in naming files. Patches: 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_load1.cc.dif… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/ascii_dump_load2.cc.dif… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/ascii_dump_load3.cc.dif… 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

ppl/src Row.cc Row.inlines.hh
by Roberto Bagnara 03 Nov '02

03 Nov '02

CVSROOT: /cvs/ppl Module name: ppl Changes by: roberto(a)cs.unipr.it 2002-11-03 17:32:22 Modified files: src : Row.cc Row.inlines.hh Log message: Progress in supporting compilers that do not provide flexible arrays. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Row.cc.diff?cvsroot=ppl&r… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Row.inlines.hh.diff?cvsro…

1 0

ppl interfaces/Prolog/Prolog_interface.dox int ...
by Roberto Bagnara 03 Nov '02

03 Nov '02

CVSROOT: /cvs/ppl Module name: ppl Changes by: roberto(a)cs.unipr.it 2002-11-03 12:02:32 Modified files: interfaces/Prolog: Prolog_interface.dox interfaces/Prolog/GNU: Makefile.am m4 : ac_check_gmp.m4 Log message: For the sake of not very smart linkers, link with `-lgmpxx -lgmp' instead of the other way around. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/Prolog_inte… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/GNU/Makefil… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/m4/ac_check_gmp.m4.diff?cvsro…

1 0

ppl/tests ascii_dump_load1.cc ascii_dump_load2 ...
by Roberto Bagnara 03 Nov '02

03 Nov '02

1 0

ppl/Watchdog pwl_header.middle
by Roberto Bagnara 03 Nov '02

03 Nov '02

CVSROOT: /cvs/ppl Module name: ppl Changes by: roberto(a)cs.unipr.it 2002-11-03 11:06:25 Modified files: Watchdog : pwl_header.middle Log message: Include sys/time.h, if available. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/Watchdog/pwl_header.middle.di…

1 0

ppl/tests Makefile.am boundingbox3.cc bounding ...
by Elisa Ricci 03 Nov '02

03 Nov '02

CVSROOT: /cvs/ppl Module name: ppl Changes by: ericci(a)cs.unipr.it 2002-11-03 10:56:03 Modified files: tests : Makefile.am boundingbox3.cc Added files: tests : boundingbox4.cc Log message: Erased form boundingbox3.cc the flags "C_TESTS" and "NNC_TESTS". boundingbox3.cc now contains only tests with C_Polyhedron; the tests that were in boundingbox3.cc and that contain polyhedron described by strict inequalities now are in boundingbox4.cc. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/boundingbox4.cc?cvsroot… 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/boundingbox3.cc.diff?cv…

1 0

ppl/interfaces/Prolog/XSB Makefile.am
by Roberto Bagnara 03 Nov '02

03 Nov '02

CVSROOT: /cvs/ppl Module name: ppl Changes by: roberto(a)cs.unipr.it 2002-11-03 09:50:23 Modified files: interfaces/Prolog/XSB: Makefile.am Log message: Always use the current C++ compiler, not simply `g++'. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/XSB/Makefil…

1 0

ppl/Watchdog Watchdog.defs.hh Watchdog.inlines.hh
by Roberto Bagnara 03 Nov '02

03 Nov '02

CVSROOT: /cvs/ppl Module name: ppl Changes by: roberto(a)cs.unipr.it 2002-11-03 09:42:19 Modified files: Watchdog : Watchdog.defs.hh Watchdog.inlines.hh Log message: Little cleaning. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/Watchdog/Watchdog.defs.hh.dif… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/Watchdog/Watchdog.inlines.hh.…

1 0

ppl/Watchdog configure.ac config.h.in
by Roberto Bagnara 03 Nov '02

03 Nov '02

CVSROOT: /cvs/ppl Module name: ppl Changes by: roberto(a)cs.unipr.it 2002-11-03 09:42:01 Modified files: Watchdog : configure.ac config.h.in Log message: Get rid of AC_C_INLINE: we do not use inlines in C code and it was doing harm with some compilers. Patches: 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/Watchdog/config.h.in.diff?cvs…

1 0

ppl/interfaces/C ppl_c.cc ppl_c.h
by Roberto Bagnara 02 Nov '02

02 Nov '02

CVSROOT: /cvs/ppl Module name: ppl Changes by: roberto(a)cs.unipr.it 2002-11-02 23:53:22 Modified files: interfaces/C : ppl_c.cc ppl_c.h Log message: The function ppl_Polyhedron_shrink_bounding_box() has now a parameter allowing the selection of the desired complexity class. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/C/ppl_c.cc.diff?cv… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/C/ppl_c.h.diff?cvs…

1 0