February 2008 - PPL-devel - BUGSENG Mailman

ppl/src checked.defs.hh checked_float.inlines. ...
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:42:06 Modified files: src : checked.defs.hh checked_float.inlines.hh checked_int.inlines.hh meta_programming.hh Log message: Moved the definitions for Is_Native to meta_programming.hh. Patches: 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_int.inlines.hh.di… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/meta_programming.hh.diff?…

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 09:06:32 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 ppl_predicate_check_common.pl Log message: A couple of bugs in the m4 code fixed Enabled the generation of a few more procedures for certain domains. A bug in the Prolog test files fixed. 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… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/tests/ppl_p…

1 0

ppl/src Checked_Number.defs.hh
by Roberto Bagnara 11 Feb '08

11 Feb '08

CVSROOT: /cvs/ppl Module name: ppl Changes by: bagnara(a)cs.unipr.it 2008-02-11 12:30:01 Modified files: src : Checked_Number.defs.hh Log message: Let external_memory_in_bytes(const Checked_Number<T, Policy>&) return memory_size_type, not size_t. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Checked_Number.defs.hh.di…

1 0

ppl/src Box.defs.hh Box.inlines.hh Box.templat ...
by Roberto Bagnara 11 Feb '08

11 Feb '08

CVSROOT: /cvs/ppl Module name: ppl Changes by: bagnara(a)cs.unipr.it 2008-02-11 12:26:16 Modified files: src : Box.defs.hh Box.inlines.hh Box.templates.hh Log message: Added Box<Interval>::total_memory_in_bytes() and Box<Interval>::memory_size_type external_memory_in_bytes(). Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Box.defs.hh.diff?cvsroot=… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Box.inlines.hh.diff?cvsro… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Box.templates.hh.diff?cvs…

1 0

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

11 Feb '08

CVSROOT: /cvs/ppl Module name: ppl Changes by: bagnara(a)cs.unipr.it 2008-02-11 12:25:09 Modified files: src : Interval.defs.hh Interval.inlines.hh Log message: Added Interval<Boundary, Info>::external_memory_in_bytes() and Interval<Boundary, Info>::total_memory_in_bytes(). 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.inlines.hh.diff?…

1 0

ppl/src Box.defs.hh Box.templates.hh
by Roberto Bagnara 11 Feb '08

11 Feb '08

CVSROOT: /cvs/ppl Module name: ppl Changes by: bagnara(a)cs.unipr.it 2008-02-11 10:15:23 Modified files: src : Box.defs.hh Box.templates.hh Log message: Adde Box<Interval>::topological_closure_assign(). Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Box.defs.hh.diff?cvsroot=… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Box.templates.hh.diff?cvs…

1 0

ppl/src Interval.defs.hh
by Roberto Bagnara 11 Feb '08

11 Feb '08

CVSROOT: /cvs/ppl Module name: ppl Changes by: bagnara(a)cs.unipr.it 2008-02-11 10:10:32 Modified files: src : Interval.defs.hh Log message: Added void Interval<Boundary, Info>::topological_closure_assign(). Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Interval.defs.hh.diff?cvs…

1 0

ppl/src Box.templates.hh
by Roberto Bagnara 11 Feb '08

11 Feb '08

CVSROOT: /cvs/ppl Module name: ppl Changes by: bagnara(a)cs.unipr.it 2008-02-11 09:51:39 Modified files: src : Box.templates.hh Log message: Optimized bool Box<Interval>::is_topologically_closed() const: if !Interval::info_type::store_open, then the box is certainly topologically closed. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Box.templates.hh.diff?cvs…

1 0

w3ppl/htdocs/Documentation ppl_citations.bib
by Roberto Bagnara 11 Feb '08

11 Feb '08

CVSROOT: /cvs/ppl Module name: w3ppl Changes by: bagnara(a)cs.unipr.it 2008-02-11 09:21:47 Modified files: htdocs/Documentation: ppl_citations.bib Log message: Added Henriksen07th. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/w3ppl/htdocs/Documentation/ppl_ci…

1 0

ppl ./instchk.hh interfaces/ppl_interface_gene ...
by Patricia Hill 10 Feb '08

10 Feb '08

CVSROOT: /cvs/ppl Module name: ppl Changes by: hill(a)cs.unipr.it 2008-02-10 22:17:38 Modified files: . : instchk.hh interfaces : ppl_interface_generator_common_dat.m4 interfaces/C : Makefile.am ppl_interface_generator_c_cc.m4 interfaces/Java/jni: Makefile.am ppl_java_common.hh interfaces/OCaml: Makefile.am ppl_ocaml_globals.cc interfaces/Prolog: ppl_prolog_common.icc Log message: Enable all 13 types of boxes in interfaced_boxes.hh for all the interfaces, as they are or as disjuncts to the powerset domain or as components of the product domain. instchk.hh allows for all of these boxes to be arguments to "-instantiations" in the configuration. Macro m4_get_class_index name changed to m4_get_class_counter so that the word "counter" is used consistently for the number associated to the class being generated. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/instchk.hh.diff?cvsroot=ppl&r… 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/C/Makefile.am.diff… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/C/ppl_interface_ge… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Java/jni/Makefile.… 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/OCaml/Makefile.am.… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/OCaml/ppl_ocaml_gl… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/ppl_prolog_…

1 0