[PPL-devel] [GIT] ppl/ppl(sparse_matrices): New commits
Roberto Bagnara
bagnara at cs.unipr.it
Sat Feb 5 09:58:42 CET 2011
URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=f4214b110c1f55271543717cb18cc8a2e5ace65f
Author: Marco Poletti <poletti.marco at gmail.com>
Date: Sat Feb 5 01:07:04 2011 +0100
Linear_System: avoid deriving from Matrix<Row>. Add a Matrix<Row> field instead.
URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=6435c868aa2945c83e8d8ab14d9277ff43eacacc
Author: Marco Poletti <poletti.marco at gmail.com>
Date: Fri Feb 4 23:43:08 2011 +0100
Linear_Row: add a max_num_columns() method.
URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=7d3944182866c3d69c562ae9d691823693a41e07
Author: Marco Poletti <poletti.marco at gmail.com>
Date: Fri Feb 4 23:37:22 2011 +0100
Grid_Generator: remove the coefficient_swap() method.
URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=a508abbf141bc20d9ac372ce3008dc9740788af4
Author: Marco Poletti <poletti.marco at gmail.com>
Date: Fri Feb 4 23:35:07 2011 +0100
Grid_Generator_System: avoid calling Matrix::add_zero_rows_and_columns() in add_universe_rows_and_columns().
URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=829d1abd7360586019247c5045d97a5725f3bd2d
Author: Marco Poletti <poletti.marco at gmail.com>
Date: Fri Feb 4 23:34:45 2011 +0100
Grid_Generator_System: avoid calling Matrix::add_zero_rows_and_columns() in recycling_insert(Generator_System&).
URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=537741e8a24af21b0205298b66cb291594940599
Author: Marco Poletti <poletti.marco at gmail.com>
Date: Fri Feb 4 23:33:38 2011 +0100
Grid_Generator_System: avoid calling Matrix::add_zero_rows_and_columns() in recycling_insert(Grid_Generator_System&).
URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=1e8f240d7f9375ac83859c3e8c5b852ab2200342
Author: Marco Poletti <poletti.marco at gmail.com>
Date: Fri Feb 4 22:29:09 2011 +0100
Grid_Generator_System: don't assume that Linear_System is implemented with a Matrix.
URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=834a4f9b5729ec3f56080753e085ec13d3c8384e
Author: Marco Poletti <poletti.marco at gmail.com>
Date: Fri Feb 4 22:16:35 2011 +0100
Linear_System: add a remove_trailing_columns_without_normalizing() method.
URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=b27defb9611b0e61f092b679098af7b21991bee6
Author: Marco Poletti <poletti.marco at gmail.com>
Date: Fri Feb 4 21:54:03 2011 +0100
Linear_System: remove too-strict assertion.
URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=8aff5edbfd0b80cd2012e18f8d72d140c7a654a9
Author: Marco Poletti <poletti.marco at gmail.com>
Date: Fri Feb 4 19:21:28 2011 +0100
Polyhedron: don't call Generator_System::add_zero_rows() in add_recycled_generators().
URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=3fc3348722409563c4e570fb91ad44e6930fc316
Author: Marco Poletti <poletti.marco at gmail.com>
Date: Fri Feb 4 19:20:22 2011 +0100
Polyhedron: don't assume that Generator_System is implemented with a Matrix, in remove_space_dimensions().
URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=73504e4e7c6da477042fc281704befab2c6d02c1
Author: Marco Poletti <poletti.marco at gmail.com>
Date: Fri Feb 4 16:28:46 2011 +0100
Add a Swapping_Vector class and use it to implement Matrix.
URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=ea341e0754ead5f21d2b8a3b7cc6b49354e99115
Merge: d66a8fc9149b3fc34d08a9ff42f513db70cb962e 0643bb18e84c01bf0906b99dbef0005e55f664b4
Author: Marco Poletti <poletti.marco at gmail.com>
Date: Fri Feb 4 15:30:51 2011 +0100
Merge branch 'master' into sparse_matrices
Conflicts:
src/Dense_Matrix.cc
src/Dense_Matrix.defs.hh
src/Dense_Matrix.inlines.hh
src/Dense_Matrix.types.hh
src/Dense_Row.cc
src/Dense_Row.inlines.hh
src/Sparse_Matrix.defs.hh
src/Sparse_Matrix.inlines.hh
src/Sparse_Matrix.types.hh
tests/Polyhedron/densematrix1.cc
tests/Sparse_Matrix/Makefile.am
URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=d66a8fc9149b3fc34d08a9ff42f513db70cb962e
Author: Marco Poletti <poletti.marco at gmail.com>
Date: Fri Feb 4 13:09:25 2011 +0100
Grid_Generator: some changes, possibly fixing the code. Patch by Enea Zaffanella.
URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=4ee4336688f2d96bee986bbfb247d4703e5a170c
Author: Marco Poletti <poletti.marco at gmail.com>
Date: Fri Feb 4 10:43:12 2011 +0100
Grid_Generator: fix normalization bug in parameter(). Now the whole testsuite passes.
URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=38e3c1aee2317a082cfe3b6aeb29525cb657a328
Author: Marco Poletti <poletti.marco at gmail.com>
Date: Fri Feb 4 10:16:59 2011 +0100
Remove the (unused) Sparse_Matrix.types.hh file.
URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=0643bb18e84c01bf0906b99dbef0005e55f664b4
Author: Enea Zaffanella <zaffanella at 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=f14d56cb93cb6fffb3d68511b59237668f8de92c
Author: Fabio Bossi <bossi at 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=c02e988b645f656169f037794797bcbb45f57f2e
Author: Roberto Bagnara <bagnara at 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=b4d174ba5cb6e98e15ceeeb57e7a9931187197bb
Author: Roberto Bagnara <bagnara at 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=fb4f7f910d95fd60d9cc13cb195e6b7869949af6
Author: Roberto Bagnara <bagnara at cs.unipr.it>
Date: Mon Jan 24 20:43:36 2011 +0100
Copyright notices updated.
URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=0fd2de73dd626465d1c77d925eb63e2adb639648
Author: Enea Zaffanella <zaffanella at cs.unipr.it>
Date: Sat Jan 8 17:23:18 2011 +0100
Replaced a call to PPL_ASSERT by PPL_ASSERT_HEAVY.
URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=1c16cf1e891f14f71c5c1d935c9df0e145bdcce1
Author: Roberto Bagnara <bagnara at cs.unipr.it>
Date: Fri Jan 7 18:39:22 2011 +0100
Cyclic dependency avoided.
URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=8d3d269f790746289a0e07a0260f808ad398814f
Author: Enea Zaffanella <zaffanella at cs.unipr.it>
Date: Thu Jan 6 11:44:48 2011 +0100
Fixed documentation copy-and-paste error.
URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=27d130ce3196cfa2d254fc5a99b265eeb6b27f95
Author: Roberto Bagnara <bagnara at cs.unipr.it>
Date: Thu Jan 6 10:42:46 2011 +0100
Replaced several occurrences of assert() by PPL_ASSERT().
URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=7a0f1627560db5cd02eee73dadf85461f9c63d84
Author: Roberto Bagnara <bagnara at cs.unipr.it>
Date: Thu Jan 6 09:31:27 2011 +0100
Added missing parameter documentation.
URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=87b7c0d322e1f0db6b73a03ee763d74120f4f023
Author: Roberto Bagnara <bagnara at cs.unipr.it>
Date: Thu Jan 6 08:57:57 2011 +0100
Do not build documentation for interfaces that are not enabled.
URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=6ba95253a8b9deb705bcf535ce2edc0b58d6dc10
Author: Roberto Bagnara <bagnara at cs.unipr.it>
Date: Wed Jan 5 17:02:18 2011 +0100
Added missing `use_module' directive.
URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=b86dc7a898cd584b93b0b409642e83d3abe55eee
Author: Marco Poletti <poletti.marco at gmail.com>
Date: Thu Dec 30 14:44:10 2010 +0100
Dense_Row: simplify the exception safety implementation by using an implementation subobject.
URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=a24129e95d80cee0487b36f96e50fd3ce1fa6984
Author: Marco Poletti <poletti.marco at gmail.com>
Date: Mon Dec 27 17:05:58 2010 +0100
Dense_Row: improve exception safety in constructors.
URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=ff7564a57ae554269f7f4101f99d59eadc4b6028
Author: Marco Poletti <poletti.marco at gmail.com>
Date: Mon Dec 27 09:20:53 2010 +0100
Dense_Row: remove useless debugging code from the OK() method.
More information about the PPL-devel
mailing list