[PPL-devel] [GIT] ppl/ppl(sparse_matrices): New commits
Roberto Bagnara
bagnara at cs.unipr.it
Thu Mar 18 16:18:30 CET 2010
URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=637d05b3b85f3a940364fe8b2f6517e0a77cc59c
Merge: 0ee77779d7a558144c70ee5420899c6de44ce529 80eafa9e6f521b3b7087d12b16c8a22a7f5c1679
Author: Enea Zaffanella <zaffanella at cs.unipr.it>
Date: Thu Mar 18 16:07:59 2010 +0100
Merge branch 'master' into sparse_matrices
Conflicts:
src/PIP_Tree.cc
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.
URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=2df786e330fbe20f7c268860bd791cc627d4c22a
Author: Enea Zaffanella <zaffanella at cs.unipr.it>
Date: Wed Mar 17 17:14:35 2010 +0100
Fixed a few memory allocation problems in ppl_pips.
Enabled the used of valgrind when running ppl_pips tests.
Corrected the expected result for test fimmel.pip (unsatisfiable problem).
URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=71aa196a1784744ace2efba7d98b39f9ce44dd35
Author: Enea Zaffanella <zaffanella at cs.unipr.it>
Date: Wed Mar 17 17:12:07 2010 +0100
Fixed a couple of resource allocation problems (reported by Marco Poletti).
URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=4d0a50e95c3b824a41f403cecd9d2ee9af92b5f6
Author: Patricia Hill <p.m.hill at leeds.ac.uk>
Date: Wed Mar 17 11:30:48 2010 +0000
Fixed some typos for code related to the wrap_assign java interface.
URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=2fca7306fd2f0ec3e47b7bafbafc04ac63b73920
Author: Patricia Hill <p.m.hill at leeds.ac.uk>
Date: Tue Mar 16 19:25:00 2010 +0000
Added implementation code for Java interface for wrap_assign.
URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=445fe36196ddb18dcce6d19a43890c1dbc669ae6
Author: Patricia Hill <p.m.hill at leeds.ac.uk>
Date: Tue Mar 16 13:11:21 2010 +0000
Allow for the various numeric types in frequency1.cc
URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=80c44d73a29d1585fdffc3f62451877d7e564dc0
Author: Patricia Hill <p.m.hill at leeds.ac.uk>
Date: Tue Mar 16 12:46:29 2010 +0000
Java interface for wrap asign added.
URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=8c3f8ae55af3cb8d3a328bf040803cdb9ac56255
Author: Patricia Hill <p.m.hill at leeds.ac.uk>
Date: Mon Mar 15 16:27:50 2010 +0000
Test changed so as to be meaningful for all integer types.
Comment typos fixed.
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=6060bda39a0fb7b5d8d114d436b81a5a5b1eb74e
Author: François Galea <francois.galea at uvsq.fr>
Date: Thu Mar 11 19:58:03 2010 +0100
Documentation fixes. Added a paragraph about optimizing a linear cost function.
URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=ed91bdf10a46c8a1c886a2f05986e4d90db5f136
Author: Enea Zaffanella <zaffanella at cs.unipr.it>
Date: Wed Mar 10 18:29:05 2010 +0100
Improved checks in PIP_Decision_Node::OK() method.
There is no reason to have Artificial_Parameter::OK() inlined.
Added a couple of comments on code that should be normally unreachable.
URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=61b4c1817137f7ffcf2d996e1aee6aea4f32d2bf
Author: Enea Zaffanella <zaffanella at cs.unipr.it>
Date: Wed Mar 10 18:27:08 2010 +0100
Fixed documentation reference.
URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=374f46632936ca58d8da878da73ac5f28f09a666
Author: Enea Zaffanella <zaffanella at cs.unipr.it>
Date: Wed Mar 10 17:14:26 2010 +0100
Fixed the value of INPUT doxygen configuration variable.
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=65156364caa2da7235862998930736ca27c83236
Author: François Galea <francois.galea at uvsq.fr>
Date: Tue Mar 9 20:28:29 2010 +0100
Added two paragraphs about uses of the big parameter in the documentation.
URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=2d43c54ada25c81f076dd0c353470ec9cbec1543
Author: François Galea <francois.galea at uvsq.fr>
Date: Mon Mar 8 07:56:00 2010 +0100
Documentation fixes.
URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=114f0e38474584e74743f67fd1203487241b60e8
Author: Roberto Bagnara <bagnara at cs.unipr.it>
Date: Tue Mar 9 13:36:12 2010 +0400
Updated.
URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=f06b3826db776f932cb42a63778ce272baf4c560
Author: Roberto Bagnara <bagnara at cs.unipr.it>
Date: Tue Mar 9 13:31:49 2010 +0400
Missing files added.
URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=4e2cacd9738634f10872d5e63f3fa9551d546a7e
Author: Roberto Bagnara <bagnara at cs.unipr.it>
Date: Tue Mar 9 08:52:23 2010 +0400
Restored line erased by mistake.
URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=f9fbde6765402ee509a03d952fdae02115c266fa
Merge: 97bd553465561f16c14e291cc942004cc534df86 a6b23fd18ce9a018918f9054c2c60fe51ff4e2ad
Author: Roberto Bagnara <bagnara at cs.unipr.it>
Date: Tue Mar 9 07:04:15 2010 +0400
Merge branch 'master' into floating_point
Conflicts:
doc/definitions.dox
URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=a6b23fd18ce9a018918f9054c2c60fe51ff4e2ad
Author: Roberto Bagnara <bagnara at cs.unipr.it>
Date: Tue Mar 9 07:00:57 2010 +0400
Version number bumped.
URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=71dcb7f32c6508034075af6673086932649ebe0c
Author: Roberto Bagnara <bagnara at cs.unipr.it>
Date: Tue Mar 9 07:00:37 2010 +0400
Indentation fixed.
URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=97bd553465561f16c14e291cc942004cc534df86
Author: Roberto Amadini <r.amadini at virgilio.it>
Date: Mon Mar 8 21:10:04 2010 +0100
Fixed documentation files.
URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=0a6c325c3b9615411ba40c44743268f33303589a
Author: Roberto Bagnara <bagnara at cs.unipr.it>
Date: Mon Mar 8 18:39:23 2010 +0400
Support newer versions of SWI-Prolog.
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