- PPL-devel - BUGSENG Mailman

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

ppl/src globals.hh
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:08:48 Modified files: src : globals.hh Log message: Spurious line removed. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/globals.hh.diff?cvsroot=p…

1 0

ppl/interfaces/Prolog/Ciao Makefile.am
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 22:33:25 Modified files: interfaces/Prolog/Ciao: Makefile.am Log message: Can now compile the Ciao-Prolog interface. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/Ciao/Makefi…

1 0

ppl/interfaces/Prolog/Ciao ppl_ciao.pl
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 20:07:46 Modified files: interfaces/Prolog/Ciao: ppl_ciao.pl Log message: Properly declare all the predicates. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/Ciao/ppl_ci…

1 0