URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=4d6afbff3e996... Merge: ec1ceeb8dffde588e0f407486dacb5781c8c1ac5 54bf68f9ee93822f8792c0d89d45ebd0b5823aee Author: Marco Poletti poletti.marco@gmail.com Date: Mon Mar 8 13:30:30 2010 +0100
Merge branch 'master' into sparse_matrices
URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=54bf68f9ee938... Author: Roberto Bagnara bagnara@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=d054a83797b9b... Author: Enea Zaffanella zaffanella@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=2fad4a9428627... Author: François Galea francois.galea@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=f010ef5edd820... Author: François Galea francois.galea@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=a7af846ade60e... Author: François Galea francois.galea@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=22d7dc4353fca... Author: Enea Zaffanella zaffanella@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=6ed63be5fa24e... Author: Enea Zaffanella zaffanella@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=2fa2669e96e96... Author: Enea Zaffanella zaffanella@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=be7b34ac18794... Author: Enea Zaffanella zaffanella@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=c4b4cb73d97dc... Author: François Galea francois.galea@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=9a06b9697b655... Author: François Galea francois.galea@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=e961e540b8372... Author: Roberto Bagnara bagnara@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=8ca010b524e44... Author: Roberto Bagnara bagnara@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=aeb2709a41cb3... Author: Roberto Bagnara bagnara@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=e9c769a3992b8... Author: Enea Zaffanella zaffanella@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=b72c39080c692... Author: Enea Zaffanella zaffanella@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=6503e77440bc1... Author: Enea Zaffanella zaffanella@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=802e03131e75f... Author: Enea Zaffanella zaffanella@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=893ad34ee7a5e... Author: Enea Zaffanella zaffanella@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=8daf23edd9ad7... Author: Enea Zaffanella zaffanella@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=90f18fa7da955... Author: Patricia Hill p.m.hill@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=0a65a2985d7b8... Author: Enea Zaffanella zaffanella@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=57c7504c6e09c... Author: Patricia Hill p.m.hill@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).