- PPL-devel - BUGSENG Mailman

[GIT] ppl/ppl(floating_point): Merge branch 'master' into floating_point
by Roberto Bagnara 07 Sep '10

07 Sep '10

Module: ppl/ppl Branch: floating_point Commit: cd5191f18812ded12343b4fa936641d04761ffed URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=cd5191f18812… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Tue Sep 7 17:56:38 2010 +0200 Merge branch 'master' into floating_point ---

1 0

[GIT] ppl/ppl(floating_point): test06 fails with 8-bit coefficients.
by Roberto Bagnara 07 Sep '10

07 Sep '10

Module: ppl/ppl Branch: floating_point Commit: 359b3a83e66edcfffb77c714e921fdfc217dee0b URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=359b3a83e66e… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Tue Sep 7 16:07:22 2010 +0200 test06 fails with 8-bit coefficients. --- tests/PIP_Problem/pipproblem1.cc | 2 +- 1 files changed, 1 insertions(+), 1 deletions(-) diff --git a/tests/PIP_Problem/pipproblem1.cc b/tests/PIP_Problem/pipproblem1.cc index fc35a16..35f9720 100644 --- a/tests/PIP_Problem/pipproblem1.cc +++ b/tests/PIP_Problem/pipproblem1.cc @@ -788,7 +788,7 @@ BEGIN_MAIN DO_TEST(test03); DO_TEST(test04); DO_TEST_F8(test05); - DO_TEST(test06); + DO_TEST_F8(test06); DO_TEST_F8(test07); DO_TEST_F8(test08); DO_TEST_F8(test09);

1 0

[GIT] ppl/ppl(floating_point): Fixed tests.
by Fabio Bossi 07 Sep '10

07 Sep '10

Module: ppl/ppl Branch: floating_point Commit: 3c68d508caa260d4dc59b5f6922fe6a0079d6eef URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=3c68d508caa2… Author: Fabio Bossi <bossi(a)cs.unipr.it> Date: Tue Sep 7 17:51:07 2010 +0200 Fixed tests. --- src/Makefile.am | 1 - tests/Concrete_Expression/Makefile.am | 17 +- tests/Concrete_Expression/floatingpointexpr1.cc | 350 ----------------------- 3 files changed, 7 insertions(+), 361 deletions(-) Diff: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commitdiff;h=3c68d508…

1 0

[GIT] ppl/ppl(master): test06 fails with 8-bit coefficients.
by Roberto Bagnara 07 Sep '10

07 Sep '10

Module: ppl/ppl Branch: master Commit: 359b3a83e66edcfffb77c714e921fdfc217dee0b URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=359b3a83e66e… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Tue Sep 7 16:07:22 2010 +0200 test06 fails with 8-bit coefficients. --- tests/PIP_Problem/pipproblem1.cc | 2 +- 1 files changed, 1 insertions(+), 1 deletions(-) diff --git a/tests/PIP_Problem/pipproblem1.cc b/tests/PIP_Problem/pipproblem1.cc index fc35a16..35f9720 100644 --- a/tests/PIP_Problem/pipproblem1.cc +++ b/tests/PIP_Problem/pipproblem1.cc @@ -788,7 +788,7 @@ BEGIN_MAIN DO_TEST(test03); DO_TEST(test04); DO_TEST_F8(test05); - DO_TEST(test06); + DO_TEST_F8(test06); DO_TEST_F8(test07); DO_TEST_F8(test08); DO_TEST_F8(test09);

1 0

[GIT] ppl/w3ppl(master): Typo fixed.
by Roberto Bagnara 07 Sep '10

07 Sep '10

Module: ppl/w3ppl Branch: master Commit: 18820851af0700fd46dfda107229fd57d415382a URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/w3ppl.git;a=commit;h=18820851af… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Tue Sep 7 14:10:15 2010 +0200 Typo fixed. --- htdocs/Applications/Applications.raw | 2 +- 1 files changed, 1 insertions(+), 1 deletions(-) diff --git a/htdocs/Applications/Applications.raw b/htdocs/Applications/Applications.raw index 3747fc1..3980cb9 100644 --- a/htdocs/Applications/Applications.raw +++ b/htdocs/Applications/Applications.raw @@ -19,7 +19,7 @@ Here are the ones we are aware of. <P> <LI> <A HREF="http://www.lsv.ens-cachan.fr/Software/imitator/">IMITATOR</A> - (Inverse Method for Inferring Time AbstracT behaviOR))" performs + (Inverse Method for Inferring Time AbstracT behaviOR) performs constraint synthesis on parametric timed automata. </LI> <P>

1 0

[GIT] ppl/w3ppl(master): Added a link to IMITATOR.
by Roberto Bagnara 07 Sep '10

07 Sep '10

Module: ppl/w3ppl Branch: master Commit: cedb948c24203204277dce8cd1ad6e756da3a8cb URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/w3ppl.git;a=commit;h=cedb948c24… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Tue Sep 7 14:05:07 2010 +0200 Added a link to IMITATOR. --- htdocs/Applications/Applications.raw | 6 ++++++ 1 files changed, 6 insertions(+), 0 deletions(-) diff --git a/htdocs/Applications/Applications.raw b/htdocs/Applications/Applications.raw index 490fd08..3747fc1 100644 --- a/htdocs/Applications/Applications.raw +++ b/htdocs/Applications/Applications.raw @@ -18,6 +18,12 @@ Here are the ones we are aware of. </LI> <P> <LI> + <A HREF="http://www.lsv.ens-cachan.fr/Software/imitator/">IMITATOR</A> + (Inverse Method for Inferring Time AbstracT behaviOR))" performs + constraint synthesis on parametric timed automata. + </LI> +<P> + <LI> <A HREF="http://julia.scienze.univr.it/">Julia</A>: a generic static analyser for full sequential Java bytecode. Julia is written in Java and accesses the PPL via its Java interface.

1 0

[GIT] ppl/ppl(MPI): New commits
by Roberto Bagnara 07 Sep '10

07 Sep '10

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=509d5e54095a… Author: Marco Poletti <poletti.marco(a)gmail.com> Date: Tue Sep 7 12:01:40 2010 +0200 MIP_Problem: use Distributed_Sparse_Matrix::compute_working_cost(). URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=df0f866bce08… Author: Marco Poletti <poletti.marco(a)gmail.com> Date: Tue Sep 7 11:31:21 2010 +0200 Distributed_Sparse_Matrix: add a compute_working_cost() operation. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=671ef7002f4d… Author: Marco Poletti <poletti.marco(a)gmail.com> Date: Tue Sep 7 11:30:38 2010 +0200 Dense_Row: add a normalize() method that takes a Coefficient&. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=d69eca7cfb22… Author: Marco Poletti <poletti.marco(a)gmail.com> Date: Tue Sep 7 11:30:06 2010 +0200 Dense_Row: implement boost-style serialization. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=cfe3b80716f9… Author: Marco Poletti <poletti.marco(a)gmail.com> Date: Mon Sep 6 10:13:01 2010 +0200 MIP_Problem: use Distributed_Sparse_Matrix::reset_column() in erase_artificials(). URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=dcf856ff5e1a… Author: Marco Poletti <poletti.marco(a)gmail.com> Date: Mon Sep 6 10:12:41 2010 +0200 MIP_Problem: use Distributed_Sparse_Matrix::remove_column() in merge_split_variable(). URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=b18ff4687859… Author: Marco Poletti <poletti.marco(a)gmail.com> Date: Mon Sep 6 09:52:43 2010 +0200 MIP_Problem: use Distributed_Sparse_Matrix::remove_trailing_rows() and Distributed_Sparse_Matrix::swap_rows(), in erase_artificials(). URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=4e6df23721f6… Author: Marco Poletti <poletti.marco(a)gmail.com> Date: Mon Sep 6 09:20:12 2010 +0200 MIP_Problem: use Distributed_Sparse_Matrix::remove_trailing_columns() when needed. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=1dd0cf115aff… Author: Marco Poletti <poletti.marco(a)gmail.com> Date: Mon Sep 6 09:17:07 2010 +0200 Distributed_Sparse_Matrix: remove_trailing_rows() and remove_trailing_columns() now take the number of removed rows/columns instead of the desired number of rows/columns. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=6ff902756ce2… Author: Marco Poletti <poletti.marco(a)gmail.com> Date: Mon Sep 6 09:15:27 2010 +0200 Distributed_Sparse_Matrix: print debug messages in operator==(), to ease debugging. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=80fbe1c68c54… Author: Marco Poletti <poletti.marco(a)gmail.com> Date: Mon Sep 6 09:14:33 2010 +0200 Distributed_Sparse_Matrix: fix typo. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=5b2993bb9dbb… Author: Marco Poletti <poletti.marco(a)gmail.com> Date: Mon Sep 6 08:46:22 2010 +0200 MIP_Problem: remove redundant assertions. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=bde685c14de0… Author: Marco Poletti <poletti.marco(a)gmail.com> Date: Mon Sep 6 08:41:06 2010 +0200 MIP_Problem: use Distributed_Sparse_Matrix::linear_combine_matrix() when needed. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=37913c7f839b… Author: Marco Poletti <poletti.marco(a)gmail.com> Date: Mon Sep 6 08:39:09 2010 +0200 MIP_Problem: remove unneeded distributed_tableau update, in process_pending_constraints(). URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=885bb933e636… Author: Marco Poletti <poletti.marco(a)gmail.com> Date: Mon Sep 6 08:38:03 2010 +0200 Distributed_Sparse_Matrix: call linear_combine() only when the element in the specified column is not 0, in linear_combine_matrix(). URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=8b3e0e4c3585… Author: Marco Poletti <poletti.marco(a)gmail.com> Date: Mon Sep 6 08:08:44 2010 +0200 MIP_Problem: use Distributed_Sparse_Matrix::add_zero_columns() and Distributed_Sparse_Matrix::add_zero_rows() when needed.

1 0

[GIT] ppl/ppl(floating_point): New commits
by Roberto Bagnara 07 Sep '10

07 Sep '10

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=1cdb7511579e… Merge: 06f21542441cd7463819d7762ea6d5033c1c0bff 384f089de7b9464efddf008a02d773af6ae213ea Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Tue Sep 7 11:44:03 2010 +0200 Merge branch 'master' into floating_point URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=384f089de7b9… Author: Marco Poletti <poletti.marco(a)gmail.com> Date: Sun Sep 5 19:33:59 2010 +0200 tests/CO_Tree: modify the tests so that they pass even with 8-bit coefficients. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=fbd049063bb7… Author: Marco Poletti <poletti.marco(a)gmail.com> Date: Sun Sep 5 19:32:52 2010 +0200 tests/Sparse_Matrix: modify the tests so that they pass even when using 8-bit coefficients. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=eaf5206df76c… Author: Marco Poletti <poletti.marco(a)gmail.com> Date: Sun Sep 5 12:14:47 2010 +0200 tests/CO_Tree: use DO_TEST_F8 when a test is expected to fail with 8-bit coefficients. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=f7c37342d6f8… Author: Marco Poletti <poletti.marco(a)gmail.com> Date: Sun Sep 5 08:53:18 2010 +0200 PIP_Tree: work when Coefficient_traits::const_reference is just Coefficient, losing some performance when it's not. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=4cfaaa1c2879… Author: Marco Poletti <poletti.marco(a)gmail.com> Date: Sun Sep 5 08:53:03 2010 +0200 MIP_Problem: work when Coefficient_traits::const_reference is just Coefficient, losing some performance when it's not. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=11b0496ec14e… Author: Marco Poletti <poletti.marco(a)gmail.com> Date: Sat Sep 4 09:11:09 2010 +0200 CO_Tree: work even when data_type_const_reference is `data_type' instead of `const data_type&'. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=07022f13eecb… Author: Marco Poletti <poletti.marco(a)gmail.com> Date: Sat Sep 4 09:03:34 2010 +0200 CO_Tree: add dfs_index() methods. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=d7c2c2f24f8b… Author: Marco Poletti <poletti.marco(a)gmail.com> Date: Sat Sep 4 08:31:12 2010 +0200 CO_Tree: add data_type_const_reference typedef and use it instead of const data_type&. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=dd779428e8d3… Author: Marco Poletti <poletti.marco(a)gmail.com> Date: Sat Sep 4 08:30:36 2010 +0200 Sparse_Row: use Coefficient_traits::const_reference instead of const Coefficient&. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=d8d3dcc07bfd… Author: Marco Poletti <poletti.marco(a)gmail.com> Date: Sat Sep 4 08:30:23 2010 +0200 Dense_Row: use Coefficient_traits::const_reference instead of const Coefficient&. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=99c695c0bb08… Author: Marco Poletti <poletti.marco(a)gmail.com> Date: Sat Sep 4 08:30:06 2010 +0200 PIP_Tree: use Coefficient_traits::const_reference instead of const Coefficient&. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=6b408bba2a53… Author: Marco Poletti <poletti.marco(a)gmail.com> Date: Sat Sep 4 08:29:49 2010 +0200 PIP_Problem: use Coefficient_traits::const_reference instead of const Coefficient&. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=0111dca863d1… Author: Marco Poletti <poletti.marco(a)gmail.com> Date: Sat Sep 4 08:29:37 2010 +0200 MIP_Problem: use Coefficient_traits::const_reference instead of const Coefficient&. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=ebfce787809a… Author: Marco Poletti <poletti.marco(a)gmail.com> Date: Fri Sep 3 21:07:03 2010 +0200 CO_Tree: fix compilation when Coefficient_traits::const_reference is not `const Coefficient&'. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=c82df3eac8ce… Merge: 7d4b9abcd12085a554123d1dda6efc7d09037896 93f86477c1ef5185b4ff8981d5c92edef1ae29f0 Author: Marco Poletti <poletti.marco(a)gmail.com> Date: Fri Sep 3 20:30:02 2010 +0200 Merge branch 'master' of ssh://git.cs.unipr.it/git/ppl/ppl URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=7d4b9abcd120… Author: Marco Poletti <poletti.marco(a)gmail.com> Date: Fri Sep 3 20:29:20 2010 +0200 CO_Tree, Sparse_Row, Dense_Row: access the index and the value of element pointed to by an iterator using itr.index() and *itr instead of itr->first and itr->second. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=a293f2ccd692… Author: Marco Poletti <poletti.marco(a)gmail.com> Date: Fri Sep 3 19:01:29 2010 +0200 CO_Tree::tree_iterator: rename index() method into dfs_index(). URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=93f86477c1ef… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Fri Sep 3 16:22:26 2010 +0200 Expected results updated. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=cbfe295dbb84… Merge: 0f64d29af1f3bb4cf83826095a606cf78d5d7353 14c85a1607cf3ccfbf016ae5ea808dafffa37d04 Author: Marco Poletti <poletti.marco(a)gmail.com> Date: Fri Sep 3 16:19:40 2010 +0200 Merge branch 'sparse_matrices' URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=14c85a1607cf… Merge: 47946c5bb7c62d151a18dcaaa3922da5f62e88e3 bc0f52b437e5a93d8a600ea5744d8801218ee584 Author: Marco Poletti <poletti.marco(a)gmail.com> Date: Fri Sep 3 16:14:56 2010 +0200 Merge branch 'sparse_matrices' of ssh://git.cs.unipr.it/git/ppl/ppl into sparse_matrices URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=0f64d29af1f3… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Fri Sep 3 15:55:06 2010 +0200 Updated expected results. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=47946c5bb7c6… Author: Marco Poletti <poletti.marco(a)gmail.com> Date: Tue Aug 31 18:49:57 2010 +0200 CO_Tree: fix compilation with --enable-assertions and without --enable-more-assertions.

1 0

[GIT] ppl/ppl(MPI): New commits
by Roberto Bagnara 05 Sep '10

05 Sep '10

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=dc225a7ba662… Author: Marco Poletti <poletti.marco(a)gmail.com> Date: Sun Sep 5 22:41:11 2010 +0200 Add an --enable-mpirun-tests option to configure. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=4f637f2f5419… Author: Marco Poletti <poletti.marco(a)gmail.com> Date: Sun Sep 5 22:39:52 2010 +0200 MIP_Problem: add a distributed_tableau field that mirrors tableau. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=ed4660b426a3… Author: Marco Poletti <poletti.marco(a)gmail.com> Date: Sun Sep 5 22:39:08 2010 +0200 Init: initialize Distributed_Sparse_Matrix if needed. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=6afa971e5535… Author: Marco Poletti <poletti.marco(a)gmail.com> Date: Sun Sep 5 22:24:22 2010 +0200 Distributed_Sparse_Matrix: add default constructor. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=5a982da5f6cd… Author: Marco Poletti <poletti.marco(a)gmail.com> Date: Sun Sep 5 22:24:00 2010 +0200 Distributed_Sparse_Matrix::Worker: fix compare_with_sparse_matrix(): always partecipate in the reduce operation. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=8cfdfc38c57b… Author: Marco Poletti <poletti.marco(a)gmail.com> Date: Sun Sep 5 22:23:13 2010 +0200 Distributed_Sparse_Matrix::Worker: fix check(): avoid dereferencing an end() iterator. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=d25b5378be36… Author: Marco Poletti <poletti.marco(a)gmail.com> Date: Sun Sep 5 22:22:04 2010 +0200 Distributed_Sparse_Matrix: fix init(): initialize next_rank with the correct value. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=25c946089f7d… Author: Marco Poletti <poletti.marco(a)gmail.com> Date: Sun Sep 5 22:20:57 2010 +0200 Distributed_Sparse_Matrix: fix operator==(): return false when the matrices have different sizes.

1 0

[GIT] ppl/ppl(MPI): Merge remote branch 'origin/master' into MPI
by Marco Poletti 05 Sep '10

05 Sep '10

Module: ppl/ppl Branch: MPI Commit: 2b3cf889446d53f492c1cc3221f2449bdf09a0bb URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=2b3cf889446d… Author: Marco Poletti <poletti.marco(a)gmail.com> Date: Sun Sep 5 19:36:56 2010 +0200 Merge remote branch 'origin/master' into MPI ---

1 0