June 2002 - PPL-devel - BUGSENG Mailman

ppl/interfaces/C/lpenum Makefile.am expected
by Roberto Bagnara 30 Jun '02

30 Jun '02

CVSROOT: /cvs/ppl Module name: ppl Changes by: roberto(a)cs.unipr.it 2002-06-30 09:39:46 Modified files: interfaces/C/lpenum: Makefile.am expected Log message: Make sure `make check' can succeed: distribute `expected' and produce `obtained' so that it contains only the basenames of the MPS files. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/C/lpenum/Makefile.… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/C/lpenum/expected.…

1 0

ppl/interfaces/C/lpenum Makefile.am lpenum.c e ...
by Roberto Bagnara 30 Jun '02

30 Jun '02

CVSROOT: /cvs/ppl Module name: ppl Changes by: roberto(a)cs.unipr.it 2002-06-30 01:19:44 Modified files: interfaces/C/lpenum: Makefile.am lpenum.c Added files: interfaces/C/lpenum: expected Log message: Enable `make check'. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/C/lpenum/expected.… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/C/lpenum/Makefile.… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/C/lpenum/lpenum.c.…

1 0

ppl/interfaces/Prolog Prolog_interface.dox ppl ...
by Patricia Hill 29 Jun '02

29 Jun '02

CVSROOT: /cvs/ppl Module name: ppl Changes by: hill(a)cs.unipr.it 2002-06-29 21:44:22 Modified files: interfaces/Prolog: Prolog_interface.dox ppl_prolog.icc interfaces/Prolog/Ciao: ppl_ciao.pl interfaces/Prolog/GNU: ppl_gprolog.pl interfaces/Prolog/SICStus: ppl_sicstus_sd.cc interfaces/Prolog/SWI: ppl_swiprolog.cc interfaces/Prolog/YAP: ppl_yap.cc Log message: Added documentation for Prolog interface predicates bounds from above/below and moved definitions to follow that of is_bounded. 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/ppl_prolog.… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/Ciao/ppl_ci… 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/SWI/ppl_swi… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/YAP/ppl_yap…

1 0

ppl/interfaces/C/lpenum lpenum.c
by Roberto Bagnara 29 Jun '02

29 Jun '02

CVSROOT: /cvs/ppl Module name: ppl Changes by: roberto(a)cs.unipr.it 2002-06-29 19:15:06 Modified files: interfaces/C/lpenum: lpenum.c Log message: Options --max-cpu, --max-memory and --output implemented. Options --minimize and --maximize renamed --min and --max to match the options of `glpsol'. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/C/lpenum/lpenum.c.…

1 0

ppl/interfaces/C/lpenum Makefile.am
by Roberto Bagnara 29 Jun '02

29 Jun '02

CVSROOT: /cvs/ppl Module name: ppl Changes by: roberto(a)cs.unipr.it 2002-06-29 19:13:15 Modified files: interfaces/C/lpenum: Makefile.am Log message: Add ex1.mps and unboundedmin.mps to MPS_FILES. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/C/lpenum/Makefile.…

1 0

ppl/interfaces/Prolog pl_check.pl ppl_prolog.i ...
by Patricia Hill 29 Jun '02

29 Jun '02

CVSROOT: /cvs/ppl Module name: ppl Changes by: hill(a)cs.unipr.it 2002-06-29 14:38:05 Modified files: interfaces/Prolog: pl_check.pl ppl_prolog.icc interfaces/Prolog/Ciao: ppl_ciao.pl interfaces/Prolog/GNU: ppl_gprolog.pl interfaces/Prolog/SICStus: ppl_sicstus_sd.cc interfaces/Prolog/SWI: ppl_swiprolog.cc interfaces/Prolog/YAP: ppl_yap.cc Log message: Predicates for bounds_from_above/below added to Prolog interface. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/pl_check.pl… 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/Ciao/ppl_ci… 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/SWI/ppl_swi… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/YAP/ppl_yap…

1 0

C++ interface and mpz_addmul
by Roberto Bagnara 29 Jun '02

29 Jun '02

Hi there, it seems that C++ statements of the form a += b*c for a, b and c of type mpz_class, are not translated by the C++ interface into an invocation of mpz_addmul. The reason I am asking is twofold: on the one hand, expressions like that are quite common in several applications and they usually occur in critical computation paths (e.g., applications computing zillions of scalar products); on the other hand, the template machinery used to implement the C++ interface of GMP would seem powerful enough to do the right thing. Am I missing something? If not, are there any plans to enhance the C++ interface so as to capture this case? Thanks a lot Roberto -- Prof. Roberto Bagnara Computer Science Group Department of Mathematics, University of Parma, Italy http://www.cs.unipr.it/~bagnara/ mailto:bagnara@cs.unipr.it

3 2

ppl/interfaces/C/lpenum lpenum.c
by Roberto Bagnara 29 Jun '02

29 Jun '02

CVSROOT: /cvs/ppl Module name: ppl Changes by: roberto(a)cs.unipr.it 2002-06-29 08:24:04 Modified files: interfaces/C/lpenum: lpenum.c Log message: Correctly check whether the given problem is unbounded. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/C/lpenum/lpenum.c.…

1 0

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

29 Jun '02

CVSROOT: /cvs/ppl Module name: ppl Changes by: roberto(a)cs.unipr.it 2002-06-29 08:23:35 Modified files: interfaces/C : ppl_c.cc ppl_c.h Log message: Added ppl_Polyhedron_bounds_from_above() and ppl_Polyhedron_bounds_from_below(). 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 Polyhedron.cc Polyhedron.defs.hh Polyh ...
by Roberto Bagnara 29 Jun '02

29 Jun '02

CVSROOT: /cvs/ppl Module name: ppl Changes by: roberto(a)cs.unipr.it 2002-06-29 08:21:38 Modified files: src : Polyhedron.cc Polyhedron.defs.hh Polyhedron.inlines.hh Log message: Added bool bounds_from_above(const LinExpression&) const and bool bounds_from_below(const LinExpression&) const: both are implemented in terms of the new bool bounds(const LinExpression& expr, bool from_above) const. Patches: 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/src/Polyhedron.inlines.hh.dif…

1 0