[PPL-devel] [GIT] ppl/ppl(pip): New commits
Roberto Bagnara
bagnara at cs.unipr.it
Sat Mar 20 05:27:02 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=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=54bf68f9ee93822f8792c0d89d45ebd0b5823aee
Author: Roberto Bagnara <bagnara at cs.unipr.it>
Date: Mon Mar 8 16:24:38 2010 +0400
Use \link ... \endlink consistently.
URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=d054a83797b9b861addd7cdc5abac091edaf5865
Author: Enea Zaffanella <zaffanella at cs.unipr.it>
Date: Sun Mar 7 11:36:11 2010 +0100
Corrected an invalid reference bug in PIP_Solution_Node::update_tableau().
The addition of tableau rows invalidates previously computed references.
Thanks to Marco Poletti for reporting this.
URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=2fad4a9428627c5d0ca8142567ac754ceab0e855
Author: François Galea <francois.galea at uvsq.fr>
Date: Sun Mar 7 21:13:37 2010 +0100
Eventually perform solution tree simplifications after incremental addition of parameter constraints.
URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=f010ef5edd820af3fb4589c75c8c9be73b2930ac
Author: François Galea <francois.galea at uvsq.fr>
Date: Sun Mar 7 20:27:09 2010 +0100
Moved the compatibility_check static methods to PIP_Tree_Node.
URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=a7af846ade60e2c4e9bdd7595b80abd5776d4704
Author: François Galea <francois.galea at uvsq.fr>
Date: Sun Mar 7 20:25:00 2010 +0100
Added one more test for incremental solving.
URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=22d7dc4353fca2fd99db605f498beddb3a649e01
Author: Enea Zaffanella <zaffanella at cs.unipr.it>
Date: Sat Mar 6 09:23:32 2010 +0100
Corrected a couple of typos in the documentation.
URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=6ed63be5fa24eb25acb75df25511c79ec20a79e5
Author: Enea Zaffanella <zaffanella at cs.unipr.it>
Date: Sat Mar 6 08:31:33 2010 +0100
Test 4 in digitalfilers1.cc overflows with 64-bits if assertions are on.
URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=2fa2669e96e9664f5de6abd64e723c7657fac52e
Author: Enea Zaffanella <zaffanella at cs.unipr.it>
Date: Fri Mar 5 18:09:15 2010 +0100
Tests 20, 21 and 22 overflow on 8-bit coefficients (derived from test02).
URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=be7b34ac18794498bbe6316fd831942a369c9cc4
Author: Enea Zaffanella <zaffanella at cs.unipr.it>
Date: Thu Mar 4 17:57:23 2010 +0100
Encoded custom overflow conditions for digitalfilters1.cc tests 5 and 6.
URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=c4b4cb73d97dc1e901f486c7693c342acff62484
Author: François Galea <francois.galea at uvsq.fr>
Date: Thu Mar 4 14:14:05 2010 +0100
Added a test for problem feasibility when incrementally adding parameter constraints.
URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=9a06b9697b655aa681e52e95cae2d9bff436e6b9
Author: François Galea <francois.galea at uvsq.fr>
Date: Thu Mar 4 13:59:59 2010 +0100
Added two tests for incremental addition of parametric constraints.
Even though correct, the resulting solution trees can be simplified.
URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=e961e540b837270dec1af5d31a65f726dfafa1ba
Author: Roberto Bagnara <bagnara at cs.unipr.it>
Date: Thu Mar 4 10:09:37 2010 +0400
Replaced using directives by using declarations.
URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=8ca010b524e44674465d28e6cadb6767067e5b28
Author: Roberto Bagnara <bagnara at cs.unipr.it>
Date: Wed Mar 3 22:13:57 2010 +0400
Apparently GNU Hurd only supports ITIMER_REAL.
(Thanks to Michael Tautschnig: http://www.cs.unipr.it/pipermail/ppl-devel/2010-March/016072.html).
URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=aeb2709a41cb3d3e55ef5a260abcbd6a3c746946
Author: Roberto Bagnara <bagnara at cs.unipr.it>
Date: Wed Mar 3 22:07:01 2010 +0400
Proper spacing added to throw_syscall_error().
(Thanks to Michael Tautschnig.)
URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=e9c769a3992b86a941cbb9758c606bb20b253a69
Author: Enea Zaffanella <zaffanella at cs.unipr.it>
Date: Tue Mar 2 22:09:29 2010 +0100
Detected several overflows in tests 5 and 6 of digitalfilters1.cc.
URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=b72c39080c692f646f93f5696312fd1ed371d539
Author: Enea Zaffanella <zaffanella at cs.unipr.it>
Date: Tue Mar 2 22:07:29 2010 +0100
Adopted a more flexible implementation for the DO_TEST* macros.
(Based on a set of macros provided by Abramo Bagnara.)
URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=6503e77440bc1ab0482fa58fcd6fad7043d01cbf
Author: Enea Zaffanella <zaffanella at cs.unipr.it>
Date: Tue Mar 2 14:59:10 2010 +0100
Made a pass on the documentation of class PIP_Problem.
URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=802e03131e75ff1962b42a6b071afca7cdf65b85
Author: Enea Zaffanella <zaffanella at cs.unipr.it>
Date: Mon Mar 1 23:58:07 2010 +0100
Method PIP_Tree_Node::solve() now checks context feasibility when needed.
URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=893ad34ee7a5e376f94cd8ef7a49168c30021dd7
Author: Enea Zaffanella <zaffanella at cs.unipr.it>
Date: Mon Mar 1 23:57:03 2010 +0100
Corrected typo in test19().
URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=8daf23edd9ad7af29aa77ca72740ffe7a95f05ec
Author: Enea Zaffanella <zaffanella at cs.unipr.it>
Date: Mon Mar 1 23:43:41 2010 +0100
Several minor improvements to the PIP_Problem resolution process.
Reorganized helper functions update_context() and compatibility_check().
URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=90f18fa7da955d2a811e70d8927ba7c283205e7b
Author: Patricia Hill <p.m.hill at leeds.ac.uk>
Date: Mon Mar 1 11:05:37 2010 +0000
The wrap_assign has only been added to the C interface
so the procedure must be local to the C interface.
URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=0a65a2985d7b8856807ee8b4d6390fa57530ec20
Author: Enea Zaffanella <zaffanella at cs.unipr.it>
Date: Mon Mar 1 11:15:05 2010 +0100
Completed removal of support for circular intervals.
Removed now ambiguous method CC76_narrowing_assign().
While at it, also wrapped a few long lines.
URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=57c7504c6e09c1d523e6286f792580a9e0c2af76
Author: Patricia Hill <p.m.hill at leeds.ac.uk>
Date: Mon Mar 1 08:45:34 2010 +0000
Added C interface for wrap_assign.
Minor NELS improvements to documentation describing Wrapping Operator
(should be checked by the author of these notes).
URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=9b5f5fd6156cef86d35e847a8d38265740737c2f
Author: Roberto Bagnara <bagnara at cs.unipr.it>
Date: Sat Feb 27 17:57:58 2010 +0100
Useless comma removed.
URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=368e94bd2e3711f6e3c110947c7bd8db51812b5b
Author: Roberto Bagnara <bagnara at cs.unipr.it>
Date: Sat Feb 27 17:42:23 2010 +0100
Removed stuff that will not be included in PPL 0.11.
URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=d37735b2febd063926c563a2098c54cf732e2c9a
Author: Roberto Bagnara <bagnara at cs.unipr.it>
Date: Sat Feb 27 17:41:56 2010 +0100
Missing comma added.
URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=db2f453a9953e6ba1138b2f25396e6a6e2231c91
Author: Roberto Bagnara <bagnara at cs.unipr.it>
Date: Sat Feb 27 17:26:09 2010 +0100
Temporarily removed the support for circular intervals.
URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=7aa7b67f7fe2b6aef865e029f987d4b144440f9c
Merge: cef1370849e9e1a196fa73b1009973d53779c4d1 9005a4bc71b38b80205724ac2914731466e5b450
Author: Roberto Bagnara <bagnara at cs.unipr.it>
Date: Sat Feb 27 17:03:48 2010 +0100
Merge branch 'master' into floating_point
URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=9005a4bc71b38b80205724ac2914731466e5b450
Author: Roberto Bagnara <bagnara at cs.unipr.it>
Date: Sat Feb 27 17:02:19 2010 +0100
Reassign error codes so as to have backward compatibility.
URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=10e2e18534c3cd348d8f1bba5e3d54f38166bce6
Author: Enea Zaffanella <zaffanella at cs.unipr.it>
Date: Sat Feb 27 10:30:09 2010 +0100
Increase code coverage for PIP_Tree_Node printing methods.
URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=c67f2c8566da2ac85d52042ce95134e47de1d2e9
Author: Roberto Bagnara <bagnara at cs.unipr.it>
Date: Sat Feb 27 08:58:00 2010 +0100
Force C++ linking for all the test programs.
URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=9a89bb0a926a098a6e06a18c36881786f45d678b
Author: Roberto Bagnara <bagnara at cs.unipr.it>
Date: Sat Feb 27 07:33:22 2010 +0100
Exception handling fixed.
URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=58befe688ea3a6b02bc227b6ca2f9c34488fc237
Author: Roberto Bagnara <bagnara at cs.unipr.it>
Date: Fri Feb 26 22:08:11 2010 +0100
Throw std::logic_error in case the client asks for watchdogs on a system not supporting them.
URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=768a88bdae63ec31e402defef284d43d8cf9ea8d
Author: Roberto Bagnara <bagnara at cs.unipr.it>
Date: Thu Feb 25 19:52:31 2010 +0100
Version number bumped.
URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=3edd591a85e10eaad4c65d2bee89ddddc3af982a
Author: Enea Zaffanella <zaffanella at cs.unipr.it>
Date: Fri Feb 26 18:55:07 2010 +0100
Simplified initialization of Threshold_Watcher<> static data member.
URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=dc751cb13eadc3ae9099624bff0b553570e0488d
Author: Enea Zaffanella <zaffanella at cs.unipr.it>
Date: Fri Feb 26 17:42:19 2010 +0100
Added printing functions for PIP tree nodes and improved documentation.
URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=a7fc5572e9b727d60580e0168a908457b59dc425
Author: Enea Zaffanella <zaffanella at cs.unipr.it>
Date: Fri Feb 26 17:27:40 2010 +0100
Added operator<<() for class PIP_Tree_Node, printing the subtree.
The output operator is based on public (non-virtual) method print(),
which calls the protected (virtual) method print_tree() after properly
setting up the needed arguments.
URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=99c0578d19f38fc8201b6f6d2b148bfcbdeec29f
Author: Enea Zaffanella <zaffanella at cs.unipr.it>
Date: Fri Feb 26 17:24:23 2010 +0100
Improve definition of Matrix::const_iterator default constructor.
URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=cef1370849e9e1a196fa73b1009973d53779c4d1
Author: Roberto Amadini <r.amadini at virgilio.it>
Date: Wed Feb 24 23:58:21 2010 +0100
Modified return statements.
URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=a999ad72d925e6960921c6b040cf8ee6aec64fd0
Author: Roberto Amadini <r.amadini at virgilio.it>
Date: Wed Feb 24 23:19:16 2010 +0100
Several corrections in rate limiter tests.
URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=0bcfbb57b083b9789352d53fc5e653b857420093
Author: Roberto Bagnara <bagnara at cs.unipr.it>
Date: Wed Feb 24 08:38:04 2010 +0100
Tests 1-18 restored. Test 19 is known to fail.
URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=e6b551f5f62bd3dbf1d39dd391e6a31361f7511c
Author: François Galea <francois.galea at uvsq.fr>
Date: Tue Feb 23 17:31:32 2010 +0100
Added a test illustrating a bug when incrementally inserting a parameter constraint.
URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=710e5d5efd124fc1ff3760a4be78690578ef6bc6
Author: Fabio <Fabio at C1P4.(none)>
Date: Tue Feb 23 14:54:34 2010 +0100
Fixed a test on BDShape.
URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=63a514cb4d7f1aa7f722560f14029bd5e2aef2ab
Author: Enea Zaffanella <zaffanella at cs.unipr.it>
Date: Tue Feb 23 10:42:03 2010 +0100
Tests 14 and 15 are known to overflow on 8-bit coefficients.
URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=670c44bcc1e510cd4a88f605fbd402c411da6fe8
Author: Roberto Amadini <r.amadini at virgilio.it>
Date: Mon Feb 22 22:21:24 2010 +0100
Removed whitespaces.
URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=8d085a775bc86b61c993ed8abe96ad8b2735e211
Author: Roberto Amadini <r.amadini at virgilio.it>
Date: Mon Feb 22 22:15:50 2010 +0100
Fixed indentation.
URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=4685b3625210502b74edbf46f9b630e66afb611a
Author: Enea Zaffanella <zaffanella at cs.unipr.it>
Date: Mon Feb 22 21:15:26 2010 +0100
Fixed call to ppl_PIP_Solution_Node_get_parametric_values().
URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=95009146c346328599abf0da6873e4d3572b6328
Author: Enea Zaffanella <zaffanella at cs.unipr.it>
Date: Mon Feb 22 18:54:20 2010 +0100
Added tentative solution to bugs shown by pipproblem1 tests 16, 17 and 18.
URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=f2aee435d05bfdd61cb831362a346006104bf968
Author: Roberto Amadini <r.amadini at virgilio.it>
Date: Mon Feb 22 17:35:09 2010 +0100
Fixed digitalfilters1.cc
URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=af2621d1726b8eae41b4ebb46f929681bf4938a0
Author: Enea Zaffanella <zaffanella at cs.unipr.it>
Date: Mon Feb 22 15:48:20 2010 +0100
Do set the `solution_valid' flag on exit from update_solution().
URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=c07572474d4d02344950138e0a68c049f9a02c62
Merge: 8ad05a7fa1293c23494ebd8c1a8222c8cc39dc0e 089e2db3d5f73dc3ad5c1545dd777671ac583f58
Author: Roberto Bagnara <bagnara at cs.unipr.it>
Date: Mon Feb 22 14:48:11 2010 +0100
Merge branch 'floating_point'
URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=8ad05a7fa1293c23494ebd8c1a8222c8cc39dc0e
Author: Enea Zaffanella <zaffanella at cs.unipr.it>
Date: Mon Feb 22 14:22:26 2010 +0100
Fixed exception safety issue in PIP_Decision_Node copy constructor.
URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=84dfaed9e347b23ade2704d1ed84710e59432dfb
Author: Enea Zaffanella <zaffanella at cs.unipr.it>
Date: Mon Feb 22 14:04:27 2010 +0100
Changed interface for public method PIP_Solution_Node::parametric_values().
The new interface no longer requires the set of problem parameters as an
input argument (which was error prone): rather, the set of parameters of
the PIP_Problem is now automatically retrieved.
To this end, all PIP tree nodes are now provided by a pointer to the owning
PIP_Problem object. Method PIP_Problem::OK() modified to check for well
formedness of the solution tree and, in particular, check that all its
nodes are marked as owned by the right PIP_Problem object.
Removed the no longer useful method PIP_Tree_Node::insert_artificials().
Corrected a typo in PIP_Problem::operator<<().
Simplified interface of (internal) method PIP_Tree_Node::print_tree().
Added a FIXME regarding a potential exception safety issue.
URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=089e2db3d5f73dc3ad5c1545dd777671ac583f58
Merge: 99eaa536d87db8c8a5b34ab451196d11a57aa6a1 537a4928e00e2b811822089da4cf12a1dd4344cf
Author: Roberto Bagnara <bagnara at cs.unipr.it>
Date: Mon Feb 22 10:03:52 2010 +0100
Merge branch 'master' into floating_point
URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=537a4928e00e2b811822089da4cf12a1dd4344cf
Author: Roberto Bagnara <bagnara at cs.unipr.it>
Date: Mon Feb 22 09:16:36 2010 +0100
Fixed oversight in error-handling code.
URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=1b73c49a9febf62e96f8ee03460e789c8164ee9a
Author: Roberto Bagnara <bagnara at cs.unipr.it>
Date: Mon Feb 22 09:16:06 2010 +0100
Avoid printing unless noisy or very-noisy mode was requested.
URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=e52d48a8ab59a5036becb3413b8f63c2d2bd1e83
Author: Roberto Bagnara <bagnara at cs.unipr.it>
Date: Sun Feb 21 18:07:01 2010 +0100
Be more informative in case something goes wrong.
URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=3bbfa4bc9da9558d0b538c95c00607b2928bb9d1
Author: Roberto Bagnara <bagnara at cs.unipr.it>
Date: Sun Feb 21 18:05:49 2010 +0100
Use the C++ compiler to perform the tests meant for C++.
URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=9b0ba93300fb829608d40e766b9f3f95c81962e1
Author: Roberto Bagnara <bagnara at cs.unipr.it>
Date: Sun Feb 21 12:49:16 2010 +0100
sigaction() is also needed, in addition to setitimer() in order to support Watchdog objects.
We could check if signal() is available if there is request for such a feature.
URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=1fa465112d1f5519310f47de08494b765c420b8f
Author: Roberto Bagnara <bagnara at cs.unipr.it>
Date: Sun Feb 21 11:16:27 2010 +0100
If setitimer() is not available, no initialization is necessary.
This also works around a linking bug in Mingw.
C tests improved with error-handling code.
URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=99eaa536d87db8c8a5b34ab451196d11a57aa6a1
Author: Roberto Amadini <r.amadini at virgilio.it>
Date: Sat Feb 20 16:49:27 2010 +0100
Floating_Point_Expression::absolute_error is now a symmetric interval.
URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=bdae3bb7bff529ab9864b997f66507f20db38719
Author: Roberto Amadini <r.amadini at virgilio.it>
Date: Sat Feb 20 14:39:08 2010 +0100
Use build method instead of join_assign to build convex intervals.
URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=5e638dd4922abc7948b004e04fbbf2a81520e2a8
Author: Enea Zaffanella <zaffanella at cs.unipr.it>
Date: Sat Feb 20 14:38:26 2010 +0100
Improved code coverage.
Removed useless (and not accessible by user) Tableau::total_memory_in_bytes().
URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=13a2650b7180d9f372a061c2f34c4b92f2cf0059
Author: Enea Zaffanella <zaffanella at cs.unipr.it>
Date: Sat Feb 20 13:04:13 2010 +0100
Invalidate current solution at the start of PIP_Solution_Node::solve().
This fixes the bug in pipproblem3 test03.
URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=511e9e86f96884b311d7b053aac33afb977129bb
Author: Enea Zaffanella <zaffanella at cs.unipr.it>
Date: Sat Feb 20 12:52:19 2010 +0100
Adding no space dims should not invalidate previously computed solution.
URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=28dc8bb7f4c03855c8581516b3948650bea22e3b
Author: Enea Zaffanella <zaffanella at cs.unipr.it>
Date: Sat Feb 20 12:30:19 2010 +0100
Got rid of non-const PIP_Tree_Node as_decision() and as_solution() methods.
URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=77df3ea039c2673fa1e94d79edaf6c81d1923cad
Author: Enea Zaffanella <zaffanella at cs.unipr.it>
Date: Sat Feb 20 11:17:25 2010 +0100
Achieve full code coverage for the output operator.
URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=e890db63f60fa120d9fc6ba046b5ffa24072ae67
Author: Enea Zaffanella <zaffanella at cs.unipr.it>
Date: Sat Feb 20 10:05:36 2010 +0100
Document and test exception thrown by PIP_Problem::print_solution().
URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=fce6b4f6fe1ec900db28bbceada267707d48c1c7
Author: Enea Zaffanella <zaffanella at cs.unipr.it>
Date: Sat Feb 20 09:46:35 2010 +0100
Test 09 overflows when using 8-bit coefficients.
URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=8fc67ca6012164360c1c0301f29f46d979157cbe
Author: Enea Zaffanella <zaffanella at cs.unipr.it>
Date: Sat Feb 20 09:40:15 2010 +0100
A couple of tests marked as known to fail.
These shows a bug in the solver, which fails to detect an unfeasible
initial context.
URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=12d4e15ef5bea675156c7b8068655f73597d6c1f
Author: Enea Zaffanella <zaffanella at cs.unipr.it>
Date: Sat Feb 20 08:52:24 2010 +0100
Put under git control.
These test exercise the incremental PIP solver (still buggy).
URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=084cb1f825471435bd1e1b0bb1eb0ed8eabd368d
Author: Enea Zaffanella <zaffanella at cs.unipr.it>
Date: Sat Feb 20 08:50:53 2010 +0100
Check fir and avoid space dimension mismatches in merge_assign().
URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=3cb3ce1f0be968a3a73804e7f63837e0d10aee96
Author: Enea Zaffanella <zaffanella at cs.unipr.it>
Date: Fri Feb 19 22:32:24 2010 +0100
Started working on incrementality.
Dealt with a FIXME in PIP_Solution_Node::update_tableau(): when adding
new problem variables and parameters, the columns of the existing
artificial parameters are moved to the right of the tableau.t matrix.
URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=e191bf79e2f4228ba5e1f3ace0ad1cfae3ba1674
Author: Enea Zaffanella <zaffanella at cs.unipr.it>
Date: Fri Feb 19 22:31:37 2010 +0100
Little code coverage improvement.
URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=1cec252d369a5d53a8cd53fadd0c01adbace9d60
Author: Enea Zaffanella <zaffanella at cs.unipr.it>
Date: Thu Feb 18 23:45:41 2010 +0100
Prefer denominator() to get_denominator().
In pipproblem1 test02(), add a lenghty check of the expected solution.
URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=e0bd48ed51aee3986fe5c9dc43a903f07bea3be7
Author: Enea Zaffanella <zaffanella at cs.unipr.it>
Date: Thu Feb 18 22:15:57 2010 +0100
Simplified C interface to Artificial_Parameter.
URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=d994c6364d6dcb3114e2236aeb9da689c8e63742
Author: Enea Zaffanella <zaffanella at cs.unipr.it>
Date: Thu Feb 18 21:54:53 2010 +0100
Removed two PIP_Problem enum values that need not be interfaced.
URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=d274e1f6b47b8a76e0499984669d2f8ea150e36f
Author: Enea Zaffanella <zaffanella at cs.unipr.it>
Date: Thu Feb 18 21:49:54 2010 +0100
Avoid parameter name hiding; mark unreachable code.
URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=215cc5a900c2e8bd49b1477ccc220eb09b6b59cf
Author: Patricia Hill <p.m.hill at leeds.ac.uk>
Date: Thu Feb 18 20:22:54 2010 +0000
Added some missing C interface methods and enum values for the new PIP classes.
URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=b8ac7e594ab0bd3e876529339039bc04b9c85b62
Author: Roberto Amadini <r.amadini at virgilio.it>
Date: Thu Feb 18 17:33:36 2010 +0100
Changed linearize method interface for Floating Point Expressions.
Now, it has a bool return type which indicates if the linearization
succeeded (or not). Thus, Linearization_Failed exception class has
been removed.
URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=0e480f958e85f6d0c50b57835aaaa8f4ba9026ab
Author: Enea Zaffanella <zaffanella at cs.unipr.it>
Date: Thu Feb 18 16:07:39 2010 +0100
Corrected bug in th ehandling of trivially satisfiable PIP problems.
Test 16 in pipproblem1.cc (currently disabled) shows a bug in the handling
of trivially unfeasible PIP problems.
URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=ee564d807b24ca244ac691498a4bb684b12898b4
Author: Enea Zaffanella <zaffanella at cs.unipr.it>
Date: Thu Feb 18 15:01:45 2010 +0100
Dealt with a FIXME in PIP_Solution_Node::solve().
URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=0d53ceac4d79dfb1d6ba9407c48154071481ad52
Author: Patricia Hill <p.m.hill at leeds.ac.uk>
Date: Thu Feb 18 13:43:28 2010 +0000
Added total_memory_in_bytes() and external_memory_in_bytes()
to MIP_Problem and PIP_Problem in the C interface.
URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=945e8f14d1300e749c15d07eb1f3c5f853ad784a
Author: Roberto Amadini <r.amadini at virgilio.it>
Date: Thu Feb 18 13:55:09 2010 +0100
Fixed comments.
URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=7c0b14249c7cdb0b190267d0f4d96da6f45e7f79
Author: Roberto Amadini <r.amadini at virgilio.it>
Date: Thu Feb 18 13:27:55 2010 +0100
Improved comments.
URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=84cdf71053ad8257bca1e8bd90bd2d22c145e75d
Author: Roberto Bagnara <bagnara at cs.unipr.it>
Date: Thu Feb 18 11:23:44 2010 +0100
Described the input formats.
URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=c6a791128aef1103c7d610e37321a3e48736deac
Author: Roberto Bagnara <bagnara at cs.unipr.it>
Date: Thu Feb 18 11:21:42 2010 +0100
Cosmetic improvements.
URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=86cb551f54cb94e1aa1efd9dfb29c86cb7ffab2b
Author: Roberto Amadini <r.amadini at virgilio.it>
Date: Thu Feb 18 00:06:40 2010 +0100
Added and fixed documentation for Var_FP_Expression.
URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=fe233fcf5db9fbbe169a445c8a09d781026e2053
Author: Roberto Bagnara <bagnara at cs.unipr.it>
Date: Wed Feb 17 22:30:09 2010 +0100
Updated expected results.
URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=f85e96f4e8a3c4577453d9e181c86c81ba77cef6
Author: Roberto Bagnara <bagnara at cs.unipr.it>
Date: Wed Feb 17 22:14:57 2010 +0100
Test with all the examples.
URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=d97532ec7447dd4e4bfe042eae9e4c6a08f9f35a
Author: Roberto Bagnara <bagnara at cs.unipr.it>
Date: Wed Feb 17 22:06:42 2010 +0100
Added examples from PipLib 1.4.0.
URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=1e6df802e280f0c1df33b864037544c02757d08e
Author: Roberto Bagnara <bagnara at cs.unipr.it>
Date: Wed Feb 17 17:41:50 2010 +0100
Typo fixed: we require SICStus at least version 3.9.1.
URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=b492ed70728e112aaafabe79d1e91cd40fc383eb
Author: Roberto Bagnara <bagnara at cs.unipr.it>
Date: Wed Feb 17 15:39:01 2010 +0100
Test program renamed.
URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=8d8d4194c8e1e85641fb5dfe10ec14346c48862d
Author: Roberto Bagnara <bagnara at cs.unipr.it>
Date: Wed Feb 17 15:37:50 2010 +0100
Cosmetic changes.
URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=1e75fbc5ddcda7410ab9a64d7e213bbc2bb20eca
Author: Fabio <Fabio at C1P4.(none)>
Date: Wed Feb 17 17:02:05 2010 +0100
Added "affine from relation" section into definitions.dox.
Fixed a reference to "affine from relation".
URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=a7734015823e50eae1063582a30c6f9570669a8d
Author: Enea Zaffanella <zaffanella at cs.unipr.it>
Date: Wed Feb 17 14:50:11 2010 +0100
Drafted implementation for PIP_Problem's operator<<.
URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=64a04677743ef5fd4602007e72680ad172c03072
Author: Enea Zaffanella <zaffanella at cs.unipr.it>
Date: Wed Feb 17 13:13:57 2010 +0100
Tests adapted to use the new method for printing a PIP problem solution.
URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=7da6c43b438cf0948998e17eb6e8077fb39a7b1d
Author: Enea Zaffanella <zaffanella at cs.unipr.it>
Date: Wed Feb 17 12:47:08 2010 +0100
Added method PIP_Problem::print_solution().
The new method exploits added virtual method PIP_Tree_Node::print_tree().
Implementation is based on code from the many display_solution() helper
functions that are currently spread in the tests.
URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=777f298702f1005f6c4f026fb7a4663bb8dadd0e
Author: Roberto Bagnara <bagnara at cs.unipr.it>
Date: Wed Feb 17 12:33:34 2010 +0100
Cater for systems where setitimer() is not provided (part 4).
URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=eab6ab2fd4e44c8e7348c26112e4c9e4190e88ee
Author: Roberto Bagnara <bagnara at cs.unipr.it>
Date: Wed Feb 17 12:22:12 2010 +0100
Cater for systems where setitimer() is not provided (part 3).
URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=8ac2c64c2e9fa2da2d02428fe51c34b8dca3d6ff
Author: Roberto Bagnara <bagnara at cs.unipr.it>
Date: Wed Feb 17 12:15:35 2010 +0100
Cater for systems where setitimer() is not provided (part 2).
URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=9bdd6617be52573d3252687844d32001e671a126
Author: Roberto Bagnara <bagnara at cs.unipr.it>
Date: Wed Feb 17 11:56:08 2010 +0100
Cater for systems where setitimer() is not provided (part 1).
URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=f0cd7dc9899fc7dac2580a97da69e6282bfc0576
Author: Roberto Bagnara <bagnara at cs.unipr.it>
Date: Wed Feb 17 11:55:16 2010 +0100
Build the PWL unless not explicitly disabled at configuration time.
URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=01e3978bbebd69d01c006ac36404c5a344cd71ab
Merge: 3f6a0a0624328d63cdef17da7e06a8bd31e1f93e eab71496fec3819d941c5c444cb09041aea7eb0f
Author: Fabio <Fabio at C1P4.(none)>
Date: Wed Feb 17 10:25:20 2010 +0100
Merge branch 'floating_point' of ssh://git.cs.unipr.it/git/ppl/ppl into floating_point
URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=3c3188f08c10a1914cd545f35ba10a6ee464c3b9
Author: Roberto Bagnara <bagnara at cs.unipr.it>
Date: Wed Feb 17 10:16:43 2010 +0100
Variable shadowing avoided. Scope of variables reduced. One FIXME added.
URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=e9f9532b48874bdd02cac2f88fe241629bfd0e04
Author: Enea Zaffanella <zaffanella at cs.unipr.it>
Date: Wed Feb 17 10:06:30 2010 +0100
Tests 2, 5, 7, 8, 9 and 10 do not overflow on 16 bit coefficients.
URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=3f6a0a0624328d63cdef17da7e06a8bd31e1f93e
Author: Fabio <Fabio at C1P4.(none)>
Date: Wed Feb 17 10:01:15 2010 +0100
Fixed a type error.
URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=d3339d25083d4cdac4a565d5aea95cf70772cc4f
Author: Enea Zaffanella <zaffanella at cs.unipr.it>
Date: Tue Feb 16 23:15:46 2010 +0100
Solved other instances of test02, but using different cutting strategies.
URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=53e86bccd511369b2fa500d60b355ebee824fc2b
Author: Enea Zaffanella <zaffanella at cs.unipr.it>
Date: Tue Feb 16 22:40:01 2010 +0100
Fixed bug introduced when improving coding style in PIP_Solution_Node::solve.
Corrected wrong assertion in PIP_Solution_Node::generate_cut.
URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=214df020741ef3cbffb31971e99086f0fbc88d94
Author: Roberto Bagnara <bagnara at cs.unipr.it>
Date: Tue Feb 16 21:43:32 2010 +0100
Important item added.
URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=9391a5768d5e90217d3b6c58ab0dd0496287afaf
Author: Roberto Bagnara <bagnara at cs.unipr.it>
Date: Tue Feb 16 21:39:51 2010 +0100
Unwanted inclusion removed.
URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=9ba82c5fb51ff9f63818fa8c6f006a1900a70894
Author: Roberto Bagnara <bagnara at cs.unipr.it>
Date: Tue Feb 16 21:35:54 2010 +0100
Use the right preprocessor conditionals for PPL_HAVE_DECL_SIGACTION.
URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=6c5b321e17513b2492e821619ddae38c1ff0115d
Author: Roberto Bagnara <bagnara at cs.unipr.it>
Date: Tue Feb 16 21:35:26 2010 +0100
Warnings avoided.
URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=bad1f4e90af2d1368fee383f08c59316182de8dc
Author: Roberto Bagnara <bagnara at cs.unipr.it>
Date: Tue Feb 16 20:38:32 2010 +0100
Corrected several problems.
URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=9857bc5b9ae3a4e4af7fe024d4ed9657103a845c
Author: Enea Zaffanella <zaffanella at cs.unipr.it>
Date: Tue Feb 16 20:06:43 2010 +0100
Enable test12.
URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=ac846ef3f2f47c8c6f6474331857211b318ad24f
Author: Enea Zaffanella <zaffanella at cs.unipr.it>
Date: Tue Feb 16 20:05:36 2010 +0100
A few improvements to PIP_Problem documentation.
URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=1789a22b13784e38555109169a7216d9c05cd4d8
Author: Roberto Bagnara <bagnara at cs.unipr.it>
Date: Tue Feb 16 15:35:38 2010 +0100
Make the test trivially succeed when coefficients are not large enough.
URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=eab71496fec3819d941c5c444cb09041aea7eb0f
Author: Roberto Amadini <r.amadini at virgilio.it>
Date: Tue Feb 16 15:11:53 2010 +0100
Fixed Cast_Floating_Point_Expression.inlines.hh and added a test.
URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=c257cba9d19ca2084198e422ddcf0fa5f1afc8e8
Author: Roberto Bagnara <bagnara at cs.unipr.it>
Date: Tue Feb 16 14:41:52 2010 +0100
Improved error handling. Cosmetic improvements.
URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=b89a40da063ca44e5e28e0fad8a1001361cc131c
Author: Enea Zaffanella <zaffanella at cs.unipr.it>
Date: Tue Feb 16 14:38:15 2010 +0100
Added unit tests for inner class PIP_Tree_Node::Artificial_Parameter.
Added operator!=() and swap() methods: the last was necessary as we were
inheriting it from Linear_Expression.
URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=5ddd5a9f223cf20b900479c09cce42685e562b51
Author: Enea Zaffanella <zaffanella at cs.unipr.it>
Date: Tue Feb 16 12:00:43 2010 +0100
Added another test for code coverage purposes.
URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=632f4386677025eb9f52416657dd161f11601737
Author: Enea Zaffanella <zaffanella at cs.unipr.it>
Date: Tue Feb 16 09:58:05 2010 +0100
Got rid of unused Boolean flag PIP_Problem::initialized.
URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=4baadf1d80433f10a8f135d7c7144b129a568963
Author: Roberto Bagnara <bagnara at cs.unipr.it>
Date: Tue Feb 16 10:14:45 2010 +0100
Avoid non-ASCII characters.
URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=09c7bbce5f53c19b862eca27a83bc808094aae80
Author: Roberto Bagnara <bagnara at cs.unipr.it>
Date: Tue Feb 16 10:10:57 2010 +0100
Trailing whitespace removed.
URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=0804e05ac141086060a43d28da66095956c14752
Author: Roberto Bagnara <bagnara at cs.unipr.it>
Date: Tue Feb 16 10:10:30 2010 +0100
Install also ppl_pips.1.
URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=22208e21cd868063a06824d0636b158670802b34
Author: Enea Zaffanella <zaffanella at cs.unipr.it>
Date: Tue Feb 16 09:51:24 2010 +0100
Added a couple of tests to improve code coverage.
URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=2287f9b3cc2518e14d25f41521a673c0398385f9
Author: Roberto Amadini <r.amadini at virgilio.it>
Date: Mon Feb 15 23:40:43 2010 +0100
Added classes.
URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=5f573312d066d1be8ab101e3675703c716deaf58
Author: Roberto Amadini <r.amadini at virgilio.it>
Date: Mon Feb 15 23:32:09 2010 +0100
Added a first implementation of Cast_Floating_Point_Expression classes.
URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=de1f6f6e47ec4d79e304b8b4f77e9b3b0a95065d
Author: Roberto Bagnara <bagnara at cs.unipr.it>
Date: Mon Feb 15 22:15:44 2010 +0100
Put under Git control.
URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=25e8b89f3fb0abbfc24dd13aae3704ffa4a71c2b
Author: Roberto Bagnara <bagnara at cs.unipr.it>
Date: Mon Feb 15 22:15:17 2010 +0100
Avoid non-ASCII characters.
URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=b57e8b768d88e2a19af28c3a2bf206cc72117072
Author: Roberto Bagnara <bagnara at cs.unipr.it>
Date: Mon Feb 15 22:14:04 2010 +0100
Added a draft man page for `ppl_pips'. Other man pages updated.
URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=dff9d4152afeb894bd58aaf2a5442af20bf8be50
Author: Roberto Bagnara <bagnara at cs.unipr.it>
Date: Mon Feb 15 20:28:49 2010 +0100
Missing backslash added.
URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=030ba2b2b3c551ec080edb8b1d7e8bb6d095cf03
Author: Roberto Bagnara <bagnara at cs.unipr.it>
Date: Mon Feb 15 18:32:16 2010 +0100
Added missing expected results.
URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=6d5b20eeba492c227efeaa43d804a8500ea87a13
Author: Roberto Bagnara <bagnara at cs.unipr.it>
Date: Mon Feb 15 16:07:42 2010 +0100
Improved the NDEBUG machinery.
URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=9cf1cef85fea249bb4dd279f3025ebc24acd87b8
Author: Roberto Bagnara <bagnara at cs.unipr.it>
Date: Mon Feb 15 14:57:57 2010 +0100
Mark expected overflows.
URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=7ba6445b1c5adb835e27d2f005779d4343721d21
Author: Roberto Bagnara <bagnara at cs.unipr.it>
Date: Mon Feb 15 14:50:19 2010 +0100
Improve portability to systems that do not (fully) support Posix signal handling.
URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=8eecefb16080abbc755fafb6a5ab7ff4b426fddb
Author: Roberto Bagnara <bagnara at cs.unipr.it>
Date: Mon Feb 15 11:35:55 2010 +0100
Version number bumped.
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