November 2006 - PPL-devel - BUGSENG Mailman

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

19 Nov '06

CVSROOT: /cvs/ppl Module name: ppl Changes by: hill(a)cs.unipr.it 2006-11-19 23:12:42 Modified files: interfaces/Prolog: ppl_interface_generator_prolog_dat.m4 ppl_interface_generator_prolog_icc_code.m4 Log message: Prolog interface predicates ppl_..._get_disjunct and ppl_..._drop_disjunct draft code added. 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/src Interval.defs.hh Interval_Info.defs.hh ...
by Abramo Bagnara 19 Nov '06

19 Nov '06

CVSROOT: /cvs/ppl Module name: ppl Branch: altnum Changes by: abagnara(a)cs.unipr.it 2006-11-19 11:27:55 Modified files: src : Interval.defs.hh Interval_Info.defs.hh Rational_Box.hh Log message: Allow Interval inheritance. Removed check_empty_args policy. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Interval.defs.hh.diff?cvs… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Interval_Info.defs.hh.dif… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Rational_Box.hh.diff?cvsr…

1 0

ppl/src checked.defs.hh checked_ext.inlines.hh ...
by Abramo Bagnara 19 Nov '06

19 Nov '06

1 0

ppl/src compiler.hh
by Abramo Bagnara 19 Nov '06

19 Nov '06

CVSROOT: /cvs/ppl Module name: ppl Branch: altnum Changes by: abagnara(a)cs.unipr.it 2006-11-19 11:22:21 Modified files: src : compiler.hh Log message: Added ENABLE_IF macro. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/compiler.hh.diff?cvsroot=…

1 0

ppl ./CREDITS ./ChangeLog ./INSTALL ./NEWS ./S ...
by Roberto Bagnara 18 Nov '06

18 Nov '06

1 0

ppl/interfaces/Java/jni ppl_interface_generato ...
by Andrea Cimino 18 Nov '06

18 Nov '06

CVSROOT: /cvs/ppl Module name: ppl Changes by: cimino(a)cs.unipr.it 2006-11-18 16:50:39 Modified files: interfaces/Java/jni: ppl_interface_generator_java_ppl_java_classes_cc_code.m4 Log message: A couple of bugs fixed in the generation of the C++ code. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Java/jni/ppl_inter…

1 0

ppl/interfaces/Java/jni ppl_interface_generato ...
by Andrea Cimino 18 Nov '06

18 Nov '06

CVSROOT: /cvs/ppl Module name: ppl Changes by: cimino(a)cs.unipr.it 2006-11-18 16:02:21 Modified files: interfaces/Java/jni: ppl_interface_generator_java_ppl_java_classes_cc_code.m4 ppl_java_common.hh Log message: Ensure that a jlong fits in a unsigned type for methods that need that check. Some m4 code fixes. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Java/jni/ppl_inter… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Java/jni/ppl_java_…

1 0

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

18 Nov '06

CVSROOT: /cvs/ppl Module name: ppl Branch: altnum Changes by: abagnara(a)cs.unipr.it 2006-11-18 11:26:50 Modified files: src : Checked_Number.defs.hh checked.defs.hh checked_numeric_limits.hh Log message: Added force_integer policy flag. 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_numeric_limits.hh…

1 0

ppl/src compiler.hh
by Abramo Bagnara 18 Nov '06

18 Nov '06

CVSROOT: /cvs/ppl Module name: ppl Branch: altnum Changes by: abagnara(a)cs.unipr.it 2006-11-18 11:25:42 Modified files: src : compiler.hh Log message: Added some useful functions for static expressions. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/compiler.hh.diff?cvsroot=…

1 0

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

18 Nov '06

CVSROOT: /cvs/ppl Module name: ppl Changes by: hill(a)cs.unipr.it 2006-11-18 09:24:04 Modified files: interfaces/Prolog: ppl_interface_generator_prolog_dat.m4 ppl_interface_generator_prolog_icc_code.m4 interfaces/Prolog/tests: ppl_interface_generator_predicate_check_code.m4 Log message: Added predicates ppl_@CLASS@_begin_iterator\2 and ppl_@CLASS@_end_iterator\2. Temporarily disabled check for geometrically_equals predicate. 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… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/tests/ppl_i…

1 0