November 2001 - PPL-devel - BUGSENG Mailman

ppl/interfaces/Prolog/SICStus clpq.pl
by Patricia Hill 06 Nov '01

06 Nov '01

CVSROOT: /cvs/ppl Module name: ppl Changes by: hill(a)cs.unipr.it 2001-11-06 16:55:40 Modified files: interfaces/Prolog/SICStus: clpq.pl Log message: More small improvements made. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/SICStus/clp…

1 0

ppl/interfaces/Prolog/SICStus ack.clpq clpq.pl
by Patricia Hill 06 Nov '01

06 Nov '01

CVSROOT: /cvs/ppl Module name: ppl Changes by: hill(a)cs.unipr.it 2001-11-06 16:04:40 Modified files: interfaces/Prolog/SICStus: ack.clpq clpq.pl Log message: clpq.pl: The comments have been corrected and some simplifications to the code. ack.clpq: A bug in the second clause corrected. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/SICStus/ack… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/SICStus/clp…

1 0

ppl/interfaces/Prolog/SICStus clpq.pl
by Patricia Hill 06 Nov '01

06 Nov '01

CVSROOT: /cvs/ppl Module name: ppl Changes by: hill(a)cs.unipr.it 2001-11-06 15:20:17 Modified files: interfaces/Prolog/SICStus: clpq.pl Log message: Temporary version. This is working but needs commenting and further checking. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/SICStus/clp…

1 0

ppl src/ConSys.cc src/ConSys.defs.hh src/GenSy ...
by Elisa Ricci 05 Nov '01

05 Nov '01

CVSROOT: /cvs/ppl Module name: ppl Changes by: ericci(a)cs.unipr.it 2001-11-05 11:36:50 Modified files: src : ConSys.cc ConSys.defs.hh GenSys.cc GenSys.defs.hh Polyhedron.cc Polyhedron.defs.hh tests : affinetrans.cc error2.cc Log message: Changed the name of some functions: Polyhedron::assign_variable --> Polyhedron::affine_image Polyhedron::substitute_variable --> Polyhedron::affine_preimage GenSys::assign_variable --> GenSys::affine_image ConSys::substitute_variable --> ConSys::affine_preimage The new names are used in the examples and in the tests. 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/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/Polyhedron.cc.diff?cvsroo… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Polyhedron.defs.hh.diff?c… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/affinetrans.cc.diff?cvs… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/error2.cc.diff?cvsroot=…

1 0

ppl/interfaces/Prolog/SICStus smm.clpq
by Roberto Bagnara 05 Nov '01

05 Nov '01

CVSROOT: /cvs/ppl Module name: ppl Changes by: roberto(a)cs.unipr.it 2001-11-05 10:49:23 Added files: interfaces/Prolog/SICStus: smm.clpq Log message: A new example program. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/SICStus/smm…

1 0

Re: gprolog.h
by Roberto Bagnara 05 Nov '01

05 Nov '01

Daniel Diaz wrote: > > Hello Roberto, I have fixed all bugs you mentionned. Thanks! > > The last problem concerns the installation of gprolog.h: > > it is not put in any path where C/C++ compilers would look > > for it. While it is OK to have it in > > > > $prefix/gprolog-1.2.8/include/gprolog.h > > > > it would be handy if the installation procedure could > > set up a symbolic link to it in, say, > > > > $prefix/include/gprolog.h > > > > (unless the user explicitely requests something else, of course). > > I do not yet integrate this but if ou compile via gplc the include path should be correctly passed > to the C compiler using -I... and you can also use the --c-compiler option if you want to use g++. > This should solve this problem. Yes, but my problem comes well before compilation, when my autoconf-generated configure script tries to guess whether gprolog is installed and where gprolog.h is. Perhaps not now, but in the long run I believe the include file will have to be put into some standard place. Thanks again for your help! All the best, Roberto -- Roberto Bagnara Computer Science Group Department of Mathematics, University of Parma, Italy http://www.cs.unipr.it/~bagnara/ mailto:bagnara@cs.unipr.it

1 0

ppl/src Polyhedron.cc
by Elisa Ricci 05 Nov '01

05 Nov '01

CVSROOT: /cvs/ppl Module name: ppl Changes by: ericci(a)cs.unipr.it 2001-11-05 09:57:56 Modified files: src : Polyhedron.cc Log message: At the end of the functions Polyhedron::add_dimensions_and_project and Polyhedron::add_dimensions_and_constraints, we can have an empty polyhedron without the flag EMPTY sets: so, the assertion OK() is modified not to verify if the system of constraints is satisfiable. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Polyhedron.cc.diff?cvsroo…

1 0

ppl/interfaces/Prolog/SICStus ack.clpq fib.clp ...
by Roberto Bagnara 05 Nov '01

05 Nov '01

CVSROOT: /cvs/ppl Module name: ppl Changes by: roberto(a)cs.unipr.it 2001-11-05 09:00:13 Added files: interfaces/Prolog/SICStus: ack.clpq fib.clpq mc91.clpq sumto.clpq Log message: Small programs to test clpq.pl. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/SICStus/ack… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/SICStus/fib… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/SICStus/mc9… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/SICStus/sum…

1 0

ppl/src Polyhedron.cc
by Roberto Bagnara 05 Nov '01

05 Nov '01

CVSROOT: /cvs/ppl Module name: ppl Changes by: roberto(a)cs.unipr.it 2001-11-05 08:57:46 Modified files: src : Polyhedron.cc Log message: The final OK() assertion of Polyhedron::add_dimensions_and_embed() has been modified so as to allow for empty polyhedra. Needs checking. A similar analysis must be conducted on Polyhedron::add_dimensions_and_project(). Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Polyhedron.cc.diff?cvsroo…

1 0

ppl/interfaces/Prolog/SICStus clpq.pl
by Roberto Bagnara 05 Nov '01

05 Nov '01

CVSROOT: /cvs/ppl Module name: ppl Changes by: roberto(a)cs.unipr.it 2001-11-05 08:29:52 Modified files: interfaces/Prolog/SICStus: clpq.pl Log message: Let `.clpq' be the default extension. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/SICStus/clp…

1 0