November 2006 - PPL-devel - BUGSENG Mailman

ppl/interfaces/Prolog ppl_interface_generator_ ...
by Patricia Hill 23 Nov '06

23 Nov '06

CVSROOT: /cvs/ppl Module name: ppl Changes by: hill(a)cs.unipr.it 2006-11-23 17:54:53 Modified files: interfaces/Prolog: ppl_interface_generator_prolog_dat.m4 Log message: Enabled *_get_disjunct Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/ppl_interfa…

1 0

ppl src/BD_Shape.templates.hh tests/BD_Shape/r ...
by Elena Mazzi 23 Nov '06

23 Nov '06

CVSROOT: /cvs/ppl Module name: ppl Changes by: mazzi(a)cs.unipr.it 2006-11-23 17:51:37 Modified files: src : BD_Shape.templates.hh tests/BD_Shape : relations3.cc Log message: Corrected bugs found in BD_Shape::relation_with(g). Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/BD_Shape.templates.hh.dif… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/BD_Shape/relations3.cc.…

1 0

ppl/interfaces/Prolog ppl_interface_generator_ ...
by Enea Zaffanella 23 Nov '06

23 Nov '06

CVSROOT: /cvs/ppl Module name: ppl Changes by: zaffanella(a)cs.unipr.it 2006-11-23 17:19:58 Modified files: interfaces/Prolog: ppl_interface_generator_prolog_dat.m4 ppl_interface_generator_prolog_icc_code.m4 Log message: Corrected the interfacing of Pointset_Powerset iterators: - the predicates *_begin_iterator and *_end_iterator now construct new objects of class iterator (note: not const_iterator) that are registered to the track allocation system; - added a new predicate ppl_@CLASS@_delete_iterator to deallocate an iterator (which is then unregistered); - added implementations for *_increment_iterator and *_decrement_iterator; - corrected *_get_disjunct so as to check the allocation of the iterator; - corrected method *_drop_disjunct so as to update the iterator to point to the next disjunct. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/ppl_interfa… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/ppl_interfa…

1 0

ppl/interfaces/Java/tests ppl_interface_genera ...
by Andrea Cimino 23 Nov '06

23 Nov '06

CVSROOT: /cvs/ppl Module name: ppl Changes by: cimino(a)cs.unipr.it 2006-11-23 15:36:54 Modified files: interfaces/Java/tests: ppl_interface_generator_java_test_java_code.m4 Log message: Use try-catch blocks to allow `make check' pass when coefficients used are not the GMP ones. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Java/tests/ppl_int…

1 0

ppl/interfaces/Prolog/tests pl_check.pl
by Enea Zaffanella 23 Nov '06

23 Nov '06

CVSROOT: /cvs/ppl Module name: ppl Changes by: zaffanella(a)cs.unipr.it 2006-11-23 15:21:22 Modified files: interfaces/Prolog/tests: pl_check.pl Log message: Reactivated check on ppl_MIP_Problem_objective_function. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/tests/pl_ch…

1 0

ppl/interfaces/Prolog ppl_prolog_common.icc
by Enea Zaffanella 23 Nov '06

23 Nov '06

CVSROOT: /cvs/ppl Module name: ppl Changes by: zaffanella(a)cs.unipr.it 2006-11-23 15:00:55 Modified files: interfaces/Prolog: ppl_prolog_common.icc Log message: Corrected method get_linear_expression. Also made it non-templatic, as it shoudl be applied to Linear_Expression objects only. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/ppl_prolog_…

1 0

ppl/interfaces/Java/ppl_java Makefile.am C_Pol ...
by Andrea Cimino 23 Nov '06

23 Nov '06

CVSROOT: /cvs/ppl Module name: ppl Changes by: cimino(a)cs.unipr.it 2006-11-23 13:29:53 Modified files: interfaces/Java/ppl_java: Makefile.am Removed files: interfaces/Java/ppl_java: C_Polyhedron.java Polyhedron.java Log message: Removed old files, now automatically generated, to avoid conflicts when a parallel build is running. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Java/ppl_java/Make… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Java/ppl_java/C_Po… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Java/ppl_java/Poly…

1 0

ppl/interfaces/Java/ppl_java Makefile.am
by Andrea Cimino 23 Nov '06

23 Nov '06

CVSROOT: /cvs/ppl Module name: ppl Changes by: cimino(a)cs.unipr.it 2006-11-23 12:18:10 Modified files: interfaces/Java/ppl_java: Makefile.am Log message: Useless declaration removed. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Java/ppl_java/Make…

1 0

ppl/interfaces/Java/ppl_java Makefile.am
by Andrea Cimino 23 Nov '06

23 Nov '06

CVSROOT: /cvs/ppl Module name: ppl Changes by: cimino(a)cs.unipr.it 2006-11-23 12:09:03 Modified files: interfaces/Java/ppl_java: Makefile.am Log message: ppl_java now compiles if a -j`n' parameter is passed to `make'. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Java/ppl_java/Make…

1 0

ppl/src Checked_Number.defs.hh checked.defs.hh ...
by Abramo Bagnara 23 Nov '06

23 Nov '06

CVSROOT: /cvs/ppl Module name: ppl Branch: altnum Changes by: abagnara(a)cs.unipr.it 2006-11-23 10:50:28 Modified files: src : Checked_Number.defs.hh checked.defs.hh checked_float.inlines.hh checked_numeric_limits.hh Log message: Removed force_integer. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Checked_Number.defs.hh.di… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/checked.defs.hh.diff?cvsr… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/checked_float.inlines.hh.… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/checked_numeric_limits.hh…

1 0