June 2002 - PPL-devel - BUGSENG Mailman

ppl/src Polyhedron.defs.hh
by Roberto Bagnara 09 Jun '02

09 Jun '02

CVSROOT: /cvs/ppl Module name: ppl Changes by: roberto(a)cs.unipr.it 2002-06-09 19:43:53 Modified files: src : Polyhedron.defs.hh Log message: Useless `explicit' qualification removed. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Polyhedron.defs.hh.diff?c…

1 0

ppl/interfaces/Prolog Makefile.am GNU/Makefile ...
by Roberto Bagnara 09 Jun '02

09 Jun '02

CVSROOT: /cvs/ppl Module name: ppl Changes by: roberto(a)cs.unipr.it 2002-06-09 19:22:20 Modified files: interfaces/Prolog: Makefile.am interfaces/Prolog/GNU: Makefile.am interfaces/Prolog/SICStus: Makefile.am Added files: interfaces/Prolog/GNU: ppl_gprolog.pl interfaces/Prolog/SICStus: ppl_sicstus.pl Removed files: interfaces/Prolog: ppl_prolog.pl interfaces/Prolog/GNU: ppl_gprolog_sd.pl interfaces/Prolog/SICStus: ppl_sicstus_sd.pl Log message: Reorganization due to the fact that ppl_prolog.pl was obsolete. 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/ppl_prolog.… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/GNU/ppl_gpr… 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/GNU/ppl_gpr… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/SICStus/ppl… 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/SICStus/ppl…

1 0

ppl/interfaces/C ppl_c.cc
by Roberto Bagnara 09 Jun '02

09 Jun '02

CVSROOT: /cvs/ppl Module name: ppl Changes by: roberto(a)cs.unipr.it 2002-06-09 19:20:27 Modified files: interfaces/C : ppl_c.cc Log message: Use the new bounding box constructors. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/C/ppl_c.cc.diff?cv…

1 0

ppl/src C_Polyhedron.defs.hh C_Polyhedron.inli ...
by Roberto Bagnara 09 Jun '02

09 Jun '02

CVSROOT: /cvs/ppl Module name: ppl Changes by: roberto(a)cs.unipr.it 2002-06-09 19:14:31 Modified files: src : C_Polyhedron.defs.hh C_Polyhedron.inlines.hh NNC_Polyhedron.defs.hh NNC_Polyhedron.inlines.hh globals.hh Log message: Differentiate the bounding box constructors for C_Polyhedron and NNC_Polyhedron from all the other constructors. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/C_Polyhedron.defs.hh.diff… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/C_Polyhedron.inlines.hh.d… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/NNC_Polyhedron.defs.hh.di… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/NNC_Polyhedron.inlines.hh… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/globals.hh.diff?cvsroot=p…

1 0

ppl/interfaces/Prolog Prolog_interface.dox exc ...
by Roberto Bagnara 09 Jun '02

09 Jun '02

1 0

ppl ppl.lsm.in
by Roberto Bagnara 09 Jun '02

09 Jun '02

CVSROOT: /cvs/ppl Module name: ppl Changes by: roberto(a)cs.unipr.it 2002-06-09 16:55:15 Modified files: . : ppl.lsm.in Log message: Updated. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/ppl.lsm.in.diff?cvsroot=ppl&r…

1 0

ppl/Watchdog Makefile.am configure.ac
by Roberto Bagnara 09 Jun '02

09 Jun '02

CVSROOT: /cvs/ppl Module name: ppl Changes by: roberto(a)cs.unipr.it 2002-06-09 16:36:10 Modified files: Watchdog : Makefile.am configure.ac Log message: Consistent spelling for Autoconf and Automake. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/Watchdog/Makefile.am.diff?cvs… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/Watchdog/configure.ac.diff?cv…

1 0

ppl configure.ac
by Roberto Bagnara 09 Jun '02

09 Jun '02

CVSROOT: /cvs/ppl Module name: ppl Changes by: roberto(a)cs.unipr.it 2002-06-09 16:34:26 Modified files: . : configure.ac Log message: Set CFLAGS properly. Quote systematically. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/configure.ac.diff?cvsroot=ppl…

1 0

ppl/Watchdog configure.ac
by Roberto Bagnara 09 Jun '02

09 Jun '02

CVSROOT: /cvs/ppl Module name: ppl Changes by: roberto(a)cs.unipr.it 2002-06-09 16:33:34 Modified files: Watchdog : configure.ac Log message: Set CFLAGS properly. Check for header files and library functions only if we are building the library. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/Watchdog/configure.ac.diff?cv…

1 0

ppl ./configure.ac Watchdog/configure.ac
by Roberto Bagnara 09 Jun '02

09 Jun '02

CVSROOT: /cvs/ppl Module name: ppl Changes by: roberto(a)cs.unipr.it 2002-06-09 16:15:58 Modified files: . : configure.ac Watchdog : configure.ac Log message: Be more friendly to compilers different from GCC. 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…

1 0