- PPL-devel - BUGSENG Mailman

[GIT] ppl/ppl(ppl-0_11-branch): Copyright notices updated.
by Roberto Bagnara 14 Feb '11

14 Feb '11

Module: ppl/ppl Branch: ppl-0_11-branch Commit: 9099a1b4d6f8b0f1020940557b0c1c107db4ce13 URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=9099a1b4d6f8… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Mon Feb 14 07:35:52 2011 +0100 Copyright notices updated. --- interfaces/Prolog/tests/expected_clpq2_mpz | 1 + interfaces/Prolog/tests/expected_clpq_mpz | 1 + 2 files changed, 2 insertions(+), 0 deletions(-) diff --git a/interfaces/Prolog/tests/expected_clpq2_mpz b/interfaces/Prolog/tests/expected_clpq2_mpz index e7c7c11..2f43a8f 100644 --- a/interfaces/Prolog/tests/expected_clpq2_mpz +++ b/interfaces/Prolog/tests/expected_clpq2_mpz @@ -1,4 +1,5 @@ Copyright (C) 2001-2010 Roberto Bagnara <bagnara(a)cs.unipr.it> +Copyright (C) 2010-2011 BUGSENG srl (http://bugseng.com) this program is free software, covered by the GNU General Public License, and you are welcome to change it and/or distribute copies of it under certain conditions. diff --git a/interfaces/Prolog/tests/expected_clpq_mpz b/interfaces/Prolog/tests/expected_clpq_mpz index e18bb59..2ead12c 100644 --- a/interfaces/Prolog/tests/expected_clpq_mpz +++ b/interfaces/Prolog/tests/expected_clpq_mpz @@ -1,4 +1,5 @@ Copyright (C) 2001-2010 Roberto Bagnara <bagnara(a)cs.unipr.it> +Copyright (C) 2010-2011 BUGSENG srl (http://bugseng.com) this program is free software, covered by the GNU General Public License, and you are welcome to change it and/or distribute copies of it under certain conditions.

1 0

[GIT] ppl/ppl(master): Copyright notices updated.
by Roberto Bagnara 14 Feb '11

14 Feb '11

Module: ppl/ppl Branch: master Commit: 2a224dfc21ffce3a15ab175400517d1fd6adccfd URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=2a224dfc21ff… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Mon Feb 14 07:33:55 2011 +0100 Copyright notices updated. --- interfaces/Prolog/tests/expected_clpq2_mpz | 1 + interfaces/Prolog/tests/expected_clpq_mpz | 1 + 2 files changed, 2 insertions(+), 0 deletions(-) diff --git a/interfaces/Prolog/tests/expected_clpq2_mpz b/interfaces/Prolog/tests/expected_clpq2_mpz index e7c7c11..2f43a8f 100644 --- a/interfaces/Prolog/tests/expected_clpq2_mpz +++ b/interfaces/Prolog/tests/expected_clpq2_mpz @@ -1,4 +1,5 @@ Copyright (C) 2001-2010 Roberto Bagnara <bagnara(a)cs.unipr.it> +Copyright (C) 2010-2011 BUGSENG srl (http://bugseng.com) this program is free software, covered by the GNU General Public License, and you are welcome to change it and/or distribute copies of it under certain conditions. diff --git a/interfaces/Prolog/tests/expected_clpq_mpz b/interfaces/Prolog/tests/expected_clpq_mpz index e18bb59..2ead12c 100644 --- a/interfaces/Prolog/tests/expected_clpq_mpz +++ b/interfaces/Prolog/tests/expected_clpq_mpz @@ -1,4 +1,5 @@ Copyright (C) 2001-2010 Roberto Bagnara <bagnara(a)cs.unipr.it> +Copyright (C) 2010-2011 BUGSENG srl (http://bugseng.com) this program is free software, covered by the GNU General Public License, and you are welcome to change it and/or distribute copies of it under certain conditions.

1 0

[GIT] ppl/ppl(floating_point): New commits
by Roberto Bagnara 13 Feb '11

13 Feb '11

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=b9c75c085501… Merge: 430352775db7751e904089268357d9462b7e5646 32c3efb0d9a72bf3b3c9a6f3efaa89dff1b204ac Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Sun Feb 13 16:28:13 2011 +0100 Merge branch 'master' into floating_point URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=32c3efb0d9a7… Author: Enea Zaffanella <zaffanella(a)cs.unipr.it> Date: Fri Feb 11 15:01:08 2011 +0100 Fixed auxiliary function aux_test to perform proper comparisons. In the meanwhile, fixed another typo. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=e42f8b60421c… Merge: 9d99c21af3e717056a34d4f67739afb375cabe94 22b1565be0efe35f86e6323180ff6de113b19b18 Author: Enea Zaffanella <zaffanella(a)cs.unipr.it> Date: Fri Feb 11 10:17:30 2011 +0100 Merge branch 'master' into pip URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=22b1565be0ef… Author: Enea Zaffanella <zaffanella(a)cs.unipr.it> Date: Fri Feb 11 09:53:50 2011 +0100 Mentioned the correction of a few problems. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=9d99c21af3e7… Author: Enea Zaffanella <zaffanella(a)cs.unipr.it> Date: Fri Feb 11 08:50:37 2011 +0100 Minor readability improvements to PIP_Decision_Node::solve(). URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=a5d400f674a9… Merge: 29201d2a5893bbe17744777de36e9a106ed8ea95 d0f6bd037c90676130e9547e5ed909cf6ba8eee9 Author: Enea Zaffanella <zaffanella(a)cs.unipr.it> Date: Thu Feb 10 18:50:11 2011 +0100 Merge branch 'master' into pip URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=29201d2a5893… Author: Enea Zaffanella <zaffanella(a)cs.unipr.it> Date: Thu Feb 10 18:48:11 2011 +0100 For readability, separate the input operation from input stream status check. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=bb08fb49f561… Author: Enea Zaffanella <zaffanella(a)cs.unipr.it> Date: Thu Feb 10 18:46:41 2011 +0100 Corrected expected results. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=d0f6bd037c90… Author: Abramo Bagnara <abramo.bagnara(a)gmail.com> Date: Thu Feb 10 16:47:22 2011 +0100 Fixed stream state on checked input. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=b86cb60dbf77… Merge: 3c8f16e240439811d501629660cedb8f99f0009a c23ded5ce0023a753fdd5da2dbbd99d1a084566c Author: Enea Zaffanella <zaffanella(a)cs.unipr.it> Date: Thu Feb 10 10:49:20 2011 +0100 Merge branch 'master' into pip URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=3c8f16e24043… Author: Enea Zaffanella <zaffanella(a)cs.unipr.it> Date: Thu Feb 10 10:47:59 2011 +0100 Corrected the expected result for test02 to match integral simplifications. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=0e4098c48d6f… Author: Enea Zaffanella <zaffanella(a)cs.unipr.it> Date: Thu Feb 10 10:46:03 2011 +0100 Exploit variable integrality when creating tautology constraints. Factored out helper function void integral_simplification(Row&); used when generating tautology and sign splitting constraints. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=c23ded5ce002… Author: Enea Zaffanella <zaffanella(a)cs.unipr.it> Date: Sat Feb 5 21:01:13 2011 +0100 Fixed function ppl_Pointset_Powerset_*_get_disjunct in OCaml interface. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=bf1edca5e0dd… Author: Marco Poletti <poletti.marco(a)gmail.com> Date: Sat Feb 5 16:09:47 2011 +0100 Polyhedron: fix an invalid reference bug in generalized_affine_image(). URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=a01fecf4cde7… Author: Marco Poletti <poletti.marco(a)gmail.com> Date: Sat Feb 5 09:58:54 2011 +0100 Grid: avoid using an invalid reference in the constructor from a Box. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=caaa126b56cc… Author: Enea Zaffanella <zaffanella(a)cs.unipr.it> Date: Fri Feb 4 17:22:07 2011 +0100 Fixed a bug in the simplification of the solution tree. We were too eager in merging a single true child with its parent: if the true child happened to be a decision node with both childs, the merging was causing the violation of a PIP_Decision_Node invariant. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=20f99dbe73d5… Author: Enea Zaffanella <zaffanella(a)cs.unipr.it> Date: Fri Feb 4 15:42:15 2011 +0100 Further improvement to debug output. Preprocessor flag NOISY_PIP_TREE_STRUCTURE only activate those debug print taht is useful to hightlight the solution tree construction process. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=d6c61aaed265… Author: Enea Zaffanella <zaffanella(a)cs.unipr.it> Date: Fri Feb 4 14:21:07 2011 +0100 A minor improvement to the debug printing mechanism. Methods solve() and generate_cut() are now provided with additional argument indent_level, telling the amount of indentation for debug prints. Added several messages to debug prints so as to clarify the solution tree construction process. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=03f79f0649bf… Author: Enea Zaffanella <zaffanella(a)cs.unipr.it> Date: Fri Feb 4 11:22:41 2011 +0100 Exploit integrality when adding constraints for mixed parameter sign rows. Try to distinguish between NOISY and VERY_NOISY debugging output. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=35d2df08098d… Author: Enea Zaffanella <zaffanella(a)cs.unipr.it> Date: Fri Feb 4 09:52:58 2011 +0100 Fully normalize artificial parameters on construction. When in noisy mode, print normalized parameters. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=3f551cfb8700… Author: Enea Zaffanella <zaffanella(a)cs.unipr.it> Date: Fri Feb 4 08:39:12 2011 +0100 Minor changes related to coding standards. Prefer initial capitalization for (user-defined) type names. Prefer function objects to function pointers. Avoid nesting an anonymous namespace into another anonymous namespace. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=0643bb18e84c… Author: Enea Zaffanella <zaffanella(a)cs.unipr.it> Date: Thu Feb 3 18:48:49 2011 +0100 Corrected a bug in cut generation. We were using %= instead of the helper function mod_assign(), which is meant to compute the *positive* modulus. For clarity, the helper function has been renamed as pos_mod_assign(). URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=f14d56cb93cb… Author: Fabio Bossi <bossi(a)cs.unipr.it> Date: Wed Feb 2 16:48:49 2011 +0100 Do not use the deprecated function mpz_div_2exp. Use mpz_tdiv_q_2exp instead. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=c02e988b645f… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Sat Jan 29 19:45:52 2011 +0100 AC_PROG_OCAML only sets OCAMLOPT if OCAMLC is different from "no". URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=b4d174ba5cb6… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Sat Jan 29 10:54:01 2011 +0100 Copyright notices updated in expexted result files. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=fb4f7f910d95… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Mon Jan 24 20:43:36 2011 +0100 Copyright notices updated.

1 0

[GIT] ppl/ppl(ppl-0_11-branch): Fixed auxiliary function aux_test to perform proper comparisons.
by Enea Zaffanella 11 Feb '11

11 Feb '11

Module: ppl/ppl Branch: ppl-0_11-branch Commit: 5fb9bc0fb4e0c0c795e100001ebe86c7bc87d0e0 URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=5fb9bc0fb4e0… Author: Enea Zaffanella <zaffanella(a)cs.unipr.it> Date: Fri Feb 11 15:01:08 2011 +0100 Fixed auxiliary function aux_test to perform proper comparisons. In the meanwhile, fixed another typo. --- tests/Polyhedron/numberinput1.cc | 5 ++++- 1 files changed, 4 insertions(+), 1 deletions(-) diff --git a/tests/Polyhedron/numberinput1.cc b/tests/Polyhedron/numberinput1.cc index 4e170aa..3ccbf5a 100644 --- a/tests/Polyhedron/numberinput1.cc +++ b/tests/Polyhedron/numberinput1.cc @@ -62,6 +62,9 @@ aux_test(std::string input_string, std::stringstream input_stream(input_string); Checked_Number<mpq_class, Test_Extended_Number_Policy> value; Result result = input(value, input_stream, ROUND_UP); + // NOTE: clear input_stream status bits, since otherwise the next call + // to getline will retrieve nothing at all. + input_stream.clear(); std::string residual; getline(input_stream, residual, '\0'); std::stringstream output_stream; @@ -335,7 +338,7 @@ test14() { BEGIN_MAIN DO_TEST(test01); - DO_TEST(test03); + DO_TEST(test02); DO_TEST(test03); DO_TEST(test04); DO_TEST(test05);

1 0

[GIT] ppl/ppl(master): Fixed auxiliary function aux_test to perform proper comparisons.
by Enea Zaffanella 11 Feb '11

11 Feb '11

Module: ppl/ppl Branch: master Commit: 32c3efb0d9a72bf3b3c9a6f3efaa89dff1b204ac URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=32c3efb0d9a7… Author: Enea Zaffanella <zaffanella(a)cs.unipr.it> Date: Fri Feb 11 15:01:08 2011 +0100 Fixed auxiliary function aux_test to perform proper comparisons. In the meanwhile, fixed another typo. --- tests/Polyhedron/numberinput1.cc | 5 ++++- 1 files changed, 4 insertions(+), 1 deletions(-) diff --git a/tests/Polyhedron/numberinput1.cc b/tests/Polyhedron/numberinput1.cc index 4e170aa..3ccbf5a 100644 --- a/tests/Polyhedron/numberinput1.cc +++ b/tests/Polyhedron/numberinput1.cc @@ -62,6 +62,9 @@ aux_test(std::string input_string, std::stringstream input_stream(input_string); Checked_Number<mpq_class, Test_Extended_Number_Policy> value; Result result = input(value, input_stream, ROUND_UP); + // NOTE: clear input_stream status bits, since otherwise the next call + // to getline will retrieve nothing at all. + input_stream.clear(); std::string residual; getline(input_stream, residual, '\0'); std::stringstream output_stream; @@ -335,7 +338,7 @@ test14() { BEGIN_MAIN DO_TEST(test01); - DO_TEST(test03); + DO_TEST(test02); DO_TEST(test03); DO_TEST(test04); DO_TEST(test05);

1 0

[GIT] ppl/ppl(ppl-0_11-branch): Corrected expected results.
by Enea Zaffanella 11 Feb '11

11 Feb '11

Module: ppl/ppl Branch: ppl-0_11-branch Commit: a5df30f4fafc9fc25d4a6f135c19cf18bca9c642 URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=a5df30f4fafc… Author: Enea Zaffanella <zaffanella(a)cs.unipr.it> Date: Fri Feb 11 12:30:50 2011 +0100 Corrected expected results. --- demos/ppl_pips/expected_int16 | 8 ++++---- demos/ppl_pips/expected_int16_a | 8 ++++---- demos/ppl_pips/expected_int32 | 12 ++++++------ demos/ppl_pips/expected_int32_a | 12 ++++++------ demos/ppl_pips/expected_int64 | 8 ++++---- demos/ppl_pips/expected_int64_a | 8 ++++---- demos/ppl_pips/expected_int8 | 2 +- demos/ppl_pips/expected_int8_a | 2 +- 8 files changed, 30 insertions(+), 30 deletions(-) diff --git a/demos/ppl_pips/expected_int16 b/demos/ppl_pips/expected_int16 index b471d6b..7256660 100644 --- a/demos/ppl_pips/expected_int16 +++ b/demos/ppl_pips/expected_int16 @@ -2,12 +2,12 @@ invert.dat 89eb267478eb8675de9602be9bb92f9e - linear.dat d41d8cd98f00b204e9800998ecf8427e - lineri.dat d41d8cd98f00b204e9800998ecf8427e - loz.dat 558273607bb0eec59c713980a8722ac8 - -max.dat 2c3f32340ed2ea04d070dd311e9ca188 - +max.dat e29c651c587cc64ab6a7a8cecd488a0b - maxb.dat bc9d718f581cd7da4bbd7f0293749315 - -pairi.dat 205989eb31ec0705adce45b63d5bebfe - +pairi.dat 4aab776937a39aee6b95dc5d81722a20 - petit.dat dd796c3d2afd2b7fb25a661c4137973f - rairoi.dat 6aa01aa8b58429c4dfe33fad609306d5 - -test02.dat be9c80fb6dda6212d060a2295771f8cb - +test02.dat cd5fa1529845aacfac7b36ecad8d1c93 - test12i.dat d41d8cd98f00b204e9800998ecf8427e - big.pip bc9d718f581cd7da4bbd7f0293749315 - brisebarre.pip d41d8cd98f00b204e9800998ecf8427e - @@ -15,6 +15,6 @@ cg1.pip 2571d40371dd1f1661348b08945e8a98 - esced.pip 7f4b69aed82cc0f498e7931ac1dbf92f - ex2.pip 89eb267478eb8675de9602be9bb92f9e - fimmel.pip d41d8cd98f00b204e9800998ecf8427e - -max.pip 2c3f32340ed2ea04d070dd311e9ca188 - +max.pip e29c651c587cc64ab6a7a8cecd488a0b - sor1d.pip 80f93132ed5d70b6371d5bf5fa627376 - square.pip 65a57d1e7ccb8196f81fa6e701164b69 - diff --git a/demos/ppl_pips/expected_int16_a b/demos/ppl_pips/expected_int16_a index b471d6b..7256660 100644 --- a/demos/ppl_pips/expected_int16_a +++ b/demos/ppl_pips/expected_int16_a @@ -2,12 +2,12 @@ invert.dat 89eb267478eb8675de9602be9bb92f9e - linear.dat d41d8cd98f00b204e9800998ecf8427e - lineri.dat d41d8cd98f00b204e9800998ecf8427e - loz.dat 558273607bb0eec59c713980a8722ac8 - -max.dat 2c3f32340ed2ea04d070dd311e9ca188 - +max.dat e29c651c587cc64ab6a7a8cecd488a0b - maxb.dat bc9d718f581cd7da4bbd7f0293749315 - -pairi.dat 205989eb31ec0705adce45b63d5bebfe - +pairi.dat 4aab776937a39aee6b95dc5d81722a20 - petit.dat dd796c3d2afd2b7fb25a661c4137973f - rairoi.dat 6aa01aa8b58429c4dfe33fad609306d5 - -test02.dat be9c80fb6dda6212d060a2295771f8cb - +test02.dat cd5fa1529845aacfac7b36ecad8d1c93 - test12i.dat d41d8cd98f00b204e9800998ecf8427e - big.pip bc9d718f581cd7da4bbd7f0293749315 - brisebarre.pip d41d8cd98f00b204e9800998ecf8427e - @@ -15,6 +15,6 @@ cg1.pip 2571d40371dd1f1661348b08945e8a98 - esced.pip 7f4b69aed82cc0f498e7931ac1dbf92f - ex2.pip 89eb267478eb8675de9602be9bb92f9e - fimmel.pip d41d8cd98f00b204e9800998ecf8427e - -max.pip 2c3f32340ed2ea04d070dd311e9ca188 - +max.pip e29c651c587cc64ab6a7a8cecd488a0b - sor1d.pip 80f93132ed5d70b6371d5bf5fa627376 - square.pip 65a57d1e7ccb8196f81fa6e701164b69 - diff --git a/demos/ppl_pips/expected_int32 b/demos/ppl_pips/expected_int32 index d3581a3..112f163 100644 --- a/demos/ppl_pips/expected_int32 +++ b/demos/ppl_pips/expected_int32 @@ -1,20 +1,20 @@ invert.dat 89eb267478eb8675de9602be9bb92f9e - linear.dat 1f73e09130d92979eb4388cbbab7f389 - -lineri.dat d41d8cd98f00b204e9800998ecf8427e - +lineri.dat 7b21035f6f07e68b8c0e2893a649f0ef - loz.dat 558273607bb0eec59c713980a8722ac8 - -max.dat 2c3f32340ed2ea04d070dd311e9ca188 - +max.dat e29c651c587cc64ab6a7a8cecd488a0b - maxb.dat bc9d718f581cd7da4bbd7f0293749315 - -pairi.dat 205989eb31ec0705adce45b63d5bebfe - +pairi.dat 4aab776937a39aee6b95dc5d81722a20 - petit.dat dd796c3d2afd2b7fb25a661c4137973f - rairoi.dat 6aa01aa8b58429c4dfe33fad609306d5 - -test02.dat be9c80fb6dda6212d060a2295771f8cb - +test02.dat cd5fa1529845aacfac7b36ecad8d1c93 - test12i.dat d41d8cd98f00b204e9800998ecf8427e - big.pip bc9d718f581cd7da4bbd7f0293749315 - brisebarre.pip d41d8cd98f00b204e9800998ecf8427e - cg1.pip 2571d40371dd1f1661348b08945e8a98 - esced.pip 7f4b69aed82cc0f498e7931ac1dbf92f - ex2.pip 89eb267478eb8675de9602be9bb92f9e - -fimmel.pip 2dd9b24df50572c15981dd3faf8c74a4 - -max.pip 2c3f32340ed2ea04d070dd311e9ca188 - +fimmel.pip d41d8cd98f00b204e9800998ecf8427e - +max.pip e29c651c587cc64ab6a7a8cecd488a0b - sor1d.pip 80f93132ed5d70b6371d5bf5fa627376 - square.pip 65a57d1e7ccb8196f81fa6e701164b69 - diff --git a/demos/ppl_pips/expected_int32_a b/demos/ppl_pips/expected_int32_a index d3581a3..112f163 100644 --- a/demos/ppl_pips/expected_int32_a +++ b/demos/ppl_pips/expected_int32_a @@ -1,20 +1,20 @@ invert.dat 89eb267478eb8675de9602be9bb92f9e - linear.dat 1f73e09130d92979eb4388cbbab7f389 - -lineri.dat d41d8cd98f00b204e9800998ecf8427e - +lineri.dat 7b21035f6f07e68b8c0e2893a649f0ef - loz.dat 558273607bb0eec59c713980a8722ac8 - -max.dat 2c3f32340ed2ea04d070dd311e9ca188 - +max.dat e29c651c587cc64ab6a7a8cecd488a0b - maxb.dat bc9d718f581cd7da4bbd7f0293749315 - -pairi.dat 205989eb31ec0705adce45b63d5bebfe - +pairi.dat 4aab776937a39aee6b95dc5d81722a20 - petit.dat dd796c3d2afd2b7fb25a661c4137973f - rairoi.dat 6aa01aa8b58429c4dfe33fad609306d5 - -test02.dat be9c80fb6dda6212d060a2295771f8cb - +test02.dat cd5fa1529845aacfac7b36ecad8d1c93 - test12i.dat d41d8cd98f00b204e9800998ecf8427e - big.pip bc9d718f581cd7da4bbd7f0293749315 - brisebarre.pip d41d8cd98f00b204e9800998ecf8427e - cg1.pip 2571d40371dd1f1661348b08945e8a98 - esced.pip 7f4b69aed82cc0f498e7931ac1dbf92f - ex2.pip 89eb267478eb8675de9602be9bb92f9e - -fimmel.pip 2dd9b24df50572c15981dd3faf8c74a4 - -max.pip 2c3f32340ed2ea04d070dd311e9ca188 - +fimmel.pip d41d8cd98f00b204e9800998ecf8427e - +max.pip e29c651c587cc64ab6a7a8cecd488a0b - sor1d.pip 80f93132ed5d70b6371d5bf5fa627376 - square.pip 65a57d1e7ccb8196f81fa6e701164b69 - diff --git a/demos/ppl_pips/expected_int64 b/demos/ppl_pips/expected_int64 index c04a9d5..02d82d0 100644 --- a/demos/ppl_pips/expected_int64 +++ b/demos/ppl_pips/expected_int64 @@ -2,12 +2,12 @@ invert.dat 89eb267478eb8675de9602be9bb92f9e - linear.dat 1f73e09130d92979eb4388cbbab7f389 - lineri.dat 7b21035f6f07e68b8c0e2893a649f0ef - loz.dat 558273607bb0eec59c713980a8722ac8 - -max.dat 2c3f32340ed2ea04d070dd311e9ca188 - +max.dat e29c651c587cc64ab6a7a8cecd488a0b - maxb.dat bc9d718f581cd7da4bbd7f0293749315 - -pairi.dat 205989eb31ec0705adce45b63d5bebfe - +pairi.dat 4aab776937a39aee6b95dc5d81722a20 - petit.dat dd796c3d2afd2b7fb25a661c4137973f - rairoi.dat 6aa01aa8b58429c4dfe33fad609306d5 - -test02.dat be9c80fb6dda6212d060a2295771f8cb - +test02.dat cd5fa1529845aacfac7b36ecad8d1c93 - test12i.dat 9c4f4bd2f5327b9ba442e4e294078282 - big.pip bc9d718f581cd7da4bbd7f0293749315 - brisebarre.pip 3051dbe7ea7bf04e8890ddd41013a9dc - @@ -15,6 +15,6 @@ cg1.pip 2571d40371dd1f1661348b08945e8a98 - esced.pip 7f4b69aed82cc0f498e7931ac1dbf92f - ex2.pip 89eb267478eb8675de9602be9bb92f9e - fimmel.pip 2dd9b24df50572c15981dd3faf8c74a4 - -max.pip 2c3f32340ed2ea04d070dd311e9ca188 - +max.pip e29c651c587cc64ab6a7a8cecd488a0b - sor1d.pip 80f93132ed5d70b6371d5bf5fa627376 - square.pip 65a57d1e7ccb8196f81fa6e701164b69 - diff --git a/demos/ppl_pips/expected_int64_a b/demos/ppl_pips/expected_int64_a index c04a9d5..02d82d0 100644 --- a/demos/ppl_pips/expected_int64_a +++ b/demos/ppl_pips/expected_int64_a @@ -2,12 +2,12 @@ invert.dat 89eb267478eb8675de9602be9bb92f9e - linear.dat 1f73e09130d92979eb4388cbbab7f389 - lineri.dat 7b21035f6f07e68b8c0e2893a649f0ef - loz.dat 558273607bb0eec59c713980a8722ac8 - -max.dat 2c3f32340ed2ea04d070dd311e9ca188 - +max.dat e29c651c587cc64ab6a7a8cecd488a0b - maxb.dat bc9d718f581cd7da4bbd7f0293749315 - -pairi.dat 205989eb31ec0705adce45b63d5bebfe - +pairi.dat 4aab776937a39aee6b95dc5d81722a20 - petit.dat dd796c3d2afd2b7fb25a661c4137973f - rairoi.dat 6aa01aa8b58429c4dfe33fad609306d5 - -test02.dat be9c80fb6dda6212d060a2295771f8cb - +test02.dat cd5fa1529845aacfac7b36ecad8d1c93 - test12i.dat 9c4f4bd2f5327b9ba442e4e294078282 - big.pip bc9d718f581cd7da4bbd7f0293749315 - brisebarre.pip 3051dbe7ea7bf04e8890ddd41013a9dc - @@ -15,6 +15,6 @@ cg1.pip 2571d40371dd1f1661348b08945e8a98 - esced.pip 7f4b69aed82cc0f498e7931ac1dbf92f - ex2.pip 89eb267478eb8675de9602be9bb92f9e - fimmel.pip 2dd9b24df50572c15981dd3faf8c74a4 - -max.pip 2c3f32340ed2ea04d070dd311e9ca188 - +max.pip e29c651c587cc64ab6a7a8cecd488a0b - sor1d.pip 80f93132ed5d70b6371d5bf5fa627376 - square.pip 65a57d1e7ccb8196f81fa6e701164b69 - diff --git a/demos/ppl_pips/expected_int8 b/demos/ppl_pips/expected_int8 index 3d0d199..df9c3fa 100644 --- a/demos/ppl_pips/expected_int8 +++ b/demos/ppl_pips/expected_int8 @@ -4,7 +4,7 @@ lineri.dat d41d8cd98f00b204e9800998ecf8427e - loz.dat d41d8cd98f00b204e9800998ecf8427e - max.dat d41d8cd98f00b204e9800998ecf8427e - maxb.dat d41d8cd98f00b204e9800998ecf8427e - -pairi.dat 205989eb31ec0705adce45b63d5bebfe - +pairi.dat 4aab776937a39aee6b95dc5d81722a20 - petit.dat dd796c3d2afd2b7fb25a661c4137973f - rairoi.dat 6aa01aa8b58429c4dfe33fad609306d5 - test02.dat d41d8cd98f00b204e9800998ecf8427e - diff --git a/demos/ppl_pips/expected_int8_a b/demos/ppl_pips/expected_int8_a index 3d0d199..df9c3fa 100644 --- a/demos/ppl_pips/expected_int8_a +++ b/demos/ppl_pips/expected_int8_a @@ -4,7 +4,7 @@ lineri.dat d41d8cd98f00b204e9800998ecf8427e - loz.dat d41d8cd98f00b204e9800998ecf8427e - max.dat d41d8cd98f00b204e9800998ecf8427e - maxb.dat d41d8cd98f00b204e9800998ecf8427e - -pairi.dat 205989eb31ec0705adce45b63d5bebfe - +pairi.dat 4aab776937a39aee6b95dc5d81722a20 - petit.dat dd796c3d2afd2b7fb25a661c4137973f - rairoi.dat 6aa01aa8b58429c4dfe33fad609306d5 - test02.dat d41d8cd98f00b204e9800998ecf8427e -

1 0

[GIT] ppl/ppl(ppl-0_11-branch): Corrected expected results.
by Enea Zaffanella 11 Feb '11

11 Feb '11

Module: ppl/ppl Branch: ppl-0_11-branch Commit: d259e9d7b1a48a408290614f101c4a609f16bbdb URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=d259e9d7b1a4… Author: Enea Zaffanella <zaffanella(a)cs.unipr.it> Date: Thu Feb 10 18:46:41 2011 +0100 Corrected expected results. --- demos/ppl_pips/expected_int16 | 16 ++++++++-------- demos/ppl_pips/expected_int16_a | 16 ++++++++-------- demos/ppl_pips/expected_int32 | 20 ++++++++++---------- demos/ppl_pips/expected_int32_a | 20 ++++++++++---------- demos/ppl_pips/expected_int64 | 22 +++++++++++----------- demos/ppl_pips/expected_int64_a | 22 +++++++++++----------- demos/ppl_pips/expected_int8 | 8 ++++---- demos/ppl_pips/expected_int8_a | 8 ++++---- demos/ppl_pips/expected_mpz | 8 ++++---- demos/ppl_pips/expected_mpz_a | 8 ++++---- 10 files changed, 74 insertions(+), 74 deletions(-) Diff: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commitdiff;h=d259e9d7…

1 0

[GIT] ppl/ppl(ppl-0_11-branch): Fixed stream state on checked input.
by Abramo Bagnara 11 Feb '11

11 Feb '11

Module: ppl/ppl Branch: ppl-0_11-branch Commit: fcc4461ae66fe72939a4022d843c8e09b9b34fff URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=fcc4461ae66f… Author: Abramo Bagnara <abramo.bagnara(a)gmail.com> Date: Thu Feb 10 16:47:22 2011 +0100 Fixed stream state on checked input. --- src/checked.cc | 5 +++++ 1 files changed, 5 insertions(+), 0 deletions(-) diff --git a/src/checked.cc b/src/checked.cc index 34c84c2..e428109 100644 --- a/src/checked.cc +++ b/src/checked.cc @@ -337,6 +337,11 @@ input_mpq(mpq_class& to, std::istream& is) { number_struct num_struct; number_struct den_struct; Result r = parse_number(is, num_struct, den_struct); + if (r == V_CVT_STR_UNK) { + is.setstate(is.failbit); + return r; + } + is.clear(is.rdstate() & ~is.failbit); if (r != V_EQ) return r; if (den_struct.base && den_struct.mantissa.empty())

1 0

[GIT] ppl/ppl(ppl-0_11-branch): Fixed a bug in the simplification of the solution tree.
by Enea Zaffanella 11 Feb '11

11 Feb '11

Module: ppl/ppl Branch: ppl-0_11-branch Commit: 3992ea8c7b4688f53fd7c7b60a8bcc6a6bf97bf0 URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=3992ea8c7b46… Author: Enea Zaffanella <zaffanella(a)cs.unipr.it> Date: Fri Feb 11 10:49:35 2011 +0100 Fixed a bug in the simplification of the solution tree. We were too eager in merging a single true child with its parent: if the true child happened to be a decision node with both childs, the merging was causing the violation of a PIP_Decision_Node invariant. --- src/PIP_Tree.cc | 53 ++++++++++++++++++++++++++++++++++++++++++++--------- 1 files changed, 44 insertions(+), 9 deletions(-) diff --git a/src/PIP_Tree.cc b/src/PIP_Tree.cc index 28cc5f8..c06545c 100644 --- a/src/PIP_Tree.cc +++ b/src/PIP_Tree.cc @@ -2224,15 +2224,50 @@ PIP_Solution_Node::solve(const PIP_Problem& pip, } } else if (f_node == 0) { - // t_node feasible, f_node unfeasible: - // restore cs and aps into t_node. - t_node->constraints_.swap(cs); - t_node->artificial_parameters.swap(aps); - // Add t_test to t_nodes's constraints. - t_node->add_constraint(t_test, all_params); - // It is now safe to release previously wrapped t_node pointer - // and return it to caller. - return wrapped_node.release(); + // t_node feasible, f_node unfeasible. + // NOTE: in principle, we could merge t_node into its parent. + // However, if t_node is a decision node having both childs, + // then we would obtain a node violating the PIP_Decision_Node + // invariant saying that t_node should have a single constraint: + // it will have, at least, the two splitting constraints. + PIP_Decision_Node* dn = dynamic_cast<PIP_Decision_Node*>(t_node); + if (dn != 0 && dn->false_child != 0) { + // Do NOT merge: create a new decision node. + PIP_Tree_Node* parent + = new PIP_Decision_Node(t_node->get_owner(), 0, t_node); + // Previously wrapped 't_node' is now safe: release it + // and protect new 'parent' node from exception safety issues. + wrapped_node.release(); + wrapped_node.reset(parent); + // Restore into parent `cs' and `aps'. + parent->constraints_.swap(cs); + parent->artificial_parameters.swap(aps); + // Add t_test to parent's constraints. + parent->add_constraint(t_test, all_params); + // It is now safe to release previously wrapped parent pointer + // and return it to caller. + return wrapped_node.release(); + } + else { + // Merge t_node with its parent: + // a) append into `cs' the constraints of t_node; + for (Constraint_System::const_iterator + i = t_node->constraints_.begin(), + i_end = t_node->constraints_.end(); i != i_end; ++i) + cs.insert(*i); + // b) append into `aps' the parameters of t_node; + aps.insert(aps.end(), + t_node->artificial_parameters.begin(), + t_node->artificial_parameters.end()); + // c) swap the updated `cs' and `aps' into t_node. + cs.swap(t_node->constraints_); + aps.swap(t_node->artificial_parameters); + // d) add t_test to t_nodes's constraints. + t_node->add_constraint(t_test, all_params); + // It is now safe to release previously wrapped t_node pointer + // and return it to caller. + return wrapped_node.release(); + } } // Here both t_node and f_node are feasible:

1 0

[GIT] ppl/ppl(master): New commits
by Roberto Bagnara 11 Feb '11

11 Feb '11

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=e42f8b60421c… Merge: 9d99c21af3e717056a34d4f67739afb375cabe94 22b1565be0efe35f86e6323180ff6de113b19b18 Author: Enea Zaffanella <zaffanella(a)cs.unipr.it> Date: Fri Feb 11 10:17:30 2011 +0100 Merge branch 'master' into pip URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=9d99c21af3e7… Author: Enea Zaffanella <zaffanella(a)cs.unipr.it> Date: Fri Feb 11 08:50:37 2011 +0100 Minor readability improvements to PIP_Decision_Node::solve(). URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=a5d400f674a9… Merge: 29201d2a5893bbe17744777de36e9a106ed8ea95 d0f6bd037c90676130e9547e5ed909cf6ba8eee9 Author: Enea Zaffanella <zaffanella(a)cs.unipr.it> Date: Thu Feb 10 18:50:11 2011 +0100 Merge branch 'master' into pip URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=29201d2a5893… Author: Enea Zaffanella <zaffanella(a)cs.unipr.it> Date: Thu Feb 10 18:48:11 2011 +0100 For readability, separate the input operation from input stream status check. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=bb08fb49f561… Author: Enea Zaffanella <zaffanella(a)cs.unipr.it> Date: Thu Feb 10 18:46:41 2011 +0100 Corrected expected results. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=b86cb60dbf77… Merge: 3c8f16e240439811d501629660cedb8f99f0009a c23ded5ce0023a753fdd5da2dbbd99d1a084566c Author: Enea Zaffanella <zaffanella(a)cs.unipr.it> Date: Thu Feb 10 10:49:20 2011 +0100 Merge branch 'master' into pip URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=3c8f16e24043… Author: Enea Zaffanella <zaffanella(a)cs.unipr.it> Date: Thu Feb 10 10:47:59 2011 +0100 Corrected the expected result for test02 to match integral simplifications. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=0e4098c48d6f… Author: Enea Zaffanella <zaffanella(a)cs.unipr.it> Date: Thu Feb 10 10:46:03 2011 +0100 Exploit variable integrality when creating tautology constraints. Factored out helper function void integral_simplification(Row&); used when generating tautology and sign splitting constraints. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=caaa126b56cc… Author: Enea Zaffanella <zaffanella(a)cs.unipr.it> Date: Fri Feb 4 17:22:07 2011 +0100 Fixed a bug in the simplification of the solution tree. We were too eager in merging a single true child with its parent: if the true child happened to be a decision node with both childs, the merging was causing the violation of a PIP_Decision_Node invariant. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=20f99dbe73d5… Author: Enea Zaffanella <zaffanella(a)cs.unipr.it> Date: Fri Feb 4 15:42:15 2011 +0100 Further improvement to debug output. Preprocessor flag NOISY_PIP_TREE_STRUCTURE only activate those debug print taht is useful to hightlight the solution tree construction process. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=d6c61aaed265… Author: Enea Zaffanella <zaffanella(a)cs.unipr.it> Date: Fri Feb 4 14:21:07 2011 +0100 A minor improvement to the debug printing mechanism. Methods solve() and generate_cut() are now provided with additional argument indent_level, telling the amount of indentation for debug prints. Added several messages to debug prints so as to clarify the solution tree construction process. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=03f79f0649bf… Author: Enea Zaffanella <zaffanella(a)cs.unipr.it> Date: Fri Feb 4 11:22:41 2011 +0100 Exploit integrality when adding constraints for mixed parameter sign rows. Try to distinguish between NOISY and VERY_NOISY debugging output. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=35d2df08098d… Author: Enea Zaffanella <zaffanella(a)cs.unipr.it> Date: Fri Feb 4 09:52:58 2011 +0100 Fully normalize artificial parameters on construction. When in noisy mode, print normalized parameters. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=3f551cfb8700… Author: Enea Zaffanella <zaffanella(a)cs.unipr.it> Date: Fri Feb 4 08:39:12 2011 +0100 Minor changes related to coding standards. Prefer initial capitalization for (user-defined) type names. Prefer function objects to function pointers. Avoid nesting an anonymous namespace into another anonymous namespace.

1 0