November 2006 - PPL-devel - BUGSENG Mailman

ppl/src Box.inlines.hh
by Enea Zaffanella 08 Nov '06

08 Nov '06

CVSROOT: /cvs/ppl Module name: ppl Branch: altnum Changes by: zaffanella(a)cs.unipr.it 2006-11-08 15:27:53 Modified files: src : Box.inlines.hh Log message: Temporarily patched the default constructor and method add_space_dimensions_and_embed() so as to match tehir specification. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Box.inlines.hh.diff?cvsro…

1 0

ppl doc/Makefile.am interfaces/C/Makefile.am i ...
by Roberto Bagnara 08 Nov '06

08 Nov '06

1 0

Re: [PPL-devel] PPL and integer programming
by Roberto Bagnara 08 Nov '06

08 Nov '06

Andy Moser wrote: > It would be really great if we could get the CVS version of the PPL from > you! > > We have a paper deadline coming very soon so maybe you could give us a > snapshot as soon as possible? :) We don't mind if it's not perfect, we > just want to see if it works with the tool we developed as soon as > possible. Dear Andy, we are working on it. We need to solve a few packaging problems and make sure the snapshot passes all the safety checks. Which platform are you using? Which version of which compiler? If your configuration is similar enough to ours, we count on having a snapshot ready for you by Friday. All the best, 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

1 0

ppl/interfaces/Java jni/ppl_java_Polyhedron.cc ...
by Andrea Cimino 08 Nov '06

08 Nov '06

CVSROOT: /cvs/ppl Module name: ppl Changes by: cimino(a)cs.unipr.it 2006-11-08 14:47:58 Modified files: interfaces/Java/jni: ppl_java_Polyhedron.cc ppl_java_common.cc ppl_java_common.hh interfaces/Java/ppl_java: Polyhedron.java Log message: Added other methods to the Java C_Polyhedron inteface. Added new routine methods. Revised several comments. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Java/jni/ppl_java_… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Java/jni/ppl_java_… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Java/jni/ppl_java_… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Java/ppl_java/Poly…

1 0

ppl/src Checked_Number.inlines.hh
by Abramo Bagnara 08 Nov '06

08 Nov '06

CVSROOT: /cvs/ppl Module name: ppl Branch: altnum Changes by: abagnara(a)cs.unipr.it 2006-11-08 13:57:45 Modified files: src : Checked_Number.inlines.hh Log message: Reverted changed commited by mistake. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Checked_Number.inlines.hh…

1 0

ppl/src Checked_Number.inlines.hh Interval.defs.hh
by Abramo Bagnara 08 Nov '06

08 Nov '06

CVSROOT: /cvs/ppl Module name: ppl Branch: altnum Changes by: abagnara(a)cs.unipr.it 2006-11-08 13:55:53 Modified files: src : Checked_Number.inlines.hh Interval.defs.hh Log message: Added missing signatures for operator==. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Checked_Number.inlines.hh… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Interval.defs.hh.diff?cvs…

1 0

ppl/src MIP_Problem.defs.hh
by Enea Zaffanella 08 Nov '06

08 Nov '06

CVSROOT: /cvs/ppl Module name: ppl Changes by: zaffanella(a)cs.unipr.it 2006-11-08 13:53:41 Modified files: src : MIP_Problem.defs.hh Log message: Minor change in the documentation: name the set of integer variables in the brief description of a constructor. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/MIP_Problem.defs.hh.diff?…

1 0

ppl/tests/Polyhedron linearpartition1.cc
by Roberto Bagnara 08 Nov '06

08 Nov '06

CVSROOT: /cvs/ppl Module name: ppl Changes by: bagnara(a)cs.unipr.it 2006-11-08 13:33:24 Modified files: tests/Polyhedron: linearpartition1.cc Log message: Refer to Pointset_Powerset<PH> instead of Powerset<Determinate<PH> >. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Polyhedron/linearpartit…

1 0

ppl/src checked_ext.inlines.hh checked_int.inl ...
by Abramo Bagnara 08 Nov '06

08 Nov '06

CVSROOT: /cvs/ppl Module name: ppl Branch: altnum Changes by: abagnara(a)cs.unipr.it 2006-11-08 12:01:29 Modified files: src : checked_ext.inlines.hh checked_int.inlines.hh checked_mpq.inlines.hh checked_mpz.inlines.hh Log message: Pushed native extended handling to lowest level. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/checked_ext.inlines.hh.di… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/checked_int.inlines.hh.di… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/checked_mpq.inlines.hh.di… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/checked_mpz.inlines.hh.di…

1 0

ppl src/Octagonal_Shape.defs.hh src/Octagonal_ ...
by Barbara Quartieri 08 Nov '06

08 Nov '06

CVSROOT: /cvs/ppl Module name: ppl Changes by: quartieri(a)cs.unipr.it 2006-11-08 11:38:00 Modified files: src : Octagonal_Shape.defs.hh Octagonal_Shape.inlines.hh Octagonal_Shape.templates.hh tests/Octagonal_Shape: Makefile.am Added files: tests/Octagonal_Shape: bounds1.cc max_min1.cc Log message: Defined the methods: - bounds(); - bounds_from_above(); - bounds_from_below(); - max_min(); - maximize(); - minimize(); and added some tests on them. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Octagonal_Shape.defs.hh.d… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Octagonal_Shape.inlines.h… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Octagonal_Shape.templates… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Octagonal_Shape/bounds1… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Octagonal_Shape/max_min… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Octagonal_Shape/Makefil…

1 0