March 2010 - PPL-devel - BUGSENG Mailman

[GIT] ppl/ppl(master): Fixed the value of INPUT doxygen configuration variable.
by Enea Zaffanella 10 Mar '10

10 Mar '10

Module: ppl/ppl Branch: master Commit: 374f46632936ca58d8da878da73ac5f28f09a666 URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=374f46632936… Author: Enea Zaffanella <zaffanella(a)cs.unipr.it> Date: Wed Mar 10 17:14:26 2010 +0100 Fixed the value of INPUT doxygen configuration variable. --- doc/devref.doxyconf-html.in | 8 +++++--- doc/devref.doxyconf-latex.in | 8 +++++--- 2 files changed, 10 insertions(+), 6 deletions(-) diff --git a/doc/devref.doxyconf-html.in b/doc/devref.doxyconf-html.in index 052c850..5c45175 100644 --- a/doc/devref.doxyconf-html.in +++ b/doc/devref.doxyconf-html.in @@ -152,6 +152,7 @@ INPUT = @srcdir@/definitions.dox \ @srcdir@/../src/MIP_Problem.types.hh \ @srcdir@/../src/MIP_Problem.defs.hh \ @srcdir@/../src/MIP_Problem.inlines.hh \ + @srcdir@/../src/MIP_Problem.templates.hh \ @srcdir@/../src/MIP_Problem.cc \ @srcdir@/../src/Bit_Row.types.hh \ @srcdir@/../src/Bit_Row.defs.hh \ @@ -317,14 +318,15 @@ INPUT = @srcdir@/definitions.dox \ @srcdir@/../src/Octagonal_Shape.inlines.hh \ @srcdir@/../src/Octagonal_Shape.templates.hh \ @srcdir@/../src/Octagonal_Shape.cc \ - @srcdir@/../src/PIP_Problem.cc \ + @srcdir@/../src/PIP_Problem.types.hh \ @srcdir@/../src/PIP_Problem.defs.hh \ @srcdir@/../src/PIP_Problem.inlines.hh \ @srcdir@/../src/PIP_Problem.templates.hh \ - @srcdir@/../src/PIP_Problem.types.hh \ + @srcdir@/../src/PIP_Problem.cc \ + @srcdir@/../src/PIP_Tree.types.hh \ @srcdir@/../src/PIP_Tree.defs.hh \ @srcdir@/../src/PIP_Tree.inlines.hh \ - @srcdir@/../src/PIP_Tree.types.hh \ + @srcdir@/../src/PIP_Tree.cc \ @srcdir@/../src/Floating_Point_Expression.types.hh \ @srcdir@/../src/Floating_Point_Expression.defs.hh \ @srcdir@/../src/Floating_Point_Expression.inlines.hh \ diff --git a/doc/devref.doxyconf-latex.in b/doc/devref.doxyconf-latex.in index 5d1545d..f1be5a8 100644 --- a/doc/devref.doxyconf-latex.in +++ b/doc/devref.doxyconf-latex.in @@ -152,6 +152,7 @@ INPUT = @srcdir@/definitions.dox \ @srcdir@/../src/MIP_Problem.types.hh \ @srcdir@/../src/MIP_Problem.defs.hh \ @srcdir@/../src/MIP_Problem.inlines.hh \ + @srcdir@/../src/MIP_Problem.templates.hh \ @srcdir@/../src/MIP_Problem.cc \ @srcdir@/../src/Bit_Row.types.hh \ @srcdir@/../src/Bit_Row.defs.hh \ @@ -317,14 +318,15 @@ INPUT = @srcdir@/definitions.dox \ @srcdir@/../src/Octagonal_Shape.inlines.hh \ @srcdir@/../src/Octagonal_Shape.templates.hh \ @srcdir@/../src/Octagonal_Shape.cc \ - @srcdir@/../src/PIP_Problem.cc \ + @srcdir@/../src/PIP_Problem.types.hh \ @srcdir@/../src/PIP_Problem.defs.hh \ @srcdir@/../src/PIP_Problem.inlines.hh \ @srcdir@/../src/PIP_Problem.templates.hh \ - @srcdir@/../src/PIP_Problem.types.hh \ + @srcdir@/../src/PIP_Problem.cc \ + @srcdir@/../src/PIP_Tree.types.hh \ @srcdir@/../src/PIP_Tree.defs.hh \ @srcdir@/../src/PIP_Tree.inlines.hh \ - @srcdir@/../src/PIP_Tree.types.hh \ + @srcdir@/../src/PIP_Tree.cc \ @srcdir@/../src/Floating_Point_Expression.types.hh \ @srcdir@/../src/Floating_Point_Expression.defs.hh \ @srcdir@/../src/Floating_Point_Expression.inlines.hh \

1 0

[GIT] ppl/ppl(sparse_matrices): New commits
by Roberto Bagnara 10 Mar '10

10 Mar '10

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=18de031713fb… Author: Marco Poletti <poletti.marco(a)gmail.com> Date: Wed Mar 10 17:58:43 2010 +0100 PIP_Tree.cc: optimize static function row_normalize() for sparse rows. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=1f2fdc902391… Author: Marco Poletti <poletti.marco(a)gmail.com> Date: Wed Mar 10 17:49:17 2010 +0100 PIP_Tree.cc: optimize static function find_lexico_minimum_column() for sparse matrices. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=765f126fd7d4… Author: Marco Poletti <poletti.marco(a)gmail.com> Date: Wed Mar 10 17:48:31 2010 +0100 Dense_Row: added const find() methods and lower_bound() methods. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=c1fd9e40f9d8… Author: Marco Poletti <poletti.marco(a)gmail.com> Date: Wed Mar 10 11:46:11 2010 +0100 PIP_Tree.cc: optimize static function column_lower() for sparse matrices. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=b04281ba2c6b… Author: Marco Poletti <poletti.marco(a)gmail.com> Date: Wed Mar 10 11:39:20 2010 +0100 PIP_Tree.cc: optimize static function complement_assign() for sparse rows. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=fe7671d864d6… Author: Marco Poletti <poletti.marco(a)gmail.com> Date: Wed Mar 10 11:33:27 2010 +0100 MIP_Problem: make linear_combine() work when both row arguments are the same row. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=11a339165d56… Author: Marco Poletti <poletti.marco(a)gmail.com> Date: Wed Mar 10 11:22:38 2010 +0100 Add sparse backend based on std::vector. Only MIP_Problem is supported as yet. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=bb7309e2321b… Author: Marco Poletti <poletti.marco(a)gmail.com> Date: Wed Mar 10 11:21:02 2010 +0100 PIP_Tree: add_mul_assign_row() and sub_assign() now work with backends that define PPL_SPARSE_BACKEND_INVALIDATES_REFERENCES. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=b44870850f54… Author: Marco Poletti <poletti.marco(a)gmail.com> Date: Wed Mar 10 10:23:21 2010 +0100 MIP_Problem: support sparse backends that define PPL_SPARSE_BACKEND_INVALIDATES_REFERENCES. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=d613de2d6780… Author: Marco Poletti <poletti.marco(a)gmail.com> Date: Wed Mar 10 09:53:20 2010 +0100 Unlimited_Sparse_Row: backends can now invalidate iterators and references in most methods, if they define PPL_SPARSE_BACKEND_INVALIDATES_REFERENCES.

1 0

[GIT] ppl/ppl(termination): Improved variable names.
by Patricia Hill 10 Mar '10

10 Mar '10

Module: ppl/ppl Branch: termination Commit: b93d10b250194982d8e466da2fe9380366ab547d URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=b93d10b25019… Author: Patricia Hill <p.m.hill(a)leeds.ac.uk> Date: Wed Mar 10 15:08:47 2010 +0000 Improved variable names. --- interfaces/C/ppl_interface_generator_c_cc_code.m4 | 18 +++++++++--------- interfaces/C/ppl_interface_generator_c_h_code.m4 | 6 +++--- 2 files changed, 12 insertions(+), 12 deletions(-) diff --git a/interfaces/C/ppl_interface_generator_c_cc_code.m4 b/interfaces/C/ppl_interface_generator_c_cc_code.m4 index c6fbd79..738f80b 100644 --- a/interfaces/C/ppl_interface_generator_c_cc_code.m4 +++ b/interfaces/C/ppl_interface_generator_c_cc_code.m4 @@ -1160,9 +1160,9 @@ m4_define(`ppl_@CLASS@_termination_test_@TERMINATION_ID@_code', `dnl int ppl_@CLASS@_termination_test_@TERMINATION_ID@ -(ppl_const_@CLASS@_t x) try { - const @CPP_CLASS@& xx = *to_const(x); - return termination_test_@TERMINATION_ID@(xx); +(ppl_const_@CLASS@_t pset) try { + const @CPP_CLASS@& ppset = *to_const(pset); + return termination_test_@TERMINATION_ID@(ppset); } CATCH_ALL @@ -1171,11 +1171,11 @@ CATCH_ALL m4_define(`ppl_@CLASS@_one_affine_ranking_function_@TERMINATION_ID@_code', `int ppl_@CLASS@_one_affine_ranking_function_@TERMINATION_ID@ -(ppl_const_@CLASS@_t x, +(ppl_const_@CLASS@_t pset, ppl_Generator_t point) try { - const @CPP_CLASS@& xx = *to_const(x); + const @CPP_CLASS@& ppset = *to_const(pset); Generator& ppoint = *to_nonconst(point); - bool ok = one_affine_ranking_function_@TERMINATION_ID@(xx, ppoint); + bool ok = one_affine_ranking_function_@TERMINATION_ID@(ppset, ppoint); return ok ? 1 : 0; } CATCH_ALL @@ -1185,10 +1185,10 @@ CATCH_ALL m4_define(`ppl_@CLASS@_all_affine_ranking_functions_@TERMINATION_ID@_code', `int ppl_@CLASS@_all_affine_ranking_functions_@TERMINATION_ID@ -(ppl_const_@CLASS@_t x, +(ppl_const_@CLASS@_t pset, ppl_Polyhedron_t ph) try { - const @CPP_CLASS@& xx = *to_const(x); - all_affine_ranking_functions_@TERMINATION_ID@(xx, + const @CPP_CLASS@& ppset = *to_const(pset); + all_affine_ranking_functions_@TERMINATION_ID@(ppset, *static_cast<C_Polyhedron*> (to_nonconst(ph))); return 0; diff --git a/interfaces/C/ppl_interface_generator_c_h_code.m4 b/interfaces/C/ppl_interface_generator_c_h_code.m4 index 2a1ecdd..cc96ffc 100644 --- a/interfaces/C/ppl_interface_generator_c_h_code.m4 +++ b/interfaces/C/ppl_interface_generator_c_h_code.m4 @@ -39,7 +39,7 @@ m4_define(`ppl_@CLASS@_termination_test_@TERMINATION_ID@_code', /*! \relates ppl_@CLASS@_tag */ int ppl_@CLASS@_termination_test_@TERMINATION_ID@ -PPL_PROTO((ppl_const_@CLASS@_t x)); +PPL_PROTO((ppl_const_@CLASS@_t pset)); ') @@ -48,7 +48,7 @@ m4_define(`ppl_@CLASS@_one_affine_ranking_function_@TERMINATION_ID@_code', /*! \relates ppl_@CLASS@_tag */ int ppl_@CLASS@_one_affine_ranking_function_@TERMINATION_ID@ -PPL_PROTO((ppl_const_@CLASS@_t x, +PPL_PROTO((ppl_const_@CLASS@_t pset, ppl_Generator_t point)); ') @@ -58,7 +58,7 @@ m4_define(`ppl_@CLASS@_all_affine_ranking_functions_@TERMINATION_ID@_code', /*! \relates ppl_@CLASS@_tag */ int ppl_@CLASS@_all_affine_ranking_functions_@TERMINATION_ID@ -PPL_PROTO((ppl_const_@CLASS@_t x, +PPL_PROTO((ppl_const_@CLASS@_t pset, ppl_Polyhedron_t ph)); ')

1 0

[GIT] ppl/ppl(termination): test10() and test11() witness a bug in termination_test_PR().
by Roberto Bagnara 10 Mar '10

10 Mar '10

Module: ppl/ppl Branch: termination Commit: 147de8cc7cdf60650f0425c9aef5132ef9a8f6d0 URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=147de8cc7cdf… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Wed Mar 10 15:23:12 2010 +0400 test10() and test11() witness a bug in termination_test_PR(). --- tests/Polyhedron/termination1.cc | 34 ++++++++++++++++++++++++++++++++++ 1 files changed, 34 insertions(+), 0 deletions(-) diff --git a/tests/Polyhedron/termination1.cc b/tests/Polyhedron/termination1.cc index 5bc65a4..c654942 100644 --- a/tests/Polyhedron/termination1.cc +++ b/tests/Polyhedron/termination1.cc @@ -184,6 +184,38 @@ test07() { return termination_test_MS(bds); } +bool +test10() { + Variable xp1(0); + Variable xp2(1); + Variable x1(2); + Variable x2(3); + C_Polyhedron ph(4); + ph.add_constraint(xp1 - x1 >= 0); + ph.add_constraint(-xp1 + x1 >= 0); + ph.add_constraint(-xp2 + x2 >= 1); + ph.add_constraint(xp2 >= 0); + ph.add_constraint(xp1 >= 1); + + return termination_test_MS(ph); +} + +bool +test11() { + Variable xp1(0); + Variable xp2(1); + Variable x1(2); + Variable x2(3); + C_Polyhedron ph(4); + ph.add_constraint(xp1 - x1 >= 0); + ph.add_constraint(-xp1 + x1 >= 0); + ph.add_constraint(-xp2 + x2 >= 1); + ph.add_constraint(xp2 >= 0); + ph.add_constraint(xp1 >= 1); + + return termination_test_PR(ph); +} + } // namespace BEGIN_MAIN @@ -194,4 +226,6 @@ BEGIN_MAIN //DO_TEST(test05); DO_TEST(test06); //DO_TEST(test07); + DO_TEST(test10); + DO_TEST_F(test11); END_MAIN

1 0

[GIT] ppl/ppl(products): New commits
by Roberto Bagnara 10 Mar '10

10 Mar '10

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=7ad2fe744dc6… Merge: bbb1ff43e555dabda36b8d5838092ebade985c54 65156364caa2da7235862998930736ca27c83236 Author: Roberto Bagnara <bagnara(a)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=65156364caa2… Author: François Galea <francois.galea(a)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=2d43c54ada25… Author: François Galea <francois.galea(a)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=114f0e384745… Author: Roberto Bagnara <bagnara(a)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=f06b3826db77… Author: Roberto Bagnara <bagnara(a)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=4e2cacd97386… Author: Roberto Bagnara <bagnara(a)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=f9fbde676540… Merge: 97bd553465561f16c14e291cc942004cc534df86 a6b23fd18ce9a018918f9054c2c60fe51ff4e2ad Author: Roberto Bagnara <bagnara(a)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=a6b23fd18ce9… Author: Roberto Bagnara <bagnara(a)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=71dcb7f32c65… Author: Roberto Bagnara <bagnara(a)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=97bd55346556… Author: Roberto Amadini <r.amadini(a)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=0a6c325c3b96… Author: Roberto Bagnara <bagnara(a)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=54bf68f9ee93… Author: Roberto Bagnara <bagnara(a)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=d054a83797b9… Author: Enea Zaffanella <zaffanella(a)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=2fad4a942862… Author: François Galea <francois.galea(a)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=f010ef5edd82… Author: François Galea <francois.galea(a)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=a7af846ade60… Author: François Galea <francois.galea(a)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=22d7dc4353fc… Author: Enea Zaffanella <zaffanella(a)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=6ed63be5fa24… Author: Enea Zaffanella <zaffanella(a)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=2fa2669e96e9… Author: Enea Zaffanella <zaffanella(a)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=be7b34ac1879… Author: Enea Zaffanella <zaffanella(a)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=c4b4cb73d97d… Author: François Galea <francois.galea(a)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=9a06b9697b65… Author: François Galea <francois.galea(a)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=e961e540b837… Author: Roberto Bagnara <bagnara(a)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=8ca010b524e4… Author: Roberto Bagnara <bagnara(a)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=aeb2709a41cb… Author: Roberto Bagnara <bagnara(a)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=e9c769a3992b… Author: Enea Zaffanella <zaffanella(a)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=b72c39080c69… Author: Enea Zaffanella <zaffanella(a)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=6503e77440bc… Author: Enea Zaffanella <zaffanella(a)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=802e03131e75… Author: Enea Zaffanella <zaffanella(a)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=893ad34ee7a5… Author: Enea Zaffanella <zaffanella(a)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=8daf23edd9ad… Author: Enea Zaffanella <zaffanella(a)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=90f18fa7da95… Author: Patricia Hill <p.m.hill(a)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=0a65a2985d7b… Author: Enea Zaffanella <zaffanella(a)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=57c7504c6e09… Author: Patricia Hill <p.m.hill(a)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=9b5f5fd6156c… Author: Roberto Bagnara <bagnara(a)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=368e94bd2e37… Author: Roberto Bagnara <bagnara(a)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=d37735b2febd… Author: Roberto Bagnara <bagnara(a)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=db2f453a9953… Author: Roberto Bagnara <bagnara(a)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=7aa7b67f7fe2… Merge: cef1370849e9e1a196fa73b1009973d53779c4d1 9005a4bc71b38b80205724ac2914731466e5b450 Author: Roberto Bagnara <bagnara(a)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=9005a4bc71b3… Author: Roberto Bagnara <bagnara(a)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=10e2e18534c3… Author: Enea Zaffanella <zaffanella(a)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=c67f2c8566da… Author: Roberto Bagnara <bagnara(a)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=9a89bb0a926a… Author: Roberto Bagnara <bagnara(a)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=58befe688ea3… Author: Roberto Bagnara <bagnara(a)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=768a88bdae63… Author: Roberto Bagnara <bagnara(a)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=3edd591a85e1… Author: Enea Zaffanella <zaffanella(a)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=dc751cb13ead… Author: Enea Zaffanella <zaffanella(a)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=a7fc5572e9b7… Author: Enea Zaffanella <zaffanella(a)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=99c0578d19f3… Author: Enea Zaffanella <zaffanella(a)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=cef1370849e9… Author: Roberto Amadini <r.amadini(a)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=a999ad72d925… Author: Roberto Amadini <r.amadini(a)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=0bcfbb57b083… Author: Roberto Bagnara <bagnara(a)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=e6b551f5f62b… Author: François Galea <francois.galea(a)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=710e5d5efd12… Author: Fabio <Fabio(a)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=63a514cb4d7f… Author: Enea Zaffanella <zaffanella(a)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=670c44bcc1e5… Author: Roberto Amadini <r.amadini(a)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=8d085a775bc8… Author: Roberto Amadini <r.amadini(a)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=4685b3625210… Author: Enea Zaffanella <zaffanella(a)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=95009146c346… Author: Enea Zaffanella <zaffanella(a)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=f2aee435d05b… Author: Roberto Amadini <r.amadini(a)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=af2621d1726b… Author: Enea Zaffanella <zaffanella(a)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=c07572474d4d… Merge: 8ad05a7fa1293c23494ebd8c1a8222c8cc39dc0e 089e2db3d5f73dc3ad5c1545dd777671ac583f58 Author: Roberto Bagnara <bagnara(a)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=8ad05a7fa129… Author: Enea Zaffanella <zaffanella(a)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=84dfaed9e347… Author: Enea Zaffanella <zaffanella(a)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=089e2db3d5f7… Merge: 99eaa536d87db8c8a5b34ab451196d11a57aa6a1 537a4928e00e2b811822089da4cf12a1dd4344cf Author: Roberto Bagnara <bagnara(a)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=537a4928e00e… Author: Roberto Bagnara <bagnara(a)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=1b73c49a9feb… Author: Roberto Bagnara <bagnara(a)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=e52d48a8ab59… Author: Roberto Bagnara <bagnara(a)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=3bbfa4bc9da9… Author: Roberto Bagnara <bagnara(a)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=9b0ba93300fb… Author: Roberto Bagnara <bagnara(a)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=1fa465112d1f… Author: Roberto Bagnara <bagnara(a)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=99eaa536d87d… Author: Roberto Amadini <r.amadini(a)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=bdae3bb7bff5… Author: Roberto Amadini <r.amadini(a)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=5e638dd4922a… Author: Enea Zaffanella <zaffanella(a)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=13a2650b7180… Author: Enea Zaffanella <zaffanella(a)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=511e9e86f968… Author: Enea Zaffanella <zaffanella(a)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=28dc8bb7f4c0… Author: Enea Zaffanella <zaffanella(a)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=77df3ea039c2… Author: Enea Zaffanella <zaffanella(a)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=e890db63f60f… Author: Enea Zaffanella <zaffanella(a)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=fce6b4f6fe1e… Author: Enea Zaffanella <zaffanella(a)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=8fc67ca60121… Author: Enea Zaffanella <zaffanella(a)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=12d4e15ef5be… Author: Enea Zaffanella <zaffanella(a)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=084cb1f82547… Author: Enea Zaffanella <zaffanella(a)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=3cb3ce1f0be9… Author: Enea Zaffanella <zaffanella(a)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=e191bf79e2f4… Author: Enea Zaffanella <zaffanella(a)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=1cec252d369a… Author: Enea Zaffanella <zaffanella(a)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=e0bd48ed51ae… Author: Enea Zaffanella <zaffanella(a)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=d994c6364d6d… Author: Enea Zaffanella <zaffanella(a)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=d274e1f6b47b… Author: Enea Zaffanella <zaffanella(a)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=215cc5a900c2… Author: Patricia Hill <p.m.hill(a)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=b8ac7e594ab0… Author: Roberto Amadini <r.amadini(a)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=0e480f958e85… Author: Enea Zaffanella <zaffanella(a)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=ee564d807b24… Author: Enea Zaffanella <zaffanella(a)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=0d53ceac4d79… Author: Patricia Hill <p.m.hill(a)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=945e8f14d130… Author: Roberto Amadini <r.amadini(a)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=7c0b14249c7c… Author: Roberto Amadini <r.amadini(a)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=84cdf71053ad… Author: Roberto Bagnara <bagnara(a)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=c6a791128aef… Author: Roberto Bagnara <bagnara(a)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=86cb551f54cb… Author: Roberto Amadini <r.amadini(a)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=fe233fcf5db9… Author: Roberto Bagnara <bagnara(a)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=f85e96f4e8a3… Author: Roberto Bagnara <bagnara(a)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=d97532ec7447… Author: Roberto Bagnara <bagnara(a)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=1e6df802e280… Author: Roberto Bagnara <bagnara(a)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=b492ed70728e… Author: Roberto Bagnara <bagnara(a)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=8d8d4194c8e1… Author: Roberto Bagnara <bagnara(a)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=1e75fbc5ddcd… Author: Fabio <Fabio(a)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=a7734015823e… Author: Enea Zaffanella <zaffanella(a)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=64a04677743e… Author: Enea Zaffanella <zaffanella(a)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=7da6c43b438c… Author: Enea Zaffanella <zaffanella(a)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=777f298702f1… Author: Roberto Bagnara <bagnara(a)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=eab6ab2fd4e4… Author: Roberto Bagnara <bagnara(a)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=8ac2c64c2e9f… Author: Roberto Bagnara <bagnara(a)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=9bdd6617be52… Author: Roberto Bagnara <bagnara(a)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=f0cd7dc9899f… Author: Roberto Bagnara <bagnara(a)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=01e3978bbebd… Merge: 3f6a0a0624328d63cdef17da7e06a8bd31e1f93e eab71496fec3819d941c5c444cb09041aea7eb0f Author: Fabio <Fabio(a)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=3c3188f08c10… Author: Roberto Bagnara <bagnara(a)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=e9f9532b4887… Author: Enea Zaffanella <zaffanella(a)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=3f6a0a062432… Author: Fabio <Fabio(a)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=d3339d25083d… Author: Enea Zaffanella <zaffanella(a)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=53e86bccd511… Author: Enea Zaffanella <zaffanella(a)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=214df020741e… Author: Roberto Bagnara <bagnara(a)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=9391a5768d5e… Author: Roberto Bagnara <bagnara(a)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=9ba82c5fb51f… Author: Roberto Bagnara <bagnara(a)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=6c5b321e1751… Author: Roberto Bagnara <bagnara(a)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=bad1f4e90af2… Author: Roberto Bagnara <bagnara(a)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=9857bc5b9ae3… Author: Enea Zaffanella <zaffanella(a)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=ac846ef3f2f4… Author: Enea Zaffanella <zaffanella(a)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=1789a22b1378… Author: Roberto Bagnara <bagnara(a)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=eab71496fec3… Author: Roberto Amadini <r.amadini(a)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=c257cba9d19c… Author: Roberto Bagnara <bagnara(a)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=b89a40da063c… Author: Enea Zaffanella <zaffanella(a)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=5ddd5a9f223c… Author: Enea Zaffanella <zaffanella(a)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=632f43866770… Author: Enea Zaffanella <zaffanella(a)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=4baadf1d8043… Author: Roberto Bagnara <bagnara(a)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=09c7bbce5f53… Author: Roberto Bagnara <bagnara(a)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=0804e05ac141… Author: Roberto Bagnara <bagnara(a)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=22208e21cd86… Author: Enea Zaffanella <zaffanella(a)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=2287f9b3cc25… Author: Roberto Amadini <r.amadini(a)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=5f573312d066… Author: Roberto Amadini <r.amadini(a)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=de1f6f6e47ec… Author: Roberto Bagnara <bagnara(a)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=25e8b89f3fb0… Author: Roberto Bagnara <bagnara(a)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=b57e8b768d88… Author: Roberto Bagnara <bagnara(a)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=dff9d4152afe… Author: Roberto Bagnara <bagnara(a)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=030ba2b2b3c5… Author: Roberto Bagnara <bagnara(a)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=6d5b20eeba49… Author: Roberto Bagnara <bagnara(a)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=9cf1cef85fea… Author: Roberto Bagnara <bagnara(a)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=7ba6445b1c5a… Author: Roberto Bagnara <bagnara(a)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=8eecefb16080… Author: Roberto Bagnara <bagnara(a)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=72133da8d4d4… Merge: 849386529a16621be3da132e3da44f8b56fb6d92 05cdf3ade39391ba25dc992cabe93a7758e23dac Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Mon Feb 15 11:29:01 2010 +0100 Merge branch 'master' into pip URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=05cdf3ade393… Author: Enea Zaffanella <zaffanella(a)cs.unipr.it> Date: Mon Feb 15 11:18:23 2010 +0100 Improved (devref) documentation for Matrix::add_(recycled_)row methods. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=849386529a16… Author: Enea Zaffanella <zaffanella(a)cs.unipr.it> Date: Mon Feb 8 00:23:06 2010 +0100 Drafted PIP_Problem methods {total,external}_memory_in_bytes(). URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=49d77d21e8dc… Author: Enea Zaffanella <zaffanella(a)cs.unipr.it> Date: Sun Feb 7 12:15:50 2010 +0100 PIP_Problem ascii dump&load methods now also dump/load problem solution. Fixed error in PIP_Tree_Node::ascii_load(). Added ascii dump&load methods to PIP_Decision_Node. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=9a962273cf06… Author: Enea Zaffanella <zaffanella(a)cs.unipr.it> Date: Sat Feb 6 22:16:08 2010 +0100 In ascii dump and load methods, also print pivot row strategy info. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=847a8a5f360d… Author: Enea Zaffanella <zaffanella(a)cs.unipr.it> Date: Sat Feb 6 17:16:05 2010 +0100 Improving test coverage ratio. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=543d508d1069… Author: Enea Zaffanella <zaffanella(a)cs.unipr.it> Date: Sat Feb 6 14:37:30 2010 +0100 Improved exception safety in method PIP_Solution_Node::solve(). URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=51e0707e9e73… Author: Enea Zaffanella <zaffanella(a)cs.unipr.it> Date: Fri Feb 5 19:02:44 2010 +0100 Clarified proper usage of PIP_Solution_Node alternative copy constructor. The Boolean argument replaced by a tag struct type, since it was only used for overloading resolution purposes. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=be3472f9d7b1… Author: Enea Zaffanella <zaffanella(a)cs.unipr.it> Date: Fri Feb 5 15:59:56 2010 +0100 Add new friend function add_mul_assign() for Linear_Expression. Used new function to optimize a couple of computations in PIP_Tree.cc. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=8b91cc59d73c… Author: Enea Zaffanella <zaffanella(a)cs.unipr.it> Date: Fri Feb 5 14:52:15 2010 +0100 Helper function negate_assign() rnamed as complement_assign(). URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=2cf076086588… Author: Enea Zaffanella <zaffanella(a)cs.unipr.it> Date: Fri Feb 5 14:05:42 2010 +0100 Simplified interface for virtual method PIP_Tree_Node::solve(). No longer using the PIP_Tree_Node*& parent_ref argument and direclty returning the solution PIP_Tree_Node* instead of a status flag. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=d7ab70ac7775… Author: Enea Zaffanella <zaffanella(a)cs.unipr.it> Date: Thu Feb 4 16:39:39 2010 +0100 Improved class PIP_Tree_Node::Artificial_Parameter. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=ecd41d0c27ce… Author: Enea Zaffanella <zaffanella(a)cs.unipr.it> Date: Thu Feb 4 10:54:27 2010 +0100 Some improvements to method PIP_Problem::solve(). URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=8fe9538a0dad… Author: Enea Zaffanella <zaffanella(a)cs.unipr.it> Date: Wed Feb 3 19:00:36 2010 +0100 Improved the last part of method PIP_Solution_Node::solve(). URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=42bacf1180af… Author: Enea Zaffanella <zaffanella(a)cs.unipr.it> Date: Wed Feb 3 17:26:41 2010 +0100 More progress on PIP_Solution_Node::solve(). Identified places where the current implementation is not exception safe. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=bcc9213813f9… Author: Enea Zaffanella <zaffanella(a)cs.unipr.it> Date: Wed Feb 3 14:33:00 2010 +0100 Further improved (huge) method PIP_Solution_Node::solve(). Added a couple of comments regarding parts where comments or code in unclear. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=2649737035a9… Author: Enea Zaffanella <zaffanella(a)cs.unipr.it> Date: Wed Feb 3 08:50:28 2010 +0100 Improved method Tableau::is_better_pivot(). URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=c08098c36aa4… Author: Enea Zaffanella <zaffanella(a)cs.unipr.it> Date: Tue Feb 2 10:27:12 2010 +0100 Started improving method PIP_Solution_Node::solve(): - limit scope of variables; - try to use meaningful variable names. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=ff7e8d5afd59… Author: Enea Zaffanella <zaffanella(a)cs.unipr.it> Date: Mon Feb 1 19:23:18 2010 +0100 Minor improvements to PIP_Problem documentation and C interface. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=052ec67e0d7c… Author: Enea Zaffanella <zaffanella(a)cs.unipr.it> Date: Mon Feb 1 17:32:17 2010 +0100 Got rid of error-prone Tableau::s_capacity() and Tableau::t_capacity(). URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=a7326ef65ce9… Author: Enea Zaffanella <zaffanella(a)cs.unipr.it> Date: Mon Feb 1 17:29:34 2010 +0100 Improved method PIP_Solution_Node::update_tableau(). URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=476f754b5c37… Author: Enea Zaffanella <zaffanella(a)cs.unipr.it> Date: Mon Feb 1 14:12:04 2010 +0100 Improved implementation of PIP_Solution_Node::compatibility_check(). Besides readability and stylistic changes, the change should also immprove robustness and (to a lesser extent) performance. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=85c05c902ae1… Author: Enea Zaffanella <zaffanella(a)cs.unipr.it> Date: Sun Jan 31 22:21:51 2010 +0100 Improved method PIP_Solution_Node::::parametric_values(). URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=2e6d5a18fb1e… Author: Enea Zaffanella <zaffanella(a)cs.unipr.it> Date: Sun Jan 31 21:59:21 2010 +0100 Stylistic improvements to Tableau methods normalize() and scale(). URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=c1f10d956a03… Author: Enea Zaffanella <zaffanella(a)cs.unipr.it> Date: Sun Jan 31 21:36:40 2010 +0100 A few more stylistic improvements. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=a30d0933cfa1… Author: Enea Zaffanella <zaffanella(a)cs.unipr.it> Date: Sun Jan 31 19:36:12 2010 +0100 Several improvements to PIP_Solution_Node::generate_cut(). Added method OK() to Artificial_Parameter. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=353f9b79d107… Author: Enea Zaffanella <zaffanella(a)cs.unipr.it> Date: Sun Jan 31 16:19:41 2010 +0100 Further optimization to helper function column_lower(). URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=af2068fb4971… Author: Enea Zaffanella <zaffanella(a)cs.unipr.it> Date: Sun Jan 31 00:07:27 2010 +0100 Several minor stylistic improvements. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=b4fe5c5c5a5b… Author: Enea Zaffanella <zaffanella(a)cs.unipr.it> Date: Sat Jan 30 23:43:40 2010 +0100 Prefer C++ named casts to C style casts. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=6864f73b1fba… Author: Enea Zaffanella <zaffanella(a)cs.unipr.it> Date: Sat Jan 30 23:38:59 2010 +0100 Minor readability improvements to row_normalize. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=cd6b0004b5f7… Author: Enea Zaffanella <zaffanella(a)cs.unipr.it> Date: Sat Jan 30 23:23:24 2010 +0100 Optimized some computation in helper function column_lower(). URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=e10ef6e9a1b9… Author: Enea Zaffanella <zaffanella(a)cs.unipr.it> Date: Sat Jan 30 22:22:51 2010 +0100 Improved helper function merge_assign(): add all new rows at once. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=07cdb790656a… Author: Enea Zaffanella <zaffanella(a)cs.unipr.it> Date: Sat Jan 30 21:37:50 2010 +0100 Corrected capacity mismatch bug in PIP_Solution_Node::solve(). URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=b728ad412284… Author: Enea Zaffanella <zaffanella(a)cs.unipr.it> Date: Sat Jan 30 20:50:27 2010 +0100 Improved consistency checks in method PIP_Decision_Node::OK(). URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=d11a14fc0576… Author: Enea Zaffanella <zaffanella(a)cs.unipr.it> Date: Sat Jan 30 20:39:36 2010 +0100 Improved consistency checks in method PIP_Solution_Node::Tableau::OK(). Prefer using Coefficient_traits::const_reference in parameter passing. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=4f580901c890… Author: Enea Zaffanella <zaffanella(a)cs.unipr.it> Date: Sat Jan 30 20:17:22 2010 +0100 The Pip_Tree_Node:OK() method is now virtual. When overriding a virtual method in derived classes, prefer repeating the virtual keyword for clarity. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=4f1e1304cef9… Author: Enea Zaffanella <zaffanella(a)cs.unipr.it> Date: Sat Jan 30 19:09:19 2010 +0100 Typedef for PIP_Tree moved to PIP_Tree.types.hh. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=36de950771eb… Author: Enea Zaffanella <zaffanella(a)cs.unipr.it> Date: Sat Jan 30 18:59:06 2010 +0100 Everyting else equal, prefer downward iteration in for loop. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=299dafac1f95… Author: Enea Zaffanella <zaffanella(a)cs.unipr.it> Date: Sat Jan 30 18:57:29 2010 +0100 No need to check for null pointers before deleting them. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=3f15af9db40f… Author: Enea Zaffanella <zaffanella(a)cs.unipr.it> Date: Mon Jan 25 14:41:09 2010 +0100 Forward declare classes before making them friends. Included Grid.types.hh in Congruence_/Grid_Generator_ System.defs.hh. Do not uselessly include Grid.types.hh in Generator_system.defs.hh. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=a7f6b5d260af… Author: François Galea <francois.galea(a)uvsq.fr> Date: Fri Jan 22 08:15:24 2010 +0100 Added a not working incremental solve test. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=91de7841156c… Author: François Galea <francois.galea(a)uvsq.fr> Date: Wed Jan 20 08:23:22 2010 +0100 Fixed bugs. Now test07 in pipproblem2.cc is successful. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=6b04bd578005… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Sat Jan 9 23:28:55 2010 +0100 Fixed the omissions of ppl_Polyhedron_is_empty/1 and ppl_Polyhedron_add_constraints/2. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=df9e55f182cd… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Sat Jan 9 23:25:06 2010 +0100 Fixed the omission of ppl_set_irrational_precision/1 and ppl_irrational_precision/1. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=582ab4eaecea… Merge: 07245b3ac3485ebcd4acdf1d00585988e58c60ad 9c19bc2b318a35016e0189f9552c98910be37f53 Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Sat Jan 9 16:33:56 2010 +0100 Merge branch 'master' into pip URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=9c19bc2b318a… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Sat Jan 9 16:32:08 2010 +0100 Added support for GMP 5.0. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=07245b3ac348… Merge: 2434409ba4ea91334a47ebb49cb8afca1dfa6a77 56ee86b9ccf001c8dc2ab1558332e9691b2eff3f Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Sat Jan 9 16:18:38 2010 +0100 Merge branch 'master' into pip URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=56ee86b9ccf0… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Sat Jan 9 14:38:37 2010 +0100 Adapted to follow the IBM OSL conventions for the MPS format. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=447775d2f2aa… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Sat Jan 9 14:23:58 2010 +0100 Generate nicer identifiers for the temporaries. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=97ce932e0129… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Sat Jan 9 14:19:59 2010 +0100 Adapted to follow the IBM OSL conventions for the MPS format. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=2434409ba4ea… Author: François Galea <francois.galea(a)uvsq.fr> Date: Tue Jan 5 20:32:59 2010 +0100 Fixed a bug. Now test08 and test09 in pipproblem2.cc are successful. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=e3db97de0e93… Author: François Galea <francois.galea(a)uvsq.fr> Date: Mon Jan 4 08:33:04 2010 +0100 Implemented an optional pivot row strategy for difficult problems. It is deactivated by default as it is more compute intensive. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=37b1e615b392… Author: François Galea <francois.galea(a)uvsq.fr> Date: Wed Dec 16 08:32:19 2009 +0100 Added a more aggressive cutting strategy which generates all possible cuts. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=9a6c37ff2950… Author: François Galea <francois.galea(a)uvsq.fr> Date: Wed Dec 16 08:32:15 2009 +0100 Moved out the cut generation code into a separate method. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=1f02dadae258… Author: François Galea <francois.galea(a)uvsq.fr> Date: Wed Dec 16 08:32:12 2009 +0100 Moved huge block of code out of useless 'else' block. Code reindentation. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=9cea0f336306… Author: Enea Zaffanella <zaffanella(a)cs.unipr.it> Date: Mon Jan 4 08:25:47 2010 +0100 Do not include <iostream> if PPL_NOISY_SIMPLEX is defined to 0. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=a1a748c8dade… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Fri Jan 1 16:37:56 2010 +0100 Extended copyright years. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=05bcc560695c… Merge: 2e58e4cde2d03f7e4a696291d0de764929a86652 4d6c6db0470eb60cecbbed0a43a2b08d8539e95f Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Fri Jan 1 16:37:29 2010 +0100 Merge branch 'master' into pip URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=4d6c6db0470e… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Fri Jan 1 16:36:10 2010 +0100 Extended copyright years. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=2e58e4cde2d0… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Fri Jan 1 16:34:11 2010 +0100 Extended copyright years. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=149a08281d49… Merge: 8c57cea34a350ab5fd9d1c66d09f98782b3b8af8 488f55fbe874c4f3a85c0c0db8c59f7e83d615e0 Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Fri Jan 1 16:32:11 2010 +0100 Merge branch 'master' into pip URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=488f55fbe874… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Fri Jan 1 16:28:45 2010 +0100 Extended copyright years. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=8c57cea34a35… Merge: 4394384f20722ac901f4b934780238580eae1767 99a040ae53ddf2e369340274eb34d5211b1c642a Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Wed Dec 30 19:01:52 2009 +0100 Merge branch 'master' into pip Conflicts: doc/devref.doxyconf-html.in tests/Makefile.am URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=99a040ae53dd… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Wed Dec 30 17:43:41 2009 +0100 Version number bumped. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=98369e2afded… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Wed Dec 30 17:35:21 2009 +0100 Support building the Java interface on MinGW. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=276db1f0bb1f… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Wed Dec 30 17:35:01 2009 +0100 Document conditionals. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=0741942dd929… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Wed Dec 30 16:19:32 2009 +0100 Restore the use of the `win32-dll' Libtool option. Use -no-undefined on all variants of Cygwin and MinGW. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=aa8f202b9935… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Wed Dec 30 11:23:40 2009 +0100 Correction for platforms where not all floating point types are supported. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=d291e71b9e3f… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Wed Dec 30 11:00:42 2009 +0100 Use the right assignment operator. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=2d797ef5eb5d… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Tue Dec 29 22:24:42 2009 +0100 Expected failures revised. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=4fa0f5b2b45f… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Tue Dec 29 21:21:48 2009 +0100 Expected failured revised. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=90e5cd14f89d… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Tue Dec 29 21:11:08 2009 +0100 Typo fixed. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=17ee1020a0d9… Author: Roberto Amadini <r.amadini(a)virgilio.it> Date: Tue Dec 29 20:05:29 2009 +0100 Renamed affine_image on Linear Forms into affine_form_image. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=755fc746e12a… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Tue Dec 29 17:56:47 2009 +0100 Use the general assignment and comparison functions. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=f62e48e20709… Merge: 7bfd19aec5b224dab0d853f4904f5118e8c77fde e86e2471429982e8141789e4adeb6ddd0cc1e326 Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Mon Dec 28 20:27:49 2009 +0100 Merge branch 'master' into floating_point URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=e86e24714299… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Mon Dec 28 20:26:04 2009 +0100 Fixed several bugs. These consisted in using *_r() checked-number functions without actually checking the result. Factorized the code to set the M parameter. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=7bfd19aec5b2… Author: Roberto Amadini <r.amadini(a)virgilio.it> Date: Mon Dec 28 14:21:22 2009 +0100 Improved Multiplication_Floating_Point_Expression::linearize. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=9b8c9752949e… Author: Roberto Amadini <r.amadini(a)virgilio.it> Date: Sat Dec 26 18:20:50 2009 +0100 Implemented Box<ITV>::affine_image on Interval Linear Forms. Tests in tests/Floating_Point_Expression actually use only IEEE754 floating point format. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=e8fa0e1fbc06… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Tue Dec 22 19:25:39 2009 +0100 Version number bumped. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=9e4dbdd8255a… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Tue Dec 22 19:20:54 2009 +0100 Updated. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=2cda93e86a8b… Merge: 1242e420c15da5fa9f671f4d93227ced7272f035 4e2145f8d498bc3ea055a06a1244de677b7bbab5 Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Tue Dec 22 09:33:21 2009 +0100 Merge branch 'floating_point' URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=4e2145f8d498… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Tue Dec 22 09:30:55 2009 +0100 Capture the expected failure due to overflows. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=1242e420c15d… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Mon Dec 21 18:28:30 2009 +0100 Never leave operators at end of line. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=6b88ad1f7025… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Mon Dec 21 18:24:08 2009 +0100 Never leave operators at end of line. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=e61dd7b58a36… Author: Roberto Amadini <r.amadini(a)virgilio.it> Date: Sun Dec 20 17:42:42 2009 +0100 Several corrections in tests and source code. Now, in all tests of tests/Floating_Point_Expression/ we assume that analyzer format must be less precise or equal than analyzed format. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=f69b86061855… Merge: 12f6d4872bc274aaf7f068ff35b1c6c209a7a39a 9784b8165b6cb1dea5eb6d20b4cebca7ecc780fd Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Sat Dec 19 12:37:54 2009 +0100 Merge branch 'master' into floating_point URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=9784b8165b6c… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Sat Dec 19 11:46:22 2009 +0100 Added support for SWI-Prolog version 5.8 and later. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=12f6d4872bc2… Author: Roberto Amadini <r.amadini(a)virgilio.it> Date: Mon Dec 14 22:51:40 2009 +0100 Added Linear Form Intervalization on rate limiter test. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=a75d238a6baf… Author: Roberto Amadini <r.amadini(a)virgilio.it> Date: Fri Dec 11 14:26:56 2009 +0100 Improved test01, ..., test04. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=307af1367ed6… Author: Roberto Amadini <r.amadini(a)virgilio.it> Date: Mon Dec 7 18:41:03 2009 +0100 Removed redundant code. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=96ac4ea63bf3… Author: Roberto Amadini <r.amadini(a)virgilio.it> Date: Wed Dec 2 23:43:32 2009 +0100 Fixed comments. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=4394384f2072… Author: François Galea <francois.galea(a)uvsq.fr> Date: Mon Nov 30 17:08:59 2009 +0100 Improved the documentation of the PIP solver. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=031a0a56e158… Author: François Galea <francois.galea(a)uvsq.fr> Date: Mon Nov 30 15:31:58 2009 +0100 Simplified the solution tree exploration method. Including, the PIP_Tree_Node::insert_artificials method has been removed. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=bb5e95b8994a… Author: Fabio Biselli <fabio.biselli(a)studenti.unipr.it> Date: Sun Nov 29 18:22:21 2009 +0100 Fixed a typo. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=c8e299d57c03… Author: Fabio Biselli <fabio.biselli(a)studenti.unipr.it> Date: Sun Nov 29 18:04:16 2009 +0100 Added a rate limiter test that pass without intersection between the two domain. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=dc2ec7594e5d… Author: Roberto Amadini <r.amadini(a)virgilio.it> Date: Sat Nov 28 18:05:06 2009 +0100 Improved tests on rate limiter. They all pass now. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=f9022a7ee764… Author: François Galea <francois.galea(a)uvsq.fr> Date: Fri Nov 27 16:39:59 2009 +0100 Modified the documentation of the PIP_Problem class. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=3e5358356737… Author: François Galea <francois.galea(a)uvsq.fr> Date: Fri Nov 27 08:10:18 2009 +0100 Fixed a regression. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=05f65d328f6e… Author: Enea Zaffanella <zaffanella(a)cs.unipr.it> Date: Thu Nov 26 14:42:56 2009 +0100 Test test10() in pipproblem2.cc seems to show another bug. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=f83627a47466… Author: Enea Zaffanella <zaffanella(a)cs.unipr.it> Date: Thu Nov 26 14:42:12 2009 +0100 Added a few tests for the PIP_Problem ascii_dump/load methods. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=3bb1ea9da441… Author: Enea Zaffanella <zaffanella(a)cs.unipr.it> Date: Thu Nov 26 14:41:05 2009 +0100 Properly set status flags when solving a PIP_Problem having no constraints. Minor correction to ascii_dump method. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=f07483112d73… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Thu Nov 26 11:17:39 2009 +0100 One item added. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=b831631899dd… Author: François Galea <francois.galea(a)uvsq.fr> Date: Thu Nov 26 08:37:43 2009 +0100 Changed the cut generation strategy in compatibility_check. Now several cuts may be generated in a single pass. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=f98b51bb576f… Author: François Galea <francois.galea(a)uvsq.fr> Date: Thu Nov 26 08:36:17 2009 +0100 Changed the pivot row selection algorithm in compatibility_check. It now selects the row which maximizes the lexico-minimal pivot column. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=f6a5acdea679… Author: François Galea <francois.galea(a)uvsq.fr> Date: Thu Nov 26 08:34:55 2009 +0100 Minor cosmetic code fixes. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=9086d965ff48… Author: François Galea <francois.galea(a)uvsq.fr> Date: Thu Nov 26 08:29:58 2009 +0100 Moved the lexico-minimum column search algorithm to a separate function. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=3c903922ece8… Author: François Galea <francois.galea(a)uvsq.fr> Date: Wed Nov 25 17:26:20 2009 +0100 Removed useless utility function. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=2709f6de0c88… Author: François Galea <francois.galea(a)uvsq.fr> Date: Thu Nov 26 10:47:08 2009 +0100 Fixed a regression. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=e46ac63881ab… Author: Enea Zaffanella <zaffanella(a)cs.unipr.it> Date: Tue Nov 24 15:22:01 2009 +0100 PIP_Problem can handle strict inequalities: corresponding checks removed. Got rid of internal status SATISFIABLE, which was unused. Corrected several minor typos (missing spaces) in exception messages. Added a new test (pipproblem2.cc, test09) showing what seems to be a bug. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=9cc933834e49… Author: Enea Zaffanella <zaffanella(a)cs.unipr.it> Date: Tue Nov 24 13:06:50 2009 +0100 Test test07() in pipproblem2.cc shows a bug in PIP_Problem. Apparently, we cannot incrementally add new constraints to a PIP_Problem taht was already solved. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=06c6a3408fb5… Author: Enea Zaffanella <zaffanella(a)cs.unipr.it> Date: Tue Nov 24 12:09:20 2009 +0100 Prefer not_a_dimension() as a marker if the big parameter is not set. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=51bc21cdc8ce… Author: Enea Zaffanella <zaffanella(a)cs.unipr.it> Date: Tue Nov 24 10:49:08 2009 +0100 Started adding tests checking for the right PIP_Problem exceptions are thrown. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=cfbfb20b161e… Author: Enea Zaffanella <zaffanella(a)cs.unipr.it> Date: Tue Nov 24 10:18:16 2009 +0100 Started adding tests to increase coverage. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=75564de32ad9… Author: Enea Zaffanella <zaffanella(a)cs.unipr.it> Date: Mon Nov 23 18:52:37 2009 +0100 Minor improvements to avoid assertion failures on iterators. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=108c6bf1ccdb… Author: Enea Zaffanella <zaffanella(a)cs.unipr.it> Date: Mon Nov 23 18:51:14 2009 +0100 Started drafting a Prolog interface for PIP_Problem. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=07821ad5d5ad… Author: Enea Zaffanella <zaffanella(a)cs.unipr.it> Date: Mon Nov 23 14:17:42 2009 +0100 In PIP_Problem::clear(), do also reset the big parameter dimension. Added C language functions for getting/setting the big parameter dimension. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=e1518687e622… Author: Enea Zaffanella <zaffanella(a)cs.unipr.it> Date: Mon Nov 23 13:13:38 2009 +0100 Enumerations for control parameters put inside class PIP_Problem. Interfaced methods for getting/setting control parameters (in C). Other minor stylistic improvements here and there. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=b92ce985bab6… Author: Enea Zaffanella <zaffanella(a)cs.unipr.it> Date: Mon Nov 23 10:32:56 2009 +0100 Corrected a bug in method swap. Several minor stylistic improvements. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=134489d82662… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Mon Nov 23 07:28:50 2009 +0100 Item added. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=b521d8e6b10b… Author: Roberto Amadini <r.amadini(a)virgilio.it> Date: Sun Nov 22 17:38:50 2009 +0100 Modified tests on rate limiter. Removed useless comments. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=8fcb1702a990… Author: François Galea <francois.galea(a)uvsq.fr> Date: Fri Nov 20 09:58:38 2009 +0100 Optimized the solver main loop using PPL_DIRTY_TEMP_COEFFICIENT's. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=b326ccf6d429… Author: François Galea <francois.galea(a)uvsq.fr> Date: Thu Nov 19 15:20:58 2009 +0100 Added a rule to the cut methods to always choose the simplest parametric part. This tends to provide simpler solution trees on some problems. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=548215a3de60… Author: François Galea <francois.galea(a)uvsq.fr> Date: Thu Nov 19 11:59:57 2009 +0100 Added a mechanism to avoid generating the same Artificial_Parameter twice. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=8cba1ff2af03… Author: François Galea <francois.galea(a)uvsq.fr> Date: Thu Nov 19 11:59:53 2009 +0100 Added a pointer to parent node in PIP_Tree_Node. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=249afaa3a7bf… Author: François Galea <francois.galea(a)uvsq.fr> Date: Thu Nov 19 11:59:49 2009 +0100 Improved the deepest row selection cut strategy. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=defe2c4b315e… Author: François Galea <francois.galea(a)uvsq.fr> Date: Thu Nov 19 12:30:50 2009 +0100 Correctly rewrote ascii_dump/ascii_load methods for PIP_Solution_Node. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=ccb5b869e390… Author: François Galea <francois.galea(a)uvsq.fr> Date: Thu Nov 19 12:29:42 2009 +0100 Removed useless debugging display code. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=ff541fbbe995… Author: François Galea <francois.galea(a)uvsq.fr> Date: Mon Nov 16 18:49:07 2009 +0100 Added an option in PIP standalone solver to solve the problem several times. This may be convenient for benchmarking purposes. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=407ea63b7d30… Author: François Galea <francois.galea(a)uvsq.fr> Date: Mon Nov 16 18:23:58 2009 +0100 Fixed a bug in PIP_Problem copy constructor. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=5968086496c3… Author: François Galea <francois.galea(a)uvsq.fr> Date: Mon Nov 16 15:00:45 2009 +0100 Updated the deepest cut strategy; now only selects rows associated to initial variables. This results in performance increase in most problems. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=166aa73867fc… Author: François Galea <francois.galea(a)uvsq.fr> Date: Mon Nov 16 18:01:21 2009 +0100 Minor fix fixes in standalone solver. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=1feefaab34eb… Author: François Galea <francois.galea(a)uvsq.fr> Date: Mon Nov 16 17:39:14 2009 +0100 Fixed a bug in standalone solver when using PIPlib files with a big parameter. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=6af59504f0e2… Author: François Galea <francois.galea(a)uvsq.fr> Date: Fri Nov 13 18:03:48 2009 +0100 Added support for an arbitrarily big parameter. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=129b74f12cf5… Author: François Galea <francois.galea(a)uvsq.fr> Date: Fri Nov 13 19:12:50 2009 +0100 Switched the default cut generation strategy to first row. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=60731ffcf53a… Author: François Galea <francois.galea(a)uvsq.fr> Date: Fri Nov 13 18:19:01 2009 +0100 Fixed a bug. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=3a6efe831670… Author: François Galea <francois.galea(a)uvsq.fr> Date: Fri Nov 13 17:10:40 2009 +0100 Added a control parameter for cut generation strategy. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=d105f5ecbaaf… Author: François Galea <francois.galea(a)uvsq.fr> Date: Tue Nov 10 16:08:43 2009 +0100 Added a mechanism for setting/getting control parameter values. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=da5f1817645d… Author: François Galea <francois.galea(a)uvsq.fr> Date: Tue Nov 10 16:07:17 2009 +0100 Made use of virtual methods in PIP_Tree_Node::clone(). URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=b102f42050ad… Author: François Galea <francois.galea(a)uvsq.fr> Date: Thu Nov 5 14:40:39 2009 +0100 Fixed a bug. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=09665b7e6410… Author: François Galea <francois.galea(a)uvsq.fr> Date: Thu Nov 5 14:19:36 2009 +0100 Removed temporary debug code. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=0bc03d578673… Author: François Galea <francois.galea(a)uvsq.fr> Date: Thu Nov 5 09:11:38 2009 +0100 Improved the support for equality constraints. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=a2812b97dfea… Author: François Galea <francois.galea(a)uvsq.fr> Date: Wed Nov 4 11:51:36 2009 +0100 Improved basis handling in compatibility_check. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=43721277fe73… Author: François Galea <francois.galea(a)uvsq.fr> Date: Wed Nov 4 08:56:45 2009 +0100 Added coherency checks in PIP_Solution_Node. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=3c4cfb2bdf11… Author: François Galea <francois.galea(a)uvsq.fr> Date: Wed Nov 4 08:45:20 2009 +0100 Improved basis handling with support for slack variables and bijective variable mapping. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=f09897ddab17… Author: François Galea <francois.galea(a)uvsq.fr> Date: Tue Nov 3 09:54:58 2009 +0100 Implemented an example of solution tree spanning and display using the C interface. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=75201b577f6d… Author: François Galea <francois.galea(a)uvsq.fr> Date: Tue Nov 3 09:53:10 2009 +0100 Implemented the art_parameter_count method; updated the C interface. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=22429a8c2b62… Author: François Galea <francois.galea(a)uvsq.fr> Date: Mon Nov 2 17:41:11 2009 +0100 Implemented Bland's anti-cycling rule in compatibility_check. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=75d549f15888… Author: François Galea <francois.galea(a)uvsq.fr> Date: Mon Nov 2 16:59:51 2009 +0100 Proper scaling of cuts in compatiblity_check. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=68759e0051c1… Author: François Galea <francois.galea(a)uvsq.fr> Date: Fri Oct 30 13:25:06 2009 +0100 Minor fix in PIP standalone solver. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=3f77646bf501… Author: François Galea <francois.galea(a)uvsq.fr> Date: Thu Oct 29 13:37:59 2009 +0100 Fixed a bug in PIP standalone solver. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=0ae52bb82643… Author: François Galea <francois.galea(a)uvsq.fr> Date: Wed Oct 28 16:23:14 2009 +0100 Fixed one bug in standalone PIP solver. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=43b0216a8baa… Author: François Galea <francois.galea(a)uvsq.fr> Date: Wed Oct 28 15:48:13 2009 +0100 Added support for Polylib-formatted files in standalone solver. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=f29d86a0be72… Author: François Galea <francois.galea(a)uvsq.fr> Date: Tue Oct 27 20:12:47 2009 +0100 Added support for equality constraints; fixed a bug for strict inequalities. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=da9e3b638d75… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Tue Oct 27 17:08:11 2009 +0100 Version number bumped. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=73a0148ba9c9… Author: François Galea <francois.galea(a)uvsq.fr> Date: Tue Oct 27 16:31:42 2009 +0100 Fixed the C interface and the documentation for PIP_Tree_Node methods. The concerned methods are insert_artificials and get_parametric_values. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=250a996c0147… Author: Enea Zaffanella <zaffanella(a)cs.unipr.it> Date: Mon Oct 26 21:30:20 2009 +0100 Another pass on the C interface for PIP_Problem related classes. Removed a few useless functions and added a few missing ones, including input/output utilities; also slightly improved the documentation. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=bcd32b2e0310… Author: Enea Zaffanella <zaffanella(a)cs.unipr.it> Date: Sun Oct 25 17:25:07 2009 +0100 Interfaced constructor/destructor for Artificial_Parameter_Sequence iterators. These iterators should be used similarly to the ones defined on systems of constraints or generators. Corrected a couple of bugs in the documentation. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=65ebba9954ea… Author: Patricia Hill <p.m.hill(a)leeds.ac.uk> Date: Sat Oct 24 17:34:19 2009 +0100 Added increment, dereference and equal functions for ppl_Artificial_Parameter_Sequence_const_iterator_t's Fixed a couple of bugs. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=0848cf9eb545… Author: François Galea <francois.galea(a)uvsq.fr> Date: Fri Oct 23 17:03:27 2009 +0200 Added test program for PIP C interface. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=4c95e73449a6… Author: François Galea <francois.galea(a)uvsq.fr> Date: Fri Oct 23 17:00:25 2009 +0200 New parameter choice method. Updated the C interface. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=f6f503bc22cd… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Thu Oct 22 22:19:52 2009 +0200 Refer to PPL 0.11, not 0.10. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=3abd93298e88… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Thu Oct 22 22:18:26 2009 +0200 Version number bumped. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=4e5c81beb8e9… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Thu Oct 22 22:07:38 2009 +0200 Ditribute also MIP_Problem.types.hh, PIP_Tree.types.hh and PIP_Problem.types.hh. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=068eaef2c633… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Thu Oct 22 18:16:20 2009 +0200 Adapted to the checking of ppl_pips. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=7771850394ed… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Thu Oct 22 18:16:03 2009 +0200 Put under Git control. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=b96565a81906… Author: François Galea <francois.galea(a)uvsq.fr> Date: Thu Oct 22 11:32:19 2009 +0200 Removed invalid optimization in context compatibility check. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=7c4cc0826009… Author: François Galea <francois.galea(a)uvsq.fr> Date: Wed Oct 21 19:42:21 2009 +0200 Added a standalone PIP solver demo program. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=9d6df94a8a65… Author: François Galea <francois.galea(a)uvsq.fr> Date: Wed Oct 21 12:39:17 2009 +0200 Context compatibility check now searches for valid integer solutions. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=9f62791f13a0… Author: François Galea <francois.galea(a)uvsq.fr> Date: Tue Oct 20 18:18:19 2009 +0200 Parameter compatibility check now applies a revised dual simplex method. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=5050775875b5… Author: François Galea <francois.galea(a)uvsq.fr> Date: Tue Oct 20 16:52:33 2009 +0200 Added display of computed row parameter signs in noisy PIP mode. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=27de41218171… Author: François Galea <francois.galea(a)uvsq.fr> Date: Tue Oct 20 16:10:26 2009 +0200 Added new test, which should return an empty solution. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=391db98125e2… Author: Fabio Biselli <fabio.biselli(a)studenti.unipr.it> Date: Tue Oct 20 15:23:59 2009 +0200 Documentation updates. Fixed parenthesis in ppl.sty as suggested. Fixed few typos. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=5d5b77d7bd5b… Author: François Galea <francois.galea(a)uvsq.fr> Date: Tue Oct 20 11:36:57 2009 +0200 Always stop compatibility check at first negative row. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=6da25c9734d4… Author: Roberto Amadini <r.amadini(a)virgilio.it> Date: Sat Oct 17 12:43:04 2009 +0200 Added FIXME notes. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=8801eb01b1d0… Author: Roberto Amadini <r.amadini(a)virgilio.it> Date: Fri Oct 16 18:23:45 2009 +0200 Added a test on BD_Shape, improved a test on Polyhedra. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=d8d6e899f5ca… Author: Fabio Biselli <fabio.biselli(a)studenti.unipr.it> Date: Fri Oct 16 11:53:37 2009 +0200 Added BASE field to floating point struct. Modified absolute/relative error definition using FP_Format::BASE. Modified tests using FP_Format::BASE. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=b748415bdb69… Author: François Galea <francois.galea(a)uvsq.fr> Date: Fri Oct 16 09:58:24 2009 +0200 Improved the heuristic for the choice of the deepest cut. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=65b630d43bcb… Author: François Galea <francois.galea(a)uvsq.fr> Date: Fri Oct 16 09:38:10 2009 +0200 Better use of scaling and normalization to keep low coefficient values where possible. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=cd38635a96c0… Author: François Galea <francois.galea(a)uvsq.fr> Date: Fri Oct 16 09:32:29 2009 +0200 Corrected invalid compatibility check algorithm. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=9c6033597683… Author: Fabio Biselli <fabio.biselli(a)studenti.unipr.it> Date: Thu Oct 15 11:54:43 2009 +0200 Added float_ibm_single declaration into class Float<T>. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=cacb4330a7f4… Author: Fabio Biselli <fabio.biselli(a)studenti.unipr.it> Date: Wed Oct 14 18:06:40 2009 +0200 Added Floating_Point_Expression.templates.hh into documentation. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=051c82f85918… Author: François Galea <francois.galea(a)uvsq.fr> Date: Wed Oct 14 12:28:29 2009 +0200 Added a test case illustrating an instability in the PIP solver. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=286faa55e601… Author: Roberto Amadini <r.amadini(a)virgilio.it> Date: Tue Oct 13 15:42:32 2009 +0200 Modified widening in test05 and test06. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=8e8d79ad7cef… Author: François Galea <francois.galea(a)uvsq.fr> Date: Tue Oct 13 10:50:48 2009 +0200 Integrality check only on the original variables (not slack ones). URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=386c5e664533… Author: François Galea <francois.galea(a)uvsq.fr> Date: Tue Oct 13 10:49:20 2009 +0200 Optimized pivot operation. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=ea3ca40fe59e… Author: Enea Zaffanella <zaffanella(a)cs.unipr.it> Date: Sat Oct 10 12:07:01 2009 +0200 Uncommented C interface code for PIP_Problem assignment. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=4002ecca8f7a… Author: Patricia Hill <p.m.hill(a)leeds.ac.uk> Date: Fri Oct 9 23:25:07 2009 +0100 More functions for the C interface to the PIP Tree class - in particular, corresponding to the PIP_Solution_Node and PIP_Decision_Node C++ methods. Various small bugs fixed in the PIP_Problem C interface code. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=2e43b1a4200b… Author: Patricia Hill <p.m.hill(a)leeds.ac.uk> Date: Fri Oct 9 21:00:56 2009 +0100 Fixed various bugs in the C interface for PIP_Problem methods. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=9a9a350ade22… Author: François Galea <francois.galea(a)uvsq.fr> Date: Fri Oct 9 17:57:18 2009 +0200 Improved best pivot row selection heuristic. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=0d54e9631e1c… Author: Patricia Hill <p.m.hill(a)leeds.ac.uk> Date: Fri Oct 9 13:02:12 2009 +0100 Added several C functions for PIP_Tree_Node and Artificial_Parameter*. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=50e259b4f41c… Author: Patricia Hill <p.m.hill(a)leeds.ac.uk> Date: Thu Oct 8 20:52:56 2009 +0100 Added the c interface for as_decision() and as_solution(). URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=a4c21dff1147… Author: François Galea <francois.galea(a)uvsq.fr> Date: Fri Oct 9 13:08:37 2009 +0200 Fixed memory managment issue in copy constructor of PIP_Problem. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=3aedf16a94ad… Author: François Galea <francois.galea(a)uvsq.fr> Date: Fri Oct 9 13:07:15 2009 +0200 Added call to the solver to check problem satisfiability. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=d5889e252f39… Author: Enea Zaffanella <zaffanella(a)cs.unipr.it> Date: Thu Oct 8 20:41:16 2009 +0200 Added implementations for PIP_Problem swap and operator= methods. Added a few consistency checks in method OK(). Pointed out a resource management bug in copy constructor that can result in memory corruption. Added test04() to pipproblem1.cc (currently commented out) showing that a segmentation fault can be obtained when copying a PIP_Problem object having a non-null solution tree. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=bea0281e38c5… Author: Patricia Hill <p.m.hill(a)leeds.ac.uk> Date: Thu Oct 8 18:52:08 2009 +0100 Added missing headers for ppl_PIP_Problem_solve and ppl_PIP_Problem_optimizing_solution. Variable names made consistent with the domain. Documentation for ppl_PPI_Problem_is_satisfiable() improved. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=c7d8d6dde6e8… Author: François Galea <francois.galea(a)uvsq.fr> Date: Thu Oct 8 16:27:27 2009 +0200 Removed trailing whitespaces. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=2e838be1d03b… Author: Patricia Hill <p.m.hill(a)leeds.ac.uk> Date: Thu Oct 8 16:18:22 2009 +0100 Uncommented methods for the C interface for the PIP_Problem. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=5108da19b0b8… Author: François Galea <francois.galea(a)uvsq.fr> Date: Thu Oct 8 15:51:42 2009 +0200 Implemeted missing methods. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=7a7f65b71230… Author: Patricia Hill <p.m.hill(a)leeds.ac.uk> Date: Thu Oct 8 07:02:38 2009 +0100 Uncommented C interface code for add_constraint(), add_constraints() and operator=(). URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=abd54a672679… Author: François Galea <francois.galea(a)uvsq.fr> Date: Wed Oct 7 20:44:37 2009 +0200 Implemented missing methods. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=0f6fb91d81eb… Author: François Galea <francois.galea(a)uvsq.fr> Date: Wed Oct 7 20:33:36 2009 +0200 Fixed memory leak. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=b5f92dc9fe76… Author: Fabio Biselli <fabio.biselli(a)studenti.unipr.it> Date: Wed Oct 7 19:41:56 2009 +0200 Removed a comment. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=fe3d8d0b4d10… Author: Patricia Hill <p.m.hill(a)leeds.ac.uk> Date: Wed Oct 7 17:05:22 2009 +0100 Commented PIP_Problem code in the C interface that requires methods in the C++ interface that are not yet implemented. Added declarations for printing the PIP_Problem and PIP_Tree in the tests. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=1e726a3af13d… Author: Patricia Hill <p.m.hill(a)leeds.ac.uk> Date: Wed Oct 7 16:10:17 2009 +0100 More consistent naming of variables. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=57c81a9ac76f… Author: Patricia Hill <p.m.hill(a)leeds.ac.uk> Date: Wed Oct 7 16:00:42 2009 +0100 Added 2 more functions for the C interface to the PIP_Problem class. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=10a020c1c5d8… Author: Roberto Amadini <r.amadini(a)virgilio.it> Date: Wed Oct 7 16:19:27 2009 +0200 Fixed test05. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=518bf5b2eb2c… Author: Patricia Hill <p.m.hill(a)leeds.ac.uk> Date: Wed Oct 7 14:30:38 2009 +0100 Added a very basic interface for C to the PIP_Problem class. Note this is incomplete and does not support methods with PIP_Tree. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=9c35b656767f… Author: Fabio Biselli <fabio.biselli(a)studenti.unipr.it> Date: Tue Oct 6 19:15:32 2009 +0200 Using uint16_t instead of uint32_t in float_ieee754_half. Extended float_ibm_single. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=99f2fbb39215… Author: François Galea <francois.galea(a)uvsq.fr> Date: Tue Oct 6 16:29:54 2009 +0200 Removed useless pointer to problem object in PIP_Tree_Node. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=e0451215bb4b… Author: François Galea <francois.galea(a)uvsq.fr> Date: Tue Oct 6 16:00:20 2009 +0200 Minor fixes in Doxygen documentation. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=d876143defda… Author: François Galea <francois.galea(a)uvsq.fr> Date: Tue Oct 6 12:48:18 2009 +0200 Improved accuracy of context compatibility checks. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=4f3fe255850a… Author: Roberto Amadini <r.amadini(a)virgilio.it> Date: Tue Oct 6 12:31:55 2009 +0200 Changed loop-guards in the first four test of digitalfilters1.cc URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=c38128604c57… Author: François Galea <francois.galea(a)uvsq.fr> Date: Tue Oct 6 11:32:17 2009 +0200 Added generation of non-parametric cuts. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=620039bd51f0… Author: François Galea <francois.galea(a)uvsq.fr> Date: Tue Oct 6 10:54:18 2009 +0200 Improved display in noisy mode. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=0d0b02fa391a… Author: François Galea <francois.galea(a)uvsq.fr> Date: Tue Oct 6 10:52:35 2009 +0200 Fixed bug in compatiblity_check(). URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=f77babe87a9d… Author: Roberto Amadini <r.amadini(a)virgilio.it> Date: Tue Oct 6 01:22:33 2009 +0200 Fixed test03. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=eda13a1edf15… Author: Roberto Amadini <r.amadini(a)virgilio.it> Date: Tue Oct 6 00:34:52 2009 +0200 Computed the largest non-infinity number in digitalfilters1.cc Fixed a bug in Float.defs.hh URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=32a8e23b6070… Author: Roberto Amadini <r.amadini(a)virgilio.it> Date: Mon Oct 5 17:53:37 2009 +0200 Removed comments. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=c05f09104471… Author: Fabio Biselli <fabio.biselli(a)studenti.unipr.it> Date: Mon Oct 5 19:09:24 2009 +0200 Minor changes. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=8847a837fb85… Author: Fabio Biselli <fabio.biselli(a)studenti.unipr.it> Date: Mon Oct 5 16:34:35 2009 +0200 Extended float_ieee754_half format. Fixed a function call in test06 with a possible solution. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=c83d68a8f97f… Author: Fabio Biselli <fabio.biselli(a)studenti.unipr.it> Date: Sun Oct 4 12:09:35 2009 +0200 Removed few comments. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=a92c340364de… Author: Roberto Amadini <r.amadini(a)virgilio.it> Date: Mon Oct 5 17:06:17 2009 +0200 Fixed Polyhedron::refine_with_linear_form_inequality. Adapted tests on polyhedra. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=eda8bee287a3… Author: Roberto Amadini <r.amadini(a)virgilio.it> Date: Mon Oct 5 16:05:44 2009 +0200 Removed abstract_store parameter of Polyhedron::affine_image and Polyhedron::refine_with_linear_form_inequality in digitalfilters1.cc URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=b37ac0cb3045… Author: Fabio Bossi <bossi(a)cs.unipr.it> Date: Mon Oct 5 15:39:57 2009 +0200 Fixed a few typos. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=531ab36b1f69… Author: Fabio Bossi <bossi(a)cs.unipr.it> Date: Mon Oct 5 15:29:29 2009 +0200 Do not use an abstract store: extract lower and upper bounds of variables from the polyhedron itself instead. Fixed a bug in refine_with_linear_form_inequality that was triggered when both parameters left and right were bounded but left - right was not bounded. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=e90bc74ac603… Author: Roberto Amadini <r.amadini(a)virgilio.it> Date: Mon Oct 5 15:08:27 2009 +0200 Modified test03, test05 and test06. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=90400149d3e3… Author: François Galea <francois.galea(a)uvsq.fr> Date: Mon Oct 5 08:46:45 2009 +0200 Added code for selection of the deepest cut. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=a0f084e697e6… Author: Roberto Amadini <r.amadini(a)virgilio.it> Date: Sun Oct 4 21:39:47 2009 +0200 Modified test01, test02, test03 and test04. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=11dea7cc6e76… Author: François Galea <francois.galea(a)uvsq.fr> Date: Sun Oct 4 18:41:13 2009 +0200 Implemented cut generation. Not stable yet. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=74cf01fdacb0… Author: François Galea <francois.galea(a)uvsq.fr> Date: Sun Oct 4 12:09:57 2009 +0200 Added test problem. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=4b736b1ec484… Author: Roberto Amadini <r.amadini(a)virgilio.it> Date: Sat Oct 3 21:05:04 2009 +0200 Added widening and extrapolation operators in test01, test02, test03 and test04. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=112fb00917eb… Author: Roberto Amadini <r.amadini(a)virgilio.it> Date: Sat Oct 3 14:37:44 2009 +0200 Fixed comments. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=7d2306abb071… Author: Roberto Amadini <r.amadini(a)virgilio.it> Date: Fri Oct 2 18:56:19 2009 +0200 Implemented a test on polyhedra abstract domain with linearization of floating point expressions. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=eb9cef62704b… Author: Roberto Amadini <r.amadini(a)virgilio.it> Date: Fri Oct 2 14:49:25 2009 +0200 Implemented a test on rate limiter which uses octagons abstract domain and linearization of floating point expressions. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=039d147fe811… Author: François Galea <francois.galea(a)uvsq.fr> Date: Fri Oct 2 10:57:20 2009 +0200 Unified the common denominator between both matrices of the tableau. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=fcb9568396f2… Author: Roberto Amadini <r.amadini(a)virgilio.it> Date: Thu Oct 1 22:38:57 2009 +0200 Improved BD_Shape<T>::refine_with_linear_form_inequality. Corrected BD_Shape<T>::affine_image. Adapted tests in bshape2.cc and finished test02 in digitalfilters1.cc URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=0ca73838e132… Author: Roberto Amadini <r.amadini(a)virgilio.it> Date: Thu Oct 1 18:17:27 2009 +0200 Fixed bug in BD_Shape<T>::two_variables_affine_image. Added a first implementation of test02. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=1bdc33c7fc6f… Author: Roberto Amadini <r.amadini(a)virgilio.it> Date: Thu Oct 1 17:32:59 2009 +0200 Implemented test of rate limiter using polyhedra abstract domain. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=f18c42ee75a5… Author: Roberto Amadini <r.amadini(a)virgilio.it> Date: Thu Oct 1 16:40:19 2009 +0200 Modified test03 and test04. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=05770258f702… Author: Fabio Bossi <bossi(a)cs.unipr.it> Date: Thu Oct 1 16:35:05 2009 +0200 Fixed a few assertions. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=150b3c6db234… Author: François Galea <francois.galea(a)uvsq.fr> Date: Thu Oct 1 16:32:23 2009 +0200 Fixed bugs. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=60337b286bc9… Author: Roberto Amadini <r.amadini(a)virgilio.it> Date: Thu Oct 1 15:24:59 2009 +0200 Corrected tests with Intervals and Octagons in digitalfilters1.cc. Temporarily modified tests/Floating_Point_Expression/Makefile.am Implemented Variable_Floating_Point_Expression::linear_form_assign. Inserted invariant assertions in Octagonal_Shape<T>::affine_image. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=5e933a229536… Author: Fabio Bossi <bossi(a)cs.unipr.it> Date: Thu Oct 1 15:06:16 2009 +0200 Added two TODO notes. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=4cd20a07c080… Author: François Galea <francois.galea(a)uvsq.fr> Date: Wed Sep 30 18:28:04 2009 +0200 Implemented handling of artificial parameters, preparing cut generation. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=86c9d02d4adb… Author: Fabio Biselli <fabio.biselli(a)studenti.unipr.it> Date: Wed Sep 30 17:02:15 2009 +0200 Removed ad useless parameter in linear_form_upperbound(); URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=f3324f27c929… Author: Fabio Biselli <fabio.biselli(a)studenti.unipr.it> Date: Wed Sep 30 16:49:14 2009 +0200 Few tests added; Fixed refine_with_linear_form_inequality(); URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=2134fb6959a5… Author: Fabio Biselli <fabio.biselli(a)studenti.unipr.it> Date: Tue Sep 29 20:09:54 2009 +0200 Added few tests; Fixed refine_with_linear_form_inequality() and auxiliary functions; Implemented inline void refine_fp_interval_abstract_store(); URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=233be8bdca82… Author: François Galea <francois.galea(a)uvsq.fr> Date: Tue Sep 29 16:25:02 2009 +0200 Added support for adding constraints in initial context. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=842215c913d8… Author: François Galea <francois.galea(a)uvsq.fr> Date: Tue Sep 29 16:21:25 2009 +0200 Proper update of internal state of PIP_Problem object. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=fab12fb96c8f… Author: Fabio Biselli <fabio.biselli(a)studenti.unipr.it> Date: Tue Sep 29 15:24:11 2009 +0200 Added a test. Fixed a bug in left_one_var_refine(). URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=c32a7f8c1c53… Author: François Galea <francois.galea(a)uvsq.fr> Date: Tue Sep 29 14:45:48 2009 +0200 Fixed regression due to change in index ordering in parameter constraints. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=764404241929… Author: Roberto Amadini <r.amadini(a)virgilio.it> Date: Tue Sep 29 13:02:52 2009 +0200 Added a preliminary version of test05. Edited previous tests. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=6b0038a621b7… Author: Fabio Biselli <fabio.biselli(a)studenti.unipr.it> Date: Tue Sep 29 14:57:47 2009 +0200 Added two tests; Fixed a bug in left_one_var_refine() function. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=1565eb930cb7… Author: Roberto Amadini <r.amadini(a)virgilio.it> Date: Mon Sep 28 23:45:09 2009 +0200 Added a first implementation of tests on Octagon and Polyhedra. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=540fd61d15e0… Author: Fabio Biselli <fabio.biselli(a)studenti.unipr.it> Date: Tue Sep 29 00:04:10 2009 +0200 Deleted a useless tests file. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=dc276e0c0a15… Author: Roberto Amadini <r.amadini(a)virgilio.it> Date: Mon Sep 28 20:03:16 2009 +0200 Started to test analysis on digital filters. Temporarily modified tests/Floating_Point_Expression/Makefile.am URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=a5ef5d5cfc41… Author: Fabio Biselli <fabio.biselli(a)studenti.unipr.it> Date: Mon Sep 28 20:37:16 2009 +0200 Fixed few bugs in inhomogeneous_refine(); URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=e4f52c87f28f… Author: Roberto Amadini <r.amadini(a)virgilio.it> Date: Mon Sep 28 16:04:33 2009 +0200 Improved test05 URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=2fcd493ce5e2… Author: Fabio Bossi <bossi(a)cs.unipr.it> Date: Mon Sep 28 15:24:11 2009 +0200 Fixed test05. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=1ddf04b0c295… Author: Roberto Amadini <r.amadini(a)virgilio.it> Date: Mon Sep 28 15:07:52 2009 +0200 Modified test04 and test05. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=f5e8676cd64d… Author: Roberto Amadini <r.amadini(a)virgilio.it> Date: Sat Sep 26 19:09:56 2009 +0200 Modified poyhedron2.cc in order to test NNC_Polyhedron and Polyhedron::generalized_refine_with_linear_form_inequality. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=e88b2238c1d7… Author: Roberto Amadini <r.amadini(a)virgilio.it> Date: Sat Sep 26 17:48:51 2009 +0200 Temporarily edited tests/Floating_Point_Expression/Makefile.am URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=d002a27f5e25… Author: Roberto Amadini <r.amadini(a)virgilio.it> Date: Sat Sep 26 17:48:18 2009 +0200 Added another test. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=66f38555e152… Author: Roberto Amadini <r.amadini(a)virgilio.it> Date: Sat Sep 26 17:09:48 2009 +0200 Added a test in polyhedron2.cc URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=0eb634591ec2… Author: Fabio Bossi <bossi(a)cs.unipr.it> Date: Sat Sep 26 10:19:13 2009 +0200 Added missing const qualifiers. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=c8904fdf2c5e… Author: Fabio Bossi <bossi(a)cs.unipr.it> Date: Fri Sep 25 14:31:28 2009 +0200 Implemented generalized_refine_with_linear_form_inequality. Adapted refine_with_linear_form_inequality to accept strict inequalities on not necessarily closed polyhedra. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=1ce1a9746e94… Author: Fabio Bossi <bossi(a)cs.unipr.it> Date: Fri Sep 25 11:40:55 2009 +0200 Added a trivial implementation of generalized_refine_with_linear_form_inequality. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=2463769f8877… Author: Roberto Amadini <r.amadini(a)virgilio.it> Date: Fri Sep 25 10:58:46 2009 +0200 Finished to test Polyhedron::affine_image. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=c62926896a8b… Author: Fabio Bossi <bossi(a)cs.unipr.it> Date: Fri Sep 25 10:28:33 2009 +0200 Fixed test04: do not perform floating point operations outside of the interval domain unless the result can be exactly represented. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=cb5178462d70… Author: Fabio Bossi <bossi(a)cs.unipr.it> Date: Fri Sep 25 09:47:14 2009 +0200 Added a couple of simple tests. Makefile fixed. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=ef984d10243c… Merge: 8ca4f6890910a146f573d7a45d135aa6a07b6ece 513d2127e55faa6f5e7d29938b7315203a712df2 Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Thu Sep 24 20:49:48 2009 +0200 Merge branch 'master' into pip URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=8ca4f6890910… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Thu Sep 24 20:48:16 2009 +0200 Correctly deal with pipproblem1. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=218d5ae8dfc2… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Thu Sep 24 20:46:42 2009 +0200 Renamed to follow the PPL convention on test file naming. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=8d8dbbaf6e3c… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Thu Sep 24 20:46:04 2009 +0200 Added test02(). URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=3add81ea3092… Author: Fabio Bossi <bossi(a)cs.unipr.it> Date: Thu Sep 24 18:20:28 2009 +0200 Fixed test05. Added a new test file. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=03bfe62f2d73… Author: Roberto Amadini <r.amadini(a)virgilio.it> Date: Thu Sep 24 17:26:01 2009 +0200 Added two tests. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=85cc7688520a… Author: Fabio Biselli <fabio.biselli(a)studenti.unipr.it> Date: Thu Sep 24 18:57:05 2009 +0200 Removed two unused parameters; Fixed two function calls. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=cebcfe41cc8a… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Thu Sep 24 16:34:32 2009 +0200 Fixed operator>>(std::istream&, Interval<Boundary, Info>&). URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=8f06b8a32109… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Thu Sep 24 16:32:31 2009 +0200 Spurious print statement removed. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=513d2127e55f… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Thu Sep 24 16:34:32 2009 +0200 Fixed operator>>(std::istream&, Interval<Boundary, Info>&). URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=334ff19fb5ca… Author: Fabio Bossi <bossi(a)cs.unipr.it> Date: Thu Sep 24 16:32:57 2009 +0200 Added the constructor Constant_Floating_Point_Expression(const char*). URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=ccd16569a7d2… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Thu Sep 24 16:32:31 2009 +0200 Spurious print statement removed. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=4ffa56a7f08a… Merge: d865b7a741bdb503fdac52edbd5b2a700593a850 e61defee29d0688a72fbe707157351a85c9a35a1 Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Thu Sep 24 16:25:29 2009 +0200 Merge branch 'master' into floating_point URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=e61defee29d0… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Thu Sep 24 16:23:44 2009 +0200 New constructor explicit Interval::Interval(const char* s). URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=d865b7a741bd… Author: Fabio Bossi <bossi(a)cs.unipr.it> Date: Thu Sep 24 16:15:20 2009 +0200 Added a couple of assertions. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=360425ce18d4… Author: Roberto Amadini <r.amadini(a)virgilio.it> Date: Thu Sep 24 16:12:32 2009 +0200 Added some tests in tests/Floating_Point_Expression/polyhedron1.cc URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=07bb498a1557… Author: Fabio Bossi <bossi(a)cs.unipr.it> Date: Thu Sep 24 14:44:33 2009 +0200 Forgot to pass the common denominator to bounded_affine_image. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=a21e78b3e9bb… Author: Fabio Biselli <fabio.biselli(a)studenti.unipr.it> Date: Thu Sep 24 14:09:22 2009 +0200 Completed the method refine_with_linear_form_inequality(); added the auxiliary function left_two_var_refine(). URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=a18c563be178… Author: François Galea <francois.galea(a)uvsq.fr> Date: Thu Sep 24 11:55:41 2009 +0200 Added additional check in simplex, leading to simpler decision trees. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=3ad560b33c28… Author: Fabio Bossi <bossi(a)cs.unipr.it> Date: Thu Sep 24 11:09:02 2009 +0200 Always assert that all variables in the abstract store are bounded. Corrected the documentation accordingly. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=4c93dcb4734f… Author: Roberto Amadini <r.amadini(a)virgilio.it> Date: Thu Sep 24 10:38:03 2009 +0200 Started to test Polyhedron::affine_image on FP_Linear_Form. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=7ac2752fde0d… Author: Roberto Amadini <r.amadini(a)virgilio.it> Date: Wed Sep 23 21:30:33 2009 +0200 Removed commented code in floatingpointexpr1.cc URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=102eb141ca6f… Author: Roberto Amadini <r.amadini(a)virgilio.it> Date: Wed Sep 23 21:23:38 2009 +0200 Improved tests. Now they all pass and reach the maximum coverage. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=de2be3f1b7f7… Author: Fabio Biselli <fabio.biselli(a)studenti.unipr.it> Date: Wed Sep 23 20:19:49 2009 +0200 Partial implementation of refine_with_linear_form_inequality(); Two auxiliary function added. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=f762ecded38d… Author: Roberto Amadini <r.amadini(a)virgilio.it> Date: Wed Sep 23 18:19:17 2009 +0200 Fixed indentation. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=8dd84af2cade… Author: Fabio Bossi <bossi(a)cs.unipr.it> Date: Wed Sep 23 18:16:21 2009 +0200 Parametrized tests for Octagonal_Shape. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=f47bdef6918e… Author: Roberto Amadini <r.amadini(a)virgilio.it> Date: Wed Sep 23 18:11:37 2009 +0200 Parametrized linearform1.cc and bdshape1.cc Fixed indentation and removed an useless test in floatingpointexpr1.cc URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=43b5cb98ab20… Author: Roberto Amadini <r.amadini(a)virgilio.it> Date: Wed Sep 23 16:53:23 2009 +0200 Added several corrections in order to parametrize floatingpointexpr1.cc URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=9691bf1a68b4… Author: Roberto Amadini <r.amadini(a)virgilio.it> Date: Wed Sep 23 11:36:58 2009 +0200 Parametrized floatingpointexpr1.cc URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=8128edd2954e… Author: Fabio Bossi <bossi(a)cs.unipr.it> Date: Wed Sep 23 17:01:36 2009 +0200 Made the refine_fp_interval_abstract_store methods inline. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=230e752faf02… Author: Fabio Bossi <bossi(a)cs.unipr.it> Date: Wed Sep 23 12:24:25 2009 +0200 Always use Box instead of map for interval abstract stores. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=44241590e1fd… Author: François Galea <francois.galea(a)uvsq.fr> Date: Wed Sep 23 11:15:32 2009 +0200 Removed useless parameter in PIP_Tree_Node::update_tableau method. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=4eb68b6e2a67… Author: François Galea <francois.galea(a)uvsq.fr> Date: Wed Sep 23 10:53:15 2009 +0200 Implemented display of solution trees. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=8663b34c0282… Author: François Galea <francois.galea(a)uvsq.fr> Date: Wed Sep 23 11:05:57 2009 +0200 Fixed bugs. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=25bfa050fc1d… Author: François Galea <francois.galea(a)uvsq.fr> Date: Wed Sep 23 10:37:14 2009 +0200 Changed index ordering in parameter constraints. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=15ed9f61cf8f… Author: Fabio Bossi <bossi(a)cs.unipr.it> Date: Tue Sep 22 18:23:51 2009 +0200 Fixed another typo that prevented compilation of tests. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=d14d0775d881… Author: Fabio Bossi <bossi(a)cs.unipr.it> Date: Tue Sep 22 18:12:13 2009 +0200 Fixed a typo that prevented compilation of tests. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=7dbbf2813ae8… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Tue Sep 22 17:57:29 2009 +0200 Renamed float_IBM_single and float_IBM_double lowering the case for IBM. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=c142c06f9e47… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Tue Sep 22 17:56:33 2009 +0200 Added some infrastructure to perform parametric tests. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=655d6cc8016a… Author: Fabio Bossi <bossi(a)cs.unipr.it> Date: Tue Sep 22 17:08:31 2009 +0200 Added a few details about other floating point formats. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=9b7c8767e9c0… Author: Fabio Bossi <bossi(a)cs.unipr.it> Date: Tue Sep 22 16:49:03 2009 +0200 Small documentation corrections. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=2b4f0299f6b3… Author: Roberto Amadini <r.amadini(a)virgilio.it> Date: Tue Sep 22 16:37:05 2009 +0200 Adapted test files to new representation of interval abstract stores. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=d8e7d618dd4a… Author: Fabio Bossi <bossi(a)cs.unipr.it> Date: Tue Sep 22 15:54:49 2009 +0200 Added missing static casts so that tests now pass again. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=79572e84de98… Author: Fabio Bossi <bossi(a)cs.unipr.it> Date: Tue Sep 22 15:46:05 2009 +0200 Use Box to represent an interval abstract store. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=e2b71307d519… Author: Roberto Amadini <r.amadini(a)virgilio.it> Date: Tue Sep 22 15:47:37 2009 +0200 Replaced typedefs according to the new policies. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=4e2e5ca265d9… Author: Roberto Amadini <r.amadini(a)virgilio.it> Date: Tue Sep 22 14:02:34 2009 +0200 Refactoring of test files into test/Floating_Point_Expression. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=96ade840e515… Author: Fabio Bossi <bossi(a)cs.unipr.it> Date: Tue Sep 22 13:51:48 2009 +0200 Adapted the class to the policies defined in Float.defs.hh. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=d61e5566f5f6… Author: Fabio Bossi <bossi(a)cs.unipr.it> Date: Tue Sep 22 11:58:55 2009 +0200 Pass variables to affine_image by copy. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=0d9faf95e4bc… Author: Fabio Bossi <bossi(a)cs.unipr.it> Date: Tue Sep 22 11:50:35 2009 +0200 Written Polyhedron::refine_fp_interval_abstract_store. Various other corrections. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=1508fe8fbb7b… Author: Roberto Amadini <r.amadini(a)virgilio.it> Date: Tue Sep 22 10:55:49 2009 +0200 Little correction in two_variables_affine_image method. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=c6e8ada743e7… Author: Fabio Bossi <bossi(a)cs.unipr.it> Date: Tue Sep 22 09:36:01 2009 +0200 Fixed one cut-&-paste error. Use a single call of bounded_affine_image instead of calling generalized_affine_image twice. Added two FIXME notes. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=5561eee98184… Author: François Galea <francois.galea(a)uvsq.fr> Date: Tue Sep 22 09:31:27 2009 +0200 Added mechanism for fetching parametric values for variables. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=a6ea14f4ac3f… Author: François Galea <francois.galea(a)uvsq.fr> Date: Tue Sep 22 09:30:53 2009 +0200 Added reference to the Problem object in solution tree Nodes. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=3e7c9713946e… Author: Roberto Amadini <r.amadini(a)virgilio.it> Date: Mon Sep 21 19:23:37 2009 +0200 Added another test for the general case of affine_image. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=faefe0f0d224… Author: Roberto Amadini <r.amadini(a)virgilio.it> Date: Mon Sep 21 18:45:29 2009 +0200 Fixed a bug in affine_image and modified one_variable_affine_image. Added a new test for the general case. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=351e41c9b785… Author: Roberto Amadini <r.amadini(a)virgilio.it> Date: Mon Sep 21 18:02:31 2009 +0200 Implemented a preliminary (yet untested) version of methods BD_Shape::linear_form_upper_bound and BD_Shape::two_variables_affine_image. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=7365b420d7ab… Author: Fabio Bossi <bossi(a)cs.unipr.it> Date: Mon Sep 21 16:59:22 2009 +0200 Added more floating point formats. Added some parametric typedefs for tests. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=b5208ce53cc4… Author: François Galea <francois.galea(a)uvsq.fr> Date: Mon Sep 21 15:58:16 2009 +0200 Bug fixes. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=171b89c7ecd9… Author: Fabio Bossi <bossi(a)cs.unipr.it> Date: Mon Sep 21 15:56:47 2009 +0200 Added a few lines of documentation that were previously forgotten. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=e382dfd1d7fa… Author: Fabio Bossi <bossi(a)cs.unipr.it> Date: Mon Sep 21 15:41:16 2009 +0200 Added some more documentation. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=726d6fa6ff5d… Author: Roberto Amadini <r.amadini(a)virgilio.it> Date: Mon Sep 21 15:26:05 2009 +0200 Fixed a bug in affine_image and implemented three new tests. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=f0f4bf6a9483… Author: Fabio Bossi <bossi(a)cs.unipr.it> Date: Mon Sep 21 15:00:49 2009 +0200 Added some (and corrected some of the) documentation. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=4f125f4d90aa… Author: Fabio Bossi <bossi(a)cs.unipr.it> Date: Mon Sep 21 14:19:43 2009 +0200 Wrote a first implementation of refine_with_linear_form_inequality. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=c07b5cfd78ce… Author: Roberto Amadini <r.amadini(a)virgilio.it> Date: Mon Sep 21 13:16:17 2009 +0200 Fixed a bug in BD_Shape<T>::affine_image and added more tests for this method. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=18e281994a30… Author: Fabio Bossi <bossi(a)cs.unipr.it> Date: Mon Sep 21 11:37:51 2009 +0200 Use the proper exception thrower. Moved the new exception thrower. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=4bdd87fc4364… Author: Fabio Bossi <bossi(a)cs.unipr.it> Date: Mon Sep 21 11:08:33 2009 +0200 Various corrections. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=04edf0b5d66a… Author: Fabio Bossi <bossi(a)cs.unipr.it> Date: Mon Sep 21 10:11:18 2009 +0200 Finished writing a first version of our affine_image variant. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=3e9f4582ce7a… Author: Fabio Biselli <fabio.biselli(a)studenti.unipr.it> Date: Sun Sep 20 13:20:56 2009 +0200 Removed a temporary using sub_assign_r instead of add_assign_r URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=aeb5980a47c2… Author: Fabio Biselli <fabio.biselli(a)studenti.unipr.it> Date: Sun Sep 20 02:09:24 2009 +0200 Bugs fixes URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=ecffc8c69e21… Author: Fabio Bossi <bossi(a)cs.unipr.it> Date: Sat Sep 19 18:53:32 2009 +0200 Finished writing a first implementation of convert_to_integer_expression and convert_to_integer_expressions. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=b6dc43db2855… Author: Fabio Bossi <bossi(a)cs.unipr.it> Date: Sat Sep 19 17:25:19 2009 +0200 Small progress in writing convert_to_integer_expressions. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=ca46c2859036… Author: Fabio Bossi <bossi(a)cs.unipr.it> Date: Sat Sep 19 17:18:31 2009 +0200 Sterted writing the functions that are used to convert floating point constraints to integer ones. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=f37d16f0e947… Author: Roberto Amadini <r.amadini(a)virgilio.it> Date: Sat Sep 19 17:37:05 2009 +0200 Implemented methods BD_Shape<T>::inhomogeneous_affine_image and BD_Shape<T>::one_variable_affine_image. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=01dab9748259… Author: Abramo Bagnara <abramo.bagnara(a)gmail.com> Date: Sat Sep 19 09:51:20 2009 +0200 Converted helpers to work also for native numbers. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=0e677160d160… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Fri Sep 18 20:24:35 2009 +0200 Make sure the latest changes to NDEBUG effective. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=ebe68870ff0f… Author: Roberto Amadini <r.amadini(a)virgilio.it> Date: Fri Sep 18 16:32:40 2009 +0200 Added a test for trivial cases of BD_Shape::affine_image. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=636677b9899e… Author: Fabio Bossi <bossi(a)cs.unipr.it> Date: Fri Sep 18 14:16:25 2009 +0200 Started the implementation of our affine_image variant. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=4a811294d3ac… Author: Roberto Amadini <r.amadini(a)virgilio.it> Date: Fri Sep 18 12:32:47 2009 +0200 Added test for Octagonal_Shape<T>::refine_fp_interval_abstract_store. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=a6766fae5327… Author: Fabio Biselli <fabio.biselli(a)studenti.unipr.it> Date: Fri Sep 18 14:27:30 2009 +0200 Added function BD_Shape::affine_image(const Variable& var, const Linear_Form< Interval<T, Interval_Info> >& lf); Added interfaces for auxiliary functions: BD_Shape::inhomogeneous_affine_image(...); BD_Shape::one_variable_affine_image(...); BD_Shape::two_variable_affine_image(...); Added a preliminary test. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=c62580520960… Author: Fabio Bossi <bossi(a)cs.unipr.it> Date: Fri Sep 18 12:05:02 2009 +0200 Added a first implementation of overapproximate_linear_form. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=1271e1583604… Author: Francois GALEA <fgalea(a)verlaine.prism.uvsq.fr> Date: Fri Sep 18 11:32:12 2009 +0200 Fixed ASCII dump/load methods, solving compilation issues. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=876484912959… Author: Roberto Amadini <r.amadini(a)virgilio.it> Date: Fri Sep 18 10:41:44 2009 +0200 Coverage of 100% reached for refine_with_linear_form_inequality. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=9015398c7a2e… Author: Roberto Amadini <r.amadini(a)virgilio.it> Date: Fri Sep 18 10:36:24 2009 +0200 Added a test. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=0cbe08ccba51… Author: Fabio Bossi <bossi(a)cs.unipr.it> Date: Fri Sep 18 10:31:58 2009 +0200 Added missing multiplications by 2. All tests now pass. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=81a3ebf84816… Author: Fabio Bossi <bossi(a)cs.unipr.it> Date: Fri Sep 18 10:11:16 2009 +0200 Added interfaces (and empty body) of two new methods. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=5decdfb92cce… Author: Roberto Amadini <r.amadini(a)virgilio.it> Date: Fri Sep 18 09:48:03 2009 +0200 Added two more tests in refinelf1.cc Improved a test in affineimage3.cc URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=80b7e0845929… Author: François Galea <francois.galea(a)uvsq.fr> Date: Fri Sep 18 09:21:54 2009 +0200 Finished parametric simplex algorithm. No cut generation yet. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=630590eb2beb… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Thu Sep 17 20:55:32 2009 +0200 Added Roberto Amadini to the list of current contributors. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=61aa0fda07d5… Author: Roberto Amadini <r.amadini(a)virgilio.it> Date: Thu Sep 17 18:16:57 2009 +0200 Pass variables to affine_image as const references. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=880ed012ba9c… Author: Roberto Amadini <r.amadini(a)virgilio.it> Date: Thu Sep 17 17:49:28 2009 +0200 Removed the check on empty octagons in function test01. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=42d43d4ce329… Author: Fabio Bossi <bossi(a)cs.unipr.it> Date: Thu Sep 17 17:37:24 2009 +0200 Removed useless emptiness check. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=f165fb07116d… Author: Fabio Bossi <bossi(a)cs.unipr.it> Date: Thu Sep 17 17:35:34 2009 +0200 Assert that the octagon is not empty when refining, since the analyzer should not try to apply filters in an unreachable state. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=a7172dfc7c1e… Author: Fabio Bossi <bossi(a)cs.unipr.it> Date: Thu Sep 17 17:30:05 2009 +0200 Do not reset strong closure manually since add_octagonal_constraint already does it automatically. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=8ae6135af4d6… Author: Fabio Bossi <bossi(a)cs.unipr.it> Date: Thu Sep 17 17:24:24 2009 +0200 Always use add_octagon_constraint to update contraints in refine_with_linear_form_inequality instead of overwriting blindly. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=df74c77ffb0f… Author: Roberto Amadini <r.amadini(a)virgilio.it> Date: Thu Sep 17 16:54:03 2009 +0200 Removed a bug in test functions. Added a test for general case. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=ba44339f4373… Author: Enea Zaffanella <zaffanella(a)cs.unipr.it> Date: Thu Sep 17 16:12:17 2009 +0200 Fixed several rounding modes in Octagonal_Shape methods. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=da7ab569f2f2… Author: Roberto Amadini <r.amadini(a)virgilio.it> Date: Thu Sep 17 16:02:17 2009 +0200 Added two tests. Particular cases totally covered. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=255dd5501e74… Author: Abramo Bagnara <abramo.bagnara(a)gmail.com> Date: Thu Sep 17 15:49:53 2009 +0200 Fixed and simplified DIRTY_TEMP for use with -fno-elide-constructors. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=b42fe4766fe4… Author: Roberto Amadini <r.amadini(a)virgilio.it> Date: Thu Sep 17 15:41:32 2009 +0200 Removed comments. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=1b0f1e5529a5… Author: Roberto Amadini <r.amadini(a)virgilio.it> Date: Thu Sep 17 15:38:05 2009 +0200 Added another test. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=d3eef431c3bd… Author: Fabio Bossi <bossi(a)cs.unipr.it> Date: Thu Sep 17 15:40:26 2009 +0200 Fixed one nasty cut & paste error. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=23e43a61830b… Author: Roberto Amadini <r.amadini(a)virgilio.it> Date: Thu Sep 17 14:59:59 2009 +0200 Added a test. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=6ea2e2f10098… Author: Fabio Bossi <bossi(a)cs.unipr.it> Date: Thu Sep 17 14:46:51 2009 +0200 Use references instead of pointers whenever possible. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=33f20542b9b6… Author: Roberto Amadini <r.amadini(a)virgilio.it> Date: Thu Sep 17 14:02:50 2009 +0200 Added and modified tests. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=6dd29aa6e306… Author: Fabio Bossi <bossi(a)cs.unipr.it> Date: Thu Sep 17 12:24:43 2009 +0200 Optimized refine_with_linear_form_inequality, removing six temporaries in the process. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=88575c56b5cc… Author: Roberto Amadini <r.amadini(a)virgilio.it> Date: Thu Sep 17 11:43:11 2009 +0200 Added two tests. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=1d86fe8a2172… Author: Roberto Amadini <r.amadini(a)virgilio.it> Date: Thu Sep 17 11:37:38 2009 +0200 Start to test Octagonal_Shape::refine_with_linear_form_inequality. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=453985a4ec00… Author: Fabio Bossi <bossi(a)cs.unipr.it> Date: Thu Sep 17 11:32:08 2009 +0200 Removed unnecessary temporaries from affine_image. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=4fa3f4c26c6d… Author: Fabio Bossi <bossi(a)cs.unipr.it> Date: Thu Sep 17 11:17:11 2009 +0200 Optimized linear_form_upper_bound: got rid of two unnecessary temporaries. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=5d2ee886c001… Author: Fabio Bossi <bossi(a)cs.unipr.it> Date: Thu Sep 17 10:57:25 2009 +0200 Definitively removed counterproductive checks in linear_form_upper_bound, since we have confirmed that comparing with -infinity is legitimate. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=b9f5aee8d9e9… Author: Fabio Bossi <bossi(a)cs.unipr.it> Date: Thu Sep 17 10:52:37 2009 +0200 Use ROUND_DOWN instead of ROUND_UP to compute the negation of the upper bound of -var. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=41e8ca0bea15… Author: Fabio Bossi <bossi(a)cs.unipr.it> Date: Thu Sep 17 10:30:57 2009 +0200 Use ROUND_UP (or, in one case where intervals are involved, ROUND_DOWN) whenever appropriate. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=fae817ce8120… Author: Roberto Amadini <r.amadini(a)virgilio.it> Date: Wed Sep 16 20:13:44 2009 +0200 Added another test. Coverage of 100% reached for affine_image and linear_form_upper_bound methods. Temporarily(?) removed some checks in linear_form_upper_bound. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=ec92733bc0d2… Author: François Galea <francois.galea(a)uvsq.fr> Date: Wed Sep 16 19:53:33 2009 +0200 Fixes to avoid some useless Coefficient duplicates. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=1024999dddcc… Author: François Galea <francois.galea(a)uvsq.fr> Date: Wed Sep 16 18:21:41 2009 +0200 Implemented the Rational_Matrix normalize method. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=6685edf5c48b… Author: Fabio Bossi <bossi(a)cs.unipr.it> Date: Wed Sep 16 17:56:29 2009 +0200 Small documentation improvements. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=164b9ef702d0… Author: Fabio Bossi <bossi(a)cs.unipr.it> Date: Wed Sep 16 17:26:27 2009 +0200 Added some comments. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=3bdc87446af3… Author: Roberto Amadini <r.amadini(a)virgilio.it> Date: Wed Sep 16 17:09:43 2009 +0200 Implemented tests (from test04 to test08). URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=47985bffa0b5… Author: Fabio Bossi <bossi(a)cs.unipr.it> Date: Wed Sep 16 16:21:33 2009 +0200 Fixed a couple of syntax errors. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=c6036d8d0b69… Author: Fabio Bossi <bossi(a)cs.unipr.it> Date: Wed Sep 16 15:48:13 2009 +0200 Many corrections. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=5927b13d1aae… Author: François Galea <francois.galea(a)uvsq.fr> Date: Wed Sep 16 15:24:24 2009 +0200 Implemented additional steps of the simplex algorithm. - handling of simplex rows with mixed parameter sign; - handling of tautology expressions; - handling of splitting a solution according to a test parametric expression. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=64bd2613cda2… Author: François Galea <francois.galea(a)uvsq.fr> Date: Wed Sep 16 15:21:06 2009 +0200 Modified prototype for solve method in PIP_Tree_Node and derivates. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=c93acf108e68… Author: François Galea <francois.galea(a)uvsq.fr> Date: Wed Sep 16 15:15:28 2009 +0200 Redefined and implemented the tree node constructors. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=16204cc0b8e2… Author: Fabio Bossi <bossi(a)cs.unipr.it> Date: Wed Sep 16 14:08:31 2009 +0200 Use PPL_COMPILE_TIME_CHECK insteas of PPL_ASSERT whenever possible. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=ed84cf0c1472… Author: Fabio Bossi <bossi(a)cs.unipr.it> Date: Wed Sep 16 12:24:01 2009 +0200 Fixed one typo. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=e492c9a5c529… Author: Fabio Bossi <bossi(a)cs.unipr.it> Date: Wed Sep 16 12:21:30 2009 +0200 Added more cases for refine_linear_form_inequality. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=56bd6524e6e3… Author: Fabio Biselli <fabio.biselli(a)studenti.unipr.it> Date: Wed Sep 16 14:10:28 2009 +0200 Fixed a bug in Linear_Form::operator<<() Fixed a bug in Octagonal_Shape::linear_form_upper_bound() Added a test URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=46f18dbe19ab… Author: Fabio Biselli <fabio.biselli(a)studenti.unipr.it> Date: Mon Sep 14 11:58:10 2009 +0200 Removed garbage URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=bd64da813c51… Author: Roberto Amadini <r.amadini(a)virgilio.it> Date: Wed Sep 16 11:25:27 2009 +0200 Added some tests. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=27853708a791… Author: Fabio Bossi <bossi(a)cs.unipr.it> Date: Tue Sep 15 18:06:23 2009 +0200 Added a first, untested implementation of refine_fp_interval_abstract_store. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=a58815158ed2… Author: Fabio Bossi <bossi(a)cs.unipr.it> Date: Tue Sep 15 17:00:40 2009 +0200 For consistency, use std::numeric_limits<T>::is_exact in order to check if T is a floating point type. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=cf40c1ee096f… Author: Fabio Bossi <bossi(a)cs.unipr.it> Date: Tue Sep 15 16:16:15 2009 +0200 Added a first implementation of refine_with_linear_form_inequality. Two small optimizations for affine_image. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=8196e0832516… Author: Roberto Amadini <r.amadini(a)virgilio.it> Date: Tue Sep 15 15:16:05 2009 +0200 Added new test. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=b8e1cbd1782c… Author: François Galea <francois.galea(a)uvsq.fr> Date: Tue Sep 15 15:09:08 2009 +0200 Implemented simplex pivot on rational matrices. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=4670807b162f… Author: Roberto Amadini <r.amadini(a)virgilio.it> Date: Tue Sep 15 14:52:41 2009 +0200 Added a test for Octagonal_Shape::affine_image in tests/Floating_Point_Expression/affineimage3.cc URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=30f2d12b77f8… Author: Fabio Bossi <bossi(a)cs.unipr.it> Date: Tue Sep 15 11:50:10 2009 +0200 Fixed a few typos preventing compilation. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=85157d3ca3cd… Author: Fabio Bossi <bossi(a)cs.unipr.it> Date: Tue Sep 15 11:24:39 2009 +0200 Added missing assertion and FIXME note. Started the implementation of refine_with_linear_form_inequality. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=a1e7e39e5851… Author: Fabio Bossi <bossi(a)cs.unipr.it> Date: Tue Sep 15 09:26:44 2009 +0200 It is NECESSARY to delay the update of unary constraints on var. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=cb4d41cada4e… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Mon Sep 14 21:21:25 2009 +0200 Added missing comment. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=ecb0e94a30b0… Author: Fabio Bossi <bossi(a)cs.unipr.it> Date: Mon Sep 14 17:56:12 2009 +0200 Fixed two serious bugs in linear_form_upper_bound. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=41ead44c160d… Author: François Galea <francois.galea(a)uvsq.fr> Date: Mon Sep 14 17:32:25 2009 +0200 Implemented the first steps of the parametric simplex algorithm. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=992d25ba23f3… Author: Fabio Bossi <bossi(a)cs.unipr.it> Date: Mon Sep 14 17:06:20 2009 +0200 Fixed an error introduced by previous commit. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=9e8267747161… Author: Fabio Bossi <bossi(a)cs.unipr.it> Date: Mon Sep 14 16:02:12 2009 +0200 Added missing static_casts in Linear_Form. Fixed one bug in linear_form_upper_bound. Added a first complete implementation of affine_image. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=e8b3c7c191b3… Author: François Galea <francois.galea(a)uvsq.fr> Date: Mon Sep 14 13:13:27 2009 +0200 Changed modelization of contexts from Constraint_System to Matrix. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=47bf5799b4b5… Author: Fabio Bossi <bossi(a)cs.unipr.it> Date: Mon Sep 14 12:16:04 2009 +0200 Added another helper function. Removed garbage code. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=b3262f50a53d… Author: Fabio Bossi <bossi(a)cs.unipr.it> Date: Sun Sep 13 19:21:41 2009 +0200 Added an auxiliary method. Sorry for the huge amount of commented code: it will be fixed soon. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=04affbe1f914… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Fri Sep 11 22:28:09 2009 +0200 Do not include <stdint.h>. The header files <stdint.h> and/or <inttypes.h> are included by ppl-config.h. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=2e103e539bb6… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Fri Sep 11 22:27:40 2009 +0200 Make sure uintptr_t is defined, if at all possible. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=92c85879ea35… Author: François Galea <francois.galea(a)uvsq.fr> Date: Fri Sep 11 17:09:21 2009 +0200 Moved the constraint() method to PIP_Tree_Node class. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=688061869b0f… Author: Fabio Bossi <bossi(a)cs.unipr.it> Date: Fri Sep 11 17:05:06 2009 +0200 Removed outdated FIXME note. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=762b048f8136… Author: Fabio Bossi <bossi(a)cs.unipr.it> Date: Fri Sep 11 17:04:11 2009 +0200 Added other simple cases of affine_image. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=0c02e3b5a945… Author: François Galea <francois.galea(a)uvsq.fr> Date: Fri Sep 11 16:24:49 2009 +0200 Added first tests in OK() methods of PIP_Tree classes. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=400f860377c1… Author: François Galea <francois.galea(a)uvsq.fr> Date: Fri Sep 11 15:40:34 2009 +0200 Implemented integer context compatibility check. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=e86a215e5bf1… Author: Fabio Bossi <bossi(a)cs.unipr.it> Date: Fri Sep 11 14:12:30 2009 +0200 Implemented another case for affine_image. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=9ce39ca898aa… Author: François Galea <francois.galea(a)uvsq.fr> Date: Fri Sep 11 13:16:08 2009 +0200 Implemented row sign detection. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=33905b7bf1a3… Author: François Galea <francois.galea(a)uvsq.fr> Date: Fri Sep 11 13:08:53 2009 +0200 Implemented constraint negation, plus minor fixes. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=1bd882f49610… Author: Fabio Bossi <bossi(a)cs.unipr.it> Date: Fri Sep 11 10:50:42 2009 +0200 Added a skeleton for the rest of the affine_image implementation. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=589af008cb61… Author: Fabio Bossi <bossi(a)cs.unipr.it> Date: Fri Sep 11 10:01:36 2009 +0200 Now the trivial case of affine_image works. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=29936bbc3648… Author: Fabio Bossi <bossi(a)cs.unipr.it> Date: Thu Sep 10 18:04:36 2009 +0200 Written a preliminary, non working first part of our variant of affine_image. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=4f1061d0e0fb… Author: Enea Zaffanella <zaffanella(a)cs.unipr.it> Date: Thu Sep 10 17:25:05 2009 +0200 Improved recently added helper functions. - avoid recomputing loop bounds at each iteration; - delay object definitions until actually needed and, if possible, provide them with an initializer. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=2747f04f7bcc… Author: Enea Zaffanella <zaffanella(a)cs.unipr.it> Date: Thu Sep 10 16:41:24 2009 +0200 Fix compilation problems when assertions are turned on. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=aa7e6d41189d… Author: Enea Zaffanella <zaffanella(a)cs.unipr.it> Date: Thu Sep 10 16:11:39 2009 +0200 Identifiers starting with an underscore are reserved: avoid them. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=f6b3b1cf93a9… Author: François Galea <francois.galea(a)uvsq.fr> Date: Thu Sep 10 15:46:25 2009 +0200 Implemented some helper functions for the PIP solver. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=6a1b3b278146… Author: Enea Zaffanella <zaffanella(a)cs.unipr.it> Date: Thu Sep 10 15:24:16 2009 +0200 Suggest using -fno-elide-constructors when configuring for coverage. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=8131d3c11b8f… Author: Fabio Bossi <bossi(a)cs.unipr.it> Date: Thu Sep 10 15:08:37 2009 +0200 Fixed another small documentation inconsistency. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=2219c62d2528… Author: François Galea <francois.galea(a)uvsq.fr> Date: Thu Sep 10 14:48:21 2009 +0200 Integrated the solve method in the different PIP_Tree node classes. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=e535e5b530fb… Author: Fabio Bossi <bossi(a)cs.unipr.it> Date: Thu Sep 10 14:41:11 2009 +0200 Fixed another small error in the documentation. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=e9f9c76f9d59… Author: Fabio Bossi <bossi(a)cs.unipr.it> Date: Thu Sep 10 14:33:20 2009 +0200 Other small corrections to the documentation. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=c5642e613505… Author: Fabio Bossi <bossi(a)cs.unipr.it> Date: Thu Sep 10 14:29:35 2009 +0200 Fixed one small typo. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=b9bc246da10a… Author: Fabio Bossi <bossi(a)cs.unipr.it> Date: Thu Sep 10 14:28:46 2009 +0200 Remove all references to floating point format f. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=49fe8476c876… Author: Fabio Bossi <bossi(a)cs.unipr.it> Date: Thu Sep 10 14:18:14 2009 +0200 More additions and corrections to the documentation. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=25bb41f11346… Author: Fabio Bossi <bossi(a)cs.unipr.it> Date: Thu Sep 10 12:25:09 2009 +0200 Grammar fix in the documentation. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=61e9682521ae… Author: Fabio Bossi <bossi(a)cs.unipr.it> Date: Thu Sep 10 12:15:14 2009 +0200 Fixed one small error. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=bc2e838dcecf… Author: Fabio Bossi <bossi(a)cs.unipr.it> Date: Thu Sep 10 12:06:05 2009 +0200 Fixed another inconsistency in the documentation. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=f90f4982a465… Author: Fabio Bossi <bossi(a)cs.unipr.it> Date: Thu Sep 10 12:02:54 2009 +0200 Fixed conflicts. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=5ffba415ba26… Author: Fabio Bossi <bossi(a)cs.unipr.it> Date: Thu Sep 10 11:49:44 2009 +0200 Fixed an inconsistency with the rest of the documentation. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=b975207fee47… Author: Fabio Bossi <bossi(a)cs.unipr.it> Date: Thu Sep 10 11:38:06 2009 +0200 Fixed a few errors. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=665f8e9f3e12… Author: Fabio Bossi <bossi(a)cs.unipr.it> Date: Thu Sep 10 11:27:10 2009 +0200 Added missing \brief marker. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=963be409b51e… Author: Fabio Bossi <bossi(a)cs.unipr.it> Date: Thu Sep 10 11:16:06 2009 +0200 Use \otimes only in math environment. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=aed91f8a35de… Author: Fabio Bossi <bossi(a)cs.unipr.it> Date: Thu Sep 10 11:12:22 2009 +0200 Revised and corrected the whole documentation. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=98244bb14df5… Author: Roberto Amadini <r.amadini(a)virgilio.it> Date: Thu Sep 10 11:55:12 2009 +0200 Moved linearform1.cc into tests/Polyhedron. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=7de79be86951… Author: Fabio Biselli <fabio.biselli(a)studenti.unipr.it> Date: Thu Sep 10 12:37:26 2009 +0200 Updated intervalize documentation; Updated Opposite_Floating_Point_Expression documentation; URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=8467c7a8e640… Author: Enea Zaffanella <zaffanella(a)cs.unipr.it> Date: Thu Sep 10 09:12:20 2009 +0200 Removed spurious occurrence of a closing comment, preventing compilation. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=3d115f781b8c… Author: Roberto Amadini <r.amadini(a)virgilio.it> Date: Wed Sep 9 17:55:46 2009 +0200 Improved test for class Linear_Form. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=19b136f85418… Author: Fabio Biselli <fabio.biselli(a)studenti.unipr.it> Date: Wed Sep 9 19:39:19 2009 +0200 Fixed few typo URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=60b9772ac000… Author: Fabio Bossi <bossi(a)cs.unipr.it> Date: Wed Sep 9 17:40:00 2009 +0200 Fixed typo. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=b8f6d2ee0afe… Author: Fabio Bossi <bossi(a)cs.unipr.it> Date: Wed Sep 9 17:37:08 2009 +0200 Use \infty instead of \infinity. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=6c80dc54db17… Author: Fabio Biselli <fabio.biselli(a)studenti.unipr.it> Date: Wed Sep 9 19:08:00 2009 +0200 Updated documentation URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=edf215e958a2… Author: Fabio Bossi <bossi(a)cs.unipr.it> Date: Wed Sep 9 16:33:27 2009 +0200 Predisposed everything to start implementing our own customized version of method affine_image. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=37c753c529b2… Author: Roberto Amadini <r.amadini(a)virgilio.it> Date: Wed Sep 9 16:19:06 2009 +0200 Fixed bug in Linear_Form. Copied linearform1.cc in tests/Floating_Point_Expression and improved its tests. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=a50f74f87f97… Author: François Galea <francois.galea(a)uvsq.fr> Date: Wed Sep 9 15:59:09 2009 +0200 Implemented proper handling of nonbasic variables when adding rows. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=66515df13721… Author: Fabio Bossi <bossi(a)cs.unipr.it> Date: Wed Sep 9 10:40:06 2009 +0200 Use \defeq instead of = for definitions. Fixed an error concerning frames. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=59241488abfb… Author: Fabio Bossi <bossi(a)cs.unipr.it> Date: Wed Sep 9 10:26:32 2009 +0200 Use new linearization macro. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=a77be211bad2… Author: Fabio Bossi <bossi(a)cs.unipr.it> Date: Wed Sep 9 10:20:06 2009 +0200 Removed trailing whitespace. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=faab1d298643… Author: Fabio Bossi <bossi(a)cs.unipr.it> Date: Wed Sep 9 10:19:02 2009 +0200 More documentation. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=940b8bf4bf24… Author: Fabio Bossi <bossi(a)cs.unipr.it> Date: Wed Sep 9 10:17:52 2009 +0200 Fixed a bug in operator==. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=867f1eaf166f… Author: Fabio Biselli <fabio.biselli(a)studenti.unipr.it> Date: Wed Sep 9 12:01:58 2009 +0200 Added new macros into doc/ppl.sty URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=18fcb47fba6d… Author: Fabio Biselli <fabio.biselli(a)studenti.unipr.it> Date: Tue Sep 8 20:30:46 2009 +0200 Added Linear_Form into doxyconf file Fixed few typos in Linear_Form Minor Documentations updates URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=b3919a859f9b… Author: Roberto Amadini <r.amadini(a)virgilio.it> Date: Tue Sep 8 17:25:56 2009 +0200 Added and modified tests in order to reach the coverage of 100% in Floating_Point_Expression class and its derived classes. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=2f3c39f2d785… Author: Fabio Bossi <bossi(a)cs.unipr.it> Date: Tue Sep 8 16:54:51 2009 +0200 Fixed pedix. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=994b555a8cd9… Author: Fabio Bossi <bossi(a)cs.unipr.it> Date: Tue Sep 8 16:46:23 2009 +0200 Fixed an error in command invocation. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=4a1d25bd5a05… Author: Fabio Bossi <bossi(a)cs.unipr.it> Date: Tue Sep 8 16:29:40 2009 +0200 Added some documentation. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=606ec45118cc… Author: Fabio Biselli <fabio.biselli(a)studenti.unipr.it> Date: Tue Sep 8 16:59:35 2009 +0200 Update variale and constant documentations URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=26d546f62d36… Author: Fabio Biselli <fabio.biselli(a)studenti.unipr.it> Date: Tue Sep 8 16:09:33 2009 +0200 Added Latex macro for abstract division. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=d6956e262f59… Author: Roberto Amadini <r.amadini(a)virgilio.it> Date: Tue Sep 8 14:08:04 2009 +0200 Removed useless comments. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=c508c610981b… Author: Roberto Amadini <r.amadini(a)virgilio.it> Date: Tue Sep 8 14:00:38 2009 +0200 Added test for unary minus and multiplication by constant. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=58e9e3af70bd… Author: Fabio Biselli <fabio.biselli(a)studenti.unipr.it> Date: Tue Sep 8 14:20:01 2009 +0200 Updated linearization documentation; Added formulas to class descriptions; URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=1e570d889993… Author: Fabio Biselli <fabio.biselli(a)studenti.unipr.it> Date: Tue Sep 8 12:33:45 2009 +0200 Fixed documentation URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=bc85f3ea87bf… Author: François Galea <francois.galea(a)uvsq.fr> Date: Tue Sep 8 12:56:49 2009 +0200 Moved the simplex tableau from PIP_Problem to PIP_Solution_Node. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=f25dd63720cd… Author: Fabio Bossi <bossi(a)cs.unipr.it> Date: Tue Sep 8 11:49:17 2009 +0200 Notify that open intervals should not be allowed. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=f5c91db1d219… Author: Fabio Bossi <bossi(a)cs.unipr.it> Date: Tue Sep 8 10:12:24 2009 +0200 Documentation improved. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=90c1a7723fde… Author: Fabio Bossi <bossi(a)cs.unipr.it> Date: Tue Sep 8 09:27:12 2009 +0200 Deleted FIXME note. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=a7bef215e417… Author: Roberto Amadini <r.amadini(a)virgilio.it> Date: Tue Sep 8 00:06:08 2009 +0200 Added and modified some tests. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=4ea81ad27e06… Author: Fabio Biselli <fabio.biselli(a)studenti.unipr.it> Date: Mon Sep 7 20:24:53 2009 +0200 Update documentation URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=9eea1940a0dd… Author: Roberto Amadini <r.amadini(a)virgilio.it> Date: Mon Sep 7 18:11:16 2009 +0200 Fixed a bug in method relative_error. Edited test06 to cope with the new interface of method linearize. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=a8ecdc0727c8… Author: Roberto Amadini <r.amadini(a)virgilio.it> Date: Mon Sep 7 18:03:22 2009 +0200 Added one test. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=38cb91a8f194… Author: Fabio Bossi <bossi(a)cs.unipr.it> Date: Mon Sep 7 16:12:10 2009 +0200 Extended method linearize to also accept a linear form abstract store. Adjusted tests (but NOT YET THE DOCUMENTATION) accordingly. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=a8a6f6a79cee… Author: Fabio Biselli <fabio.biselli(a)studenti.unipr.it> Date: Mon Sep 7 18:09:18 2009 +0200 Documentation updates URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=db823a398053… Author: Fabio Bossi <bossi(a)cs.unipr.it> Date: Mon Sep 7 15:00:37 2009 +0200 Do not ignore undefined variables while intervalizing: assert that they are defined instead. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=bf7c1eb0d35e… Author: Fabio Bossi <bossi(a)cs.unipr.it> Date: Mon Sep 7 14:23:23 2009 +0200 Fixed a bug in Linar_Form::operator== where zero coefficients were not treated properly. Added a few simple tests for class Floating_Point_Expression. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=3ea4657845b3… Author: Fabio Bossi <bossi(a)cs.unipr.it> Date: Mon Sep 7 11:07:24 2009 +0200 Added more typedefs and one test. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=fc9e7a5ea189… Author: Fabio Bossi <bossi(a)cs.unipr.it> Date: Mon Sep 7 10:53:07 2009 +0200 Added two simple tests. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=ce4f16e3106a… Author: Fabio Biselli <fabio.biselli(a)studenti.unipr.it> Date: Mon Sep 7 12:31:54 2009 +0200 Fixed comments and documentation URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=04e68873c8a8… Author: Fabio Bossi <bossi(a)cs.unipr.it> Date: Mon Sep 7 09:37:36 2009 +0200 Made absolute_error constant. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=544e8ba18471… Author: François Galea <francois.galea(a)uvsq.fr> Date: Fri Sep 4 18:25:13 2009 +0200 Fixed missing make dependency for recently added header file. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=b1fbafc2fb39… Author: Fabio Bossi <bossi(a)cs.unipr.it> Date: Sat Sep 5 20:07:04 2009 +0200 Fixed erroneous use of const&. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=70431729da6b… Author: Fabio Bossi <bossi(a)cs.unipr.it> Date: Sat Sep 5 17:57:11 2009 +0200 Added operator/= and method negate for class Linear_Form. Refactored code of class Floating_Point_Exception and its derivate classes in order to avoid creating unnecessary temporaries. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=da78c30d4893… Author: Fabio Biselli <fabio.biselli(a)studenti.unipr.it> Date: Fri Sep 4 19:05:11 2009 +0200 Added more documentation URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=8abcfae5a3f8… Author: Enea Zaffanella <zaffanella(a)cs.unipr.it> Date: Fri Sep 4 17:26:01 2009 +0200 Corrected bug in PIP_Problem::add_space_dimensions_and_embed(). URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=d3dc3a4686aa… Author: Enea Zaffanella <zaffanella(a)cs.unipr.it> Date: Fri Sep 4 17:00:16 2009 +0200 Corrected a couple of typos in documentation of Variables_Set. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=322a2b9a124a… Author: Enea Zaffanella <zaffanella(a)cs.unipr.it> Date: Fri Sep 4 16:56:54 2009 +0200 Implemented methods querying/adding space dimensions and parameters. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=052fb58b85dc… Author: Fabio Bossi <bossi(a)cs.unipr.it> Date: Fri Sep 4 16:47:43 2009 +0200 Added necessary typedefs for tests. Removed garbage. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=2690fc065429… Author: François Galea <francois.galea(a)uvsq.fr> Date: Fri Sep 4 14:53:38 2009 +0200 Implemented simplex basis and tableau initialization in PIP solver. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=00627ff6a984… Author: François Galea <francois.galea(a)uvsq.fr> Date: Fri Sep 4 12:23:45 2009 +0200 Included the PIP_Problem and PIP_Tree classes in the devref documentation. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=663dfab0dee0… Author: Fabio Bossi <bossi(a)cs.unipr.it> Date: Fri Sep 4 11:16:05 2009 +0200 Added a workaround for the fact that we don't have an explicit way to divide a Linear_Form by an Interval. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=99ff3b447a38… Author: Fabio Bossi <bossi(a)cs.unipr.it> Date: Fri Sep 4 10:43:37 2009 +0200 Fixed various errors. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=41a927e39c1b… Author: Fabio Bossi <bossi(a)cs.unipr.it> Date: Fri Sep 4 09:56:13 2009 +0200 Fixed bad use of constructor. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=d152f7862622… Author: Fabio Bossi <bossi(a)cs.unipr.it> Date: Fri Sep 4 09:40:19 2009 +0200 Style improvements. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=dc2606ea40c5… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Fri Sep 4 08:46:37 2009 +0200 Listed François Galea among the current contributors. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=68aad9bf5bd2… Author: Enea Zaffanella <zaffanella(a)cs.unipr.it> Date: Thu Sep 3 16:10:55 2009 +0200 Drafted implementation for ascii_dump and ascii_load methods. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=56c76f2f5220… Author: Enea Zaffanella <zaffanella(a)cs.unipr.it> Date: Thu Sep 3 14:34:15 2009 +0200 Do perform PIP_Problem tests first. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=22718e3dda0d… Author: Enea Zaffanella <zaffanella(a)cs.unipr.it> Date: Thu Sep 3 14:28:12 2009 +0200 Minor coding style improvements. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=d542fbbddbc2… Author: François Galea <francois.galea(a)uvsq.fr> Date: Wed Sep 2 17:57:15 2009 +0200 Started the implementation of the PIP_Problem class. In particular: - defined the PIP_Problem constructors; - added the definition of the rational matrix class; - added the definition of simplex tableau; - created a test program. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=4229e9d6cca6… Author: Roberto Amadini <r.amadini(a)virgilio.it> Date: Thu Sep 3 18:26:57 2009 +0200 Deleted a superfluous test. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=c11c86e606ce… Author: Fabio Biselli <fabio.biselli(a)studenti.unipr.it> Date: Thu Sep 3 19:40:57 2009 +0200 Added some documentation. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=f7230caad9fd… Author: Fabio Bossi <bossi(a)cs.unipr.it> Date: Thu Sep 3 17:42:50 2009 +0200 Use 0 instead of NULL. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=637a518f0c3d… Author: Fabio Bossi <bossi(a)cs.unipr.it> Date: Thu Sep 3 17:40:33 2009 +0200 Fixed an error in relative_error. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=8e2a4611be52… Author: Fabio Bossi <bossi(a)cs.unipr.it> Date: Thu Sep 3 16:50:54 2009 +0200 Fixed erroneous declarations of namespace std inside namespace Parma_Polyhedra_Library. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=cfdb5138cdb7… Author: Fabio Bossi <bossi(a)cs.unipr.it> Date: Thu Sep 3 16:37:23 2009 +0200 Fixed many errors. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=10f41f9fa996… Author: Fabio Bossi <bossi(a)cs.unipr.it> Date: Thu Sep 3 16:06:26 2009 +0200 Fixed a few typos. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=452881a1cd2c… Author: Enea Zaffanella <zaffanella(a)cs.unipr.it> Date: Thu Sep 3 15:36:22 2009 +0200 Added a test directory (and a dummy test file). URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=9b98cc5348d0… Author: Fabio Bossi <bossi(a)cs.unipr.it> Date: Thu Sep 3 14:05:27 2009 +0200 Added a temporary implementation for external method neg_assign. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=5f28df36c3fa… Author: Fabio Bossi <bossi(a)cs.unipr.it> Date: Thu Sep 3 11:52:50 2009 +0200 Fixed inclusions. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=2eb864c44e26… Author: Fabio Bossi <bossi(a)cs.unipr.it> Date: Thu Sep 3 10:33:31 2009 +0200 Fixed inclusion guards. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=9e66883a1028… Author: Fabio Bossi <bossi(a)cs.unipr.it> Date: Thu Sep 3 10:01:15 2009 +0200 Added necessary static_cast when computing absolute error. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=26061d6f25e4… Author: Fabio Bossi <bossi(a)cs.unipr.it> Date: Thu Sep 3 09:39:33 2009 +0200 Implemented linearization operator for Division_Floating_Point_Expression. Fixed several typos. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=d2bd25f15c03… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Wed Sep 2 17:15:12 2009 +0200 Added Fabio Biselli to the list of current contributors. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=8839824bc84d… Author: Fabio Bossi <bossi(a)cs.unipr.it> Date: Wed Sep 2 18:07:24 2009 +0200 Added linearization operator for Multiplication_Floating_Point_Expression. Several other corrections and improvements. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=091ba8a95491… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Wed Sep 2 15:46:12 2009 +0200 Added Fabio Bossi to the list of current contributors. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=12d9fe870045… Author: Fabio Bossi <bossi(a)cs.unipr.it> Date: Wed Sep 2 16:33:29 2009 +0200 Removed dummy linearization operators. Implemented the linearization operator for Opposite_Floating_Point_Expression. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=fd45e56cd50f… Author: Fabio Bossi <bossi(a)cs.unipr.it> Date: Wed Sep 2 16:02:45 2009 +0200 Added a few more implementations of the linearization operator. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=67bec8827d8c… Author: Fabio Bossi <bossi(a)cs.unipr.it> Date: Wed Sep 2 14:41:51 2009 +0200 Added a first implementation of the relative_error and intervalize methods. Fixed a mistake with loops over linear forms. Several style improvements. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=c8afa3a4e165… Author: Fabio Biselli <fabio.biselli(a)studenti.unipr.it> Date: Wed Sep 2 13:34:01 2009 +0200 Rewritten according to Enea's indications. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=b7ee345b53fd… Author: Fabio Biselli <fabio.biselli(a)studenti.unipr.it> Date: Tue Sep 1 20:06:03 2009 +0200 Added swap functions and inhibited assignment and copy constructor. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=625f2adc4b2d… Author: Fabio Biselli <fabio.biselli(a)studenti.unipr.it> Date: Tue Sep 1 16:29:05 2009 +0200 Removed trailing whitespaces. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=8f090b25bf4b… Author: Fabio Biselli <fabio.biselli(a)studenti.unipr.it> Date: Tue Sep 1 16:08:08 2009 +0200 Added a few more classes for floating point expressions. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=d10726e73284… Author: Fabio Bossi <bossi(a)cs.unipr.it> Date: Wed Sep 2 11:23:28 2009 +0200 Corrected absolute error calculation to account for underflows. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=a2335bf94541… Author: Fabio Bossi <bossi(a)cs.unipr.it> Date: Wed Sep 2 11:06:44 2009 +0200 Added static helper methods and a few policy classes. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=6c9d4e2385d9… Author: Fabio Bossi <bossi(a)cs.unipr.it> Date: Wed Sep 2 09:54:33 2009 +0200 Made constructors explicit. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=675fae6564ba… Author: Fabio Bossi <bossi(a)cs.unipr.it> Date: Wed Sep 2 09:42:16 2009 +0200 Fixed code according to Enea's indications. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=8b73f935478d… Author: Fabio Bossi <bossi(a)cs.unipr.it> Date: Tue Sep 1 18:05:12 2009 +0200 Added destructor implementation. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=631b2220535f… Author: Fabio Bossi <bossi(a)cs.unipr.it> Date: Tue Sep 1 17:35:44 2009 +0200 Fixed a typo. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=f9e4c9feaea4… Author: Fabio Bossi <bossi(a)cs.unipr.it> Date: Tue Sep 1 17:29:24 2009 +0200 Added swapping functions. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=1f4b78b53ec1… Author: Fabio Bossi <bossi(a)cs.unipr.it> Date: Tue Sep 1 11:38:06 2009 +0200 Added the files for the first (incomplete) version of class Opposite_Floating_Point_Expression URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=db14c2f6022e… Author: Fabio Bossi <bossi(a)cs.unipr.it> Date: Tue Sep 1 11:29:14 2009 +0200 Fixed an error in method linearize. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=bc1a412d5547… Author: Fabio Bossi <bossi(a)cs.unipr.it> Date: Tue Sep 1 10:40:11 2009 +0200 Added a first version of class Variable_Floating_Point_Expression. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=59926c0b8460… Author: Fabio Bossi <bossi(a)cs.unipr.it> Date: Tue Sep 1 10:01:25 2009 +0200 Corrected the interface of the two-argument constructor. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=e2e00d72c563… Author: Fabio Bossi <bossi(a)cs.unipr.it> Date: Tue Sep 1 09:43:30 2009 +0200 Corrected the interface of method linearize. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=a94cd70f673c… Author: Fabio Bossi <bossi(a)cs.unipr.it> Date: Mon Aug 31 17:32:09 2009 +0200 Added a few classes that represent floating point expressions. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=362c6c0bcf47… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Tue Aug 25 21:06:10 2009 +0200 Typo fixed. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=71c24b0bbde9… Merge: 1f2678a35a2e13b22456a380a9e0b974939232a9 6a96e861272517118cfef7806f7b696dccd4d7e6 Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Fri Aug 21 09:42:04 2009 +0200 Merge branch 'master' into pip Conflicts: fedora/ppl.spec URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=c9ec5bc2cb67… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Tue Aug 18 09:57:45 2009 +0200 Several corrections and improvements. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=85f855d8d0c8… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Mon Aug 17 18:19:20 2009 +0200 Started adjusting the documentation. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=24c485b7ca89… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Mon Aug 17 18:12:50 2009 +0200 Implemented Linear_Form::external_memory_in_bytes() and Linear_Form::external_memory_in_bytes(). Other minor improvements. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=73a33367e029… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Mon Aug 17 17:55:53 2009 +0200 Do not use std::swap(): use Linear_Expression::swap() instead. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=17a6154b28a6… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Mon Aug 17 17:52:19 2009 +0200 Added a preliminary implementation of class Linear_Form. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=7690e53a2292… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Mon Aug 17 17:51:35 2009 +0200 Added missing inclusion of <iostream>. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=6a96e8612725… Author: Enea Zaffanella <zaffanella(a)cs.unipr.it> Date: Sat Aug 15 10:05:48 2009 +0200 Mention correction of bug in Pointset_Powerset maximize/minimize methods. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=ba692c7b2002… Author: Enea Zaffanella <zaffanella(a)cs.unipr.it> Date: Sat Aug 15 08:18:50 2009 +0200 Indentation fixed. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=b52a2d273f4f… Author: Enea Zaffanella <zaffanella(a)cs.unipr.it> Date: Sat Aug 15 08:15:14 2009 +0200 Corrected a bug in Pointset_Powerset methods minimize() and maximize(). We now return false if the powerset is found to be empty. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=dfff7e13e881… Author: Enea Zaffanella <zaffanella(a)cs.unipr.it> Date: Sat Aug 15 08:10:19 2009 +0200 Corrected a few expected results in Powerset/maxmin1.cc. This uncovered a bug in Pointset_Powerset methods maximize() and minimize(), whereby we are returning true even for empty powersets. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=f3acefad3847… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Fri Aug 7 17:37:17 2009 +0200 Version number bumped. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=7d61b662af67… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Fri Aug 7 16:15:28 2009 +0200 Useless, commented-out inclusion removed. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=a87795dec3ab… Author: Abramo Bagnara <abramo(a)localhost.localdomain> Date: Fri Aug 7 12:40:53 2009 +0200 Modified cm_splitter machinery to avoid use of 'read' shell builtin. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=c3daa332122e… Author: Enea Zaffanella <zaffanella(a)cs.unipr.it> Date: Fri Aug 7 11:43:54 2009 +0200 Mention a bug that was recently corrected. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=325ba80abd8c… Author: Enea Zaffanella <zaffanella(a)cs.unipr.it> Date: Fri Aug 7 10:39:38 2009 +0200 Corrected implementation of NNC_Polyhedron::upper_bound_assign_if_exact(). Added a few tests for regression checking. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=21c69b39730e… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Wed Aug 5 14:48:04 2009 +0200 Make sure a definition for member/2 and append/3 is available. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=f5a20e1b7ed8… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Mon Aug 3 20:32:32 2009 +0200 Removed useless, temporary addition of -lm to LIBS. (Thanks to Joseph Prostko.) URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=49f717edef1e… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Mon Aug 3 20:32:17 2009 +0200 Checks reordered. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=1d5c936a3dd3… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Sun Aug 2 18:55:02 2009 +0200 Version number bumped. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=0d398d757a50… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Sun Aug 2 18:37:14 2009 +0200 Use AC_SEARCH_LIBS to detect whether -lm must be provided to the linker. (Thanks to Joseph Prostko.) URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=6bfd79445fd0… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Sun Aug 2 17:41:35 2009 +0200 Do not add -lm to LDADD for *randphull1. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=a41facee8e5c… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Sun Aug 2 09:28:50 2009 +0200 Do not link with -lm here. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=65bab4f76a1b… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Fri Jul 31 13:15:39 2009 +0200 Improved and generalized the detection of YAP. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=ba9c7d438434… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Thu Jul 30 10:02:34 2009 +0200 Updated from Autoconf 2.64. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=08eaee8c4564… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Tue Jul 28 14:31:41 2009 +0200 Version number bumped. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=272435922ed6… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Tue Jul 28 14:30:07 2009 +0200 On Windows, the console version of SWI-Prolog is called `plcon'. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=d276a484e1cb… Author: Enea Zaffanella <zaffanella(a)cs.unipr.it> Date: Wed Jul 15 14:04:49 2009 +0200 Adjusted weight thresholds. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=092abc98a2ac… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Tue Jul 14 19:33:20 2009 +0200 Debugging prints improved. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=55dda35b30c6… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Tue Jul 14 19:29:20 2009 +0200 Weights adjusted. Added more debugging prints. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=12ab9f366276… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Tue Jul 14 19:14:50 2009 +0200 More weights adjusted. Added a couple of debugging prints. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=b64d72bae2be… Author: Enea Zaffanella <zaffanella(a)cs.unipr.it> Date: Tue Jul 14 18:49:35 2009 +0200 Added printing of MIP solver recursion level for (noisy) debugging. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=a17f3bf228fb… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Tue Jul 14 17:36:47 2009 +0200 Added some weights. Added some debugging prints. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=01c5219d84f3… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Tue Jul 14 16:07:36 2009 +0200 Todo items reorganized. Removed the one about NOT_EQUAL. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=c5beb16e7b88… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Tue Jul 14 16:05:30 2009 +0200 Version number bumped. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=456f042c8e04… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Tue Jul 14 14:39:00 2009 +0200 The *_and_minimize/N predicates have gone: remove residual references to them. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=80fe52b084cf… Author: Enea Zaffanella <zaffanella(a)cs.unipr.it> Date: Tue Jul 14 15:05:11 2009 +0200 Added WEIGHT_BEGIN and corrected WEIGHT_ADD_MUL macro. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=cd670303e2a9… Author: Enea Zaffanella <zaffanella(a)cs.unipr.it> Date: Tue Jul 14 14:59:48 2009 +0200 Added WEIGHT_BEGIN() macros and reset a few weights. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=2947b482bb0a… Author: Abramo Bagnara <abramo.bagnara(a)gmail.com> Date: Tue Jul 14 11:36:08 2009 +0200 Added profiled weights. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=232f4f623dad… Author: Enea Zaffanella <zaffanella(a)cs.unipr.it> Date: Tue Jul 14 11:05:13 2009 +0200 Modified computational weight for propagate_constraints. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=ae0073bd4dd5… Author: Enea Zaffanella <zaffanella(a)cs.unipr.it> Date: Tue Jul 14 09:18:37 2009 +0200 Added tentative computational weights to MIP_Problem. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=67572f7617f6… Author: Abramo Bagnara <abramo.bagnara(a)gmail.com> Date: Tue Jul 14 00:09:12 2009 +0200 Fixed WEIGHT_ADD use. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=c3b1c746d42b… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Mon Jul 13 22:32:16 2009 +0200 WEIGHT_ADD moved. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=4984c996e750… Author: Abramo Bagnara <abramo.bagnara(a)gmail.com> Date: Mon Jul 13 22:16:04 2009 +0200 Removed forgotten WEIGHT_ADD. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=61df49cc3d5f… Author: Abramo Bagnara <abramo.bagnara(a)gmail.com> Date: Mon Jul 13 22:03:05 2009 +0200 Don't compile Weight_Profiler if it's not used. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=27ce45ef5e47… Author: Enea Zaffanella <zaffanella(a)cs.unipr.it> Date: Mon Jul 13 21:58:44 2009 +0200 Minor formatting improvements. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=30c4076e092b… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Mon Jul 13 21:48:50 2009 +0200 Use less simplistic weights. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=f5b72e693fc9… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Mon Jul 13 21:48:31 2009 +0200 Comment improved. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=f53a31830c3e… Author: Abramo Bagnara <abramo.bagnara(a)gmail.com> Date: Mon Jul 13 20:10:39 2009 +0200 Added additional info about Traits template parameter. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=a3b243ef0142… Author: Abramo Bagnara <abramo.bagnara(a)gmail.com> Date: Mon Jul 13 18:46:47 2009 +0200 Converted weight threshold to unsigned long long. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=f41bc98bc45b… Author: Abramo Bagnara <abramo.bagnara(a)gmail.com> Date: Mon Jul 13 18:36:51 2009 +0200 Added weight profiler URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=e5ea4dfdfcca… Author: Enea Zaffanella <zaffanella(a)cs.unipr.it> Date: Mon Jul 13 17:39:45 2009 +0200 In the Ocaml tests, timeouts are now reset unconditionally. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=db905fa95a0e… Author: Enea Zaffanella <zaffanella(a)cs.unipr.it> Date: Mon Jul 13 16:21:35 2009 +0200 Drafted a few missing comments. To be completed (by the author). URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=603691e1fc7d… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Mon Jul 13 16:04:22 2009 +0200 Added the documentation of some parameters. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=2b5711e19f0b… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Mon Jul 13 16:01:19 2009 +0200 Doxygen reference fixed. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=0808b5bf1789… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Mon Jul 13 15:55:59 2009 +0200 Fixed several documentation bugs signalled by Doxygen. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=e03b09806640… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Mon Jul 13 15:39:17 2009 +0200 Version number bumped. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=9d1496c72855… Author: Abramo Bagnara <abramo.bagnara(a)gmail.com> Date: Mon Jul 13 15:47:56 2009 +0200 Removed repeated declaration. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=18547b9dda76… Author: Abramo Bagnara <abramo.bagnara(a)gmail.com> Date: Mon Jul 13 15:13:27 2009 +0200 Moved in_assert in Implementation namespace. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=b3f9c1cc75c5… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Mon Jul 13 14:50:55 2009 +0200 Warnings avoided. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=78a7c4b60e7e… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Mon Jul 13 14:47:51 2009 +0200 Warnings avoided. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=4b767ed368ed… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Mon Jul 13 14:47:39 2009 +0200 Spurious parenthesis removed. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=35bcf04d2922… Author: Enea Zaffanella <zaffanella(a)cs.unipr.it> Date: Mon Jul 13 14:32:04 2009 +0200 Announced availability of the deterministic timeout facilities. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=b1f6a84ec048… Author: Abramo Bagnara <abramo.bagnara(a)gmail.com> Date: Mon Jul 13 14:28:04 2009 +0200 Converted assert in PPL_ASSERT. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=1a0fb124afab… Author: Enea Zaffanella <zaffanella(a)cs.unipr.it> Date: Mon Jul 13 14:04:22 2009 +0200 A couple of minor doxygen documentation corrections. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=8da16bedab39… Author: Enea Zaffanella <zaffanella(a)cs.unipr.it> Date: Mon Jul 13 13:02:56 2009 +0200 Added determinisitc timeout functionality to the Ocaml interface. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=f998de27be99… Author: Enea Zaffanella <zaffanella(a)cs.unipr.it> Date: Mon Jul 13 10:46:44 2009 +0200 Added deterministic timeout functionality to the Java language interface. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=62c817602e25… Author: Enea Zaffanella <zaffanella(a)cs.unipr.it> Date: Mon Jul 13 09:42:35 2009 +0200 Weightwatch test fixed so as to behave properly under arithmetic overflows. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=ff28fdbc4a1f… Author: Enea Zaffanella <zaffanella(a)cs.unipr.it> Date: Mon Jul 13 09:24:12 2009 +0200 Added deterministic timeout predicates to the Prolog language interface. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=d81e62914cde… Author: Enea Zaffanella <zaffanella(a)cs.unipr.it> Date: Mon Jul 13 08:56:27 2009 +0200 Now we throw/catch ad hoc exceptions for deterministic timeouts. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=70437eb7512d… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Mon Jul 13 06:47:50 2009 +0200 These tests fail also with 32-bit coefficients. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=08dfb6fea094… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Sun Jul 12 21:39:46 2009 +0200 New configure option --with-gmp-prefix supersedes the (now removed) options --with-libgmp-prefix and --with-libgmpxx-prefix. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=acac3c72eafc… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Sun Jul 12 21:21:04 2009 +0200 These tests fail also with 16-bit coefficients. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=81f1af6d0c63… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Sun Jul 12 21:19:21 2009 +0200 Private typedef renamed. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=557898faabc4… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Sun Jul 12 21:19:12 2009 +0200 Removed spurious blank line. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=5622bea5c074… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Sun Jul 12 21:15:32 2009 +0200 Comment improved. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=89b767163dfb… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Sun Jul 12 21:14:09 2009 +0200 Drafted the news for PWL 0.8. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=e1a81fe4089f… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Sun Jul 12 19:08:36 2009 +0200 Unused temp removed. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=66ccf323a04d… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Sun Jul 12 19:07:58 2009 +0200 Warnings avoided. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=6a645e6094ee… Author: Enea Zaffanella <zaffanella(a)cs.unipr.it> Date: Sun Jul 12 20:51:38 2009 +0200 Fixed INPUT variable in Doxygen configuration for devref. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=2cda644cec9a… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Sun Jul 12 19:05:01 2009 +0200 Updated for PWL 0.8. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=ead85490a5fa… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Sun Jul 12 19:00:19 2009 +0200 These tests fail with 8-bit coefficients. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=42c630cd1c01… Author: Enea Zaffanella <zaffanella(a)cs.unipr.it> Date: Sun Jul 12 18:58:15 2009 +0200 Added a test for deterministic timeouts in the C language interface. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=e6ed324723fa… Author: Enea Zaffanella <zaffanella(a)cs.unipr.it> Date: Sun Jul 12 18:36:43 2009 +0200 The deterministic timeout facilities are in the C language interface. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=0f2de79bb0db… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Sun Jul 12 17:16:20 2009 +0200 Got rid of the REACTIVE_ABANDONING macro. It was controlling tests whose cost is negligible, and defining it to 0 we would not honor what we promise in the documentation of abandon_expensive_computations. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=9ae4fb56b8dd… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Sun Jul 12 17:12:20 2009 +0200 Force rebuild. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=a349f75ba19a… Author: Abramo Bagnara <abramo.bagnara(a)gmail.com> Date: Sun Jul 12 13:55:14 2009 +0200 Converted watchdog time argument to unsigned. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=f1a9519f0771… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Sun Jul 12 11:48:29 2009 +0200 Item improved. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=8d2fd5e5653a… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Sun Jul 12 11:47:36 2009 +0200 Synchronized with the current reality. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=1175ae2b9f76… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Sun Jul 12 11:46:02 2009 +0200 Updated. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=39fdc5887541… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Sun Jul 12 11:24:28 2009 +0200 Require Automake 1.11, enable lzma tar archives and silent rules. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=0742e3828ce4… Author: Enea Zaffanella <zaffanella(a)cs.unipr.it> Date: Sun Jul 12 11:12:29 2009 +0200 Avoid dummy parameter in constructor for Threshold_Watcher::Initialize. Renamed `initialize' to `init' to avoid visual clash with `Initialize'. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=e5b0647b63bd… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Sun Jul 12 11:15:18 2009 +0200 Updated. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=f36bad689490… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Sun Jul 12 10:13:04 2009 +0200 Require Automake 1.11, enable lzma tar archives and silent rules. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=1fec820348a7… Author: Enea Zaffanella <zaffanella(a)cs.unipr.it> Date: Sun Jul 12 09:18:13 2009 +0200 Added a first test for the deterministic timeout. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=4cb9790c6f74… Author: Enea Zaffanella <zaffanella(a)cs.unipr.it> Date: Sun Jul 12 09:14:52 2009 +0200 Added Weightwatch_Traits class (from Abramo). Modified maybe_abandon(). URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=78c8fb6cebda… Author: Enea Zaffanella <zaffanella(a)cs.unipr.it> Date: Sun Jul 12 08:11:22 2009 +0200 Minor improvements: prefer direct header file inclusions to indirect ones. Avoid unnecessarily long lines. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=133d39ca584c… Author: Abramo Bagnara <abramo.bagnara(a)gmail.com> Date: Sat Jul 11 20:12:09 2009 +0200 Converted Weightwatch in more generic Threshold_Watcher. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=6fd8437f2e56… Author: Abramo Bagnara <abramo.bagnara(a)gmail.com> Date: Sat Jul 11 18:25:10 2009 +0200 Fixed typo. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=99d4c96253e1… Author: Abramo Bagnara <abramo.bagnara(a)gmail.com> Date: Sat Jul 11 18:14:42 2009 +0200 Forgotten file. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=d8e99fc18a85… Author: Abramo Bagnara <abramo.bagnara(a)gmail.com> Date: Sat Jul 11 18:13:39 2009 +0200 Weightwatch are now generic threshold watchdog. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=a2845d771766… Author: Abramo Bagnara <abramo.bagnara(a)gmail.com> Date: Sat Jul 11 14:07:36 2009 +0200 Weightwatch are now independent from client code. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=98c1aa19dbcd… Author: Abramo Bagnara <abramo.bagnara(a)gmail.com> Date: Fri Jul 10 21:20:57 2009 +0200 Added Weightwatch. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=9806b1f8969f… Author: Enea Zaffanella <zaffanella(a)cs.unipr.it> Date: Fri Jul 10 18:05:14 2009 +0200 Fixed a (potential) exception safety bug in class MIP_Problem. Added an helper class (implementing RAII technique) to safely relax a MIP problem into an LP problem and ensure that integer variables are restored even in the presence of exceptional execution paths. Improved interface (and a few comments) for private methods dealing with MIP optimization and satisfiability. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=1f2678a35a2e… Author: Enea Zaffanella <zaffanella(a)cs.unipr.it> Date: Fri Jun 19 14:56:26 2009 +0200 Space dimensions cannot change status: they are either vars or parameters. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=7100d0307f86… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Fri Jun 19 09:51:24 2009 +0200 The `gprolog' and `yap' packages are not available on the sparc64 and sparcv9 architectures: so do `ppl-gprolog', `ppl-gprolog-static' and `ppl-yap'. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=ecaf06e49be9… Author: Abramo Bagnara <abramo.bagnara(a)gmail.com> Date: Thu Jun 18 10:54:46 2009 +0200 Added proof of concept for Python interface. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=d986d5bcaf0a… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Fri Jun 19 12:54:28 2009 +0200 The `gprolog' and `yap' packages are not available on the sparc64 and sparcv9 architectures: so do `ppl-gprolog', `ppl-gprolog-static' and `ppl-yap'. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=2d8e88610e89… Author: Abramo Bagnara <abramo.bagnara(a)gmail.com> Date: Thu Jun 18 10:54:46 2009 +0200 Added proof of concept for Python interface. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=4febc2ae85b5… Author: Abramo Bagnara <abramo.bagnara(a)gmail.com> Date: Sun Jun 14 22:58:15 2009 +0200 Added implementation of child accessors. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=235b8ee1963d… Author: Abramo Bagnara <abramo.bagnara(a)gmail.com> Date: Sun Jun 14 22:57:25 2009 +0200 Fixed typo. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=d3b7ee7164ee… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Sun Jun 14 22:14:36 2009 +0200 Added accessors of PIP_Solution_Node. Other improvements. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=b898fa650b74… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Sun Jun 14 22:01:21 2009 +0200 Include "globals.defs.hh" URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=b690470bc18c… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Sun Jun 14 22:01:02 2009 +0200 Include "PIP_Tree.defs.hh". URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=272d5fda28d4… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Sun Jun 14 21:57:44 2009 +0200 Added constructors and comments. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=1f11bf94c3f3… Author: Enea Zaffanella <zaffanella(a)cs.unipr.it> Date: Sun Jun 14 21:49:51 2009 +0200 Initial draft fo rinterface improved. Removed control parameters; removed UNBOUND status; renamed a few methods; let PIP_Tree be an alias for a pointer to a _const_ PIP_Tree_Node. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=d9871d90f574… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Sun Jun 14 21:25:06 2009 +0200 More comments added. Some fields renamed. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=298c26af185d… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Sun Jun 14 21:16:52 2009 +0200 Added comments and more infrastructure. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=18458e693b80… Author: Abramo Bagnara <abramo.bagnara(a)gmail.com> Date: Sun Jun 14 20:26:12 2009 +0200 Added draft PIP_Tree implementation. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=e7f48834cdee… Author: Enea Zaffanella <zaffanella(a)cs.unipr.it> Date: Sun Jun 14 19:08:18 2009 +0200 Got rid of objective function and optimization mode. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=00cf12048387… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Sun Jun 14 17:55:09 2009 +0200 Blatantly ripped from MIP_Problem.*.hh. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=0bfb384588db… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Sat Jun 13 08:50:03 2009 +0200 Using the bug tracking system is now the recommended way to report PPL issues. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=335d133acf5d… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Mon May 25 17:38:54 2009 +0200 Typos fixed. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=ed61e6fdbf3c… Author: Enea Zaffanella <zaffanella(a)cs.unipr.it> Date: Thu Jun 11 10:56:06 2009 +0200 Added explanation on the use of lcov to produce coverage information. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=6eb78d62f224… Author: Enea Zaffanella <zaffanella(a)cs.unipr.it> Date: Thu Jun 11 00:25:38 2009 +0200 Add -lgcov to extra_libraries when configuring with coverage enabled. Fixes a link bug when trying to compute coverage for the OCaml interface tests. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=01628113e540… Author: Patricia Hill <p.m.hill(a)leeds.ac.uk> Date: Wed Jun 10 11:40:06 2009 +0100 Avoid unused variable warning when assertions are not enabled. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=7ded610ca27b… Author: Enea Zaffanella <zaffanella(a)cs.unipr.it> Date: Tue Jun 2 11:05:25 2009 +0200 In the Java tests, be more systematic in the use of method free(). URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=81e8a397938b… Author: Enea Zaffanella <zaffanella(a)cs.unipr.it> Date: Tue Jun 2 11:00:09 2009 +0200 Interface for Java class Linear_Expression_Times improved. The misleading methods left_hand_side() and right_hand_side() replaced by: public Coefficient coefficient(); and public Linear_Expression linear_expression(); returing the two object factors using clearer naming. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=7a810826f459… Author: Enea Zaffanella <zaffanella(a)cs.unipr.it> Date: Wed May 20 13:16:36 2009 +0200 Test test02() overflows with 16 bit checked integers. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=4a2e47bc3c0b… Author: Patricia Hill <p.m.hill(a)leeds.ac.uk> Date: Wed May 20 08:38:14 2009 +0100 Added a warning about non-integrality for wrap_assign(). Previous reverted commit which had the same message was wrongly done in the products branch. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=7be6fde8d1ae… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Wed May 20 08:12:09 2009 +0200 Non-standard commas removed. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=ee3ef52f2db8… Author: Enea Zaffanella <zaffanella(a)cs.unipr.it> Date: Tue May 19 13:44:06 2009 +0200 Corrected a typo in the known result of a wrap_assign test. (Please, double check that it was indeed a typo.) URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=3ef5a5122c7d… Merge: 0fa67508390338eaa04737e01a2b5b7aaef34237 f184d82d2e3105d671a089a1302ed6dff993a395 Author: Patricia Hill <p.m.hill(a)leeds.ac.uk> Date: Tue May 19 07:42:41 2009 +0100 Merge branch 'gridwraps' URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=f184d82d2e31… Author: Patricia Hill <p.m.hill(a)leeds.ac.uk> Date: Tue May 19 07:40:39 2009 +0100 Where cost is negligible, enforce integrality. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=0fa675083903… Author: Abramo Bagnara <abramo.bagnara(a)gmail.com> Date: Mon May 18 18:25:19 2009 +0200 Fixed omitted renaming. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=947e19e6567f… Author: Enea Zaffanella <zaffanella(a)cs.unipr.it> Date: Mon May 18 15:47:00 2009 +0200 The generated Java tests now exploit the Test_Executor class functionality. Added an helper function to set global success flag and report success or failure if in noisy mode. NOTE: we are still (just) checking for the well formedness of the object (using method OK()), rather than checking if the computed result is actually the same of th expected one. However, due to genericity, it is quite difficult to precisely state expectations in these tests. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=2239f1dbbfa6… Author: Patricia Hill <p.m.hill(a)leeds.ac.uk> Date: Mon May 18 14:24:58 2009 +0100 When the congruences have inconsistent equalities, the box is set empty. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=a7fe4a03836b… Author: Patricia Hill <p.m.hill(a)leeds.ac.uk> Date: Mon May 18 14:21:42 2009 +0100 The refine_with_congrueces() detects inconsistent equalities. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=5b6358d380c8… Author: Enea Zaffanella <zaffanella(a)cs.unipr.it> Date: Mon May 18 13:48:05 2009 +0200 Started adapting the Java tests to make better use of class Test_Executor.

1 0

[GIT] ppl/ppl(sparse_matrices): PIP_Problem: add another version of static function neg_assign_row(), optimized for sparse rows.
by Marco Poletti 09 Mar '10

09 Mar '10

Module: ppl/ppl Branch: sparse_matrices Commit: e0501c1ec140e8e7a6767d87e4e24e60b1f0137b URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=e0501c1ec140… Author: Marco Poletti <poletti.marco(a)gmail.com> Date: Tue Mar 9 22:15:56 2010 +0100 PIP_Problem: add another version of static function neg_assign_row(), optimized for sparse rows. --- src/PIP_Tree.cc | 18 +++++++++++++++++- 1 files changed, 17 insertions(+), 1 deletions(-) diff --git a/src/PIP_Tree.cc b/src/PIP_Tree.cc index c14f369..9583548 100644 --- a/src/PIP_Tree.cc +++ b/src/PIP_Tree.cc @@ -203,7 +203,8 @@ merge_assign(PIP_Tree_Node::matrix_type& x, } } -// Assigns to row x the negation of row y. +#ifndef USE_PPL_SPARSE_MATRIX + inline void neg_assign_row(PIP_Tree_Node::matrix_row_reference_type x, PIP_Tree_Node::matrix_row_const_reference_type y) { @@ -211,6 +212,21 @@ neg_assign_row(PIP_Tree_Node::matrix_row_reference_type x, neg_assign(x[i], y[i]); } +#else + +// Assigns to row x the negation of row y. +inline void +neg_assign_row(PIP_Tree_Node::matrix_row_reference_type x, + PIP_Tree_Node::matrix_row_const_reference_type y) { + x = y; + PIP_Tree_Node::matrix_row_iterator i = x.begin(); + PIP_Tree_Node::matrix_row_iterator i_end = x.end(); + for ( ; i!=i_end; ++i) + neg_assign((*i).second); +} + +#endif // !defined(USE_PPL_SPARSE_MATRIX) + // Given context row \p y and denominator \p den, // to be interpreted as expression expr = y / den, // assigns to context row \p x a new value such that

1 0

[GIT] ppl/ppl(sparse_matrices): Sparse_Row, Sparse_Row_Reference: add assignment operator from Unlimited_Sparse_Row.
by Marco Poletti 09 Mar '10

09 Mar '10

Module: ppl/ppl Branch: sparse_matrices Commit: 109aa87b6c2878e98a11aa6de74c859d6bb7ba89 URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=109aa87b6c28… Author: Marco Poletti <poletti.marco(a)gmail.com> Date: Tue Mar 9 22:14:45 2010 +0100 Sparse_Row, Sparse_Row_Reference: add assignment operator from Unlimited_Sparse_Row. --- src/Sparse_Row.defs.hh | 7 +++++++ src/Sparse_Row.inlines.hh | 14 ++++++++++++++ 2 files changed, 21 insertions(+), 0 deletions(-) diff --git a/src/Sparse_Row.defs.hh b/src/Sparse_Row.defs.hh index 16268c2..29f7374 100644 --- a/src/Sparse_Row.defs.hh +++ b/src/Sparse_Row.defs.hh @@ -72,6 +72,10 @@ public: Sparse_Row(const Sparse_Row_Reference& x); //! Assigns a Sparse_Row_Reference to (*this). + //! x should have no nonzero elements with index greater than size(). + Sparse_Row& operator=(const Unlimited_Sparse_Row& x); + + //! Assigns a Sparse_Row_Reference to (*this). Sparse_Row& operator=(const Sparse_Row_Reference& x); //! Swaps (*this) and x. @@ -201,6 +205,9 @@ public: Sparse_Row_Reference(Unlimited_Sparse_Row& row,const dimension_type size); + Sparse_Row_Reference& operator=(const Unlimited_Sparse_Row& x); + + //! x should have no nonzero elements with index greater than size(). Sparse_Row_Reference& operator=(const Sparse_Row_Reference& x); Sparse_Row_Reference& operator=(const Sparse_Row& x); diff --git a/src/Sparse_Row.inlines.hh b/src/Sparse_Row.inlines.hh index 3301485..1a4550c 100644 --- a/src/Sparse_Row.inlines.hh +++ b/src/Sparse_Row.inlines.hh @@ -56,6 +56,13 @@ Sparse_Row::Sparse_Row(const Sparse_Row_Reference& x) } inline Sparse_Row& +Sparse_Row::operator=(const Unlimited_Sparse_Row& x) { + row = x; + PPL_ASSERT(OK()); + return *this; +} + +inline Sparse_Row& Sparse_Row::operator=(const Sparse_Row_Reference& x) { Sparse_Row_Reference(row,size_) = x; return *this; @@ -284,6 +291,13 @@ Sparse_Row_Reference::Sparse_Row_Reference(Unlimited_Sparse_Row& row1, } inline Sparse_Row_Reference& +Sparse_Row_Reference::operator=(const Unlimited_Sparse_Row& x) { + row = x; + PPL_ASSERT(OK()); + return *this; +} + +inline Sparse_Row_Reference& Sparse_Row_Reference::operator=(const Sparse_Row_Reference& x) { PPL_ASSERT(size_ == x.size_); row = x.row;

1 0

[GIT] ppl/ppl(sparse_matrices): Sparse_Row, Sparse_Row_Reference: add reset_after() methods.
by Marco Poletti 09 Mar '10

09 Mar '10

Module: ppl/ppl Branch: sparse_matrices Commit: 6c19300dac4d1c406a0b89eac8551bc0c776b160 URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=6c19300dac4d… Author: Marco Poletti <poletti.marco(a)gmail.com> Date: Tue Mar 9 14:28:51 2010 +0100 Sparse_Row, Sparse_Row_Reference: add reset_after() methods. --- src/Sparse_Row.defs.hh | 6 ++++++ src/Sparse_Row.inlines.hh | 14 ++++++++++++++ 2 files changed, 20 insertions(+), 0 deletions(-) diff --git a/src/Sparse_Row.defs.hh b/src/Sparse_Row.defs.hh index 9402a40..16268c2 100644 --- a/src/Sparse_Row.defs.hh +++ b/src/Sparse_Row.defs.hh @@ -118,6 +118,9 @@ public: //! All dangerous_iterator objects in [first,last] are invalidated (note //! that last is invalidated, too). dangerous_iterator reset(dangerous_iterator first,dangerous_iterator last); + + //! Resets to zero the elements in [i,size()). + void reset_after(dimension_type i); //! Normalizes the modulo of coefficients so that they are mutually prime. /*! @@ -238,6 +241,9 @@ public: //! invalidated (note that j_itr is invalidated, too). void reset(dimension_type i,dimension_type j); + //! Resets to zero the elements in [i,size()). + void reset_after(dimension_type i); + //! Normalizes the modulo of coefficients so that they are mutually prime. /*! Computes the Greatest Common Divisor (GCD) among the elements of diff --git a/src/Sparse_Row.inlines.hh b/src/Sparse_Row.inlines.hh index 4d15e42..3301485 100644 --- a/src/Sparse_Row.inlines.hh +++ b/src/Sparse_Row.inlines.hh @@ -131,6 +131,13 @@ Sparse_Row::reset(dangerous_iterator first,dangerous_iterator last) { } inline void +Sparse_Row::reset_after(dimension_type i) { + PPL_ASSERT(i < size_); + row.reset_after(i); + PPL_ASSERT(OK()); +} + +inline void Sparse_Row::normalize() { row.normalize(); PPL_ASSERT(OK()); @@ -348,6 +355,13 @@ Sparse_Row_Reference::reset(const dimension_type first, } inline void +Sparse_Row_Reference::reset_after(dimension_type i) { + PPL_ASSERT(i < size_); + row.reset_after(i); + PPL_ASSERT(OK()); +} + +inline void Sparse_Row_Reference::normalize() { row.normalize(); PPL_ASSERT(OK());

1 0

[GIT] ppl/ppl(master): Documentation fixes.
by François Galea 09 Mar '10

09 Mar '10

Module: ppl/ppl Branch: master Commit: 2d43c54ada25c81f076dd0c353470ec9cbec1543 URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=2d43c54ada25… Author: François Galea <francois.galea(a)uvsq.fr> Date: Mon Mar 8 07:56:00 2010 +0100 Documentation fixes. --- src/PIP_Problem.defs.hh | 19 ++++++++++--------- 1 files changed, 10 insertions(+), 9 deletions(-) diff --git a/src/PIP_Problem.defs.hh b/src/PIP_Problem.defs.hh index 66ff1a5..0f29afb 100644 --- a/src/PIP_Problem.defs.hh +++ b/src/PIP_Problem.defs.hh @@ -97,10 +97,11 @@ operator<<(std::ostream& s, const PIP_Problem& p); if all these constraints are satisfied, the solution is described by the node, otherwise the problem has no solution. - It may happen that a decision node has no \e false or \e true child. - This means that there is no solution satisfying the corresponding - constraints. Decision nodes having two or more linear tests on the - parameters cannot have a \e false child. + It may happen that a decision node has no \e false child. This means + that there is no solution if at least one of the corresponding + constraints is not satisfied. Decision nodes having two or more linear + tests on the parameters cannot have a \e false child. Decision nodes + always have a \e true child. Both kinds of tree nodes may also contain the definition of extra parameters which are artificially introduced by the solver to enforce @@ -141,7 +142,7 @@ operator<<(std::ostream& s, const PIP_Problem& p); \endverbatim The solution tree starts with a decision node depending on the context constraint <code>7*n >= 10</code>. - If this constraints is satisfied by the values assigned to the + If this constraint is satisfied by the values assigned to the problem parameters, then the (textually first) \c then branch is taken, reaching the \e true child of the root node (which in this case is another decision node); otherwise, the (textually last) \c else @@ -151,7 +152,7 @@ operator<<(std::ostream& s, const PIP_Problem& p); lexicographic minimum of an empty set of solutions, here meaning the corresponding subproblem is unfeasible. \par - Notice that a tree node may introduce a new (non-problem) parameter, + Notice that a tree node may introduce new (non-problem) parameters, as is the case for parameter \c P in the (textually first) \c else branch above. These \e artificial parameters are only meaningful inside the subtree where they are defined and are used to define @@ -159,7 +160,7 @@ operator<<(std::ostream& s, const PIP_Problem& p); (e.g., the <tt>{i,j}</tt> vector in the textually third \c then branch). \par Context restriction - The above solution is correct in an unrestricted original context, + The above solution is correct in an unrestricted initial context, meaning all possible values are allowed for the parameters. If we restrict the context with the following parameter inequalities: \code @@ -172,7 +173,7 @@ operator<<(std::ostream& s, const PIP_Problem& p); \endverbatim \par Creating the PIP_Problem object - The PIP_Problem object correspondind to the above example can be + The PIP_Problem object corresponding to the above example can be created as follows: \code Variable i(0); @@ -187,7 +188,7 @@ operator<<(std::ostream& s, const PIP_Problem& p); cs.insert(i <= n); PIP_Problem pip(cs.space_dimension(), cs.begin(), cs.end(), params); \endcode - If you want to restrict the original context, simply add the parameter + If you want to restrict the initial context, simply add the parameter constraints the same way as for normal constraints. \code cs.insert(m >= n);

1 0

[GIT] ppl/ppl(sparse_matrices): PIP_Tree: optimize static function merge_assign() for sparse matrices.
by Marco Poletti 09 Mar '10

09 Mar '10

Module: ppl/ppl Branch: sparse_matrices Commit: 11194ae3cfe869768989cd1b1f6b10d92483758b URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=11194ae3cfe8… Author: Marco Poletti <poletti.marco(a)gmail.com> Date: Tue Mar 9 13:48:25 2010 +0100 PIP_Tree: optimize static function merge_assign() for sparse matrices. --- src/PIP_Tree.cc | 23 +++++++++++++++++++++-- 1 files changed, 21 insertions(+), 2 deletions(-) diff --git a/src/PIP_Tree.cc b/src/PIP_Tree.cc index 9137180..c14f369 100644 --- a/src/PIP_Tree.cc +++ b/src/PIP_Tree.cc @@ -172,14 +172,33 @@ merge_assign(PIP_Tree_Node::matrix_type& x, y_end = y.end(); y_i != y_end; ++y_i, ++i) { PPL_ASSERT(y_i->is_nonstrict_inequality()); PIP_Tree_Node::matrix_row_reference_type x_i = x[i]; - x_i[0] = y_i->inhomogeneous_term(); + const Coefficient& inhomogeneous_term = y_i->inhomogeneous_term(); + if (inhomogeneous_term != 0) + x_i[0] = inhomogeneous_term; Variables_Set::const_iterator pj; dimension_type j = 1; + PIP_Tree_Node::matrix_row_iterator last = x_i.begin(); for (pj = param_begin; pj != param_end; ++pj, ++j) { Variable vj(*pj); if (vj.space_dimension() > cs_space_dim) break; - x_i[j] = y_i->coefficient(vj); + const Coefficient& c = y_i->coefficient(vj); + if (c != 0) { + last = x_i.find_create(j,c); + ++pj; + ++j; + break; + } + } + for ( ; pj != param_end; ++pj, ++j) { + Variable vj(*pj); + if (vj.space_dimension() > cs_space_dim) + break; + const Coefficient& c = y_i->coefficient(vj); + if (c != 0) { + last = x_i.find_create(j,c,last); + break; + } } } }

1 0