December 2005 - PPL-devel - BUGSENG Mailman

ppl src/LP_Problem.defs.hh src/LP_Problem.inli ...
by Andrea Cimino 12 Dec '05

12 Dec '05

CVSROOT: /cvs/ppl Module name: ppl Branch: simplex Changes by: cimino(a)cs.unipr.it 2005-12-12 13:27:37 Modified files: src : LP_Problem.defs.hh LP_Problem.inlines.hh tests/Polyhedron: LP_Problem1.cc Log message: Added the method `PPL::LP_Problem::optimal_value()'. Modified also LP_Problem1.cc: all seems to work as expected. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/LP_Problem.defs.hh.diff?c… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/LP_Problem.inlines.hh.dif… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Polyhedron/LP_Problem1.…

1 0

ppl/src BD_Shape.inlines.hh
by Enea Zaffanella 10 Dec '05

10 Dec '05

CVSROOT: /cvs/ppl Module name: ppl Branch: simplex Changes by: zaffanella(a)cs.unipr.it 2005-12-10 15:36:40 Modified files: src : BD_Shape.inlines.hh Log message: Exploiting the new LP_Problem class to build a precise BD_Shape starting from the constraints of a polyhedron when SIMPLEX_COMPLEXITY is allowed. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/BD_Shape.inlines.hh.diff?…

1 0

ppl/src BD_Shape.defs.hh
by Enea Zaffanella 09 Dec '05

09 Dec '05

CVSROOT: /cvs/ppl Module name: ppl Changes by: zaffanella(a)cs.unipr.it 2005-12-09 20:54:34 Modified files: src : BD_Shape.defs.hh Log message: Some reorganization of the methods in documentation sections. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/BD_Shape.defs.hh.diff?cvs…

1 0

ppl/src LP_Problem.inlines.hh
by Andrea Cimino 08 Dec '05

08 Dec '05

CVSROOT: /cvs/ppl Module name: ppl Branch: simplex Changes by: cimino(a)cs.unipr.it 2005-12-08 20:26:05 Modified files: src : LP_Problem.inlines.hh Log message: Fixed a bug showed by `ppl_lpsol'. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/LP_Problem.inlines.hh.dif…

1 0

ppl/demos/ppl_lpsol ppl_lpsol.c
by Enea Zaffanella 08 Dec '05

08 Dec '05

CVSROOT: /cvs/ppl Module name: ppl Branch: simplex Changes by: zaffanella(a)cs.unipr.it 2005-12-08 20:01:16 Modified files: demos/ppl_lpsol: ppl_lpsol.c Log message: Corrected a bug in the call of ppl_LP_Problem_optimizing_point(). Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/demos/ppl_lpsol/ppl_lpsol.c.d…

1 0

ppl/src LP_Problem.cc LP_Problem.inlines.hh
by Andrea Cimino 08 Dec '05

08 Dec '05

CVSROOT: /cvs/ppl Module name: ppl Branch: simplex Changes by: cimino(a)cs.unipr.it 2005-12-08 15:22:29 Modified files: src : LP_Problem.cc LP_Problem.inlines.hh Log message: Some switches fixed. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/LP_Problem.cc.diff?cvsroo… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/LP_Problem.inlines.hh.dif…

1 0

[Fwd: [SWIPL] Ann: SWI-Prolog 5.5.39]
by Roberto Bagnara 08 Dec '05

08 Dec '05

Hi there, one of the key features of the forthcoming release of SWI-Prolog is the support for unbounded integers. An investigation I conducted a while ago resulted in the conclusion that supporting both versions of SWI (with bounded integers and with unbounded ones) at the same time would be very difficult. Since for our purposes unbounded integers are of crucial importance, we will have to switch to the new version and abandon the old ones. I will commit the necessary changes to the repository during the weekend. At the same time I will upgrade all the Tinderbox build machines. You are advised to upgrade your machines as well, starting from Monday. Cheers, Roberto -------- Original Message -------- Subject: [SWIPL] Ann: SWI-Prolog 5.5.39 Date: Tue, 29 Nov 2005 23:42:56 +0100 From: Jan Wielemaker <wielemak(a)science.uva.nl> Organization: HCS, University of Amsterdam To: prolog(a)science.uva.nl Hi, I've uploaded SWI-Prolog 5.5.39. Besides the usual small stuff, there are a few things worth mentioning: * If there are no unexpected problems, the next release will be in the week of December 19-23 and will be 5.6.0 (STABLE). * There is a new library clp/simplex.pl by Markus Triska dealing with linear programming problems. Enjoy! * There is a new package called 'nlp' supposed to provide implementations and interfaces to C-libraries for comonly used algorithms in NLP and information retrieval. The initial version provides Porter stem and Double Metaphone. * Fabien Todescato found a long standing bug in the kernel, causing a GC crash if a last-call optimised call calls an autoload predicate where loading the predicate starts a garbage collection. Enjoy --- Jan ------------ For further info, please visit http://www.swi-prolog.org/ To unsubscribe, send a plaintext mail with "unsubscribe prolog <e-mail>" in its body to majordomo(a)science.uva.nl -- Prof. Roberto Bagnara Computer Science Group Department of Mathematics, University of Parma, Italy http://www.cs.unipr.it/~bagnara/ mailto:bagnara@cs.unipr.it

1 1

ppl ./NEWS interfaces/Prolog/Prolog_interface. ...
by Roberto Bagnara 08 Dec '05

08 Dec '05

CVSROOT: /cvs/ppl Module name: ppl Changes by: bagnara(a)cs.unipr.it 2005-12-08 07:10:59 Modified files: . : NEWS interfaces/Prolog: Prolog_interface.dox interfaces/Prolog/SWI: ppl_swiprolog.cc Log message: Added support for SWI-Prolog's unbounded numbers. This requires Prolog version 5.5.40 or later version. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/NEWS.diff?cvsroot=ppl&r1=1.16… 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/SWI/ppl_swi…

1 0

ppl src/LP_Problem.cc src/LP_Problem.defs.hh s ...
by Andrea Cimino 07 Dec '05

07 Dec '05

CVSROOT: /cvs/ppl Module name: ppl Branch: simplex Changes by: cimino(a)cs.unipr.it 2005-12-07 17:31:27 Modified files: src : LP_Problem.cc LP_Problem.defs.hh LP_Problem.inlines.hh tests/Polyhedron: LP_Problem1.cc LP_Problem2.cc Log message: LP_Problem prototypes modified to match the C interface. Modified also the tests. The code needs to be hardly tested. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/LP_Problem.cc.diff?cvsroo… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/LP_Problem.defs.hh.diff?c… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/LP_Problem.inlines.hh.dif… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Polyhedron/LP_Problem1.… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Polyhedron/LP_Problem2.…

1 0

ppl/demos/ppl_lpsol ppl_lpsol.c
by Enea Zaffanella 06 Dec '05

06 Dec '05

CVSROOT: /cvs/ppl Module name: ppl Branch: simplex Changes by: zaffanella(a)cs.unipr.it 2005-12-06 16:26:14 Modified files: demos/ppl_lpsol: ppl_lpsol.c Log message: Using the new interface to the LP_Problem class. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/demos/ppl_lpsol/ppl_lpsol.c.d…

1 0