[PPL-devel] [GIT] ppl/ppl(termination): New commits

Roberto Bagnara bagnara at cs.unipr.it
Sat Mar 20 05:30:24 CET 2010


URL:    http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=c161e90b6cb5c389ed316bbf2fddb7d000421a07
Merge: a55e13a59c2877379aa61686371696e30dbabcd1 b831a0b77c3ba4f7dbe716619a8b3f225f430079
Author: Roberto Bagnara <bagnara at cs.unipr.it>
Date:   Sat Mar 20 08:30:07 2010 +0400

    Merge branch 'master' into termination
    
    Conflicts:
    	interfaces/Prolog/ppl_prolog_common.cc

URL:    http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=b831a0b77c3ba4f7dbe716619a8b3f225f430079
Author: François Galea <francois.galea at uvsq.fr>
Date:   Fri Mar 19 22:21:49 2010 +0100

    Fixed a typo in the documentation.

URL:    http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=124faa76cafb6e7cd49df166614178a30a5cedf2
Author: François Galea <francois.galea at uvsq.fr>
Date:   Fri Mar 19 22:07:21 2010 +0100

    Improved the documentation with examples for uses of the big parameter.

URL:    http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=ae2b90afc196deace10b7035dea30d9872d7b8b3
Author: François Galea <francois.galea at uvsq.fr>
Date:   Fri Mar 19 07:44:11 2010 +0100

    Added a couple of tests using the big parameter.

URL:    http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=aa6aa7c819518ebc0b37e18aafbbfcdaddba1016
Author: Marco Poletti <poletti.marco at gmail.com>
Date:   Fri Mar 19 19:00:12 2010 +0100

    Added formatting conventions to the STANDARDS file.

URL:    http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=5911ab1fcc1919d4fd1411018c4bd58fcd36a1dd
Author: Patricia Hill <p.m.hill at leeds.ac.uk>
Date:   Fri Mar 19 09:47:59 2010 +0000

    As in previous commit - ensure initialization of variables.

URL:    http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=9da0e46c90e0eb2d8d0b6e0e54cfd81e793a851d
Author: Patricia Hill <p.m.hill at leeds.ac.uk>
Date:   Fri Mar 19 09:13:09 2010 +0000

    Missing variable initialization added.

URL:    http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=4c45d375b4eced85f65931946464d71f9041cc29
Author: Patricia Hill <p.m.hill at leeds.ac.uk>
Date:   Fri Mar 19 08:53:12 2010 +0000

    Improved documentation for frequency().

URL:    http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=5c439aeac0c888387e97686f09a820e0cd3ea0e5
Author: Enea Zaffanella <zaffanella at cs.unipr.it>
Date:   Fri Mar 19 08:55:40 2010 +0100

    Corrected/improved a few tests in BD_Shape/frequency1.cc.

URL:    http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=ec22adde10fd400c963bc6f1a68a2c5ffbbc3fdc
Author: Enea Zaffanella <zaffanella at cs.unipr.it>
Date:   Thu Mar 18 22:36:41 2010 +0100

    Mention header file partially_reduced_product_test.hh.

URL:    http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=3fe09524b326e388a74486f407583a902d592d75
Author: Enea Zaffanella <zaffanella at cs.unipr.it>
Date:   Thu Mar 18 18:37:22 2010 +0100

    Don't take the address of a temporary object.

URL:    http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=cc825f2bac6aad42678e58b0de97a6a311072ecd
Author: Enea Zaffanella <zaffanella at cs.unipr.it>
Date:   Thu Mar 18 17:38:26 2010 +0100

    Fixed tests/Partially_Reduced_Product/Makefile.am.

URL:    http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=b0ff1e07c69512ffd4c5783fdfdc8479f23e281f
Author: Enea Zaffanella <zaffanella at cs.unipr.it>
Date:   Thu Mar 18 17:15:05 2010 +0100

    Avoid a broken reference to another manual that is built later.

URL:    http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=42397bb0409e662d747acabb988426f743d69829
Author: Enea Zaffanella <zaffanella at cs.unipr.it>
Date:   Thu Mar 18 17:12:09 2010 +0100

    Define the SOURCES for test concatenate1.

URL:    http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=11f7c4080b52e6a367570efce22140db9f4e98d3
Author: Patricia Hill <p.m.hill at leeds.ac.uk>
Date:   Thu Mar 18 14:16:15 2010 +0000

    Avoid leakage when exiting a test.

URL:    http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=a94e7696f13df56977c7fc4eb4f1b8cc985266bb
Author: Patricia Hill <p.m.hill at leeds.ac.uk>
Date:   Thu Mar 18 13:50:12 2010 +0000

    Revised code neede for wrap assign wrap_assign in Java.

URL:    http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=80eafa9e6f521b3b7087d12b16c8a22a7f5c1679
Author: Enea Zaffanella <zaffanella at cs.unipr.it>
Date:   Thu Mar 18 14:17:15 2010 +0100

    Let ppl_*_linear_partition/4 register its outputs to the allocator tracker.

URL:    http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=fd5ac7e7f267a471e528d3f2af1a32bb7ee03ef4
Author: Enea Zaffanella <zaffanella at cs.unipr.it>
Date:   Thu Mar 18 13:04:22 2010 +0100

    Corrected typo: register the C++ pointer, not the Prolog term.

URL:    http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=740bb2d0009ce909ce6c3b93f718a64b1aa4a8a7
Author: Enea Zaffanella <zaffanella at cs.unipr.it>
Date:   Thu Mar 18 12:37:32 2010 +0100

    Corrected the expected results for test fimmel.pip.

URL:    http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=618bf7265df32e845023324fb84a3a7e43d15220
Author: Enea Zaffanella <zaffanella at cs.unipr.it>
Date:   Thu Mar 18 12:15:15 2010 +0100

    Corrected expected result for test sor1d.pip.

URL:    http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=ca5d011c79c78ba930ff60dd63b472f287646108
Author: Enea Zaffanella <zaffanella at cs.unipr.it>
Date:   Thu Mar 18 12:06:43 2010 +0100

    Test 08 may does not overflow when using exact Octagonal_Shapes.

URL:    http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=9919991474edb445eccffbde32a9bf1ccc105617
Author: Enea Zaffanella <zaffanella at cs.unipr.it>
Date:   Thu Mar 18 11:24:38 2010 +0100

    Fixed input file sor1d.pip.
    A line of blanks is not a valid comment line for the input reading routine.

URL:    http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=05ba76777df2d98804a4e75a7c2adfc50d5c2d51
Author: Enea Zaffanella <zaffanella at cs.unipr.it>
Date:   Thu Mar 18 11:22:30 2010 +0100

    Fixed xpected result for sor1d.pip. Minor improvements to ppl_pips.cc.




More information about the PPL-devel mailing list