February 2008 - PPL-devel - BUGSENG Mailman

ppl/src Interval.inlines.hh
by Roberto Bagnara 12 Feb '08

12 Feb '08

CVSROOT: /cvs/ppl Module name: ppl Changes by: bagnara(a)cs.unipr.it 2008-02-12 21:05:05 Modified files: src : Interval.inlines.hh Log message: Silenced a warning. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Interval.inlines.hh.diff?…

1 0

ppl/src Rational_Box.hh Makefile.am
by Roberto Bagnara 12 Feb '08

12 Feb '08

CVSROOT: /cvs/ppl Module name: ppl Changes by: bagnara(a)cs.unipr.it 2008-02-12 21:04:20 Modified files: src : Rational_Box.hh Makefile.am Log message: Rational_Box is now Box<Rational_Interval>. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Rational_Box.hh.diff?cvsr… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Makefile.am.diff?cvsroot=…

1 0

ppl/src Rational_Interval.hh
by Roberto Bagnara 12 Feb '08

12 Feb '08

CVSROOT: /cvs/ppl Module name: ppl Changes by: bagnara(a)cs.unipr.it 2008-02-12 21:03:39 Added files: src : Rational_Interval.hh Log message: Rational_Interval is an internal class implementing an interval with rational, possibly open boundaries. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Rational_Interval.hh?cvsr…

1 0

ppl/src meta_programming.hh checked_mpz.inline ...
by Roberto Bagnara 12 Feb '08

12 Feb '08

CVSROOT: /cvs/ppl Module name: ppl Changes by: bagnara(a)cs.unipr.it 2008-02-12 21:01:30 Modified files: src : meta_programming.hh checked_mpz.inlines.hh checked_mpq.inlines.hh Log message: More Is_Native specializations moved to meta_programming.hh. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/meta_programming.hh.diff?… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/checked_mpz.inlines.hh.di… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/checked_mpq.inlines.hh.di…

1 0

ppl/interfaces/Prolog/tests ppl_interface_gene ...
by Patricia Hill 12 Feb '08

12 Feb '08

CVSROOT: /cvs/ppl Module name: ppl Changes by: hill(a)cs.unipr.it 2008-02-12 18:13:36 Modified files: interfaces/Prolog/tests: ppl_interface_generator_predicate_check_code.m4 Log message: Avoid some annoying warning messages. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/tests/ppl_i…

1 0

ppl/interfaces ppl_interface_generator_common_ ...
by Patricia Hill 12 Feb '08

12 Feb '08

CVSROOT: /cvs/ppl Module name: ppl Changes by: hill(a)cs.unipr.it 2008-02-12 18:07:13 Modified files: interfaces : ppl_interface_generator_common_dat.m4 ppl_interface_generator_common_procedure_generators.m4 interfaces/Prolog/tests: ppl_interface_generator_predicate_check_code.m4 Log message: Enable the memory_in_bytes methods for pointset_powersets of boxes and for products with boxes as components. The Prolog tests expected results have to allow for any Uint*_Box. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/ppl_interface_gene… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/ppl_interface_gene… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/tests/ppl_i…

1 0

ppl configure.ac
by Roberto Bagnara 12 Feb '08

12 Feb '08

CVSROOT: /cvs/ppl Module name: ppl Changes by: bagnara(a)cs.unipr.it 2008-02-12 13:45:54 Modified files: . : configure.ac Log message: Allow digits in the computation of `required_instantiations_java_sources'. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/configure.ac.diff?cvsroot=ppl…

1 0

ppl/src GMP_Integer.defs.hh
by Roberto Bagnara 12 Feb '08

12 Feb '08

CVSROOT: /cvs/ppl Module name: ppl Changes by: bagnara(a)cs.unipr.it 2008-02-12 12:12:30 Modified files: src : GMP_Integer.defs.hh Log message: Previous commit completed. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/GMP_Integer.defs.hh.diff?…

1 0

ppl/src GMP_Integer.inlines.hh Interval.inline ...
by Roberto Bagnara 12 Feb '08

12 Feb '08

CVSROOT: /cvs/ppl Module name: ppl Changes by: bagnara(a)cs.unipr.it 2008-02-12 12:11:56 Modified files: src : GMP_Integer.inlines.hh Interval.inlines.hh checked_mpq.inlines.hh checked_mpz.inlines.hh globals.defs.hh globals.inlines.hh Log message: Moved all the memory occupation inspection functions to globals.*. In GMP_Integer.defs.hh we keep the declarations of memory_size_type total_memory_in_bytes(const GMP_Integer& x) and memory_size_type external_memory_in_bytes(const GMP_Integer& x), in order to obey the rule "every public PPL object has memory inspection functions." However, not to confuse Doxygen with (apparently) duplicated documentation, the documentation of the declarations in GMP_Integer.defs.hh is controlled by #ifndef PPL_DOXYGEN_INCLUDE_IMPLEMENTATION_DETAILS. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/GMP_Integer.inlines.hh.di… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Interval.inlines.hh.diff?… 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… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/globals.defs.hh.diff?cvsr… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/globals.inlines.hh.diff?c…

1 0

ppl/src globals.defs.hh globals.inlines.hh
by Roberto Bagnara 12 Feb '08

12 Feb '08

CVSROOT: /cvs/ppl Module name: ppl Changes by: bagnara(a)cs.unipr.it 2008-02-12 11:43:11 Modified files: src : globals.defs.hh globals.inlines.hh Log message: Added template <typename T> memory_size_type external_memory_in_bytes(const T&) enabled for all native types T. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/globals.defs.hh.diff?cvsr… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/globals.inlines.hh.diff?c…

1 0