November 2006 - PPL-devel - BUGSENG Mailman

ppl/src Box.templates.hh
by Enea Zaffanella 09 Nov '06

09 Nov '06

CVSROOT: /cvs/ppl Module name: ppl Branch: altnum Changes by: zaffanella(a)cs.unipr.it 2006-11-09 13:55:30 Modified files: src : Box.templates.hh Log message: Drafted (partial) implementation of the affine_image() method. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Box.templates.hh.diff?cvs…

1 0

ppl/src Box.defs.hh
by Enea Zaffanella 09 Nov '06

09 Nov '06

CVSROOT: /cvs/ppl Module name: ppl Branch: altnum Changes by: zaffanella(a)cs.unipr.it 2006-11-09 13:53:49 Modified files: src : Box.defs.hh Log message: Added declarations for all the affine image/preimage methods. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Box.defs.hh.diff?cvsroot=…

1 0

ppl/tests/Octagonal_Shape bounds1.cc
by Barbara Quartieri 09 Nov '06

09 Nov '06

CVSROOT: /cvs/ppl Module name: ppl Changes by: quartieri(a)cs.unipr.it 2006-11-09 13:42:46 Modified files: tests/Octagonal_Shape: bounds1.cc Log message: Added some tests on bounds_from_above() and bounds_from_below() checking universal octagons. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Octagonal_Shape/bounds1…

1 0

ppl/src MIP_Problem.cc
by Andrea Cimino 09 Nov '06

09 Nov '06

CVSROOT: /cvs/ppl Module name: ppl Changes by: cimino(a)cs.unipr.it 2006-11-09 13:37:47 Modified files: src : MIP_Problem.cc Log message: The previous correction didn't work as expected. Now MIP_Problem should work also when the tableau is empty. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/MIP_Problem.cc.diff?cvsro…

1 0

ppl/interfaces/Java/jni ppl_java_common.cc
by Andrea Cimino 09 Nov '06

09 Nov '06

CVSROOT: /cvs/ppl Module name: ppl Changes by: cimino(a)cs.unipr.it 2006-11-09 12:30:44 Modified files: interfaces/Java/jni: ppl_java_common.cc Log message: Removed some prints used for debugging purposes. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Java/jni/ppl_java_…

1 0

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

09 Nov '06

CVSROOT: /cvs/ppl Module name: ppl Changes by: cimino(a)cs.unipr.it 2006-11-09 12:27:35 Modified files: interfaces/Java/jni: ppl_java_Polyhedron.cc ppl_java_common.cc ppl_java_common.hh interfaces/Java/ppl_java: Polyhedron.java Variable.java Added files: interfaces/Java/ppl_java: Variables_Set.java Log message: Added the Variables_Set class to the repository. Implemented other native methods that belongs to Polyhedron. Added other routine functions. 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/Vari… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Java/ppl_java/Poly… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Java/ppl_java/Vari…

1 0

ppl/src Octagonal_Shape.templates.hh
by Barbara Quartieri 09 Nov '06

09 Nov '06

CVSROOT: /cvs/ppl Module name: ppl Changes by: quartieri(a)cs.unipr.it 2006-11-09 11:47:40 Modified files: src : Octagonal_Shape.templates.hh Log message: Removed the control on the universal Octagonal_Shape cause MIP_Problem handles this case properly. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Octagonal_Shape.templates…

1 0

ppl/interfaces/Prolog/tests ppl_interface_gene ...
by Patricia Hill 09 Nov '06

09 Nov '06

CVSROOT: /cvs/ppl Module name: ppl Changes by: hill(a)cs.unipr.it 2006-11-09 10:40:14 Modified files: interfaces/Prolog/tests: ppl_interface_generator_predicate_check_code.m4 ppl_interface_generator_predicate_check_extra_code Log message: Several bugs in the testing framework fixed. Added test07 to the test data. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/tests/ppl_i… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/tests/ppl_i…

1 0

ppl/src MIP_Problem.cc
by Andrea Cimino 09 Nov '06

09 Nov '06

CVSROOT: /cvs/ppl Module name: ppl Changes by: cimino(a)cs.unipr.it 2006-11-09 10:36:30 Modified files: src : MIP_Problem.cc Log message: Fixed another bug in MIP_Problem. A wrong status was computed if minimization was requested and the internal tableau was empty. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/MIP_Problem.cc.diff?cvsro…

1 0

ppl/src Interval.defs.hh
by Abramo Bagnara 09 Nov '06

09 Nov '06

CVSROOT: /cvs/ppl Module name: ppl Branch: altnum Changes by: abagnara(a)cs.unipr.it 2006-11-09 10:26:13 Modified files: src : Interval.defs.hh Log message: Avoid comparisons statically unsafe. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Interval.defs.hh.diff?cvs…

1 0