- PPL-devel - BUGSENG Mailman

ppl/tests boundingbox1.cc
by Patricia Hill 10 Jun '02

10 Jun '02

CVSROOT: /cvs/ppl Module name: ppl Changes by: hill(a)cs.unipr.it 2002-06-10 09:13:49 Modified files: tests : boundingbox1.cc Log message: Further small improvements to test file boundingbox1.cc Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/boundingbox1.cc.diff?cv…

1 0

ppl tests/boundingbox1.cc interfaces/Prolog/cl ...
by Patricia Hill 10 Jun '02

10 Jun '02

CVSROOT: /cvs/ppl Module name: ppl Changes by: hill(a)cs.unipr.it 2002-06-10 08:41:43 Modified files: tests : boundingbox1.cc interfaces/Prolog: clpq2.pl Log message: boundingbox1.cc is improved but needs further testing. clpq2.pl now works with changed interface predicates. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/boundingbox1.cc.diff?cv… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/clpq2.pl.di…

1 0

ppl/tests print.hh
by Roberto Bagnara 10 Jun '02

10 Jun '02

CVSROOT: /cvs/ppl Module name: ppl Changes by: roberto(a)cs.unipr.it 2002-06-10 08:32:40 Modified files: tests : print.hh Log message: Only declarations here. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/print.hh.diff?cvsroot=p…

1 0

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