November 2008 - PPL-devel - BUGSENG Mailman

ppl/interfaces/OCaml/tests Makefile.am
by Enea Zaffanella 20 Nov '08

20 Nov '08

CVSROOT: /cvs/ppl Module name: ppl Changes by: zaffanella(a)cs.unipr.it 2008-11-20 14:02:10 Modified files: interfaces/OCaml/tests: Makefile.am Log message: Build and run the bytecode/native OCaml tests depending on the availability of the bytecode/native OCaml compilers. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/OCaml/tests/Makefi…

1 0

ppl/interfaces/OCaml Makefile.am
by Enea Zaffanella 20 Nov '08

20 Nov '08

CVSROOT: /cvs/ppl Module name: ppl Changes by: zaffanella(a)cs.unipr.it 2008-11-20 14:00:29 Modified files: interfaces/OCaml: Makefile.am Log message: Build the bytecode/native OCaml interfaces depending on the availability of the bytecode/native OCaml compilers (and corresponding mlgmp libraries). Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/OCaml/Makefile.am.…

1 0

ppl/interfaces/OCaml ppl_interface_generator_o ...
by Enea Zaffanella 20 Nov '08

20 Nov '08

CVSROOT: /cvs/ppl Module name: ppl Changes by: zaffanella(a)cs.unipr.it 2008-11-20 13:57:52 Modified files: interfaces/OCaml: ppl_interface_generator_ocaml_ml_code.m4 ppl_interface_generator_ocaml_cc_code.m4 interfaces/OCaml/tests: ppl_interface_generator_ocaml_test_ml_code.m4 Log message: Corrected a bug in the code for the OCaml function ppl_Grid_generalized_affine_(pre)image_with_congruence; also corrected corresponding test. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/OCaml/ppl_interfac… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/OCaml/ppl_interfac… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/OCaml/tests/ppl_in…

1 0

ppl configure.ac
by Enea Zaffanella 20 Nov '08

20 Nov '08

CVSROOT: /cvs/ppl Module name: ppl Changes by: zaffanella(a)cs.unipr.it 2008-11-20 13:53:05 Modified files: . : configure.ac Log message: Check whether or not the OCaml native compiler ocamlopt is available. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/configure.ac.diff?cvsroot=ppl…

1 0

ppl/src Partially_Reduced_Product.templates.hh
by Patricia Hill 20 Nov '08

20 Nov '08

CVSROOT: /cvs/ppl Module name: ppl Changes by: hill(a)cs.unipr.it 2008-11-20 13:24:03 Modified files: src : Partially_Reduced_Product.templates.hh Log message: Avoid reducing the product where it is not essential. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Partially_Reduced_Product…

1 0

w3ppl/htdocs/Bugs Bugs.raw archive.raw
by Patricia Hill 20 Nov '08

20 Nov '08

CVSROOT: /cvs/ppl Module name: w3ppl Changes by: hill(a)cs.unipr.it 2008-11-20 12:34:32 Modified files: htdocs/Bugs : Bugs.raw archive.raw Log message: Typo fixed. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/w3ppl/htdocs/Bugs/Bugs.raw.diff?c… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/w3ppl/htdocs/Bugs/archive.raw.dif…

1 0

w3ppl/htdocs/Bugs Bugs.raw archive.raw
by Patricia Hill 20 Nov '08

20 Nov '08

CVSROOT: /cvs/ppl Module name: w3ppl Changes by: hill(a)cs.unipr.it 2008-11-20 10:49:21 Modified files: htdocs/Bugs : Bugs.raw archive.raw Log message: Updated the archive with latest bug. Reordered items in Bugs.raw. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/w3ppl/htdocs/Bugs/Bugs.raw.diff?c… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/w3ppl/htdocs/Bugs/archive.raw.dif…

1 0

w3ppl/htdocs/Bugs Bugs.raw
by Patricia Hill 20 Nov '08

20 Nov '08

CVSROOT: /cvs/ppl Module name: w3ppl Changes by: hill(a)cs.unipr.it 2008-11-20 08:54:57 Modified files: htdocs/Bugs : Bugs.raw Log message: Added an item on the bug in Partially_Reduced_Product<>::time_elapse_assign(). Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/w3ppl/htdocs/Bugs/Bugs.raw.diff?c…

1 0

ppl NEWS
by Patricia Hill 20 Nov '08

20 Nov '08

CVSROOT: /cvs/ppl Module name: ppl Changes by: hill(a)cs.unipr.it 2008-11-20 08:53:35 Modified files: . : NEWS Log message: Added a note concerning the correction of a bug in the Partially_Reduced_Product<>::time_elapse_assign(). Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/NEWS.diff?cvsroot=ppl&r1=1.27…

1 0

ppl src/Partially_Reduced_Product.inlines.hh t ...
by Patricia Hill 20 Nov '08

20 Nov '08

CVSROOT: /cvs/ppl Module name: ppl Changes by: hill(a)cs.unipr.it 2008-11-20 08:40:39 Modified files: src : Partially_Reduced_Product.inlines.hh tests/Partially_Reduced_Product: partiallyreducedproduct2.cc Log message: In the time_elapse, both components must be reduced before doing the operation. The clear_reduced_flag() after the operation removed and the tagged FIXME removed. Test added showing an example that is only correct if the second component is also reduced. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Partially_Reduced_Product… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Partially_Reduced_Produ…

1 0