[PPL-devel] [GIT] ppl/ppl(floating_point): New commits
Roberto Bagnara
bagnara at cs.unipr.it
Sat Mar 20 05:26:31 CET 2010
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.
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=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