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

Roberto Bagnara bagnara at cs.unipr.it
Mon Mar 15 12:55:30 CET 2010 

URL:    http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=c68101c16e7f364d363b801448fa15b33088ed7c
Merge: 8760df47483200e17daf43df3c7ca4ec7aad9185 6060bda39a0fb7b5d8d114d436b81a5a5b1eb74e
Author: Roberto Bagnara <bagnara at cs.unipr.it>
Date:   Mon Mar 15 15:53:22 2010 +0400

    Merge branch 'master' into products

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

    Conflicts resolved.

URL:    http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=7ad2fe744dc6d52c63f1b3480fe451c8b4d3401c
Merge: bbb1ff43e555dabda36b8d5838092ebade985c54 65156364caa2da7235862998930736ca27c83236
Author: Roberto Bagnara <bagnara at cs.unipr.it>
Date:   Wed Mar 10 13:18:29 2010 +0400

    Merge branch 'master' into products
    
    Conflicts:
    	src/Partially_Reduced_Product.templates.hh
    	tests/Partially_Reduced_Product/directproduct2.cc
    	tests/Partially_Reduced_Product/directproduct3.cc
    	tests/Partially_Reduced_Product/directproduct4.cc
    	tests/Partially_Reduced_Product/directproduct5.cc
    	tests/Partially_Reduced_Product/directproduct6.cc
    	tests/Partially_Reduced_Product/partiallyreducedproduct1.cc
    	tests/Partially_Reduced_Product/partiallyreducedproduct2.cc
    	tests/Partially_Reduced_Product/partiallyreducedproduct3.cc
    	tests/Partially_Reduced_Product/partiallyreducedproduct4.cc

URL:    http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=bbb1ff43e555dabda36b8d5838092ebade985c54
Author: Patricia Hill <p.m.hill at leeds.ac.uk>
Date:   Thu Jul 9 14:30:29 2009 +0100

    Corrected test as already corrected in the master branch.

URL:    http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=a648638a1c5f2b288e03625b5dc07a2bc69d9bd8
Author: Patricia Hill <p.m.hill at leeds.ac.uk>
Date:   Sun May 24 08:44:02 2009 +0100

    Further improvements to frequency() code.

URL:    http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=c5965cbb6eed173edfc9120168dce59764b19aee
Author: Patricia Hill <p.m.hill at leeds.ac.uk>
Date:   Sun May 24 08:14:06 2009 +0100

    Code for frequency() improved.

URL:    http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=b01615895b5ccf6112b176ce96eda8c40928d275
Author: Patricia Hill <p.m.hill at leeds.ac.uk>
Date:   Sun May 24 07:11:57 2009 +0100

    A new product called Shape_Preserving_Product added.

URL:    http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=68dd5db1d102fc5bd5157fc14124abc5c5bf9b43
Author: Patricia Hill <p.m.hill at leeds.ac.uk>
Date:   Sat May 23 20:56:45 2009 +0100

    The method frequency() added to the Affine_Space domain.

URL:    http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=0ef46ef0cbc64d9f9a472d433abf01507fd078fd
Author: Patricia Hill <p.m.hill at leeds.ac.uk>
Date:   Sat May 23 20:55:47 2009 +0100

    Bug in frequency() for Octagonal shapes fixed.

URL:    http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=46be509da515e0e7f8909d4a31846876b00bfa02
Author: Patricia Hill <p.m.hill at leeds.ac.uk>
Date:   Fri May 22 15:32:07 2009 +0100

    Added the method frequency() to the Box domain.

URL:    http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=f21ee4e62c55773048617a12a1f1dd8bae349ff9
Author: Patricia Hill <p.m.hill at leeds.ac.uk>
Date:   Fri May 22 11:01:10 2009 +0100

    Added the method frequency() to the Octagonal shape domain.
    
    Improved the code for the same method for BD shapes.
    
    Corrected some typos in comments in these files.

URL:    http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=e13382fd6d7a7f31b23d3b1b377a04043be11780
Author: Patricia Hill <p.m.hill at leeds.ac.uk>
Date:   Thu May 21 09:32:39 2009 +0100

    Added method frequency() to the Polyhedron and BD Shape domains.
    
    This corresponds to the method frequency() already added to
    the Grid domain.
    
    For these domains it checks if the expression has a constant value
    and if so, returns true and gives the value (with frequency 0).
    Otherwise it returns false.

URL:    http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=97e641dd651baeccc600dc077ad7690e6e382649
Author: Patricia Hill <p.m.hill at leeds.ac.uk>
Date:   Wed May 20 08:36:26 2009 +0100

    Revert "Added a warning about non-integrality for wrap_assign()."
    
    This reverts commit 6b9f28ad503f1d43da7a876c4bee7eae9eba185a.

URL:    http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=6b9f28ad503f1d43da7a876c4bee7eae9eba185a
Author: Patricia Hill <p.m.hill at leeds.ac.uk>
Date:   Wed May 20 08:28:58 2009 +0100

    Added a warning about non-integrality for wrap_assign().

URL:    http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=047b85ccd0ddca80f0557b4218a7b8cd61f591f1
Author: Patricia Hill <p.m.hill at leeds.ac.uk>
Date:   Wed May 20 08:25:26 2009 +0100

    Some tests are expected to fail with 8-bit integers.

URL:    http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=49daa080642e8ffdf26942422490a0c8a1e140c9
Author: Patricia Hill <p.m.hill at leeds.ac.uk>
Date:   Tue May 19 17:15:53 2009 +0100

    Removed redundant test files.

URL:    http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=b981fa2a283c3113769955bbfd85d4af5e1485d7
Author: Patricia Hill <p.m.hill at leeds.ac.uk>
Date:   Tue May 19 17:07:14 2009 +0100

    Revised the tests so as to follow the organization for other domains.
    
    Apart from the operation tests, there are specific tests for
    each reduction operator.
    
    Selected tests (in the Makefile) can be checked with the given component order
    and with the component domains reversed.

URL:    http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=49a4bf80ee9964d07fd6aeb0f315975c8e131cc6
Merge: 7d94d1213ad812f7d2a1cec93763247bdab22d34 badd595a0c22e91f4f1653ff8c7d53a3bf15ec50
Author: Roberto Bagnara <bagnara at cs.unipr.it>
Date:   Mon May 18 13:47:31 2009 +0200

    Merge branch 'master' into products

URL:    http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=7d94d1213ad812f7d2a1cec93763247bdab22d34
Author: Patricia Hill <p.m.hill at leeds.ac.uk>
Date:   Sun May 17 09:04:08 2009 +0100

    After the affine (pre)image operations, unset the reduced flag.

URL:    http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=7d519208391e933089c023ddf4d29e1b8b50f9c7
Author: Patricia Hill <p.m.hill at leeds.ac.uk>
Date:   Thu May 14 21:20:06 2009 +0100

    Added two tests based on the examples 5(a), 5(b) in SenS07.
    
    Added print_constraints(const Affine_Space&) to ppl_test.

URL:    http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=4f5a7d280e521fb9e657b6b45798b98637f50229
Author: Patricia Hill <p.m.hill at leeds.ac.uk>
Date:   Thu May 14 07:41:22 2009 +0100

    Added new method frequency() for Grids.

URL:    http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=c7f4b16d84c83be74fb0e62080e2d22b51d170a6
Author: Patricia Hill <p.m.hill at leeds.ac.uk>
Date:   Thu May 14 07:41:22 2009 +0100

    Added new method frequency() for Grids.

URL:    http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=60d5f1fce4d12cdf6fc74f18a4f8feeb7eb61d73
Merge: da0ca32ee95f30d2bcd9111eea74d9b820ad1a14 c8cbb00f29ac4c0d48daf14a9a9d3b93e559e207
Author: Roberto Bagnara <bagnara at cs.unipr.it>
Date:   Wed May 13 11:06:06 2009 +0200

    Merge branch 'master' into products

URL:    http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=da0ca32ee95f30d2bcd9111eea74d9b820ad1a14
Author: Patricia Hill <p.m.hill at leeds.ac.uk>
Date:   Sun May 3 17:22:18 2009 +0100

    Renamed reduction Shrink_Using_Congruences_Reduction to Congruences_Reduction.

URL:    http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=d1cde86de0626030ebb6fa6cae49e3111074a7ee
Author: Patricia Hill <p.m.hill at leeds.ac.uk>
Date:   Sat May 2 11:00:24 2009 +0100

    Reduction methods (Constraints and Shrink_Using_Congruences) improved.
    
    Tests specific to the Constraints_Reduction added.

URL:    http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=5feeaabb6a4e04b1cac64c7715ccfc6354f0c374
Author: Patricia Hill <p.m.hill at leeds.ac.uk>
Date:   Fri May 1 10:16:38 2009 +0100

    Unwanted changes to test01() undone.

URL:    http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=4d9d2424b6b45115d3460e6584f28e416677e163
Merge: 71893349245baa11c7fa1dd9b0a793606b4bce4c 827e54079b1ec6528dd5d185c8d8d0694c891587
Author: Roberto Bagnara <bagnara at cs.unipr.it>
Date:   Wed Apr 29 14:44:49 2009 +0200

    Merge branch 'master' into products

URL:    http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=71893349245baa11c7fa1dd9b0a793606b4bce4c
Author: Patricia M. Hill <hill at comp.leeds.ac.uk>
Date:   Mon Jan 5 13:54:39 2009 +0000

    Added a reduction method Shrink_Using_Congruences_Reduction<>
    and the product Shrink_Using_Congruences_Product<>
    that assumes this reduction.
    
    Several "FIXME"s dealt with.

URL:    http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=00d817596a9b79824d737800ddd9ef57f054adb1
Author: Roberto Bagnara <bagnara at cs.unipr.it>
Date:   Sat Dec 13 10:28:13 2008 +0000

    This commit was generated by cvs to git conversion to create branch
    'products'.

More information about the PPL-devel mailing list