November 2006 - PPL-devel - BUGSENG Mailman

ppl tests/BD_Shape/constraints1.cc src/BD_Shap ...
by Barbara Quartieri 27 Nov '06

27 Nov '06

CVSROOT: /cvs/ppl Module name: ppl Changes by: quartieri(a)cs.unipr.it 2006-11-27 12:42:54 Modified files: tests/BD_Shape : constraints1.cc src : BD_Shape.templates.hh Log message: Corrected an error in add_constraint() when adding an inconsistent constraint. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/BD_Shape/constraints1.c… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/BD_Shape.templates.hh.dif…

1 0

ppl STANDARDS
by Roberto Bagnara 27 Nov '06

27 Nov '06

CVSROOT: /cvs/ppl Module name: ppl Changes by: bagnara(a)cs.unipr.it 2006-11-27 11:24:03 Modified files: . : STANDARDS Log message: In the section about "Names", added (surely partial) guidelines about when to use lower, upper and mixed case identifiers. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/STANDARDS.diff?cvsroot=ppl&r1…

1 0

ppl/tests/BD_Shape constraints1.cc
by Patricia Hill 27 Nov '06

27 Nov '06

CVSROOT: /cvs/ppl Module name: ppl Changes by: hill(a)cs.unipr.it 2006-11-27 11:09:29 Modified files: tests/BD_Shape : constraints1.cc Log message: Added test05 which shows an error when adding an inconsistent constraint. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/BD_Shape/constraints1.c…

1 0

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

27 Nov '06

CVSROOT: /cvs/ppl Module name: ppl Changes by: hill(a)cs.unipr.it 2006-11-27 09:15:02 Modified files: interfaces/Prolog: ppl_interface_generator_prolog_icc_code.m4 Log message: Corrected ...add_disjuncts code - we must use the C++ name and not the interface name. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/ppl_interfa…

1 0

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

25 Nov '06

CVSROOT: /cvs/ppl Module name: ppl Changes by: zaffanella(a)cs.unipr.it 2006-11-25 14:36:46 Modified files: interfaces/Prolog: ppl_interface_generator_prolog_icc_code.m4 Log message: When calling predicate ppl_*_get_disjunct/2, the resulting PPL object handle is now registered in the track allocation system by calling macro WEAK_REGISTER. These handles should not be deleted by the Prolog programmer. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/ppl_interfa…

1 0

ppl/interfaces/Prolog track_allocation.hh
by Enea Zaffanella 25 Nov '06

25 Nov '06

CVSROOT: /cvs/ppl Module name: ppl Changes by: zaffanella(a)cs.unipr.it 2006-11-25 14:34:00 Modified files: interfaces/Prolog: track_allocation.hh Log message: Added a new set of registered objects whose deletion is under the PPL library responsibility. Added a new method weak_insert() to register addresses to such objects. Added shorthand macro WEAK_REGISTER. When destroying the allocation tracker, the memory leak error message is displayed only when there still are REGISTERed objects (i.e., disregarding WEAK_REGISTERed objects). Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/track_alloc…

1 0

ppl/interfaces/Prolog/tests ppl_interface_gene ...
by Enea Zaffanella 25 Nov '06

25 Nov '06

CVSROOT: /cvs/ppl Module name: ppl Changes by: zaffanella(a)cs.unipr.it 2006-11-25 14:24:14 Modified files: interfaces/Prolog/tests: ppl_interface_generator_predicate_check_code.m4 Log message: Corrected a few bugs leading to memory leaks when checking Pointset_Powerset instantiations. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/tests/ppl_i…

1 0

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

24 Nov '06

CVSROOT: /cvs/ppl Module name: ppl Changes by: hill(a)cs.unipr.it 2006-11-24 17:38:21 Modified files: interfaces/Prolog: ppl_interface_generator_prolog_icc_code.m4 interfaces/Prolog/tests: ppl_interface_generator_predicate_check_code.m4 ppl_predicate_check_common.pl Log message: Removed some redundant code and an erroneous assignment. Improved the definition of all the test data. Improved the tests of predicates for the pointset_powerset domain. 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/tests/ppl_i… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/tests/ppl_p…

1 0

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

24 Nov '06

CVSROOT: /cvs/ppl Module name: ppl Changes by: cimino(a)cs.unipr.it 2006-11-24 15:41:30 Modified files: interfaces/Java/jni: ppl_java_common.cc ppl_java_common.hh interfaces/Java/ppl_java: Makefile.am interfaces/Java/tests: ppl_interface_generator_java_test_java.m4 Added files: interfaces/Java/ppl_java: Domain_Error_Exception.java Invalid_Argument_Exception.java Lenght_Error_Exception.java Logic_Error_Exception.java Overflow_Error_Exception.java Log message: Use appropriate classes to handle various kinds of exceptions coming from the C++ world. 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/ppl_java/Doma… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Java/ppl_java/Inva… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Java/ppl_java/Leng… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Java/ppl_java/Logi… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Java/ppl_java/Over… 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/tests/ppl_int…

1 0

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

24 Nov '06

CVSROOT: /cvs/ppl Module name: ppl Changes by: cimino(a)cs.unipr.it 2006-11-24 14:20:45 Modified files: interfaces/Java/tests: ppl_interface_generator_java_test_java.m4 ppl_interface_generator_java_test_java_code.m4 Log message: Avoid to continue the test if an overflow is detected. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Java/tests/ppl_int… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Java/tests/ppl_int…

1 0