URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=637d05b3b85f3... Merge: 0ee77779d7a558144c70ee5420899c6de44ce529 80eafa9e6f521b3b7087d12b16c8a22a7f5c1679 Author: Enea Zaffanella zaffanella@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=80eafa9e6f521... Author: Enea Zaffanella zaffanella@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=fd5ac7e7f267a... Author: Enea Zaffanella zaffanella@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=740bb2d0009ce... Author: Enea Zaffanella zaffanella@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=618bf7265df32... Author: Enea Zaffanella zaffanella@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=ca5d011c79c78... Author: Enea Zaffanella zaffanella@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=9919991474edb... Author: Enea Zaffanella zaffanella@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=05ba76777df2d... Author: Enea Zaffanella zaffanella@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=2df786e330fbe... Author: Enea Zaffanella zaffanella@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=71aa196a17847... Author: Enea Zaffanella zaffanella@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=4d0a50e95c3b8... Author: Patricia Hill p.m.hill@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=2fca7306fd2f0... Author: Patricia Hill p.m.hill@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=445fe36196ddb... Author: Patricia Hill p.m.hill@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=80c44d73a29d1... Author: Patricia Hill p.m.hill@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=8c3f8ae55af3c... Author: Patricia Hill p.m.hill@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=c68101c16e7f3... Merge: 8760df47483200e17daf43df3c7ca4ec7aad9185 6060bda39a0fb7b5d8d114d436b81a5a5b1eb74e Author: Roberto Bagnara bagnara@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=8760df4748320... Author: Patricia Hill p.m.hill@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=6060bda39a0fb... Author: François Galea francois.galea@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=ed91bdf10a46c... Author: Enea Zaffanella zaffanella@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=61b4c1817137f... Author: Enea Zaffanella zaffanella@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=374f46632936c... Author: Enea Zaffanella zaffanella@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=7ad2fe744dc6d... Merge: bbb1ff43e555dabda36b8d5838092ebade985c54 65156364caa2da7235862998930736ca27c83236 Author: Roberto Bagnara bagnara@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=65156364caa2d... Author: François Galea francois.galea@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=2d43c54ada25c... Author: François Galea francois.galea@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=114f0e3847458... Author: Roberto Bagnara bagnara@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=f06b3826db776... Author: Roberto Bagnara bagnara@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=4e2cacd973863... Author: Roberto Bagnara bagnara@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=f9fbde6765402... Merge: 97bd553465561f16c14e291cc942004cc534df86 a6b23fd18ce9a018918f9054c2c60fe51ff4e2ad Author: Roberto Bagnara bagnara@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=a6b23fd18ce9a... Author: Roberto Bagnara bagnara@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=71dcb7f32c650... Author: Roberto Bagnara bagnara@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=97bd553465561... Author: Roberto Amadini r.amadini@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=0a6c325c3b961... Author: Roberto Bagnara bagnara@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=bbb1ff43e555d... Author: Patricia Hill p.m.hill@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=a648638a1c5f2... Author: Patricia Hill p.m.hill@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=c5965cbb6eed1... Author: Patricia Hill p.m.hill@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=b01615895b5cc... Author: Patricia Hill p.m.hill@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=68dd5db1d102f... Author: Patricia Hill p.m.hill@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=0ef46ef0cbc64... Author: Patricia Hill p.m.hill@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=46be509da515e... Author: Patricia Hill p.m.hill@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=f21ee4e62c557... Author: Patricia Hill p.m.hill@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=e13382fd6d7a7... Author: Patricia Hill p.m.hill@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=97e641dd651ba... Author: Patricia Hill p.m.hill@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=6b9f28ad503f1... Author: Patricia Hill p.m.hill@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=047b85ccd0ddc... Author: Patricia Hill p.m.hill@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=49daa080642e8... Author: Patricia Hill p.m.hill@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=b981fa2a283c3... Author: Patricia Hill p.m.hill@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=49a4bf80ee996... Merge: 7d94d1213ad812f7d2a1cec93763247bdab22d34 badd595a0c22e91f4f1653ff8c7d53a3bf15ec50 Author: Roberto Bagnara bagnara@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=7d94d1213ad81... Author: Patricia Hill p.m.hill@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=7d519208391e9... Author: Patricia Hill p.m.hill@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=4f5a7d280e521... Author: Patricia Hill p.m.hill@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=c7f4b16d84c83... Author: Patricia Hill p.m.hill@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=60d5f1fce4d12... Merge: da0ca32ee95f30d2bcd9111eea74d9b820ad1a14 c8cbb00f29ac4c0d48daf14a9a9d3b93e559e207 Author: Roberto Bagnara bagnara@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=da0ca32ee95f3... Author: Patricia Hill p.m.hill@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=d1cde86de0626... Author: Patricia Hill p.m.hill@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=5feeaabb6a4e0... Author: Patricia Hill p.m.hill@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=4d9d2424b6b45... Merge: 71893349245baa11c7fa1dd9b0a793606b4bce4c 827e54079b1ec6528dd5d185c8d8d0694c891587 Author: Roberto Bagnara bagnara@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=71893349245ba... Author: Patricia M. Hill hill@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=00d817596a9b7... Author: Roberto Bagnara bagnara@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'.