URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=323a3353013af... Author: Marco Poletti poletti.marco@gmail.com Date: Sun Dec 4 09:42:56 2011 +0100

Matrix: fix a compilation error caused by the renaming of *_Row::swap() to swap_coefficients().

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=f5d91bcc2d841... Merge: 3915e7ab59aabfdc400aa197259a94c40fbfd481 56c58b4737acece415c0ea4b4bc42bbfa8339028 Author: Marco Poletti poletti.marco@gmail.com Date: Sat Dec 3 18:24:00 2011 +0100

Merge branch 'master' into sparse_matrices_test

Conflicts: src/Grid_public.cc src/Polyhedron_nonpublic.cc

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=3915e7ab59aab... Merge: 511aa5636c1f36672c7e751600a124042296ed8d 0ae35bbbc1e8f4d1a38ced7fe7190be9a29e4fb6 Author: Marco Poletti poletti.marco@gmail.com Date: Sat Dec 3 18:20:14 2011 +0100

Merge commit '0ae35bbbc1e8f4d1a38ced7fe7190be9a29e4fb6' into sparse_matrices_test

Conflicts: src/BD_Shape.templates.hh src/Box.templates.hh src/Congruence_System.inlines.hh src/Constraint_System.defs.hh src/Constraint_System.inlines.hh src/Generator.cc src/Generator_System.cc src/Generator_System.defs.hh src/Generator_System.inlines.hh src/Grid_Generator.cc src/MIP_Problem.cc src/Octagonal_Shape.templates.hh src/PIP_Tree.cc src/Polyhedron_nonpublic.cc src/Polyhedron_public.cc src/Sparse_Matrix.defs.hh src/termination.cc

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=511aa5636c1f3... Merge: 81ac726bb6321ea46d35c10e9fbf338798ccf9e7 dbedf8514da0b58c7c5ff8c37356a9ffc8d1f835 Author: Marco Poletti poletti.marco@gmail.com Date: Sat Dec 3 17:57:41 2011 +0100

Merge commit 'dbedf8514da0b58c7c5ff8c37356a9ffc8d1f835' into sparse_matrices_test

Conflicts: src/Linear_Row.defs.hh src/Linear_System.defs.hh src/Makefile.am

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=81ac726bb6321... Merge: dc35fb6a0f89056391b1f9c792c84c0277185773 a9a6632bfcc7a546a2a7edcb636e47f60e4839b4 Author: Marco Poletti poletti.marco@gmail.com Date: Sat Dec 3 17:53:46 2011 +0100

Merge commit 'a9a6632bfcc7a546a2a7edcb636e47f60e4839b4' into sparse_matrices_test

Conflicts: src/Box.templates.hh

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=dc35fb6a0f890... Merge: 129623ea0547877a78287683486002c823860c5a 5d31265f3e17b7e1d0d03d0009a1906b2d03165c Author: Marco Poletti poletti.marco@gmail.com Date: Sat Dec 3 17:47:27 2011 +0100

Merge commit '5d31265f3e17b7e1d0d03d0009a1906b2d03165c' into sparse_matrices_test

Conflicts: src/Linear_Expression_Interface.cc src/MIP_Problem.defs.hh src/Matrix.defs.hh src/Matrix.templates.hh src/Matrix.types.hh src/Row.types.hh tests/Polyhedron/matrix1.cc

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=129623ea05478... Merge: 59ea76084d9ee2cc8271bad69a94cc1ee92f2ebe 39c1356315950be2201142fba21cf0f861e234c1 Author: Marco Poletti poletti.marco@gmail.com Date: Sat Dec 3 17:42:59 2011 +0100

Merge commit '39c1356315950be2201142fba21cf0f861e234c1' into sparse_matrices_test

Conflicts: src/Dense_Matrix.cc src/Dense_Matrix.defs.hh src/Dense_Matrix.inlines.hh src/Linear_Row.cc src/Linear_Row.defs.hh src/Linear_Row.inlines.hh src/Linear_System.cc src/Sparse_Matrix.defs.hh src/Sparse_Matrix.inlines.hh

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=59ea76084d9ee... Author: Marco Poletti poletti.marco@gmail.com Date: Sat Dec 3 17:28:35 2011 +0100

Grid_Generator: remove an obsolete swap() method that takes two Variables.

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=3d49034e7c022... Author: Marco Poletti poletti.marco@gmail.com Date: Sat Dec 3 17:26:37 2011 +0100

Dense_Row, Sparse_Row: rename the swap() methods that take two dimension_type or two iterators into swap_coefficients(), to avoid name clashes with swap().

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=56c58b4737ace... Author: Enea Zaffanella zaffanella@cs.unipr.it Date: Sat Dec 3 13:32:57 2011 +0100

Enforce generator normalization in private method Polyhedron::BFT00_poly_hull_assign_if_exact() and add corresponding assertion.

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=45ab694303e94... Merge: a037e2633720b8d10903494901baaaeee758f47d 0442fb1660eb2a57e4412b44505a3a28a8d826f0 Author: Marco Poletti poletti.marco@gmail.com Date: Sat Dec 3 13:03:49 2011 +0100

Merge commit '0442fb1660eb2a57e4412b44505a3a28a8d826f0' into sparse_matrices_test

Conflicts: src/BD_Shape.templates.hh

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=a037e2633720b... Merge: 5a7778b90aa97bbf16978563f1646571ac6ffbe6 97f3e98708cbb53eabf0fb0c30f38e50eb549369 Author: Marco Poletti poletti.marco@gmail.com Date: Sat Dec 3 12:24:21 2011 +0100

Merge commit '97f3e98708cbb53eabf0fb0c30f38e50eb549369' into sparse_matrices_test

Conflicts: src/Polyhedron_minimize.templates.hh

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=5a7778b90aa97... Merge: d1668f40313837863097ad46908ae42428468e80 367a91ec09da66585614d6829dbb089066d57c77 Author: Marco Poletti poletti.marco@gmail.com Date: Sat Dec 3 12:22:37 2011 +0100

Merge commit '367a91ec09da66585614d6829dbb089066d57c77' into sparse_matrices_test

Conflicts: src/Grid_Generator_System.cc src/Grid_nonpublic.cc

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=d1668f4031383... Merge: 0798bb988b4ad3fcab2d14573d940f5cbad2690d a6e777561ba56e830bd44128adc8038609c8cb23 Author: Marco Poletti poletti.marco@gmail.com Date: Sat Dec 3 12:15:13 2011 +0100

Merge commit 'a6e777561ba56e830bd44128adc8038609c8cb23' into sparse_matrices_test

Conflicts: src/Bit_Matrix.cc src/Congruence.cc src/Dense_Matrix.cc src/Dense_Row.defs.hh src/Dense_Row.inlines.hh src/Linear_Row.cc src/Linear_System.cc src/Matrix.templates.hh src/Polyhedron_conversion.templates.hh src/Polyhedron_minimize.templates.hh src/Polyhedron_simplify.templates.hh src/Row_Flags.cc src/swapping_sort.templates.hh

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=0798bb988b4ad... Merge: f58219b86f8834e0fe834972785c6b1b0978e019 fa86778c6ae396672711e10f2c195df3cb13311f Author: Marco Poletti poletti.marco@gmail.com Date: Sat Dec 3 11:58:10 2011 +0100

Merge commit 'fa86778c6ae396672711e10f2c195df3cb13311f' into sparse_matrices_test

Conflicts: src/Dense_Matrix.cc src/Dense_Matrix.defs.hh src/Dense_Matrix.inlines.hh src/Linear_Row.cc src/Linear_Row.defs.hh src/Linear_Row.inlines.hh src/Linear_System.cc src/Row_Flags.cc src/Row_Flags.defs.hh src/Row_Flags.inlines.hh src/Sparse_Matrix.defs.hh src/Sparse_Matrix.inlines.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=f58219b86f883... Merge: 40b84cb892cb2f8dc7aa7cf2874b47515ff28289 703cc3ccfae900375897b441b2abfe0ad6e0f210 Author: Marco Poletti poletti.marco@gmail.com Date: Sat Dec 3 11:48:22 2011 +0100

Merge commit '703cc3ccfae900375897b441b2abfe0ad6e0f210' into sparse_matrices_test

Conflicts: src/Box.templates.hh src/Congruence.cc src/Constraint.cc src/Constraint.inlines.hh src/Generator.inlines.hh src/Grid_Generator.cc src/Grid_chdims.cc src/Linear_Expression.cc src/Linear_Row.inlines.hh src/Linear_System.inlines.hh src/Octagonal_Shape.templates.hh src/Polyhedron_chdims.cc src/Polyhedron_minimize.templates.hh

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=40b84cb892cb2... Merge: aa3422ed560104e1adfcabc5b5bd0a65a909561e 09144610d98413a390afed2c0f5b189e7a9e5f30 Author: Marco Poletti poletti.marco@gmail.com Date: Sat Dec 3 11:34:40 2011 +0100

Merge commit '09144610d98413a390afed2c0f5b189e7a9e5f30' into sparse_matrices_test

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=aa3422ed56010... Merge: 34333711e38e47d7645d1df1790e84b537f2c055 95285ecc6049e25569f31f07d64d4f53a1be732e Author: Marco Poletti poletti.marco@gmail.com Date: Sat Dec 3 11:33:35 2011 +0100

Merge commit '95285ecc6049e25569f31f07d64d4f53a1be732e' into sparse_matrices_test

Conflicts: src/Congruence.cc src/Congruence.inlines.hh src/Congruence_System.cc src/Grid_Generator.cc src/Grid_Generator.inlines.hh src/Grid_Generator_System.cc

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=34333711e38e4... Merge: a66ee1042a51fbef3a83da5f2c57dafd4f6ccd38 a87bb62c2afee1571db0d44ac02b756c9e30cb3c Author: Marco Poletti poletti.marco@gmail.com Date: Sat Dec 3 11:20:19 2011 +0100

Merge commit 'a87bb62c2afee1571db0d44ac02b756c9e30cb3c' into sparse_matrices_test

Conflicts: src/Box.templates.hh src/Congruence_System.inlines.hh src/Constraint_System.cc

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=a66ee1042a51f... Merge: 1d62ef76407877463fae70835cd87a11cbcd44a2 50dc24772dc142eed06b6109672b3804e15a0804 Author: Marco Poletti poletti.marco@gmail.com Date: Sat Dec 3 11:11:42 2011 +0100

Merge commit '50dc24772dc142eed06b6109672b3804e15a0804' into sparse_matrices_test

Conflicts: src/BD_Shape.defs.hh src/Makefile.am src/Polyhedron_nonpublic.cc src/globals.types.hh

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=1d62ef7640787... Author: Marco Poletti poletti.marco@gmail.com Date: Wed Nov 30 13:23:02 2011 +0100

Grid: add an assertion.

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=b81949a8e14cf... Author: Marco Poletti poletti.marco@gmail.com Date: Wed Nov 30 13:22:46 2011 +0100

Constraint, Generator, Grid_Generator: make the expr field private again, and add needed friend declarations.

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=0ebb4b03959e2... Author: Marco Poletti poletti.marco@gmail.com Date: Wed Nov 30 13:21:47 2011 +0100

Generator: simplify the space_dimension() method.

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=9002b3038fde1... Author: Marco Poletti poletti.marco@gmail.com Date: Wed Nov 30 13:21:10 2011 +0100

Constraint: use the expression() method instead of the expr field, in operator<<().

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=c3e5d8cbbbf8f... Author: Marco Poletti poletti.marco@gmail.com Date: Wed Nov 30 13:20:31 2011 +0100

Congruence: use the expression() method instead of the expr field, in the constructors from a Constraint.

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=8db6e42c588fe... Author: Marco Poletti poletti.marco@gmail.com Date: Wed Nov 30 13:19:40 2011 +0100

Grid: use the expression() method instead of the expr field, in constrains().

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=440c1f034c9a9... Author: Marco Poletti poletti.marco@gmail.com Date: Wed Nov 30 13:19:29 2011 +0100

Grid: use the expression() method instead of the expr field, in relation_with().

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=6d29ffb3ac1ee... Author: Marco Poletti poletti.marco@gmail.com Date: Wed Nov 30 13:19:16 2011 +0100

Grid: use the expression() method instead of the expr field, in conversion().

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=18c45198c45db... Author: Marco Poletti poletti.marco@gmail.com Date: Wed Nov 30 13:19:00 2011 +0100

Grid: use the expression() method instead of the expr field, in expand_space_dimension().

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=3730a687ba484... Author: Marco Poletti poletti.marco@gmail.com Date: Wed Nov 30 13:18:23 2011 +0100

Grid: use the expression() method instead of the expr field, in map_space_dimensions().

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=2eabf35d14dbb... Author: Marco Poletti poletti.marco@gmail.com Date: Wed Nov 30 13:17:42 2011 +0100

Polyhedron: use the expression() method instead of the expr field, in time_elapse_assign().

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=98485ed8c3586... Author: Marco Poletti poletti.marco@gmail.com Date: Wed Nov 30 13:17:29 2011 +0100

Polyhedron: use the expression() method instead of the expr field, in constrains().

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=d5b7022c22cca... Author: Marco Poletti poletti.marco@gmail.com Date: Wed Nov 30 13:17:15 2011 +0100

Polyhedron: use the expression() method instead of the expr field, in contains_integer_point().

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=7b7c94d290d4a... Author: Marco Poletti poletti.marco@gmail.com Date: Wed Nov 30 13:17:00 2011 +0100

Polyhedron: use the expression() method instead of the expr field, in is_universe().

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=2273ff9956044... Author: Marco Poletti poletti.marco@gmail.com Date: Wed Nov 30 13:16:46 2011 +0100

Polyhedron: use the expression() method instead of the expr field, in drop_some_non_integer_points().

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=2d8bfbce5b74e... Author: Marco Poletti poletti.marco@gmail.com Date: Wed Nov 30 13:16:27 2011 +0100

Polyhedron: use the expression() method instead of the expr field, in strongly_minimize_constraints().

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=8a6e4ffa3b09b... Author: Marco Poletti poletti.marco@gmail.com Date: Wed Nov 30 13:16:12 2011 +0100

Polyhedron: use the expression() method instead of the expr field, in map_space_dimensions().

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=225b1d53e252f... Author: Marco Poletti poletti.marco@gmail.com Date: Wed Nov 30 13:15:42 2011 +0100

Octagonal_Shape_Helper: use the expression() method instead of the expr field.

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=25f5cd3f02c44... Author: Marco Poletti poletti.marco@gmail.com Date: Wed Nov 30 13:15:11 2011 +0100

MIP_Problem: use the expression() method instead of the expr field, in process_pending_constraints().

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=dd991b8467a5f... Author: Marco Poletti poletti.marco@gmail.com Date: Wed Nov 30 13:14:52 2011 +0100

MIP_Problem: use the expression() method instead of the expr field, in parse_constraints().

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=7af715e64cb2d... Author: Marco Poletti poletti.marco@gmail.com Date: Wed Nov 30 13:14:16 2011 +0100

PIP_Solution_Node: use the expression() method instead of the expr field, in update_tableau().

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=05e049711f4af... Author: Marco Poletti poletti.marco@gmail.com Date: Wed Nov 30 13:13:46 2011 +0100

PIP_Problem: use the expression() method instead of the expr field, in solve().

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=d7b29da8054ec... Author: Marco Poletti poletti.marco@gmail.com Date: Wed Nov 30 13:13:19 2011 +0100

termination: use the expression() method instead of the expr field, in one_affine_ranking_function_MS().

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=ce06871af31d9... Author: Marco Poletti poletti.marco@gmail.com Date: Wed Nov 30 13:13:06 2011 +0100

termination: use the expression() method instead of the expr field, in fill_constraint_systems_PR_original().

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=1b4b509284e3e... Author: Marco Poletti poletti.marco@gmail.com Date: Wed Nov 30 13:12:45 2011 +0100

termination: use the expression() method instead of the expr field, in fill_constraint_systems_PR().

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=9d9b71a6a2463... Author: Marco Poletti poletti.marco@gmail.com Date: Wed Nov 30 13:12:14 2011 +0100

termination: use the expression() method instead of the expr field, in fill_constraint_systems_MS().

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=09dbf854d0d0e... Author: Marco Poletti poletti.marco@gmail.com Date: Wed Nov 30 13:11:44 2011 +0100

wrap_assign: use the expression() method instead of the expr field, in wrap_assign_ind().

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=763b2ca0fb075... Author: Marco Poletti poletti.marco@gmail.com Date: Wed Nov 30 13:11:12 2011 +0100

Box: use the expression() method instead of the expr field, in propagate_constraint_no_check().

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=c486d85440dcb... Author: Marco Poletti poletti.marco@gmail.com Date: Wed Nov 30 13:10:41 2011 +0100

Box: use the expression() method instead of the expr field, in the relation_with() method that takes a Generator.

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=cf7010e3fa9bc... Author: Marco Poletti poletti.marco@gmail.com Date: Wed Nov 30 13:10:29 2011 +0100

Box: use the expression() method instead of the expr field, in the relation_with() method that takes a Constraint.

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=b70721e0993e5... Author: Marco Poletti poletti.marco@gmail.com Date: Wed Nov 30 13:10:19 2011 +0100

Box: use the expression() method instead of the expr field, in the relation_with() method that takes a Congruence.

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=72d1550c5f396... Author: Marco Poletti poletti.marco@gmail.com Date: Wed Nov 30 13:09:44 2011 +0100

Box: use the expression() method instead of the expr field, in the constructor from a Generator_System.

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=87d553ea72e41... Author: Marco Poletti poletti.marco@gmail.com Date: Wed Nov 30 13:08:48 2011 +0100

Box: use the expression() method instead of the expr field, in extract_interval_constraint().

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=17387ea2f5e2a... Author: Marco Poletti poletti.marco@gmail.com Date: Wed Nov 30 13:08:21 2011 +0100

BHRZ03_Certificate: use the expression() method instead of the expr field, in compare().

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=9388de49896c4... Author: Marco Poletti poletti.marco@gmail.com Date: Wed Nov 30 13:07:56 2011 +0100

BHRZ03_Certificate: use the expression() method instead of the expr field, in the constructor from a Polyhedron.

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=4dde8ba2e97f7... Author: Marco Poletti poletti.marco@gmail.com Date: Wed Nov 30 13:07:28 2011 +0100

BD_Shape: use the expression() method instead of the expr field, in the constructor from a Generator_System.

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=5f23084412f6e... Author: Marco Poletti poletti.marco@gmail.com Date: Wed Nov 30 13:07:00 2011 +0100

BD_Shape: use the expression() method instead of the expr field, in extract_bounded_difference().

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=596377808c800... Author: Marco Poletti poletti.marco@gmail.com Date: Wed Nov 30 13:06:18 2011 +0100

Affine_Space: use the expression() method instead of the expr field, in the constructor from a Generator_System.

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=53846881ffeba... Author: Marco Poletti poletti.marco@gmail.com Date: Wed Nov 30 13:04:43 2011 +0100

Linear_Expression_Impl: remove the constructors from Constraint, Generator, Grid_Generator and Congruence.

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=3d7bb5b7659a7... Author: Marco Poletti poletti.marco@gmail.com Date: Wed Nov 30 13:03:21 2011 +0100

Linear_Expression: simplify the constructors from Constraint, Generator, Grid_Generator and Congruence.

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=898c6c0ba5d44... Author: Marco Poletti poletti.marco@gmail.com Date: Wed Nov 30 13:01:17 2011 +0100

Linear_Expression: add constructors from wrapped expressions.

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=2da44bf05815c... Author: Marco Poletti poletti.marco@gmail.com Date: Wed Nov 30 12:58:39 2011 +0100

Grid_Generator: add two fields that wrap 'expr', hiding implementation details, and add an expression() method that returns the fully-wrapped expression.

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=73db2b0e89206... Author: Marco Poletti poletti.marco@gmail.com Date: Wed Nov 30 12:56:08 2011 +0100

Generator: add two fields that wrap 'expr', hiding implementation details, and add an expression() method that returns the fully-wrapped expression.

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=493eb02129c63... Author: Marco Poletti poletti.marco@gmail.com Date: Wed Nov 30 12:53:25 2011 +0100

Constraint: add a field that wraps 'expr', hiding implementation details, and add an expression() method that returns it.

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=3e416cca729ec... Author: Marco Poletti poletti.marco@gmail.com Date: Wed Nov 30 12:46:03 2011 +0100

Constraint, Generator, Grid_Generator: remove the expression() method, and (temporarily) let client code use the expr field directly.

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=436023e2a62f3... Author: Marco Poletti poletti.marco@gmail.com Date: Wed Nov 30 19:18:17 2011 +0100

tests/linearsystem1: avoid using the Constraint::expression() method.

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=16ca5cd3ad2d3... Author: Marco Poletti poletti.marco@gmail.com Date: Wed Nov 16 02:56:47 2011 +0100

Add the Expression_Hide_Last and Expression_Hide_Inhomo classes.

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=dbf26770dfc44... Author: Marco Poletti poletti.marco@gmail.com Date: Tue Nov 15 17:35:37 2011 +0100

Generator: make some methods public/private and rearrange declarations in the class definition.

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=a97a7b0674b34... Author: Marco Poletti poletti.marco@gmail.com Date: Tue Nov 15 16:25:23 2011 +0100

Constraint, Generator, Grid_Generator: remove the non-const expression() method.

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=2fdf8a292d43f... Author: Marco Poletti poletti.marco@gmail.com Date: Tue Nov 15 16:24:48 2011 +0100

Instead of using the non-const expression() method of Constraint, Generator and Grid_Generator, use the field directly and assert OK() a fterwards (#3).

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=1d6fb9dbb6db6... Author: Marco Poletti poletti.marco@gmail.com Date: Tue Nov 15 16:18:54 2011 +0100

Linear_System: remove the normalize() method.

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=c62b805849714... Author: Marco Poletti poletti.marco@gmail.com Date: Tue Nov 15 16:18:33 2011 +0100

Linear_System: call shift_space_dimensions() on the rows instead of on their expressions.

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=eacf6850d24ed... Author: Marco Poletti poletti.marco@gmail.com Date: Tue Nov 15 16:17:37 2011 +0100

Instead of using the non-const expression() method of Constraint, Generator and Grid_Generator, use the field directly and assert OK() afterwards (#2).

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=4a99ec15134bd... Author: Marco Poletti poletti.marco@gmail.com Date: Tue Nov 15 15:54:36 2011 +0100

Generator, Constraint: normalize if necessary, in set_space_dimension(). Also add and use some unchecked methods.

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=17e8f6e288fc7... Author: Marco Poletti poletti.marco@gmail.com Date: Wed Nov 30 18:07:11 2011 +0100

Linear_System: avoid constructing invalid rows and fixing them afterwards, in add_universe_rows_and_columns().

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=2577070f94cce... Author: Marco Poletti poletti.marco@gmail.com Date: Wed Nov 30 18:03:55 2011 +0100

Constraint: the constructor from a Linear_Expression that takes a Type and a Topology no longer reduces the space dimension by 1.

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=c9e4437c512be... Author: Marco Poletti poletti.marco@gmail.com Date: Wed Nov 30 17:39:56 2011 +0100

Generator: the constructor from a Linear_Expression that takes a Type and a Topology no longer reduces the space dimension by 1.

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=27cc6cac93569... Author: Marco Poletti poletti.marco@gmail.com Date: Tue Nov 15 15:52:37 2011 +0100

Generator: add a constructor that takes a Linear_Expression, a Kind and a Topology.

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=3498564a25bd6... Author: Marco Poletti poletti.marco@gmail.com Date: Tue Nov 15 15:52:06 2011 +0100

Constraint: add a constructor that takes a Linear_Expression, a Kind and a Topology.

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=aac128ef297ec... Author: Marco Poletti poletti.marco@gmail.com Date: Tue Nov 15 15:51:24 2011 +0100

Add some comments.

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=5fb080233150a... Author: Marco Poletti poletti.marco@gmail.com Date: Tue Nov 15 15:47:48 2011 +0100

Instead of using the non-const expression() method of Constraint, Generator and Grid_Generator, use the field directly and assert OK() afterwards.

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=c55d120a2bb67... Author: Marco Poletti poletti.marco@gmail.com Date: Thu Dec 1 15:11:36 2011 +0100

Polyhedron: make sure that mid_g is OK() before passing it to relation_with(), in BFT00_poly_hull_assign_if_exact(). Patch by Enea Zaffanella.

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=b384ace64d3a1... Author: Enea Zaffanella zaffanella@cs.unipr.it Date: Sat Dec 3 09:24:39 2011 +0100

Style improvements for Grid::relation_with(const Congruence& cg) const. No functionality change.

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=b67af6c1ba5a5... Author: Enea Zaffanella zaffanella@cs.unipr.it Date: Sat Dec 3 09:17:12 2011 +0100

Corrected errors in method Grid::relation_with(const Constraint&) const.

The method was affected by two problems: 1) when working on a non-minimized grid generator system, the points after the first one were transformed into parameters that were not satisfying the Grid_Generator invariant (reported by Marco Poletti); 2) the method was providing an incorrect result when comparing a grid generator line/parameter with a (strict) inequality constraint, as happens for test20() in tests/Grid/relations3.cc.

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=856eabd63f477... Author: Enea Zaffanella zaffanella@cs.unipr.it Date: Sat Dec 3 09:13:58 2011 +0100

Added new test showing an error in Grid::relation_with(const Constraint&).

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=4f29d90a2e19e... Author: Marco Poletti poletti.marco@gmail.com Date: Tue Nov 15 15:45:34 2011 +0100

Congruence, Generator, Grid_Generator, Constraint: add a shift_space_dimensions() method. Use these methods in Polyhedron::concatenate_assign().

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=cc2b4053818ca... Author: Marco Poletti poletti.marco@gmail.com Date: Tue Nov 15 15:40:40 2011 +0100

Add a TODO.

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=d5afc56b61bc1... Author: Marco Poletti poletti.marco@gmail.com Date: Tue Nov 15 12:03:12 2011 +0100

Grid_Generator: remove the negate() method.

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=0d53c2dafdad9... Author: Marco Poletti poletti.marco@gmail.com Date: Tue Nov 15 12:00:43 2011 +0100

Remove some TODOs/FIXMEs.

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=f79b0b8e94ac8... Author: Marco Poletti poletti.marco@gmail.com Date: Tue Nov 15 11:57:14 2011 +0100

Congruence: make all *normalize() methods public.

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=fddc7b2f7de57... Author: Marco Poletti poletti.marco@gmail.com Date: Tue Nov 15 11:54:43 2011 +0100

Congruence: improve the documentation of set_modulus() and remove the set_is_equality() method.

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=689266e1473b7... Author: Marco Poletti poletti.marco@gmail.com Date: Tue Nov 15 11:49:57 2011 +0100

Modify some comments.

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=9fcad9c2b4d8b... Author: Marco Poletti poletti.marco@gmail.com Date: Tue Nov 15 11:47:58 2011 +0100

Congruence: remove the negate() method.

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=d891d58696e22... Author: Marco Poletti poletti.marco@gmail.com Date: Tue Nov 15 11:40:53 2011 +0100

Congruence, Congruence_System: the affine_preimage() methods now take a Variable instead of a dimension_type.

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=cefe2919de0ac... Author: Marco Poletti poletti.marco@gmail.com Date: Tue Nov 15 11:38:52 2011 +0100

Avoid using the Linear_Expression get() and set() methods that take a dimension_type, where possible.

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=9249e3459a145... Author: Marco Poletti poletti.marco@gmail.com Date: Tue Nov 15 11:38:18 2011 +0100

Linear_Expression: add a get() and a set() method that take a Variable.

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=a40958bf5561d... Author: Marco Poletti poletti.marco@gmail.com Date: Tue Nov 15 03:00:18 2011 +0100

Linear_Expression: move the is_unbounded_obj_function() method to the MIP_Problem class, and modify it to use the public API of Linear_Expression.

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=eadb38bb0cb1a... Author: Marco Poletti poletti.marco@gmail.com Date: Tue Nov 15 02:50:54 2011 +0100

Congruence: simplify the constructors from a Constraint.

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=82098a508d59e... Author: Marco Poletti poletti.marco@gmail.com Date: Tue Nov 15 02:46:58 2011 +0100

Congruence: add a Recycle_Input tag to the constructor that steals the contents of a Linear_Expression.

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=8a49d6c9245cc... Author: Marco Poletti poletti.marco@gmail.com Date: Tue Nov 15 02:44:35 2011 +0100

Remove an obsolete TODO.

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=b0a797a376fa0... Author: Marco Poletti poletti.marco@gmail.com Date: Tue Nov 15 02:41:29 2011 +0100

Generator: remove the constructors that take a reserved_size.

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=69a0edddd394b... Author: Marco Poletti poletti.marco@gmail.com Date: Tue Nov 15 02:37:11 2011 +0100

Linear_Expression_Impl: optimize the constructor from a Linear_Expression that takes a space dimension.

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=bb4d1ab23f6dd... Author: Marco Poletti poletti.marco@gmail.com Date: Tue Nov 15 02:35:26 2011 +0100

Linear_Expression: move the modify_according_to_evolution() method to the Polyhedron class, and modify it to use the public API of Linear_Expression.

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=64a67986875e7... Author: Marco Poletti poletti.marco@gmail.com Date: Tue Nov 15 01:28:36 2011 +0100

Congruence: the constructor from a Linear_Expression and a modulus does not reduce by 1 the space dimension anymore.

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=21e45ca08272a... Author: Marco Poletti poletti.marco@gmail.com Date: Tue Nov 15 01:15:55 2011 +0100

Linear_Expression, Congruence, Constraint, Generator, Grid_Generator: now most constructors take a space dimension instead of a size.

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=7cc182abaf3bb... Author: Marco Poletti poletti.marco@gmail.com Date: Tue Nov 15 00:19:39 2011 +0100

Linear_Expression: allow the caller to specify the desired representation, to query it and also to change it afterwards. Also add the Representation enum.

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=868e1f65b45b6... Author: Marco Poletti poletti.marco@gmail.com Date: Thu Nov 17 21:53:37 2011 +0100

Remove the Row typedef, use individual typedefs inside classes that need it instead.

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=e7c50afd3a675... Author: Marco Poletti poletti.marco@gmail.com Date: Tue Nov 15 00:17:36 2011 +0100

Linear_Expression_Interface, Linear_Expression_Impl: remove the swap() method. It's not needed, since Linear_Expression can just swap pointers.

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=c310fa60609c0... Author: Marco Poletti poletti.marco@gmail.com Date: Mon Nov 14 15:08:11 2011 +0100

Linear_Expression: optimize add_mul_assign() and sub_mul_assign() for the n==0 case.

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=8b589a9187010... Author: Marco Poletti poletti.marco@gmail.com Date: Mon Nov 14 10:09:26 2011 +0100

BD_Shape: optimize deduce_v_minus_u_bounds().

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=32715df251545... Author: Marco Poletti poletti.marco@gmail.com Date: Sun Nov 13 17:56:22 2011 +0100

BD_Shape: optimize the frequency() method.

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=bf0231e0d4dde... Author: Marco Poletti poletti.marco@gmail.com Date: Sun Nov 13 15:33:09 2011 +0100

Add/Improve some TODO comments.

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=ab4dccda09dc5... Author: Marco Poletti poletti.marco@gmail.com Date: Sun Nov 13 15:26:39 2011 +0100

Octagonal_Shape: improve some TODO comments.

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=3d25172b70876... Author: Marco Poletti poletti.marco@gmail.com Date: Sun Nov 13 15:09:31 2011 +0100

Box: optimize generalized_affine_preimage().

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=572b29622fdea... Author: Marco Poletti poletti.marco@gmail.com Date: Sun Nov 13 15:08:10 2011 +0100

Box: optimize affine_image() and affine_preimage().

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=74fd74fca0314... Author: Marco Poletti poletti.marco@gmail.com Date: Sun Nov 13 15:06:22 2011 +0100

Box: optimize the alternative implementation of propagate_constraint_no_check().

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=456a4b7651ac5... Author: Marco Poletti poletti.marco@gmail.com Date: Sun Nov 13 15:06:04 2011 +0100

Box: optimize propagate_constraint_no_check().

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=3d51070d7d999... Author: Marco Poletti poletti.marco@gmail.com Date: Sun Nov 13 15:02:59 2011 +0100

Box: use Linear_Expression::last_nonzero() in propagate_constraint_no_check().

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=fdf01b8150fdf... Author: Marco Poletti poletti.marco@gmail.com Date: Sun Nov 13 15:02:25 2011 +0100

Linear_Expression: add a last_nonzero() method.

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=f0eadf7a24e51... Author: Marco Poletti poletti.marco@gmail.com Date: Sun Nov 13 15:01:44 2011 +0100

Box: optimize the frequency() method.

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=fb2fc45af6e4e... Author: Marco Poletti poletti.marco@gmail.com Date: Sun Nov 13 15:01:18 2011 +0100

Box: optimize the max_min() method.

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=70ed80a423539... Author: Marco Poletti poletti.marco@gmail.com Date: Sun Nov 13 15:00:51 2011 +0100

Box: optimize the relation_with() method that takes a Generator.

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=203ee29321738... Author: Marco Poletti poletti.marco@gmail.com Date: Sun Nov 13 15:00:29 2011 +0100

Box: optimize the relation_with() method that takes a Constraint.

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=468486664f7a3... Author: Marco Poletti poletti.marco@gmail.com Date: Sun Nov 13 15:00:17 2011 +0100

Box: optimize the relation_with() method that takes a Congruence.

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=623e6010ad53d... Author: Marco Poletti poletti.marco@gmail.com Date: Sun Nov 13 14:59:49 2011 +0100

Box: optimize the bounds() method.

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=4ba5fa3edf607... Author: Marco Poletti poletti.marco@gmail.com Date: Sun Nov 13 14:59:23 2011 +0100

Box: optimize the constructor from a Generator_System (#2).

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=4802136adbb93... Author: Marco Poletti poletti.marco@gmail.com Date: Sun Nov 13 14:59:10 2011 +0100

Box: optimize the constructor from a Generator_System (#1).

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=7336920714f28... Author: Marco Poletti poletti.marco@gmail.com Date: Sun Nov 13 14:52:57 2011 +0100

termination: avoid pointlessly copying Generator objects.

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=f713ff4e03156... Author: Marco Poletti poletti.marco@gmail.com Date: Sun Nov 13 14:51:53 2011 +0100

termination: optimize fill_constraint_system_PR_original().

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=10178e3a5add8... Author: Marco Poletti poletti.marco@gmail.com Date: Sun Nov 13 14:51:28 2011 +0100

termination: optimize fill_constraint_system_PR() (2/2).

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=37042856e6440... Author: Marco Poletti poletti.marco@gmail.com Date: Sun Nov 13 14:51:23 2011 +0100

termination: optimize fill_constraint_system_PR() (1/2).

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=b3f4f0f9a3bc6... Author: Marco Poletti poletti.marco@gmail.com Date: Sun Nov 13 14:50:48 2011 +0100

termination: optimize fill_constraint_systems_MS().

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=3366091e89ea6... Author: Marco Poletti poletti.marco@gmail.com Date: Sun Nov 13 14:49:52 2011 +0100

BD_Shape: optimize generalized_affine_image() (2/2).

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=bcd2bb670c419... Author: Marco Poletti poletti.marco@gmail.com Date: Tue Nov 15 23:32:32 2011 +0100

BD_Shape/generalizedaffinepreimage1: allow bigger floating-point errors (#2).

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=967735f2854b2... Author: Marco Poletti poletti.marco@gmail.com Date: Sun Nov 13 14:49:45 2011 +0100

BD_Shape: optimize generalized_affine_image() (1/2).

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=119e64548c218... Author: Marco Poletti poletti.marco@gmail.com Date: Tue Nov 15 17:25:56 2011 +0100

BD_Shape/generalizedaffinepreimage1: allow bigger floating-point errors.

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=d61bdb7283e69... Author: Marco Poletti poletti.marco@gmail.com Date: Sun Nov 13 14:49:08 2011 +0100

BD_Shape: optimize bounded_affine_image().

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=33227122ff3f9... Author: Marco Poletti poletti.marco@gmail.com Date: Sun Nov 13 14:47:53 2011 +0100

BD_Shape: optimize affine_image().

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=7d74f07a8e263... Author: Marco Poletti poletti.marco@gmail.com Date: Sun Nov 13 14:47:12 2011 +0100

BD_Shape: optimize refine() (3/3).

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=f2f238fde1bb2... Author: Marco Poletti poletti.marco@gmail.com Date: Sun Nov 13 14:46:54 2011 +0100

BD_Shape: optimize refine() (2/3).

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=519f7298f28db... Author: Marco Poletti poletti.marco@gmail.com Date: Sun Nov 13 14:46:42 2011 +0100

BD_Shape: optimize refine() (1/3).

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=ae5dc10f37550... Author: Marco Poletti poletti.marco@gmail.com Date: Sun Nov 13 14:45:20 2011 +0100

BD_Shape: optimize deduce_u_minus_v_bounds().

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=0af6eaeba696f... Author: Marco Poletti poletti.marco@gmail.com Date: Sun Nov 13 14:43:58 2011 +0100

BD_Shape: two little optimization in relation_with().

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=d2460cc91ee9a... Author: Marco Poletti poletti.marco@gmail.com Date: Sun Nov 13 14:43:17 2011 +0100

BD_Shape: optimize the constructor from a Generator_System.

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=0a71b475cf14b... Author: Marco Poletti poletti.marco@gmail.com Date: Sun Nov 13 14:42:19 2011 +0100

Octagonal_Shape: use Linear_Expression::have_a_common_variable() and iterators to improve performance, in generalized_affine_image() and generalized_affine_preimage().

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=3d70d7fa40e40... Author: Marco Poletti poletti.marco@gmail.com Date: Sun Nov 13 14:40:25 2011 +0100

Octagonal_Shape: optimize deduce_v_pm_u_bounds() and deduce_minus_v_pm_u_bounds().

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=4ef99b7fd6dbb... Author: Marco Poletti poletti.marco@gmail.com Date: Sun Nov 13 14:39:17 2011 +0100

BD_Shape: optimize the constructor from a Generator_System.

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=c794e02b1bfab... Author: Marco Poletti poletti.marco@gmail.com Date: Sun Nov 13 14:32:27 2011 +0100

Grid: optimize map_space_dimensions() using Linear_Expression::const_iterator.

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=79564d0c8f650... Author: Marco Poletti poletti.marco@gmail.com Date: Sun Nov 13 14:31:21 2011 +0100

Grid_Generator: optimize operator<<() and move the code in a fancy_print() method.

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=68318ab777574... Author: Marco Poletti poletti.marco@gmail.com Date: Sun Nov 13 14:30:37 2011 +0100

BD_Shape: use Linear_Expression::have_a_common_variable() and iterators to improve performance, in generalized_affine_image() and generalized_affine_preimage().

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=84f39f4a9afd7... Author: Marco Poletti poletti.marco@gmail.com Date: Sun Nov 13 14:20:04 2011 +0100

Grid: use Linear_Expression::const_iterator to improve performance, in generalized_affine_image() and generalized_affine_preimage().

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=7b10c5a41fbae... Author: Marco Poletti poletti.marco@gmail.com Date: Sun Nov 13 14:19:27 2011 +0100

Grid: use Linear_Expression::have_a_common_variable() and iterators to improve performance, in generalized_affine_image() and generalized_affine_preimage().

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=c6f93c85b61b4... Author: Marco Poletti poletti.marco@gmail.com Date: Sun Nov 13 14:18:04 2011 +0100

Constraint: optimize operator<<().

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=cf69a8950a458... Author: Marco Poletti poletti.marco@gmail.com Date: Sun Nov 13 14:17:26 2011 +0100

Linear_System: add a TODO comment.

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=9888d743cca1a... Author: Marco Poletti poletti.marco@gmail.com Date: Sun Nov 13 14:17:05 2011 +0100

Polyhedron: optimize map_space_dimensions().

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=9cd6bc045d708... Author: Marco Poletti poletti.marco@gmail.com Date: Sun Nov 13 14:16:02 2011 +0100

Grid: add a comment about a missing break and use Linear_Expression::have_a_common_variable(), in relation_with().

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=5d9e741cd2638... Author: Marco Poletti poletti.marco@gmail.com Date: Sun Nov 13 14:13:56 2011 +0100

Grid: use the inhomogeneous_term() method instead of get(0), in simplify().

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=a243a59276761... Author: Marco Poletti poletti.marco@gmail.com Date: Sun Nov 13 14:12:57 2011 +0100

Generator: optimize operator<<() and move the code in a fancy_print() method so that it can access Linear_Expression's private methods.

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=291b5f151dab2... Author: Marco Poletti poletti.marco@gmail.com Date: Sun Nov 13 14:10:34 2011 +0100

Congruence: optimize operator<<().

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=238e04f3783ef... Author: Marco Poletti poletti.marco@gmail.com Date: Sun Nov 13 14:10:06 2011 +0100

Congruence: use inhomogeneous_term() and set_inhomogeneous_term() instead of get(0) and set(0, c), in normalize().

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=c5464d88b0193... Author: Marco Poletti poletti.marco@gmail.com Date: Sun Nov 13 14:08:55 2011 +0100

Polyhedron: use Linear_Expression::have_a_common_variable() and iterators to improve performance, in generalized_affine_image() and generalized_affine_preimage().

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=ab9474befacf8... Author: Marco Poletti poletti.marco@gmail.com Date: Sun Nov 13 14:06:18 2011 +0100

Linear_Expression: add a have_a_common_variable() method.

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=666edcb4e0b22... Author: Marco Poletti poletti.marco@gmail.com Date: Sun Nov 13 14:02:38 2011 +0100

Polyhedron: explicitly specify !=0 in a condition, in simplify_using_context_assign().

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=84c5dcae4316f... Author: Marco Poletti poletti.marco@gmail.com Date: Sun Nov 13 14:01:40 2011 +0100

MIP_Problem: choose_branching_variable() now scans input_cs by row instead of by column, increasing cache-efficiency.

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=68d9f1777263d... Author: Marco Poletti poletti.marco@gmail.com Date: Sun Nov 13 14:00:26 2011 +0100

MIP_Problem: improve some comments.

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=1459f0e311373... Author: Marco Poletti poletti.marco@gmail.com Date: Sun Nov 13 13:59:50 2011 +0100

PIP_Solution_Node: use Linear_Expression::const_iterator in update_tableau().

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=5d0568b9890cb... Author: Marco Poletti poletti.marco@gmail.com Date: Sun Nov 13 13:58:06 2011 +0100

PIP_Tree: remove two useless variables in compatibility_check_find_pivot_in_set().

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=62d6c4c960b90... Author: Marco Poletti poletti.marco@gmail.com Date: Sun Nov 13 13:56:04 2011 +0100

PIP_Tree: improve a comment.

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=6a537e9a24397... Author: Marco Poletti poletti.marco@gmail.com Date: Sun Nov 13 13:55:31 2011 +0100

PIP_Problem: add a comment.

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=b52aec9f088f5... Author: Marco Poletti poletti.marco@gmail.com Date: Sun Nov 13 13:53:39 2011 +0100

MIP_Problem: use Linear_Expression::const_iterator in process_pending_constraints().

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=16a99073d9f8e... Author: Marco Poletti poletti.marco@gmail.com Date: Sun Nov 13 13:53:28 2011 +0100

Linear_Expression: add a const_iterator type and begin(), end() and lower_bound() methods.

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=0ae35bbbc1e8f... Author: Roberto Bagnara bagnara@cs.unipr.it Date: Sun Nov 13 20:00:27 2011 +0100

Project vocabulary fixes. Detected by ECLAIR service progvcbl.

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=6d8262280e999... Author: Roberto Bagnara bagnara@cs.unipr.it Date: Sun Nov 13 19:59:37 2011 +0100

Updated.

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=ef3f4d0a5ccaf... Author: Roberto Bagnara bagnara@cs.unipr.it Date: Sun Nov 13 19:58:29 2011 +0100

Sorted list of good identifiers.

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=e37503ce5059b... Author: Roberto Bagnara bagnara@cs.unipr.it Date: Sun Nov 13 10:17:43 2011 +0100

Vocabulary updated.

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=5f72e09e1d772... Author: Roberto Bagnara bagnara@cs.unipr.it Date: Sun Nov 13 09:54:01 2011 +0100

Project vocabulary fixes. Detected by ECLAIR service progvcbl.

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=79fc8389a9868... Author: Roberto Bagnara bagnara@cs.unipr.it Date: Sat Nov 12 12:57:47 2011 +0100

Project vocabulary fixes. Detected by ECLAIR service progvcbl.

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=d77432ac84aba... Author: Roberto Bagnara bagnara@cs.unipr.it Date: Thu Nov 10 11:07:42 2011 +0100

Project vocabulary fixes. Detected by ECLAIR service progvcbl.

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=afb4a0a0ca99f... Author: Roberto Bagnara bagnara@cs.unipr.it Date: Thu Nov 10 10:12:19 2011 +0100

Project vocabulary fixes. Detected by ECLAIR service progvcbl.

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=cc6d91dfbceb5... Author: Roberto Bagnara bagnara@cs.unipr.it Date: Thu Nov 10 09:47:25 2011 +0100

Project vocabulary fixes. Detected by ECLAIR service progvcbl.

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=803510678ede6... Author: Roberto Bagnara bagnara@cs.unipr.it Date: Wed Nov 9 22:13:14 2011 +0100

Project vocabulary fixes. Detected by ECLAIR service progvcbl.

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=0eebd181bfd34... Author: Marco Poletti poletti.marco@gmail.com Date: Tue Nov 8 14:35:58 2011 +0100

CO_Tree: if an exception is thrown, the tree may be in a state where structure_OK() is false, but it can still be destroyed (the stored size may be wrong in such cases).

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=bc3f4d712b7ac... Author: Marco Poletti poletti.marco@gmail.com Date: Tue Nov 8 14:34:26 2011 +0100

CO_Tree: fix typo in comment.

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=653fa8bc35e1a... Author: Marco Poletti poletti.marco@gmail.com Date: Tue Nov 8 14:34:13 2011 +0100

CO_Tree: when constructing a new element, update the index only if the construction was successful, to avoid destroying an unallocated object if the constructor throws.

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=f5bfabb665e37... Author: Marco Poletti poletti.marco@gmail.com Date: Thu Nov 3 22:40:34 2011 +0100

Remove an unused variable.

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=201db3c59b7c3... Author: Marco Poletti poletti.marco@gmail.com Date: Thu Nov 3 18:45:41 2011 +0100

Linear_Expression_Impl: add an optimized version of has_a_free_dimension_helper() for sparse rows, and slightly improve the dense version.

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=3e3601a809a58... Author: Marco Poletti poletti.marco@gmail.com Date: Thu Nov 3 18:31:41 2011 +0100

Linear_Expression_Impl: add an optimized version of first_nonzero() for sparse rows, and slightly improve the dense version.

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=862283a5e1e78... Author: Marco Poletti poletti.marco@gmail.com Date: Thu Nov 3 13:49:30 2011 +0100

Linear_Expression_Impl: add an optimized version of last_nonzero() for sparse rows, and slightly improve the dense version.

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=fe385b4b8b4e7... Author: Marco Poletti poletti.marco@gmail.com Date: Thu Nov 3 13:46:29 2011 +0100

Linear_Expression_Impl: add an optimized version of all_zeroes_except() for sparse rows, and slightly improve the dense version.

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=63aa379f7a42e... Author: Marco Poletti poletti.marco@gmail.com Date: Thu Nov 3 13:42:00 2011 +0100

Linear_Expression_Impl: add an optimized version of all_zeroes() for sparse rows, and slightly improve the dense version.

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=acfbc0e38f41f... Author: Marco Poletti poletti.marco@gmail.com Date: Thu Nov 3 13:37:07 2011 +0100

Linear_Expression_Impl: add an optimized version of gcd() for sparse rows, and slightly improve the dense version.

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=79427f68492f8... Author: Marco Poletti poletti.marco@gmail.com Date: Thu Nov 3 13:32:46 2011 +0100

Linear_Expression_Impl: add an optimized version of num_zeroes() for sparse rows, and slightly improve the dense version.

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=0d382fe67a2ca... Author: Marco Poletti poletti.marco@gmail.com Date: Thu Nov 3 13:30:14 2011 +0100

Linear_Expression_Impl: add an optimized version of all_zeroes() for sparse rows, and slightly improve the dense version.

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=ca2095ecf4e8f... Author: Marco Poletti poletti.marco@gmail.com Date: Thu Nov 3 13:22:46 2011 +0100

Linear_Expression_Impl: add an optimized version of all_homogeneous_terms_are_zero() for sparse rows, and slightly improve the dense version.

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=d30c9efc935d4... Author: Marco Poletti poletti.marco@gmail.com Date: Thu Nov 3 13:19:14 2011 +0100

Linear_Expression_Impl: add an optimized version of is_zero() for sparse rows, and slightly improve the dense version.

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=ad395936f1563... Author: Marco Poletti poletti.marco@gmail.com Date: Thu Nov 3 13:18:32 2011 +0100

Sparse_Row: add a num_stored_elements() method.

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=252b2fe4ead52... Author: Marco Poletti poletti.marco@gmail.com Date: Thu Nov 3 13:11:35 2011 +0100

Linear_Expression: inline some trivial methods.

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=970eb4f23b8c9... Author: Marco Poletti poletti.marco@gmail.com Date: Thu Nov 3 13:08:56 2011 +0100

Linear_Expression_Impl: use a stronger invariant for sparse rows.

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=86fcc08ccbfff... Author: Marco Poletti poletti.marco@gmail.com Date: Thu Nov 3 13:08:38 2011 +0100

Linear_Expression: remove operator[].

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=4e772e07ccefd... Author: Marco Poletti poletti.marco@gmail.com Date: Thu Nov 3 13:08:10 2011 +0100

Linear_Expression: remove the sub_mul_assign() method.

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=432fbd7a008cf... Author: Marco Poletti poletti.marco@gmail.com Date: Thu Nov 3 13:07:36 2011 +0100

Congruence: remove operator[].

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=7d5530a1da7a3... Author: Marco Poletti poletti.marco@gmail.com Date: Thu Nov 3 13:07:19 2011 +0100

Congruence: remove the sub_mul_assign() method.

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=4b4d090e4e3ad... Author: Marco Poletti poletti.marco@gmail.com Date: Thu Nov 3 13:06:26 2011 +0100

Grid: avoid using Linear_Expression::operator[], in conversion() (#3).

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=44cc8b632970a... Author: Marco Poletti poletti.marco@gmail.com Date: Thu Nov 3 13:05:42 2011 +0100

Grid: avoid using Linear_Expression::operator[], in conversion() (#2).

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=162e1f7869139... Author: Marco Poletti poletti.marco@gmail.com Date: Thu Nov 3 13:05:08 2011 +0100

Grid: avoid using Linear_Expression::operator[], in conversion().

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=472ca25ca033e... Author: Marco Poletti poletti.marco@gmail.com Date: Thu Nov 3 13:04:25 2011 +0100

Grid: simplify/optimize lower_triangular().

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=0dbe5f76763db... Author: Marco Poletti poletti.marco@gmail.com Date: Thu Nov 3 13:03:59 2011 +0100

Grid_Generator: simplify scale_to_divisor() using mul_assign().

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=75847a3f95edf... Author: Marco Poletti poletti.marco@gmail.com Date: Thu Nov 3 13:03:32 2011 +0100

Grid: use linear_combine() instead of sub_mul_assign(), in reduce_reduced().

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=f2a54f6831479... Author: Marco Poletti poletti.marco@gmail.com Date: Thu Nov 3 13:01:09 2011 +0100

Linear_Expression_Impl: simplify the add_mul_assign() and the sub_mul_assign() methods that take a Coefficient and a Linear_Expression.

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=b9f9d5c6940ea... Author: Marco Poletti poletti.marco@gmail.com Date: Thu Nov 3 13:00:20 2011 +0100

Linear_Expression_Impl: simplify the add_mul_assign() method that takes a Variable and a Coefficient.

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=d396c0d492bdf... Author: Marco Poletti poletti.marco@gmail.com Date: Thu Nov 3 12:50:38 2011 +0100

Linear_Expression_Impl: optimize exact_div_assign().

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=8b9a8ce635a04... Author: Marco Poletti poletti.marco@gmail.com Date: Thu Nov 3 12:50:17 2011 +0100

Linear_Expression_Impl: optimize add_mul_assign().

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=7067e251c1542... Author: Marco Poletti poletti.marco@gmail.com Date: Thu Nov 3 12:49:28 2011 +0100

Linear_Expression_Impl: optimize neg_assign().

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=8c12929c10952... Author: Marco Poletti poletti.marco@gmail.com Date: Thu Nov 3 12:49:12 2011 +0100

Linear_Expression_Impl: optimize operator/=().

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=4a09f8099ba21... Author: Marco Poletti poletti.marco@gmail.com Date: Thu Nov 3 12:48:56 2011 +0100

Linear_Expression_Impl: optimize operator*=().

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=c0708c9c0699e... Author: Marco Poletti poletti.marco@gmail.com Date: Thu Nov 3 12:47:37 2011 +0100

Linear_Expression_Impl: optimize the operator+=() and operator-=() that take a Variable.

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=f8563b5827a6e... Author: Marco Poletti poletti.marco@gmail.com Date: Thu Nov 3 12:47:12 2011 +0100

Linear_Expression_Impl: simplify the operator+=() and operator-=() that take a Linear_Expression.

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=65fe0df0cd081... Author: Marco Poletti poletti.marco@gmail.com Date: Thu Nov 3 12:45:58 2011 +0100

Linear_Expression_Impl: avoid storing zeroes in sparse rows, in permute_space_dimensions().

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=6835424a3dee9... Author: Marco Poletti poletti.marco@gmail.com Date: Thu Nov 3 12:45:19 2011 +0100

Linear_Expression_Impl: simplify the constructor from a Variable.

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=74c2708d0eb3a... Author: Marco Poletti poletti.marco@gmail.com Date: Thu Nov 3 12:45:02 2011 +0100

Linear_Expression_Impl: simplify the constructors from Constraints and Generators.

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=d9faa3e5c2b33... Author: Marco Poletti poletti.marco@gmail.com Date: Thu Nov 3 12:44:20 2011 +0100

Linear_Expression_Impl: optimize compare() for sparse rows.

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=022715fe20c17... Author: Marco Poletti poletti.marco@gmail.com Date: Thu Nov 3 12:43:28 2011 +0100

Linear_Expression_Impl: use an optimized version of remove_space_dimensions() for sparse rows.

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=a41c5f85a44e4... Author: Marco Poletti poletti.marco@gmail.com Date: Thu Nov 3 12:41:30 2011 +0100

Linear_Expression_Impl: avoid storing zeroes in sparse rows, and prefer using get() instead of operator[].

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=74d89ccafa2fb... Author: Marco Poletti poletti.marco@gmail.com Date: Thu Nov 3 12:38:47 2011 +0100

Linear_Expression_Impl: improve the constructor from a Coefficient.

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=d7f7c3953c32a... Author: Marco Poletti poletti.marco@gmail.com Date: Thu Nov 3 12:38:00 2011 +0100

Linear_Expression: add some assertions.

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=8e85700efba8d... Author: Marco Poletti poletti.marco@gmail.com Date: Thu Nov 3 12:33:52 2011 +0100

Linear_Expression_Impl: improve/simplify the implementation of linear_combine().

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=770df61d89b72... Author: Marco Poletti poletti.marco@gmail.com Date: Thu Nov 3 12:33:19 2011 +0100

Linear_Expression: document that the coefficients for the linear_combine() methods must be nonzero.

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=3bb5d865a9094... Author: Marco Poletti poletti.marco@gmail.com Date: Thu Nov 3 12:29:08 2011 +0100

Dense_Row: document that the coefficients for the linear_combine() methods must be nonzero.

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=74d5603c1dbde... Author: Marco Poletti poletti.marco@gmail.com Date: Thu Nov 3 12:23:37 2011 +0100

Indentation fixes and a minor change.

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=22d86151d31b9... Author: Marco Poletti poletti.marco@gmail.com Date: Thu Nov 3 12:23:03 2011 +0100

Add some assertions.

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=fcc49b92ce7b1... Author: Marco Poletti poletti.marco@gmail.com Date: Thu Nov 3 11:47:33 2011 +0100

Grid: simplify reduce_parameter_with_line().

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=1bbcee607403c... Author: Marco Poletti poletti.marco@gmail.com Date: Thu Nov 3 11:59:24 2011 +0100

Linear_Expression: add a mul_assign() method.

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=a55dcf695000c... Author: Marco Poletti poletti.marco@gmail.com Date: Thu Nov 3 11:47:11 2011 +0100

Grid: call Linear_Expression::all_zeroes() in rows_are_zero().

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=208477ffbadff... Author: Marco Poletti poletti.marco@gmail.com Date: Thu Nov 3 11:44:58 2011 +0100

Grid: simplify/optimize the reduce_line_with_line(), reduce_parameter_with_line() and reduce_equality_with_equality() methods.

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=d952412d175af... Author: Marco Poletti poletti.marco@gmail.com Date: Thu Nov 3 11:26:10 2011 +0100

Use the get() and set() methods of Linear_Expression instead of operator[], in various places.

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=bae747645a4d0... Author: Marco Poletti poletti.marco@gmail.com Date: Thu Nov 3 10:56:10 2011 +0100

Linear_Expression: add a set() method, and modify the get() method to return a Coefficient_traits::const_reference.

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=240417d4fd034... Author: Marco Poletti poletti.marco@gmail.com Date: Thu Nov 3 10:47:13 2011 +0100

Sparse_Row: optimize the copy constructor with a size parameter.

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=62a47c9358e31... Author: Marco Poletti poletti.marco@gmail.com Date: Thu Nov 3 10:46:36 2011 +0100

Little optimizations in the linear_combine() functions that take a Sparse_Row and a Dense_Row.

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=ce5b973b82923... Author: Marco Poletti poletti.marco@gmail.com Date: Thu Nov 3 10:29:03 2011 +0100

Optimize various linear_combine() functions/methods.

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=006c7b46a6fc3... Author: Marco Poletti poletti.marco@gmail.com Date: Thu Nov 3 10:58:41 2011 +0100

termination: only call linear_combine() when needed.

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=128bd3ae0634e... Author: Marco Poletti poletti.marco@gmail.com Date: Thu Nov 3 11:46:43 2011 +0100

Grid: slightly change the precondition of reduce_pc_with_pc() and simplify/optimize it.

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=1700c2d1bb0a8... Author: Marco Poletti poletti.marco@gmail.com Date: Thu Nov 3 10:45:17 2011 +0100

Linear_Expression: add two linear_combine_lax() methods.

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=8d28c2a5604c4... Author: Roberto Bagnara bagnara@cs.unipr.it Date: Wed Nov 9 08:37:01 2011 +0100

Project vocabulary fixes. Detected by ECLAIR service progvcbl.

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=0a0259c6503a0... Author: Roberto Bagnara bagnara@cs.unipr.it Date: Tue Nov 8 12:15:05 2011 +0100

Added a few more lexical items.

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=0fec2abf72013... Author: Roberto Bagnara bagnara@cs.unipr.it Date: Tue Nov 8 12:13:04 2011 +0100

Project vocabulary fixes. Detected by ECLAIR service progvcbl.

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=8ab3511cb404b... Author: Roberto Bagnara bagnara@cs.unipr.it Date: Tue Nov 8 12:09:20 2011 +0100

Updated.

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=d625166f50df5... Author: Roberto Bagnara bagnara@cs.unipr.it Date: Tue Nov 8 05:13:33 2011 +0100

Do not rely on libtool guessing the language. (Thanks to Serge Belyshev.)

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=53f12fe79ea85... Author: Roberto Bagnara bagnara@cs.unipr.it Date: Tue Nov 8 05:12:44 2011 +0100

Put items on the right list.

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=5904df66748c5... Author: Roberto Bagnara bagnara@cs.unipr.it Date: Mon Nov 7 20:51:15 2011 +0100

Separate words from lexical items.

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=1ff38066e4eac... Author: Roberto Bagnara bagnara@cs.unipr.it Date: Mon Nov 7 17:16:54 2011 +0100

Fixed FSF address. Detected by ECLAIR service cmntfile.

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=dbedf8514da0b... Author: Roberto Bagnara bagnara@cs.unipr.it Date: Mon Nov 7 15:30:29 2011 +0100

Fixed file comment blocks and related mistakes. Detected by ECLAIR service cmntfile.

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=a9a6632bfcc7a... Author: Roberto Bagnara bagnara@cs.unipr.it Date: Mon Nov 7 10:25:15 2011 +0100

Conflicts resolved.

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=98475d291117f... Author: Roberto Bagnara bagnara@cs.unipr.it Date: Mon Nov 7 10:21:57 2011 +0100

Project vocabulary fixes. Detected by ECLAIR service idntvcbl.

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=1597df4105756... Author: Enea Zaffanella zaffanella@cs.unipr.it Date: Mon Nov 7 09:50:41 2011 +0100

Let Doxygen expand macro PPL_USE_SPARSE_MATRIX as defined.

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=5d31265f3e17b... Author: Enea Zaffanella zaffanella@cs.unipr.it Date: Mon Nov 7 09:48:31 2011 +0100

Renamed macros USE_PPL_SPARSE_MATRIX to use PPL_ prefix.

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=39c1356315950... Author: Enea Zaffanella zaffanella@cs.unipr.it Date: Mon Nov 7 08:17:26 2011 +0100

Avoid overloading std::swap for PPL types. Define functions Parma_Polyhedra_Library::swap and exploit ADL. The swap _methods_ T::swap(T&) renamed as T::m_swap(T&).

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=8594db9c59a64... Author: Enea Zaffanella zaffanella@cs.unipr.it Date: Mon Nov 7 09:10:27 2011 +0100

Added a few missing \relates Doxygen commands.

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=43b2e9cc5db32... Author: Enea Zaffanella zaffanella@cs.unipr.it Date: Mon Nov 7 09:09:46 2011 +0100

The swapping methods of PPL types are now named m_swap.

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=2f19c7ff69b6a... Author: Enea Zaffanella zaffanella@cs.unipr.it Date: Mon Nov 7 09:07:37 2011 +0100

swap functions for PPL types are now defined in the PPL namespace.

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=0442fb1660eb2... Author: Roberto Bagnara bagnara@cs.unipr.it Date: Mon Nov 7 08:42:13 2011 +0100

More words added.

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=c821ec2f14370... Author: Roberto Bagnara bagnara@cs.unipr.it Date: Mon Nov 7 08:37:21 2011 +0100

Added a word legitimately occurring in a comment.

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=b637cbc5c0555... Author: Roberto Bagnara bagnara@cs.unipr.it Date: Mon Nov 7 08:35:51 2011 +0100

Added more Doxygen and LaTeX keywords.

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=46b4e6265003f... Author: Roberto Bagnara bagnara@cs.unipr.it Date: Mon Nov 7 08:30:32 2011 +0100

Started fixing the vocabulary used throughout the library. Detected by ECLAIR service idntvcbl.

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=38d2ed6661825... Author: Roberto Bagnara bagnara@cs.unipr.it Date: Sun Nov 6 22:22:53 2011 +0100

Updated.

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=1fd5954e2148a... Author: Roberto Bagnara bagnara@cs.unipr.it Date: Sun Nov 6 21:55:03 2011 +0100

Updated.

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=3f39d87e7df34... Author: Roberto Bagnara bagnara@cs.unipr.it Date: Sun Nov 6 16:43:24 2011 +0100

Updated.

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=1e0bc0eb29472... Author: Roberto Bagnara bagnara@cs.unipr.it Date: Sun Nov 6 14:43:08 2011 +0100

Version number bumped.

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=2f98bbb6a85b1... Author: Roberto Bagnara bagnara@cs.unipr.it Date: Sun Nov 6 14:39:47 2011 +0100

Allow `--with-gmp-build' to be used with `--enable-shared'. (Thanks to Serge Belyshev.)

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=404a6777b9a77... Author: Roberto Bagnara bagnara@cs.unipr.it Date: Sun Nov 6 14:31:25 2011 +0100

Front matter updated for all manuals.

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=0f1868b0e4ea2... Author: Roberto Bagnara bagnara@cs.unipr.it Date: Sun Nov 6 11:30:14 2011 +0100

Front matter updated.

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=d068194797b8e... Author: Roberto Bagnara bagnara@cs.unipr.it Date: Sun Nov 6 11:15:06 2011 +0100

No longer pass the `draft' option to package `hyperref'.

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=90af93944187c... Author: Roberto Bagnara bagnara@cs.unipr.it Date: Sun Nov 6 11:14:02 2011 +0100

Front matter improved.

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=0d548ed615ab7... Author: Roberto Bagnara bagnara@cs.unipr.it Date: Sun Nov 6 11:13:20 2011 +0100

Fixed Doxygen \relates command.

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=d10ede69b31af... Author: Marco Poletti poletti.marco@gmail.com Date: Wed Nov 2 12:06:03 2011 +0100

CO_Tree: make insert_in_empty_tree() exception-safe.

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=8e7ee9bce5506... Author: Marco Poletti poletti.marco@gmail.com Date: Wed Nov 2 12:05:34 2011 +0100

CO_Tree: make copy_data_from() exception-safe.

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=95976524b1271... Author: Marco Poletti poletti.marco@gmail.com Date: Wed Nov 2 12:05:09 2011 +0100

CO_Tree: make init() exception-safe.

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=659a23177efc0... Author: Marco Poletti poletti.marco@gmail.com Date: Wed Nov 2 12:03:41 2011 +0100

CO_Tree: fix a bug in insert_precise(), where the data1 reference was invalidated by growing/rebalancing the tree and then it was used.

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=8bd0740bad200... Author: Marco Poletti poletti.marco@gmail.com Date: Tue Nov 1 19:32:50 2011 +0100

Fix a bug in the linear_combine() function that takes a Sparse_Row and a Dense_Row.

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=58564bdc681a8... Author: Marco Poletti poletti.marco@gmail.com Date: Mon Oct 31 13:56:19 2011 +0100

Sparse_Row: fix the doxygen documentation of the swap() method that takes two iterators.

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=2ead81250c1c1... Author: Marco Poletti poletti.marco@gmail.com Date: Mon Oct 31 13:55:48 2011 +0100

Sparse_Row: add a fast_swap() method.

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=888659a986195... Author: Marco Poletti poletti.marco@gmail.com Date: Mon Oct 31 13:55:20 2011 +0100

CO_Tree: add a fast_shift() method.

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=8eaaf26769524... Author: Marco Poletti poletti.marco@gmail.com Date: Mon Oct 31 09:34:10 2011 +0100

Polyhedron: optimize/simplify generalized_affine_preimage().

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=c52bd6b36f137... Author: Marco Poletti poletti.marco@gmail.com Date: Mon Oct 31 09:34:04 2011 +0100

Polyhedron: optimize/simplify generalized_affine_image().

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=177da44889d12... Author: Marco Poletti poletti.marco@gmail.com Date: Mon Oct 31 09:33:32 2011 +0100

Polyhedron: simplify/optimize contains_integer_point() (#2).

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=27f7598be13e3... Author: Marco Poletti poletti.marco@gmail.com Date: Mon Oct 31 09:33:24 2011 +0100

Polyhedron: simplify/optimize contains_integer_point() (#1).

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=ee2461e86e0df... Author: Marco Poletti poletti.marco@gmail.com Date: Mon Oct 31 09:32:26 2011 +0100

MIP_Problem: optimize/simplify evaluate_objective_function().

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=53b3065a29de8... Author: Marco Poletti poletti.marco@gmail.com Date: Mon Oct 31 09:30:09 2011 +0100

MIP_Problem: optimize/simplify second_phase().

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=8c659e7ebe7c6... Author: Marco Poletti poletti.marco@gmail.com Date: Mon Oct 31 09:29:39 2011 +0100

MIP_Problem: use is_unbounded_obj_function() in process_pending_constraints().

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=f5b203308c88b... Author: Marco Poletti poletti.marco@gmail.com Date: Thu Nov 3 23:28:04 2011 +0100

Linear_Expression: add a is_unbounded_obj_function() method.

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=5d215f5af0d14... Author: Marco Poletti poletti.marco@gmail.com Date: Thu Nov 3 12:52:15 2011 +0100

Linear_Expression_Impl: add an assertion and fix an existing one, in scalar_product_assign().

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=42cca8187f6d0... Author: Roberto Bagnara bagnara@cs.unipr.it Date: Sun Nov 6 09:48:05 2011 +0100

Typo fixed.

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=7d35c7b6b16a6... Author: Roberto Bagnara bagnara@cs.unipr.it Date: Sun Nov 6 09:25:05 2011 +0100

New logos.

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=d61331e3b9788... Author: Roberto Bagnara bagnara@cs.unipr.it Date: Sun Nov 6 09:10:54 2011 +0100

Fixed the handling of the `--with-gmp-build' configure option. (Thanks to Serge Belyshev.)

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=c33079b04ea10... Author: Roberto Bagnara bagnara@cs.unipr.it Date: Sat Nov 5 20:50:29 2011 +0100

Missing comment added.

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=35a5eeb76ebc1... Author: Roberto Bagnara bagnara@cs.unipr.it Date: Sat Nov 5 20:49:58 2011 +0100

Added missing guard against multiple inclusions. Detected by ECLAIR service inclgard.

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=a39916112aa5d... Author: Roberto Bagnara bagnara@cs.unipr.it Date: Sat Nov 5 19:47:53 2011 +0100

Revised.

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=8dcf9b3f83ff6... Author: Roberto Bagnara bagnara@cs.unipr.it Date: Sat Nov 5 19:47:11 2011 +0100

The PPL logo in various formats.

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=97f3e98708cbb... Author: Roberto Bagnara bagnara@cs.unipr.it Date: Sat Nov 5 15:32:14 2011 +0100

Indentation fixes. Detected by ECLAIR service indntion.

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=367a91ec09da6... Author: Roberto Bagnara bagnara@cs.unipr.it Date: Fri Nov 4 21:34:30 2011 +0100

Code layout corrections.

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=a49e3ce4af0a4... Author: Roberto Bagnara bagnara@cs.unipr.it Date: Fri Nov 4 21:15:08 2011 +0100

Avoid reusing names reserved by the C++ standard. Detected by ECLAIR service resvidnt.

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=56686f99aae8f... Author: Roberto Bagnara bagnara@cs.unipr.it Date: Fri Nov 4 21:09:55 2011 +0100

Avoid reusing names reserved by the C++ standard. Detected by ECLAIR service resvidnt.

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=0876ffa984a99... Author: Roberto Bagnara bagnara@cs.unipr.it Date: Fri Nov 4 20:52:55 2011 +0100

FIXME resolved.

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=7682a06a0a07e... Author: Roberto Bagnara bagnara@cs.unipr.it Date: Fri Nov 4 20:10:21 2011 +0100

Avoid reusing names reserved by the C++ standard. In the process, consistency improved with respect to conventions used throughout the library. Detected by ECLAIR service resvidnt.

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=246ba9a3d0b88... Author: Roberto Bagnara bagnara@cs.unipr.it Date: Thu Nov 3 20:38:48 2011 +0100

Scope of variables reduced. Detected by ECLAIR service minscope.

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=9ff6b157a31ab... Author: Roberto Bagnara bagnara@cs.unipr.it Date: Thu Nov 3 20:38:31 2011 +0100

Code layout improved.

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=efed831cda3f4... Author: Abramo Bagnara abramo.bagnara@gmail.com Date: Thu Nov 3 19:57:23 2011 +0100

Simplified implementation.

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=9954d6d0b6f5a... Author: Enea Zaffanella zaffanella@cs.unipr.it Date: Thu Nov 3 19:33:35 2011 +0100

Avoid implicit conversions reducing size of underlying type. Detected by ECLAIR service utypflag.

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=ba6a021a1ac94... Author: Enea Zaffanella zaffanella@cs.unipr.it Date: Thu Nov 3 19:32:14 2011 +0100

Avoid implicit conversion reducing size of underlying type. Detected by ECLAIR service utypflag.

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=b0a92e74f0710... Author: Marco Poletti poletti.marco@gmail.com Date: Mon Oct 31 09:28:52 2011 +0100

Grid: optimize/simplify generalized_affine_preimage().

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=67619c2f4dc3b... Author: Marco Poletti poletti.marco@gmail.com Date: Mon Oct 31 09:28:40 2011 +0100

Grid: optimize/simplify generalized_affine_image().

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=40d48e70c1004... Author: Marco Poletti poletti.marco@gmail.com Date: Mon Oct 31 09:28:18 2011 +0100

Grid: optimize/simplify simplify_using_context_assign().

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=4e50eeb22f101... Author: Marco Poletti poletti.marco@gmail.com Date: Mon Oct 31 09:27:56 2011 +0100

Grid: optimize/simplify constrains().

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=b8ee0ab8eadb4... Author: Marco Poletti poletti.marco@gmail.com Date: Mon Oct 31 09:27:11 2011 +0100

Grid: optimize/simplify the relation_with() method that takes a Constraint.

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=1d68cfff17ee1... Author: Enea Zaffanella zaffanella@cs.unipr.it Date: Thu Nov 3 19:06:57 2011 +0100

Removed redundant cast. Detected by ECLAIR service castexpr.

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=52514333875c7... Author: Enea Zaffanella zaffanella@cs.unipr.it Date: Thu Nov 3 19:06:03 2011 +0100

Removed several redundant casts. Detected by ECLAIR service castexpr.

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=2ef798d06d7cd... Author: Enea Zaffanella zaffanella@cs.unipr.it Date: Thu Nov 3 17:55:05 2011 +0100

Removed a few redundant casts. Detected by ECLAIR service castexpr.

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=3082a84e1fdbf... Author: Abramo Bagnara abramo.bagnara@gmail.com Date: Thu Nov 3 16:26:45 2011 +0100

Use consistently get_digit.

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=7f72ff168aa39... Author: Abramo Bagnara abramo.bagnara@gmail.com Date: Thu Nov 3 16:13:06 2011 +0100

Fixed bool vs. numeric unsafe mixing. Detected by ECLAIR service utypflag.

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=ad542abaf2572... Author: Enea Zaffanella zaffanella@cs.unipr.it Date: Thu Nov 3 15:19:21 2011 +0100

Avoid implicit integral conversion reducing size of underlying type. Detected by ECLAIR service utypflag.

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=8eebe6d762e82... Author: Abramo Bagnara abramo.bagnara@gmail.com Date: Thu Nov 3 10:15:26 2011 +0100

Fixed bool vs. numeric unsafe mixing. Detected by ECLAIR service utypflag.

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=5e7acd07fc98b... Author: Enea Zaffanella zaffanella@cs.unipr.it Date: Thu Nov 3 09:36:07 2011 +0100

Fixed plain char vs. numeric unsafe mixing. Detected by ECLAIR service utypflag.

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=20692dc4750f2... Author: Abramo Bagnara abramo.bagnara@gmail.com Date: Thu Nov 3 09:33:34 2011 +0100

Fixed plain char vs. numeric unsafe mixing. Detected by ECLAIR service utypflag.

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=3ec1ffd46d745... Author: Roberto Bagnara bagnara@cs.unipr.it Date: Thu Nov 3 07:33:09 2011 +0100

Avoid explicit integral conversions that change the signedness of the underlying type of complex expressions. Detected by ECLAIR service utypflag.

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=a6e777561ba56... Author: Roberto Bagnara bagnara@cs.unipr.it Date: Thu Nov 3 07:08:13 2011 +0100

Revert "Fixed plain char vs. numeric unsafe mixing."

This reverts commit e9ce6bcef3d6f7481e5399d8746062ccc72b25b0.

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=e9ce6bcef3d6f... Author: Abramo Bagnara abramo.bagnara@gmail.com Date: Wed Nov 2 23:43:16 2011 +0100

Fixed plain char vs. numeric unsafe mixing. Detected by ECLAIR service utypflag.

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=aacd89e5ee21c... Author: Enea Zaffanella zaffanella@cs.unipr.it Date: Wed Nov 2 14:00:48 2011 +0100

Do not mix plain char and numeric values. Detected by ECLAIR service utypflag.

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=6e68ec708a90b... Author: Enea Zaffanella zaffanella@cs.unipr.it Date: Wed Nov 2 08:42:59 2011 +0100

Use an explicitly signed char type when dealing with numeric info. Detected by ECLAIR service utypflag.

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=95c8aae28dac4... Author: Roberto Bagnara bagnara@cs.unipr.it Date: Tue Nov 1 18:03:41 2011 +0100

Added missing using directive.

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=bebce077e0648... Author: Roberto Bagnara bagnara@cs.unipr.it Date: Tue Nov 1 17:02:56 2011 +0100

Revert "Revert "Avoid anonymous namespaces in header files.""

This reverts commit 3fbf4608f85679fc85f89d82f40fb20e0e60ca16.

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=3fbf4608f8567... Author: Abramo Bagnara abramo.bagnara@gmail.com Date: Tue Nov 1 14:43:13 2011 +0100

Revert "Avoid anonymous namespaces in header files."

This reverts commit 086a400757aa4867611c023dcda5bc70afbc18b5.

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=98a1ca1a0b1ee... Author: Roberto Bagnara bagnara@cs.unipr.it Date: Tue Nov 1 09:12:38 2011 +0100

Spurious declaration removed. Detected by ECLAIR service araysize.

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=086a400757aa4... Author: Roberto Bagnara bagnara@cs.unipr.it Date: Tue Nov 1 08:58:44 2011 +0100

Avoid anonymous namespaces in header files. Detected by ECLAIR service hedrfile.

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=ba5a35b2bccbd... Author: Roberto Bagnara bagnara@cs.unipr.it Date: Mon Oct 31 18:10:00 2011 +0100

Header file inclusions reordered.

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=6eb2769ec8611... Author: Roberto Bagnara bagnara@cs.unipr.it Date: Mon Oct 31 17:36:25 2011 +0100

Use <> brackets for system and standard library headers only; use "" quotes for all other headers. Detected by ECLAIR service hedrbrks.

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=8c79d763a2d98... Author: Marco Poletti poletti.marco@gmail.com Date: Mon Oct 31 09:26:46 2011 +0100

Grid: optimize/simplify the relation_with() method that takes a Generator.

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=926f3b8024d3b... Author: Marco Poletti poletti.marco@gmail.com Date: Mon Oct 31 09:23:21 2011 +0100

Grid: optimize/simplify the constructor from a Polyhedron.

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=2799476ef81d0... Author: Marco Poletti poletti.marco@gmail.com Date: Mon Oct 31 09:21:28 2011 +0100

Box: optimize/simplify generalized_affine_image().

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=804fff6442927... Author: Marco Poletti poletti.marco@gmail.com Date: Mon Oct 31 09:20:09 2011 +0100

Box: optimize/simplify generalized_affine_preimage().

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=552410fa3f371... Author: Marco Poletti poletti.marco@gmail.com Date: Sun Oct 30 23:39:57 2011 +0100

Linear_Expression: add two get_row() methods.

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=63576c007a5f8... Author: Marco Poletti poletti.marco@gmail.com Date: Sun Oct 30 19:45:55 2011 +0100

Box: remove an unused constant.

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=3d70dcea0e43d... Author: Marco Poletti poletti.marco@gmail.com Date: Sun Oct 30 19:37:20 2011 +0100

Dense_Row: the linear_combine() methods now detect when coeff1==1 and save some work.

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=5e4a37db5d825... Author: Marco Poletti poletti.marco@gmail.com Date: Sun Oct 30 19:36:25 2011 +0100

Add some TODOs.

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=d701868c62680... Author: Marco Poletti poletti.marco@gmail.com Date: Sun Oct 30 18:13:24 2011 +0100

Octagonal_Shape: use Linear_Expression::last_nonzero() and Linear_Expression::all_zeroes(), making some methods faster.

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=d9a310642f500... Author: Marco Poletti poletti.marco@gmail.com Date: Sun Oct 30 18:11:22 2011 +0100

Octagonal_Shape: optimize relation_with().

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=a37767c1ae96e... Author: Marco Poletti poletti.marco@gmail.com Date: Sun Oct 30 18:09:41 2011 +0100

Octagonal_Shape: little optimization in max_min().

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=61aaf3adee88a... Author: Marco Poletti poletti.marco@gmail.com Date: Sun Oct 30 18:05:02 2011 +0100

Octagonal_Shape: add some TODOs.

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=06f4946bae135... Author: Marco Poletti poletti.marco@gmail.com Date: Sun Oct 30 13:10:32 2011 +0100

Congruence, Constraint, Grid_Generator: don't take a capacity argument in methods/constructors.

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=b7b3e9b0c2be5... Author: Marco Poletti poletti.marco@gmail.com Date: Sun Oct 30 10:25:51 2011 +0100

BD_Shape: use Linear_Expression::last_nonzero() and Linear_Expression::all_zeroes() instead of duplicating the implementation.

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=5e2a080ddbf1d... Author: Marco Poletti poletti.marco@gmail.com Date: Sun Oct 30 10:23:07 2011 +0100

BD_Shape: replace expr.coefficient(Variable(n-1)) with expr.get(n), in several places. Also add some TODOs.

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=e315c093b9d3c... Author: Marco Poletti poletti.marco@gmail.com Date: Sun Oct 30 22:29:01 2011 +0100

BD_Shape: fix an off-by-one error in generalized_affine_image().

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=c8368dd547e6e... Author: Marco Poletti poletti.marco@gmail.com Date: Sun Oct 30 10:19:26 2011 +0100

BD_Shape: optimize and simplify the relation_with() method that takes a Constraint.

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=66aac8e29c5c0... Author: Roberto Bagnara bagnara@cs.unipr.it Date: Sun Oct 30 20:21:59 2011 +0100

Long lines avoided.

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=701c61e3bd7d1... Author: Marco Poletti poletti.marco@gmail.com Date: Sat Oct 29 18:45:34 2011 +0200

termination: move some helper functions into a Termination_Helpers class, make it friend of Linear_Expression and optimize/simplify such functions.

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=87f7377f95bd1... Author: Marco Poletti poletti.marco@gmail.com Date: Sat Oct 29 18:24:45 2011 +0200

Linear_System, Constraint_System, Generator_System, Grid_Generator_System: add a shift_space_dimensions() method.

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=aa00ea116496e... Author: Marco Poletti poletti.marco@gmail.com Date: Sat Oct 29 18:23:42 2011 +0200

Octagonal_Shape: move the extract_octagonal_difference() function into a class Octagonal_Shape_Helper, and make it a friend of Linear_Expression. Also optimize this function.

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=fe2c930ccec63... Author: Marco Poletti poletti.marco@gmail.com Date: Sat Oct 29 17:20:24 2011 +0200

Generator: simplify and optimize is_matching_closure_point().

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=efb1c86ce22e6... Author: Marco Poletti poletti.marco@gmail.com Date: Sat Oct 29 17:19:47 2011 +0200

Linear_Expression: add two additional is_equal_to() methods that work on a range.

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=b78cf0b7bff5b... Author: Marco Poletti poletti.marco@gmail.com Date: Sat Oct 29 17:18:56 2011 +0200

Constraint: simplify and optimize is_tautological() and is_inconsistent().

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=4c680c29a7c8e... Author: Marco Poletti poletti.marco@gmail.com Date: Sat Oct 29 17:18:19 2011 +0200

Constraint: simplify and optimize the constructors from a Congruence.

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=48f201c700f7f... Author: Marco Poletti poletti.marco@gmail.com Date: Sat Oct 29 17:17:45 2011 +0200

Linear_Expression: add a constructor from a Congruence that takes a size parameter.

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=c6d652d561d58... Author: Marco Poletti poletti.marco@gmail.com Date: Sun Oct 30 13:02:28 2011 +0100

BD_Shape_Helpers: remove a useless parameter from extract_bounded_difference().

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=acd82c32079cd... Author: Marco Poletti poletti.marco@gmail.com Date: Sat Oct 29 16:53:05 2011 +0200

BD_Shape: move the extract_bounded_difference() function into a class BD_Shape_Helpers, and make it a friend of Linear_Expression. Also optimize this function.

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=86fa71a3330ec... Author: Marco Poletti poletti.marco@gmail.com Date: Sat Oct 29 15:35:41 2011 +0200

Add some TODOs.

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=e5a1f325bbeb1... Author: Marco Poletti poletti.marco@gmail.com Date: Sat Oct 29 15:35:24 2011 +0200

Congruence_System: simplify operator==() and make is_equal_to() call operator==() instead of duplicating code.

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=8a4b2b145b14b... Author: Marco Poletti poletti.marco@gmail.com Date: Sat Oct 29 15:34:28 2011 +0200

Congruence_System: simplify and optimize has_a_free_dimension().

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=8c615f3a67872... Author: Marco Poletti poletti.marco@gmail.com Date: Sat Oct 29 15:34:02 2011 +0200

Linear_Expression: add a has_a_free_dimension_helper() method.

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=9f96fa2454fa0... Author: Marco Poletti poletti.marco@gmail.com Date: Sat Oct 29 15:33:29 2011 +0200

Congruence_System: simplify and optimize permute_space_dimensions().

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=69fa632ced98e... Author: Marco Poletti poletti.marco@gmail.com Date: Sun Oct 16 17:22:12 2011 +0200

Move extract_interval_{constraint,congruence}() into a Box_Helpers class, and make it friend of Linear_Expression. Also optimize and simplify these two functions.

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=c1980bcfdf5ba... Author: Marco Poletti poletti.marco@gmail.com Date: Thu Oct 20 15:45:25 2011 +0200

MIP_Problem: use Linear_Expression::first_nonzero() in parse_constraints().

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=baaa514c499c2... Author: Marco Poletti poletti.marco@gmail.com Date: Thu Oct 20 15:39:25 2011 +0200

Linear_Expression: add a first_nonzero() method.

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=43c5c6184dfd2... Author: Marco Poletti poletti.marco@gmail.com Date: Thu Oct 20 15:16:22 2011 +0200

Scalar_Products: simplify and optimize the code by calling Linear_Expression::scalar_product_{sign,assign}().

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=74a180c2aca80... Author: Abramo Bagnara abramo.bagnara@gmail.com Date: Sun Oct 30 12:49:37 2011 +0100

Fixed typo.

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=a6965e9b5ba4a... Author: Marco Poletti poletti.marco@gmail.com Date: Thu Oct 20 15:15:43 2011 +0200

Linear_Expression: add two scalar_product_assign() and scalar_product_sign() methods.

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=045663c75d043... Author: Marco Poletti poletti.marco@gmail.com Date: Tue Oct 18 19:48:18 2011 +0200

Linear_Expression_Impl: support interaction between Dense_Row-based and Sparse_Row-based linear expressions.

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=e4dca5ce5a626... Author: Marco Poletti poletti.marco@gmail.com Date: Tue Oct 18 19:47:02 2011 +0200

Sparse_Row: add a constructor from a Dense_Row with a specific size and capacity.

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=e616fa6400763... Author: Marco Poletti poletti.marco@gmail.com Date: Tue Oct 18 19:46:20 2011 +0200

Sparse_Row: simplify the implementation of the operator=() method that takes a Dense_Row.

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=d77699362aaf3... Author: Marco Poletti poletti.marco@gmail.com Date: Tue Oct 18 19:37:11 2011 +0200

Add swap() functions that take a Sparse_Row and a Dense_Row.

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=bdf474d00fb9e... Author: Marco Poletti poletti.marco@gmail.com Date: Tue Oct 18 18:14:37 2011 +0200

MIP_Problem: call the linear_combine() function that takes a Dense_Row and a Sparse_Row when needed.

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=07343559c765d... Author: Marco Poletti poletti.marco@gmail.com Date: Tue Oct 18 18:12:16 2011 +0200

Add operator==() and linear_combine() functions that take any combination of dense and sparse rows.

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=7214142149d61... Author: Marco Poletti poletti.marco@gmail.com Date: Tue Oct 18 18:11:03 2011 +0200

Dense_Row: add a sizing constructor from a Sparse_Row.

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=a496c915392ce... Author: Marco Poletti poletti.marco@gmail.com Date: Mon Oct 17 22:52:51 2011 +0200

Make Linear_Expression_Impl a template, preparing support for sparse Linear_Expression objects.

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=0ca8276517cfd... Author: Marco Poletti poletti.marco@gmail.com Date: Mon Oct 17 22:29:20 2011 +0200

Linear_Expression: contain a Linear_Expression_Interface* instead of a Linear_Expression_Impl*.

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=764e11e691e7c... Author: Marco Poletti poletti.marco@gmail.com Date: Mon Oct 17 22:15:03 2011 +0200

Create an interface named Linear_Expression_Interface with the methods in Linear_Expression_Impl, and let Linear_Expression_Impl derive from Linear_Expression_Interface.

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=c5f8aeb2c48c4... Author: Abramo Bagnara abramo.bagnara@gmail.com Date: Sun Oct 30 11:42:38 2011 +0100

Fixed wrong type uses. Detected by ECLAIR service utypflag.

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=99caf76811bdd... Author: Marco Poletti poletti.marco@gmail.com Date: Sun Oct 16 18:01:54 2011 +0200

BHRZ03_Certificate: use Linear_Expression::num_zeroes() to simplify and optimize the code.

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=62908840258d8... Author: Marco Poletti poletti.marco@gmail.com Date: Sun Oct 16 18:00:08 2011 +0200

Linear_Expression: add a num_zeroes() method.

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=bee06c610540c... Author: Roberto Bagnara bagnara@cs.unipr.it Date: Sun Oct 30 10:03:01 2011 +0100

Fixed bugs whereby the wrong types were used so that overflows were possible. Detected by ECLAIR service utypflag.

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=3d8965685d763... Author: Roberto Bagnara bagnara@cs.unipr.it Date: Sun Oct 30 09:16:59 2011 +0100

Unwanted null statements removed. Detected by ECLAIR service nullstmt.

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=ebf6364164993... Author: Marco Poletti poletti.marco@gmail.com Date: Sun Oct 16 17:53:17 2011 +0200

Add a TODO.

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=eb363c8bc4544... Author: Marco Poletti poletti.marco@gmail.com Date: Sun Oct 16 17:51:12 2011 +0200

PIP_Problem: optimize and simplify solve().

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=207bd8c00abbe... Author: Marco Poletti poletti.marco@gmail.com Date: Sun Oct 16 17:50:39 2011 +0200

Linear_Expression: add an all_zeroes_except() method.

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=5c7ea023c474c... Author: Marco Poletti poletti.marco@gmail.com Date: Sun Oct 16 17:41:20 2011 +0200

Constraint_System: optimize the affine_preimage() method slightly.

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=00455fa88d637... Author: Marco Poletti poletti.marco@gmail.com Date: Sun Oct 16 17:36:53 2011 +0200

Grid: optimize and simplify expand_space_dimension().

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=0f5e9fcf26b56... Author: Roberto Bagnara bagnara@cs.unipr.it Date: Sat Oct 29 16:27:43 2011 +0200

Long line avoided.

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=ba709e9a0db16... Author: Roberto Bagnara bagnara@cs.unipr.it Date: Sat Oct 29 15:04:04 2011 +0200

Avoid explicit integral conversions that change the signedness of the underlying type of complex expressions. Detected by ECLAIR service utypflag.

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=b3b76781cae62... Author: Roberto Bagnara bagnara@cs.unipr.it Date: Sat Oct 29 14:40:31 2011 +0200

Removed trailing whitespace.

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=1985f1e83da97... Author: Marco Poletti poletti.marco@gmail.com Date: Sun Oct 16 17:31:43 2011 +0200

Grid: optimize and simplify max_min().

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=2262e47e72291... Author: Marco Poletti poletti.marco@gmail.com Date: Sun Oct 16 17:29:03 2011 +0200

Partially_Reduced_Product: optimize and simplify shrink_to_congruence_no_check().

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=249b7edacac0f... Author: Marco Poletti poletti.marco@gmail.com Date: Sat Oct 29 14:04:21 2011 +0200

Avoid unsigned integer wrap-around in constant expressions. Detected by ECLAIR service cnstwrap.

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=3ab4d6ede25cc... Author: Roberto Bagnara bagnara@cs.unipr.it Date: Fri Oct 28 17:43:43 2011 +0200

Avoid implementation-defined behavior by having bitfields of explicit unsigned integral type. Detected by ECLAIR service bitftype.

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=5fd73820eeed3... Author: Roberto Bagnara bagnara@cs.unipr.it Date: Fri Oct 28 16:54:23 2011 +0200

Do not reuse names reserved by the C++ implementation. Detected by ECLAIR service resvidnt.

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=667dc51aa88cb... Author: Roberto Bagnara bagnara@cs.unipr.it Date: Fri Oct 28 07:54:42 2011 +0200

Avoid anonymous namespaces in header files. Detected by ECLAIR service hedrfile.

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=51134e95761a2... Author: Roberto Bagnara bagnara@cs.unipr.it Date: Fri Oct 28 07:49:48 2011 +0200

Source file renamed.

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=5084ccde7ea4c... Author: Roberto Bagnara bagnara@cs.unipr.it Date: Fri Oct 28 07:42:28 2011 +0200

Code layout improved.

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=975155b93f219... Author: Roberto Bagnara bagnara@cs.unipr.it Date: Fri Oct 28 06:33:57 2011 +0200

Use standard notation for pairs.

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=a484f5db19949... Author: Roberto Bagnara bagnara@cs.unipr.it Date: Fri Oct 28 06:32:03 2011 +0200

Unwanted, commented-out code removed. Detected by ECLAIR service cmntdout. (Thanks to Roberto Amadini.)

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=2e3166f54c69b... Author: Enea Zaffanella zaffanella@cs.unipr.it Date: Thu Oct 27 09:54:14 2011 +0200

Removed commented out line of code that was introduced in the debugging phase. Detected by ECLAIR service cmntdout.

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=d5d512deb4d04... Author: Roberto Bagnara bagnara@cs.unipr.it Date: Wed Oct 26 21:37:08 2011 +0200

Do rename HAVE_DECL_SETRLIMIT. Detected by ECLAIR service idntvcbl.

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=fa86778c6ae39... Author: Roberto Bagnara bagnara@cs.unipr.it Date: Tue Oct 25 15:19:27 2011 +0200

Web site URI updated.

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=4079afb77c67f... Author: Roberto Bagnara bagnara@cs.unipr.it Date: Tue Oct 25 15:05:26 2011 +0200

Temporary list of words allowed in comments and to compose identifiers.

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=6347ff1e2c8ba... Author: Roberto Bagnara bagnara@cs.unipr.it Date: Tue Oct 25 12:11:33 2011 +0200

An initial vocabulary for the PPL.

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=2997c02bb8cbd... Author: Roberto Bagnara bagnara@cs.unipr.it Date: Fri Oct 21 20:27:16 2011 +0200

Make sure all the uses of macro arguments are surrounded by parentheses.

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=8014bfef880f3... Author: Roberto Bagnara bagnara@cs.unipr.it Date: Fri Oct 21 17:45:17 2011 +0200

Fixed a bug whereby a wrong computational weight was computed due to missing parentheses around a macro argument. Detected by ECLAIR service macrbody.

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=5295880df1fc9... Author: Roberto Bagnara bagnara@cs.unipr.it Date: Fri Oct 21 16:36:01 2011 +0200

Very long line shortened.

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=65e3b89e29693... Author: Marco Poletti poletti.marco@gmail.com Date: Sun Oct 16 16:50:55 2011 +0200

Polyhedron: optimize and simplify expand_space_dimension().

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=0273e72347e17... Author: Marco Poletti poletti.marco@gmail.com Date: Sun Oct 16 16:29:41 2011 +0200

Grid: optimize and simplify select_wider_generators().

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=dd66dfc82b439... Author: Marco Poletti poletti.marco@gmail.com Date: Thu Oct 20 13:20:13 2011 +0200

Linear_Expression_Impl: fix the constructor from a Grid_Generator.

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=b8cc90bed27ca... Author: Roberto Bagnara bagnara@cs.unipr.it Date: Thu Oct 20 08:38:01 2011 +0200

Updated to reflect the removal of `--with-gmp-prefix' in favor of `--with-gmp'.

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=4b6d2b3e708f8... Author: Marco Poletti poletti.marco@gmail.com Date: Sun Oct 16 16:20:12 2011 +0200

Linear_Expression_Impl: optimize and simplify the constructor from a Congruence.

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=ef217d6c6e86f... Author: Marco Poletti poletti.marco@gmail.com Date: Sun Oct 16 16:11:48 2011 +0200

PIP_Tree_Node::Artificial_Parameter: optimize and simplify operator==().

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=1fbe33fe14cdf... Author: Marco Poletti poletti.marco@gmail.com Date: Sun Oct 16 16:11:09 2011 +0200

PIP_Tree: add comment.

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=fab96d8633975... Author: Marco Poletti poletti.marco@gmail.com Date: Sun Oct 16 15:58:30 2011 +0200

wrap_assign: optimize and simplify wrap_assign_ind().

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=a39e5127d20f1... Author: Marco Poletti poletti.marco@gmail.com Date: Sun Oct 16 15:57:50 2011 +0200

Linear_Expression: make the all_zeroes() method that takes a Variables_Set public.

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=cdbfd094b19e3... Author: Marco Poletti poletti.marco@gmail.com Date: Sun Oct 16 15:43:30 2011 +0200

Affine_Space: optimize the constructor from a Generator_System.

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=93d83f43d851b... Author: Marco Poletti poletti.marco@gmail.com Date: Sun Oct 16 14:50:01 2011 +0200

Congruence: store the modulus in a separate Coefficient field instead of inside the linear expression.

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=b0f60fcbdcce5... Author: Marco Poletti poletti.marco@gmail.com Date: Sun Oct 16 14:44:44 2011 +0200

Linear_Expression, Linear_Expression_Impl: add an operator/=() method that takes a Coefficient.

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=9ee09e8f119e4... Author: Marco Poletti poletti.marco@gmail.com Date: Sun Oct 16 14:40:38 2011 +0200

Linear_Expression_Impl: fix add_mul_assign() and sub_mul_assign().

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=d1d479c91326b... Author: Marco Poletti poletti.marco@gmail.com Date: Sat Oct 15 20:21:23 2011 +0200

Linear_Expression: add a comment about friend declarations.

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=f5684490a34c0... Author: Marco Poletti poletti.marco@gmail.com Date: Sat Oct 15 20:15:03 2011 +0200

Linear_Expression: inline/uninline code.

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=0ac5464205025... Author: Marco Poletti poletti.marco@gmail.com Date: Sat Oct 15 18:41:16 2011 +0200

Simplify some Linear_Expression-related operators' implementations and remove a useless constructor.

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=558f24dc655d1... Author: Marco Poletti poletti.marco@gmail.com Date: Sat Oct 15 17:56:05 2011 +0200

Linear_Expression: implement a stronger invariant in OK() and use it in the assertions.

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=6c1250a2e4c61... Author: Marco Poletti poletti.marco@gmail.com Date: Sat Oct 15 17:46:12 2011 +0200

Linear_Expression: remove the get_row() methods.

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=ea86064ecd844... Author: Marco Poletti poletti.marco@gmail.com Date: Sun Oct 16 14:26:02 2011 +0200

test/Polyhedron/linearsystem1: avoid calling Linear_Expression::get_row().

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=5a565451ea2cd... Author: Marco Poletti poletti.marco@gmail.com Date: Sat Oct 15 17:45:23 2011 +0200

Remove the last 2 calls to Linear_Expression::get_row().

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=64771f54a5df5... Author: Marco Poletti poletti.marco@gmail.com Date: Sat Oct 15 17:39:56 2011 +0200

Congruence: avoid calling Linear_Expression::get_row(), and reuse code when possible.

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=bc1e068143e09... Author: Marco Poletti poletti.marco@gmail.com Date: Sat Oct 15 17:14:30 2011 +0200

Linear_System: avoid calling Linear_Expression::get_row(), and reuse code when possible.

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=c8efb7b4047fe... Author: Marco Poletti poletti.marco@gmail.com Date: Sat Oct 15 17:10:11 2011 +0200

Linear_Expression: turn a comment into a doxygen comment.

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=21a33c21e5301... Author: Marco Poletti poletti.marco@gmail.com Date: Sat Oct 15 17:09:51 2011 +0200

Linear_Expression: add a last_nonzero() method and use it in Linear_System.

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=af2f7415b6ddb... Author: Marco Poletti poletti.marco@gmail.com Date: Sat Oct 15 17:08:53 2011 +0200

Constraint, Generator, Grid_Generator, Linear_Expression: replace the linear_combine() and linear_combine_inhomogeneous() methods with a method that takes a dimension_type.

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=fa0d3b7369c08... Author: Marco Poletti poletti.marco@gmail.com Date: Sat Oct 15 16:03:00 2011 +0200

Polyhedron: move a code fragment into Linear_Expression, and optimize it for sparse rows.

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=a9cd23604adfd... Author: Marco Poletti poletti.marco@gmail.com Date: Sat Oct 15 15:28:37 2011 +0200

Polyhedron: use Linear_Expression::all_zeroes().

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=ed0c0a220fd3a... Author: Marco Poletti poletti.marco@gmail.com Date: Sat Oct 15 15:28:12 2011 +0200

Linear_Expression: add an all_zeroes() method that takes a Variables_Set.

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=703cc3ccfae90... Author: Roberto Bagnara bagnara@cs.unipr.it Date: Tue Oct 18 19:51:59 2011 +0200

Avoid excessive and dangerous reliance on the C++ operator precedence rules. Detected by ECLAIR service exprprns.

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=615033adbfb7f... Author: Roberto Bagnara bagnara@cs.unipr.it Date: Tue Oct 18 16:14:35 2011 +0200

Avoid #include directives after code (except for "*.idefs.hh", "*.inlines.hh" and "*.templates.hh"). Detected by ECLAIR service inclmixd.

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=571c07fd424a7... Author: Roberto Bagnara bagnara@cs.unipr.it Date: Tue Oct 18 14:26:06 2011 +0200

Avoid excessive and dangerous reliance on the C++ operator precedence rules. Detected by ECLAIR service exprprns.

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=037540dd9fe56... Author: Roberto Bagnara bagnara@cs.unipr.it Date: Tue Oct 18 11:38:43 2011 +0200

Avoid excessive and dangerous reliance on the C++ operator precedence rules. Detected by ECLAIR service exprprns. Other readability improvements.

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=09144610d9841... Author: Enea Zaffanella zaffanella@cs.unipr.it Date: Mon Oct 17 09:52:30 2011 +0200

Fixed MIP_Problem bug shown by tests/MIP_Problem/mipproblem4.cc.

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=ea6946e6d9a5d... Author: Enea Zaffanella zaffanella@cs.unipr.it Date: Mon Oct 17 09:48:26 2011 +0200

Added test showing a bug when solving again a 0-dimensional MIP_Problem. The bug only manifests when a previously solved 0-dimensional MIP_Problem is solved again after having modified it (that is, after changing optimization mode or optimization function).

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=73a174942e664... Author: Marco Poletti poletti.marco@gmail.com Date: Sat Oct 15 15:21:26 2011 +0200

Grid_Generator_System: avoid calling Linear_Expression::get_row(), and reuse code when possible.

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=d520fe5d0b60d... Author: Marco Poletti poletti.marco@gmail.com Date: Sat Oct 15 15:16:39 2011 +0200

Constraint_System: avoid calling Linear_Expression::get_row(), and reuse code when possible.

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=e72c53456d278... Author: Marco Poletti poletti.marco@gmail.com Date: Sat Oct 15 17:38:58 2011 +0200

Dense_Row: fix the precondition-related assertions in linear_combine().

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=4066c7ba95976... Author: Marco Poletti poletti.marco@gmail.com Date: Sat Oct 15 14:54:04 2011 +0200

Generator_System: avoid calling Linear_Expression::get_row(), and reuse code when possible.

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=8b31d901f768f... Author: Marco Poletti poletti.marco@gmail.com Date: Sat Oct 15 14:15:13 2011 +0200

Grid_Generator: avoid calling Linear_Expression::get_row(), and reuse code when possible (#2).

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=5acae4bad6ef1... Author: Marco Poletti poletti.marco@gmail.com Date: Sat Oct 15 14:14:31 2011 +0200

Linear_Expression: add a negate() method.

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=5cab35e1ed5f0... Author: Marco Poletti poletti.marco@gmail.com Date: Thu Oct 13 20:55:57 2011 +0200

Grid_Generator: avoid calling Linear_Expression::get_row(), and reuse code when possible (#1).

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=d8b88599de95e... Author: Marco Poletti poletti.marco@gmail.com Date: Thu Oct 13 20:54:21 2011 +0200

Constraint, Generator, Grid_Generator, Congruence: use Linear_Expression::sign_normalize().

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=1f7cefef9a954... Author: Marco Poletti poletti.marco@gmail.com Date: Thu Oct 13 20:52:10 2011 +0200

Linear_Expression: add a sign_normalize() method.

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=495b2c4841409... Author: Marco Poletti poletti.marco@gmail.com Date: Thu Oct 13 20:25:21 2011 +0200

Grid: avoid calling Linear_Expression::get_row(), and reuse code when possible (#3).

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=acf4bf6a7a4b1... Author: Marco Poletti poletti.marco@gmail.com Date: Thu Oct 13 20:25:03 2011 +0200

Linear_Expression: add a linear_combine() method that works on a range.

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=c55208411ada4... Author: Marco Poletti poletti.marco@gmail.com Date: Thu Oct 13 20:24:45 2011 +0200

Dense_Row: add a linear_combine() method that works on a range.

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=86fb879d4c02f... Author: Marco Poletti poletti.marco@gmail.com Date: Thu Oct 13 20:24:30 2011 +0200

Sparse_Row: add a linear_combine() method that works on a range.

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=01e537a03fb65... Author: Marco Poletti poletti.marco@gmail.com Date: Thu Oct 13 19:23:49 2011 +0200

Grid: avoid calling Linear_Expression::get_row(), and reuse code when possible (#2).

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=98b686f43b77f... Author: Marco Poletti poletti.marco@gmail.com Date: Thu Oct 13 19:10:43 2011 +0200

Grid: avoid calling Linear_Expression::get_row(), and reuse code when possible (#1).

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=369b3d305cc03... Author: Marco Poletti poletti.marco@gmail.com Date: Thu Oct 13 18:50:01 2011 +0200

Polyhedron: avoid calling Linear_Expression::get_row(), and reuse code when possible.

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=ddcdb86423442... Author: Marco Poletti poletti.marco@gmail.com Date: Thu Oct 13 18:35:17 2011 +0200

Polyhedron: simplify some code and avoid using Linear_Expression::get_row().

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=d04173451dcfb... Author: Marco Poletti poletti.marco@gmail.com Date: Thu Oct 13 18:28:57 2011 +0200

Polyhedron: simplify the code, reusing existing Linear_Expression methods and related functions.

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=9aeb94da459e6... Author: Marco Poletti poletti.marco@gmail.com Date: Thu Oct 13 18:28:04 2011 +0200

Dense_Row: optimize operator=() so that it avoids reallocation if possible.

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=30bb510b8221a... Author: Marco Poletti poletti.marco@gmail.com Date: Thu Oct 13 18:03:07 2011 +0200

PIP_Tree_Node::Artificial_Parameter: simplify the implementation of a constructor.

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=feffa550a4ef7... Author: Marco Poletti poletti.marco@gmail.com Date: Thu Oct 13 17:49:33 2011 +0200

Linear_Expression: improve the gcd() method.

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=0475200383212... Author: Marco Poletti poletti.marco@gmail.com Date: Thu Oct 13 17:27:02 2011 +0200

Polyhedron: avoid some calls to Linear_Expression::get_row().

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=5cc9b91fcda25... Author: Marco Poletti poletti.marco@gmail.com Date: Thu Oct 13 17:09:00 2011 +0200

Polyhedron: avoid some calls to Linear_Expression::get_row().

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=a8825e699cb42... Author: Marco Poletti poletti.marco@gmail.com Date: Thu Oct 13 16:53:03 2011 +0200

Linear_Expression: add a gcd() and an exact_div_assign() method.

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=ff23140bff6eb... Author: Marco Poletti poletti.marco@gmail.com Date: Thu Oct 13 16:29:04 2011 +0200

Polyhedron: avoid some calls to Linear_Expression::get_row().

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=1c31ff6d89197... Author: Marco Poletti poletti.marco@gmail.com Date: Thu Oct 13 16:28:33 2011 +0200

Linear_Expression: add a all_zeroes() method.

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=8ba21057a9b82... Author: Marco Poletti poletti.marco@gmail.com Date: Thu Oct 13 16:16:14 2011 +0200

Polyhedron: call Linear_Expression::shift_space_dimensions() when needed.

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=a67984b59251f... Author: Marco Poletti poletti.marco@gmail.com Date: Thu Oct 13 16:15:45 2011 +0200

Grid: avoid some calls to Linear_Expression::get_row().

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=367bf409f298c... Author: Marco Poletti poletti.marco@gmail.com Date: Thu Oct 13 16:15:26 2011 +0200

Linear_Expression: add a shift_space_dimensions() method.

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=ff3ae4c84e050... Author: Marco Poletti poletti.marco@gmail.com Date: Thu Oct 13 15:50:35 2011 +0200

Grid: avoid some calls to Linear_Expression::get_row().

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=bcfcab0abffe6... Author: Marco Poletti poletti.marco@gmail.com Date: Thu Oct 13 15:39:40 2011 +0200

Congruence: contain a Linear_Expression instead of a Dense_Row.

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=2220649f7e6f6... Author: Marco Poletti poletti.marco@gmail.com Date: Thu Oct 13 10:33:47 2011 +0200

Linear_Expression: add private operator[] methods and a get() method.

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=c6a7aa1f3dbd4... Author: Marco Poletti poletti.marco@gmail.com Date: Thu Oct 13 10:23:15 2011 +0200

Grid: use the sub_mul_assign() function on ranges.

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=db4cb364cdb85... Author: Marco Poletti poletti.marco@gmail.com Date: Thu Oct 13 10:22:48 2011 +0200

Grid: avoid calling Linear_Expression::get_row().

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=7f13d937d6d12... Author: Marco Poletti poletti.marco@gmail.com Date: Thu Oct 13 10:22:09 2011 +0200

Congruence: add a sub_mul_assign() function that works on a range of indexes.

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=c7f4741ec51b4... Author: Marco Poletti poletti.marco@gmail.com Date: Thu Oct 13 10:21:53 2011 +0200

Linear_Expression: add a sub_mul_assign() function that works on a range of indexes.

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=27e4c6d5639dd... Author: Marco Poletti poletti.marco@gmail.com Date: Wed Sep 21 15:44:09 2011 +0200

Constraint_System: avoid using Linear_Expression::get_row() in has_strict_inequalities().

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=ff99bba2c715a... Author: Marco Poletti poletti.marco@gmail.com Date: Wed Sep 21 15:41:31 2011 +0200

Constraint_System: avoid using Linear_Expression::get_row() in adjust_topology_and_space_dimension().

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=909564690348b... Author: Roberto Bagnara bagnara@cs.unipr.it Date: Tue Oct 11 20:22:31 2011 +0200

Minor readability improvements.

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=24649b05a7bae... Author: Roberto Bagnara bagnara@cs.unipr.it Date: Tue Oct 11 20:22:19 2011 +0200

Moved misplaced parentheses.

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=13ed500e5e8dd... Author: Roberto Bagnara bagnara@cs.unipr.it Date: Tue Oct 11 20:21:16 2011 +0200

Moved namespace alias declaration.

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=557e9ea1f7d73... Author: Enea Zaffanella zaffanella@cs.unipr.it Date: Mon Oct 10 16:03:28 2011 +0200

Reorganized the generation of Prolog interface manuals to avoid duplication.

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=35e22bca8e1be... Author: Roberto Bagnara bagnara@cs.unipr.it Date: Mon Oct 10 12:22:45 2011 +0200

Make sure we find <gmpxx.hh> when compiling instchk.hh to check for valid instantiations.

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=8f37574794416... Author: Roberto Bagnara bagnara@cs.unipr.it Date: Mon Oct 10 08:39:04 2011 +0200

Better terminology and identifiers concerning time units. (Thanks to Anthony Foiani.)

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=d003cde962c61... Author: Patricia Hill p.m.hill@leeds.ac.uk Date: Sun Oct 9 21:25:52 2011 +0100

Initialize all elements of Dimension_Kind.

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=05d2137112f49... Author: Roberto Bagnara bagnara@cs.unipr.it Date: Sun Oct 9 20:58:54 2011 +0200

Magic constants avoided. Detected by ECLAIR service nomagicc.

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=f768b3933ef89... Author: Roberto Bagnara bagnara@cs.unipr.it Date: Sun Oct 9 19:45:03 2011 +0200

Magic constants avoided. Detected by ECLAIR service nomagicc.

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=a52e104fe997e... Author: Roberto Bagnara bagnara@cs.unipr.it Date: Sun Oct 9 19:33:37 2011 +0200

Magic constants avoided. Detected by ECLAIR service nomagicc.

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=95285ecc6049e... Author: Enea Zaffanella zaffanella@cs.unipr.it Date: Fri Sep 30 13:50:14 2011 +0200

For readability, prefer infix notation for operator[].

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=b0b0a380dc380... Author: Enea Zaffanella zaffanella@cs.unipr.it Date: Fri Sep 30 12:11:57 2011 +0200

For readability, prefer infix notation for operator[].

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=a87bb62c2afee... Author: Enea Zaffanella zaffanella@cs.unipr.it Date: Thu Sep 29 18:13:01 2011 +0200

Removed a redundant explicit cast. Detected by ECLAIR service castexpr.

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=f2a153cccd6d9... Author: Enea Zaffanella zaffanella@cs.unipr.it Date: Thu Sep 29 18:07:38 2011 +0200

Removed several redundant explicit casts. Detected by ECLAIR service castexpr.

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=89e6698b40be8... Author: Roberto Bagnara bagnara@cs.unipr.it Date: Wed Sep 28 14:46:51 2011 +0200

Declare functions at file scope.

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=2d63fb4b83f94... Author: Roberto Bagnara bagnara@cs.unipr.it Date: Wed Sep 28 14:35:16 2011 +0200

Fixed several indentation mistakes.

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=4006d8772e751... Author: Roberto Bagnara bagnara@cs.unipr.it Date: Sun Aug 21 08:14:36 2011 +0200

Improved portability to Solaris. (Thanks to Dagobert Michelsen and Maciej Blizinski.)

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=af09387585258... Author: Roberto Bagnara bagnara@cs.unipr.it Date: Fri Aug 19 12:22:10 2011 +0200

Item revised.

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=b74a88168b946... Author: Abramo Bagnara abramo.bagnara@gmail.com Date: Thu Aug 11 12:49:13 2011 +0200

Prepend to old content of shared library path var, instead of overwriting.

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=a948c306a9a70... Author: Roberto Bagnara bagnara@cs.unipr.it Date: Wed Aug 10 20:42:12 2011 +0200

Quoted more double quotes.

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=633ccc979bf58... Author: Roberto Bagnara bagnara@cs.unipr.it Date: Wed Aug 10 19:35:47 2011 +0200

Quoted double quotes.

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=a28af2b43f074... Author: Roberto Bagnara bagnara@cs.unipr.it Date: Wed Aug 10 18:22:47 2011 +0200

More missing quotes added.

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=7351f86ec3968... Author: Roberto Bagnara bagnara@cs.unipr.it Date: Wed Aug 10 09:20:06 2011 +0200

Missing quotes added.

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=18376fb113e21... Author: Roberto Bagnara bagnara@cs.unipr.it Date: Wed Aug 10 09:19:45 2011 +0200

Use all the available tests.

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=95879d0d2423f... Author: Roberto Bagnara bagnara@cs.unipr.it Date: Tue Aug 2 21:55:22 2011 +0200

Silenced a few warnings.

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=aee79293c2b6b... Author: Roberto Bagnara bagnara@cs.unipr.it Date: Tue Aug 2 21:49:45 2011 +0200

RAII_Temporary_Real_Relaxation is a struct.

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=d35568b974604... Author: Roberto Bagnara bagnara@cs.unipr.it Date: Tue Aug 2 21:25:01 2011 +0200

Do not mix `int' and `dimension_type'.

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=ffb68c3d33f78... Author: Roberto Bagnara bagnara@cs.unipr.it Date: Thu Jul 28 09:53:52 2011 +0200

Make sure we have a declaration of setrlimit() before trying to use it. We still assume that a system that provides setrlimit() also provides getrlimit(), the converse being false for, e.g., Minix. (Thanks to Thomas Cort.)

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=a7cfa455ece8d... Author: Roberto Bagnara bagnara@cs.unipr.it Date: Sun Jul 24 17:24:24 2011 +0200

Added environment variable export.

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=5436da20afde0... Author: Roberto Bagnara bagnara@cs.unipr.it Date: Sun Jul 24 17:12:53 2011 +0200

Make sure the run-time tests for GMP can find GMP's shared libraries.

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=dd51d715bd632... Author: Roberto Bagnara bagnara@cs.unipr.it Date: Sat Jul 23 14:12:41 2011 +0200

Fixed uses of PPL_HAVE_DECL_GETRUSAGE. (Thanks to Thomas Cort.)

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=1f0282c0cb86a... Author: Roberto Bagnara bagnara@cs.unipr.it Date: Sat Jul 23 12:36:26 2011 +0200

New configure options `--with-gmp=DIR', `--with-gmp-include=DIR' and `--with-gmp-lib=DIR'. These supersede the (now removed) option `--with-gmp-prefix'. (The old option never really worked; hopefully this is the last change in this area.)

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=7cb6f2087a64f... Author: Roberto Bagnara bagnara@cs.unipr.it Date: Wed Jul 20 19:19:17 2011 +0200

Updated.

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=30a81801ecdba... Author: Enea Zaffanella zaffanella@cs.unipr.it Date: Mon Jul 11 16:12:30 2011 +0200

Avoid annoying warnings caused by internal OCaml C code.

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=8e3ada8b85837... Author: Abramo Bagnara abramo.bagnara@gmail.com Date: Mon Jul 11 14:07:46 2011 +0200

Simplified PPL_DIRTY_TEMP.

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=d0e687c142a12... Author: Enea Zaffanella zaffanella@cs.unipr.it Date: Sat Jul 9 18:32:45 2011 +0200

Silenced a couple of gcc warnings.

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=e3567430ae444... Author: Abramo Bagnara abramo.bagnara@gmail.com Date: Sun Jun 12 18:31:27 2011 +0200

Added missing quotes.

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=daba0d9b281e8... Author: Roberto Bagnara bagnara@cs.unipr.it Date: Sun Jun 12 10:53:36 2011 +0200

New configuration option `--disable-documentation'.

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=700beeb4d08cd... Author: Roberto Bagnara bagnara@cs.unipr.it Date: Sun Jun 12 09:13:28 2011 +0200

Make sure the PDF documentation is fully built before extracting the PostScript documentation.

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=caaab3ac864be... Author: Abramo Bagnara abramo.bagnara@gmail.com Date: Mon Jun 6 19:01:20 2011 +0200

Silenced gcc warnings.

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=9248b10e00497... Author: Abramo Bagnara abramo.bagnara@gmail.com Date: Mon Jun 6 18:55:31 2011 +0200

Silenced gcc warnings.

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=8b6502299d82b... Author: Abramo Bagnara abramo.bagnara@gmail.com Date: Mon Jun 6 18:32:03 2011 +0200

Silenced gcc warning.

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=699a1fe6e0828... Author: Abramo Bagnara abramo.bagnara@gmail.com Date: Mon Jun 6 18:23:54 2011 +0200

Removed another unused variable.

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=248939b515763... Author: Abramo Bagnara abramo.bagnara@gmail.com Date: Mon Jun 6 18:15:27 2011 +0200

Avoid another warning.

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=fb5d23c2e4159... Author: Abramo Bagnara abramo.bagnara@gmail.com Date: Mon Jun 6 18:09:43 2011 +0200

Avoid another warning.

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=15650222d5358... Author: Abramo Bagnara abramo.bagnara@gmail.com Date: Mon Jun 6 16:34:59 2011 +0200

Fixed some warnings.

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=25bb775879447... Author: Roberto Bagnara bagnara@cs.unipr.it Date: Wed May 18 09:35:36 2011 +0200

Moved misplaced conditional.

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=d118d742791b6... Author: Roberto Bagnara bagnara@cs.unipr.it Date: Wed May 18 09:24:37 2011 +0200

Do use $(interface_generator_files) when defined.

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=ca8d1bde6507d... Author: Fabio Bossi bossi@cs.unipr.it Date: Mon May 9 18:47:30 2011 +0200

Improved the documentation and removed an useless function.

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=50dc24772dc14... Merge: 3616d591577d423267e19a127d48c0027b635b1d 9374a9a1b64cc335b23b59a67271a2c93d865245 Author: Fabio Bossi bossi@cs.unipr.it Date: Fri May 6 11:54:48 2011 +0200

Merge branch 'floating_point'

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=9374a9a1b64cc... Author: Fabio Bossi bossi@cs.unipr.it Date: Fri May 6 11:53:53 2011 +0200

Added a Doxygen reference.

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=36d6a4538f0c0... Author: Fabio Bossi bossi@cs.unipr.it Date: Thu May 5 19:00:15 2011 +0200

Fixed an invalid Doxygen reference.

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=3616d591577d4... Merge: 2e71dea17ca82986fa7168af9e7ab5dafedeb215 e1cf43ab6cd604855a4b94256a20979e28192980 Author: Roberto Bagnara bagnara@cs.unipr.it Date: Wed May 4 14:47:10 2011 +0200

Merge branch 'floating_point'

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=e1cf43ab6cd60... Author: Roberto Bagnara bagnara@cs.unipr.it Date: Wed May 4 14:37:21 2011 +0200

Version number bumped.

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=2e71dea17ca82... Author: Patricia Hill p.m.hill@leeds.ac.uk Date: Wed May 4 12:26:14 2011 +0100

Fixed some bugs in the documentation for the MIP and PIP problems.

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=1df9213c90ec7... Merge: 67f09abe8574bd20b74635d3e4830949ed5cec4e 5a5759bafd7558a88a8cd8613940fcff247ea407 Author: Roberto Bagnara bagnara@cs.unipr.it Date: Tue May 3 17:10:02 2011 +0200

Merge branch 'master' into floating_point

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=5a5759bafd755... Author: Patricia Hill p.m.hill@leeds.ac.uk Date: Tue May 3 13:36:52 2011 +0100

Corrected documentation.

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=67f09abe8574b... Merge: d595301786bc6be8f57cb37dfa31c2741b9be137 12f97bbef1ad3223c630d10474851eb5d67611db Author: Roberto Bagnara bagnara@cs.unipr.it Date: Tue May 3 13:13:55 2011 +0200

Merge branch 'master' into floating_point

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=12f97bbef1ad3... Author: Roberto Bagnara bagnara@cs.unipr.it Date: Tue Mar 15 12:06:59 2011 +0100

For increased portability, use zero-length arrays (when available), not flexible arrays.

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=121539b86e288... Author: Roberto Bagnara bagnara@cs.unipr.it Date: Wed Feb 23 13:25:28 2011 +0100

Two items added.

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=9c8f5935d3a6c... Author: Roberto Bagnara bagnara@cs.unipr.it Date: Wed Feb 23 13:23:28 2011 +0100

When cross-compiling, assume that GMP has been compiled with support for propagating exceptions.

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=26c113f59e20e... Author: Roberto Bagnara bagnara@cs.unipr.it Date: Wed Feb 23 13:21:12 2011 +0100

Work around a bug showing up under mingw-w64.

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=b537ac3b2872c... Author: Enea Zaffanella zaffanella@cs.unipr.it Date: Wed Feb 23 21:01:24 2011 +0100

Avoid (again) using the same macro name for different purposes. Doing it confuses both the reader and Doxygen.

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=676839fa3c6c2... Author: Enea Zaffanella zaffanella@cs.unipr.it Date: Wed Feb 23 19:26:18 2011 +0100

Get rid of LaTeX warnings related to package fancyhdr.

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=981f391c6dd52... Author: Enea Zaffanella zaffanella@cs.unipr.it Date: Wed Feb 23 18:32:51 2011 +0100

Avoid duplicate PDF labels in the configured C interface manuals.

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=16fc9b1bbb2a7... Author: Enea Zaffanella zaffanella@cs.unipr.it Date: Wed Feb 23 16:59:33 2011 +0100

Fixed a duplicate hypertarget error in the generated PDF documentation.

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=e85e862edc6b5... Author: Enea Zaffanella zaffanella@cs.unipr.it Date: Wed Feb 23 14:10:31 2011 +0100

Avoid using the same macro name for different purposes. Doing it confuses both the reader and Doxygen.

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=f2f745cdb383e... Author: Enea Zaffanella zaffanella@cs.unipr.it Date: Wed Feb 23 10:19:21 2011 +0100

Set INLINE_SOURCES = NO when producing LaTeX documentation.

This change is a workaround to a pdftex + hyperref issue that may result in the following error \pdfendlink ended up in different nesting level than \pdfstartlink when using some versions of Doxygen (e.g., 1.7.3).

According to http://tug.org/errors.html the error is triggered when a hyperlink is split across page boundaries and it can be generated even by valid LaTeX code. Disabling source inlining is a way to greatly decrease its likelihood.

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=95893a2b2a7e4... Author: Enea Zaffanella zaffanella@cs.unipr.it Date: Tue Feb 22 17:07:35 2011 +0100

Fixed a couple of Doxygen related problems.

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=225b29f1ab3b8... Author: Roberto Bagnara bagnara@cs.unipr.it Date: Tue Feb 22 10:13:29 2011 +0100

Updated.

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=3c526a80d5c06... Author: Roberto Bagnara bagnara@cs.unipr.it Date: Tue Feb 22 09:51:45 2011 +0100

No longer overwrite the SIGILL handler.

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=d6c9105aa28e8... Author: Roberto Bagnara bagnara@cs.unipr.it Date: Mon Feb 21 12:19:22 2011 +0100

Never use `\c'; use <CODE></CODE> instead (yes, uppercase).

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=07f8c154d6e0b... Author: Roberto Bagnara bagnara@cs.unipr.it Date: Mon Feb 21 09:56:13 2011 +0100

The `--disable-fpmath' configure option now disables all floating point computations.

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=d595301786bc6... Merge: 2ecc4a9389baf2d0ff5b637ba67dd29ab967b6b5 086927949fd92366d26e8b3fc8c93b63cc661b11 Author: Roberto Bagnara bagnara@cs.unipr.it Date: Sun Feb 20 14:59:43 2011 +0100

Merge branch 'master' into floating_point

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=086927949fd92... Author: Roberto Bagnara bagnara@cs.unipr.it Date: Sun Feb 20 08:57:04 2011 +0100

All known bugs have been fixed for PPL 0.11.1.

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=a989820a1590c... Author: Roberto Bagnara bagnara@cs.unipr.it Date: Sat Feb 19 17:49:07 2011 +0100

Updated to minimize risks when the time of releasing PPL 0.12 will come.

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=f53ed666287c5... Author: Roberto Bagnara bagnara@cs.unipr.it Date: Sat Feb 19 17:17:49 2011 +0100

Updated the entry for Marco Poletti.

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=2ecc4a9389baf... Merge: b9c75c0855011b07b8d014c510403a3e34cf0a91 73cfc6e2390366f132e6967d225c4d5ec317bb46 Author: Roberto Bagnara bagnara@cs.unipr.it Date: Tue Feb 15 19:04:49 2011 +0100

Merge branch 'master' into floating_point

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=b9c75c0855011... Merge: 430352775db7751e904089268357d9462b7e5646 32c3efb0d9a72bf3b3c9a6f3efaa89dff1b204ac Author: Roberto Bagnara bagnara@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=430352775db77... Author: Roberto Bagnara bagnara@cs.unipr.it Date: Mon Jan 24 21:04:46 2011 +0100

Copyright notices updated.

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=4030e0897839c... Author: Roberto Bagnara bagnara@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=2941cea03d8a1... Merge: dc027679371676490ea74a3356c5c5aa6e9b735f 0fd2de73dd626465d1c77d925eb63e2adb639648 Author: Roberto Bagnara bagnara@cs.unipr.it Date: Thu Jan 13 08:37:26 2011 +0100

Merge branch 'master' into floating_point

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=dc02767937167... Author: Fabio Bossi bossi@cs.unipr.it Date: Thu Dec 2 13:33:58 2010 +0100

Fixed a problem involving a missing iostream inclusion.

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=31db7495cb05e... Author: Fabio Bossi bossi@cs.unipr.it Date: Thu Dec 2 12:18:22 2010 +0100

Added a proposed implementation for ascii_dump() and ascii_load().

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=bc3470cb464da... Author: Fabio Bossi bossi@cs.unipr.it Date: Tue Nov 30 16:02:05 2010 +0100

Replaced Integer_Interval_Type with Integer_Interval in tests.

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=a2cddb4672ba7... Author: Fabio Bossi bossi@cs.unipr.it Date: Tue Nov 30 15:39:19 2010 +0100

Fixed a few cut-and-paste errors in the documentation.

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=fbfb2232f9296... Author: Fabio Bossi bossi@cs.unipr.it Date: Tue Nov 30 15:29:01 2010 +0100

Renamed Integer_Interval_Type into Integer_Interval and moved it to Integer_Interval.hh.

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=ccd1b4957f96c... Author: Fabio Bossi bossi@cs.unipr.it Date: Thu Nov 18 19:32:59 2010 +0100

Use ldexp instead of ldexpl for portability reasons.

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=b54b6858aa0f2... Author: Roberto Bagnara bagnara@cs.unipr.it Date: Tue Nov 16 18:41:21 2010 +0100

Inclusions of <cmath> fixed.

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=d711641e727be... Merge: 6ba7085042a9983395f1b15daa1bf88b68a48eff 5eb5954e1de39e24dd82ad553a8a06334f8ed607 Author: Roberto Bagnara bagnara@cs.unipr.it Date: Sun Nov 7 14:50:31 2010 +0100

Merge branch 'master' into floating_point

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=6ba7085042a99... Author: Fabio Bossi bossi@cs.unipr.it Date: Sat Oct 23 14:48:50 2010 +0200

Added missing asserts.

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=a8c98f2282f91... Author: Roberto Bagnara bagnara@cs.unipr.it Date: Thu Oct 21 19:49:23 2010 +0200

Properly quote the assignment MAKE=$(MAKE). (Thanks to Volker Braun.)

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=78e6e881955e7... Author: Fabio Bossi bossi@cs.unipr.it Date: Tue Oct 19 11:39:45 2010 +0200

Reflect latest changes to affine_image into affine_form_image.

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=b250e9ec20fb7... Merge: 951fdb8a9ff89a2ae59fcc1f726a2d4b05af445a 5c95fc0eab6a38442751ed16c6cfa9d538917f3f Author: Enea Zaffanella zaffanella@cs.unipr.it Date: Tue Oct 19 08:37:09 2010 +0200

Merge branch 'master' into floating_point

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=951fdb8a9ff89... Author: Fabio Bossi bossi@cs.unipr.it Date: Mon Oct 18 16:53:27 2010 +0200

Fixed a bug.

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=e6885ff581361... Merge: 3f052c1b8df2482f0adeb0c4627c7ede4876bc26 ff5b0796773b34ef9d1e26d2a40b4fdb8376dc8f Author: Roberto Bagnara bagnara@cs.unipr.it Date: Sat Oct 16 09:16:23 2010 +0200

Merge branch 'master' into floating_point

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=3f052c1b8df24... Author: Fabio Bossi bossi@cs.unipr.it Date: Tue Oct 5 19:00:03 2010 +0200

Added two FIXME notes.

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=8c02f7d8aa832... Author: Fabio Bossi bossi@cs.unipr.it Date: Tue Oct 5 15:34:20 2010 +0200

Never add a rounding error when casting 1.

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=500981d998d62... Author: Fabio Bossi bossi@cs.unipr.it Date: Tue Oct 5 10:51:03 2010 +0200

Never add a rounding error when casting the 0 value.

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=8d8b45e65ab5c... Author: Fabio Bossi bossi@cs.unipr.it Date: Wed Sep 29 19:10:03 2010 +0200

Always use marked_empty() instead of is_empty() after a closure.

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=7d65c1696bed1... Author: Fabio Bossi bossi@cs.unipr.it Date: Wed Sep 29 18:20:41 2010 +0200

Added generalized_refine_with_linear_form_inequality.

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=b39ec7c81e536... Author: Fabio Bossi bossi@cs.unipr.it Date: Wed Sep 29 14:27:43 2010 +0200

Added missing emptiness checks.

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=2407bd5aa0828... Author: Fabio Bossi bossi@cs.unipr.it Date: Wed Sep 29 14:00:23 2010 +0200

Implemented export_interval_constraints.

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=8afb9a4479af8... Merge: ecf177259b8f165627fcdbe7dfb55dc044bdc30b 0bb0a14d690bda10c0893e11b6019128b3c4908e Author: Roberto Bagnara bagnara@cs.unipr.it Date: Sun Sep 26 08:41:55 2010 +0200

Merge branch 'master' into floating_point

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=ecf177259b8f1... Author: Fabio Bossi bossi@cs.unipr.it Date: Thu Sep 23 17:05:34 2010 +0200

Temporarily pass a raw value instead of a checked number for simplicity.

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=17f7473e9cbe0... Author: Fabio Bossi bossi@cs.unipr.it Date: Thu Sep 23 15:46:00 2010 +0200

Use is_empty instead of marked_empty for maximum safety.

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=7bd3f0121f603... Author: Fabio Bossi bossi@cs.unipr.it Date: Thu Sep 23 12:24:39 2010 +0200

Added method export_interval_constraints.

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=954d985eb0387... Merge: a6202d3f6416fd1ca3d1cd40cb25f5418c1354cd d8484a4794afafb978c01c718ea784465d835171 Author: Roberto Bagnara bagnara@cs.unipr.it Date: Tue Sep 21 09:35:49 2010 +0200

Merge branch 'master' into floating_point

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=a6202d3f6416f... Merge: ebcd55e82f73703737752a66ca25891ece02661a d91c33b33dbc8b59332d279550366ed55ae9ae38 Author: Roberto Bagnara bagnara@cs.unipr.it Date: Fri Sep 17 08:39:48 2010 +0200

Merge branch 'master' into floating_point

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=ebcd55e82f737... Author: Fabio Bossi bossi@cs.unipr.it Date: Mon Sep 13 17:42:12 2010 +0200

Adapted tests on digital filters to latest changes.

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=219f235033052... Author: Fabio Bossi bossi@cs.unipr.it Date: Mon Sep 13 14:08:29 2010 +0200

Do not fail automatically when linearizing approximable references having more than one associated dimension.

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=33dfccc8af8e5... Author: Fabio Bossi bossi@cs.unipr.it Date: Mon Sep 13 10:44:17 2010 +0200

Use an oracle to obtain information from an external analyzer in the linearization function.

Temporarily disabled test digitalfilters.

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=4e420b1e2114d... Merge: cd5191f18812ded12343b4fa936641d04761ffed 3e2fe287b4efd3b58127951793cc00ffe0ca21c0 Author: Roberto Bagnara bagnara@cs.unipr.it Date: Wed Sep 8 07:18:34 2010 +0200

Merge branch 'master' into floating_point

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=cd5191f18812d... Merge: 3c68d508caa260d4dc59b5f6922fe6a0079d6eef 359b3a83e66edcfffb77c714e921fdfc217dee0b Author: Roberto Bagnara bagnara@cs.unipr.it Date: Tue Sep 7 17:56:38 2010 +0200

Merge branch 'master' into floating_point

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=3c68d508caa26... Author: Fabio Bossi bossi@cs.unipr.it Date: Tue Sep 7 17:51:07 2010 +0200

Fixed tests.

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=1cdb7511579ea... Merge: 06f21542441cd7463819d7762ea6d5033c1c0bff 384f089de7b9464efddf008a02d773af6ae213ea Author: Roberto Bagnara bagnara@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=06f21542441cd... Merge: c9b9ee534d533869f1c5951c9909b04eeb60325b 4bc6dff62fbd10cfa5a195b2da9fc9e2bf27e341 Author: Roberto Bagnara bagnara@cs.unipr.it Date: Fri Sep 3 15:36:54 2010 +0200

Merge branch 'master' into floating_point

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=c9b9ee534d533... Merge: 22520a5a072e6b1641b6a94585eb20c6b1cec2e8 533049e561beb446baf4036b42cc486ce6ab91a3 Author: Roberto Bagnara bagnara@cs.unipr.it Date: Fri Sep 3 15:36:02 2010 +0200

Merge branch 'master' into floating_point

Conflicts: configure.ac src/Grid.defs.hh src/Makefile.am tests/Makefile.am

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=22520a5a072e6... Author: Fabio Bossi bossi@cs.unipr.it Date: Fri Sep 3 11:03:16 2010 +0200

Do not use linear form abstract stores along with relational domains.

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=3eac74ffc2b92... Author: Fabio Bossi bossi@cs.unipr.it Date: Thu Aug 5 11:32:27 2010 +0200

Small style improvement in the use of iterators.

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=f6167277a1078... Author: Fabio Bossi bossi@cs.unipr.it Date: Tue Aug 3 11:09:28 2010 +0200

Do not use log2 to compute the base 2 logarithm of an integer.

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=17105335ca184... Author: Fabio Bossi bossi@cs.unipr.it Date: Sat Jul 31 16:08:03 2010 +0200

Rewritten test06 and test07.

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=41ec2a4972b26... Author: Fabio Bossi bossi@cs.unipr.it Date: Sat Jul 31 15:39:01 2010 +0200

Do not perform interval analysis on an assignment before linearization.

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=1c9679165d7d9... Author: Fabio Bossi bossi@cs.unipr.it Date: Sat Jul 31 12:53:20 2010 +0200

Float: Added a few functions that operate on linear form abstract stores.

linearize.cc: test05 now consistently utilizes linear form abstract stores.

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=3b3495a155633... Author: Fabio Bossi bossi@cs.unipr.it Date: Fri Jul 30 19:21:33 2010 +0200

Rewritten test05 (still lacks proper use of the linear form abstract store).

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=e85af354adc15... Author: Fabio Bossi bossi@cs.unipr.it Date: Fri Jul 30 17:54:02 2010 +0200

Started rewriting tests on digital filters.

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=8cfeaf81d2f50... Author: Fabio Bossi bossi@cs.unipr.it Date: Fri Jul 30 17:04:16 2010 +0200

Do not add errors after rounding to a less precise format.

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=a69cc00cdd67f... Author: Fabio Bossi bossi@cs.unipr.it Date: Fri Jul 30 16:04:19 2010 +0200

Avoid adding errors when casting to a more precise floating point format.

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=fcb542b0c0c0b... Author: Fabio Bossi bossi@cs.unipr.it Date: Fri Jul 30 10:49:47 2010 +0200

Removed a test file.

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=e7b16c31a4cbd... Author: Fabio Bossi bossi@cs.unipr.it Date: Thu Jul 29 16:48:03 2010 +0200

Added linearization of cast expressions along with a simple test.

Consistently use typedefs.

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=253cc5c292438... Author: Fabio Bossi bossi@cs.unipr.it Date: Thu Jul 29 15:34:08 2010 +0200

Corrected the policy values. Make check now works again.

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=3e682219b5f19... Merge: 986fb317391e4e937a918d53a955594f2abe84c6 ab1d650d0dcb0d122abf3d965c16ebdf94ac3325 Author: Roberto Bagnara bagnara@cs.unipr.it Date: Thu Jul 29 14:15:40 2010 +0200

Merge branch 'master' into floating_point

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=986fb317391e4... Author: Fabio Bossi bossi@cs.unipr.it Date: Wed Jul 28 19:03:22 2010 +0200

Added method get_integer_interval() (make check not working yet).

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=5a827fc7a229e... Author: Fabio Bossi bossi@cs.unipr.it Date: Wed Jul 28 11:51:32 2010 +0200

Avoid dangerous casts when computing errors.

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=f396b2fa43531... Author: Fabio Bossi bossi@cs.unipr.it Date: Wed Jul 28 10:39:33 2010 +0200

Constructors now take a Concrete_Expression_Type.

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=60479359fdb9e... Author: Fabio Bossi bossi@cs.unipr.it Date: Wed Jul 28 09:56:28 2010 +0200

Fixed a bug in is(). Make check now works again.

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=ba58fa9f47cfe... Author: Fabio Bossi bossi@cs.unipr.it Date: Wed Jul 28 09:47:52 2010 +0200

Commented and moved methods is() and as(). Make check not working due to bad implementation of is().

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=743a6e4703921... Author: Abramo Bagnara abramo.bagnara@gmail.com Date: Wed Jul 28 00:47:30 2010 +0200

Added is and as methods.

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=1957eb995c4d4... Author: Fabio Bossi bossi@cs.unipr.it Date: Tue Jul 27 18:13:15 2010 +0200

Added a few tests.

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=ee0a91950dcdc... Author: Fabio Bossi bossi@cs.unipr.it Date: Tue Jul 27 16:19:45 2010 +0200

Fixed a typo.

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=5bdcb742713de... Author: Fabio Bossi bossi@cs.unipr.it Date: Tue Jul 27 16:18:55 2010 +0200

Added two FIXME notes.

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=c20b83014b3cf... Author: Fabio Bossi bossi@cs.unipr.it Date: Tue Jul 27 16:13:24 2010 +0200

Added two simple tests.

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=bd7beafc7d3db... Author: Fabio Bossi bossi@cs.unipr.it Date: Tue Jul 27 15:08:52 2010 +0200

Fixed several mistakes in linearize and started to test it.

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=873f2240682cc... Author: Abramo Bagnara abramo.bagnara@gmail.com Date: Tue Jul 27 14:13:03 2010 +0200

Fixed typos.

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=90eaae7fe8a19... Author: Abramo Bagnara abramo.bagnara@gmail.com Date: Tue Jul 27 14:07:38 2010 +0200

Improved inheritance relations.

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=0701ca66ee0a9... Author: Fabio Bossi bossi@cs.unipr.it Date: Tue Jul 27 13:59:48 2010 +0200

Added test file for the new linearization algorithm.

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=0ec45a70db9cc... Author: Fabio Bossi bossi@cs.unipr.it Date: Tue Jul 27 12:53:04 2010 +0200

Various changes.

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=f25bf13fcea8e... Author: Fabio Bossi bossi@cs.unipr.it Date: Tue Jul 27 12:15:00 2010 +0200

Fixed a few mistakes.

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=e245a2b77ec1a... Author: Fabio Bossi bossi@cs.unipr.it Date: Tue Jul 27 10:30:51 2010 +0200

Use values of enum Floating_Point_Format for ANALYZED_FP_FORMAT.

C_Expr: - Added method type().

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=e9ad67116f5f2... Author: Fabio Bossi bossi@cs.unipr.it Date: Mon Jul 26 17:45:17 2010 +0200

Concrete_Expression: - Added two methods.

C_Expr: - Some progress in the implementation.

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=59094c0cc8c5b... Author: Fabio Bossi bossi@cs.unipr.it Date: Mon Jul 26 15:51:39 2010 +0200

Fixed bad spacing.

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=77104a92691b2... Author: Fabio Bossi bossi@cs.unipr.it Date: Mon Jul 26 15:45:20 2010 +0200

linearize.hh: - Fixed mistake when accessing type informations.

C_Expr: - Small progress in the implementation.

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=feb014edf63cb... Author: Fabio Bossi bossi@cs.unipr.it Date: Mon Jul 26 15:26:45 2010 +0200

Added method associated_dimension.

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=e34112b360cf6... Author: Fabio Bossi bossi@cs.unipr.it Date: Mon Jul 26 15:22:50 2010 +0200

Concrete_Expression: - Added method associated_dimension().

C_Expr: - Small progress in the implementation.

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=cf0f3e91a7d00... Author: Fabio Bossi bossi@cs.unipr.it Date: Mon Jul 26 14:22:00 2010 +0200

Removed an assertion.

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=e23a7833eadda... Author: Fabio Bossi bossi@cs.unipr.it Date: Mon Jul 26 14:04:19 2010 +0200

Added some documentation.

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=d1180bb65f43f... Author: Roberto Bagnara bagnara@cs.unipr.it Date: Mon Jul 26 13:49:58 2010 +0200

Consistently use the typedefs.

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=7d4c2d096dd5b... Author: Fabio Bossi bossi@cs.unipr.it Date: Mon Jul 26 11:47:56 2010 +0200

Adapted to latest changes in Concrete_Expression's interface.

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=82938f2c47098... Author: Fabio Bossi bossi@cs.unipr.it Date: Mon Jul 26 11:24:18 2010 +0200

Makefile.am: - Added linearize.hh to the list of compilation units.

linearize.hh: - Fixed a few small mistakes. - Temporarily throw an exception on non-floating point expressions. - Added the variable reference case.

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=c28d3f92ad09e... Author: Roberto Bagnara bagnara@cs.unipr.it Date: Sun Jul 25 18:46:58 2010 +0200

Started rewriting the incarnation of concrete expression to be used in PPL tests.

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=f6b9896513010... Author: Fabio Bossi bossi@cs.unipr.it Date: Sat Jul 24 18:45:38 2010 +0200

Added some documentation.

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=74620fd8c5d3c... Author: Fabio Bossi bossi@cs.unipr.it Date: Sat Jul 24 17:44:00 2010 +0200

Fixed operator names.

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=f4d7685383105... Author: Fabio Bossi bossi@cs.unipr.it Date: Sat Jul 24 16:37:28 2010 +0200

Small improvement in bnot_linearize.

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=eee4fc2395d61... Author: Fabio Bossi bossi@cs.unipr.it Date: Sat Jul 24 16:09:40 2010 +0200

Some progress with the linearization algorithm.

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=1c4c91c248d74... Author: Fabio Bossi bossi@cs.unipr.it Date: Sat Jul 24 12:39:51 2010 +0200

Added a skeleton for the new linearization function.

Also added an idea for the linearization of the unary negation expression.

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=2af7d3f9cb528... Author: Fabio Bossi bossi@cs.unipr.it Date: Fri Jul 23 13:50:13 2010 +0200

Added a few trivial tests.

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=9c9c1ff2fef76... Author: Fabio Bossi bossi@cs.unipr.it Date: Fri Jul 23 11:30:13 2010 +0200

Added missing inline specifier. Make check now works.

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=0db84c97d57aa... Author: Fabio Bossi bossi@cs.unipr.it Date: Fri Jul 23 11:15:56 2010 +0200

Avoid a cyclic dependency problem (make check still doesn't work).

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=608cd868519a4... Author: Fabio Bossi bossi@cs.unipr.it Date: Thu Jul 22 15:31:36 2010 +0200

Restored inclusion of Polyhedron.defs.hh to allow compilation of Grid_public.cc.

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=1e5b8d1485762... Author: Fabio Bossi bossi@cs.unipr.it Date: Thu Jul 22 12:18:02 2010 +0200

Added a FIXME note.

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=36c398be7c325... Author: Fabio Bossi bossi@cs.unipr.it Date: Thu Jul 22 11:52:09 2010 +0200

Fixed a typo.

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=598a0f5c035c8... Author: Fabio Bossi bossi@cs.unipr.it Date: Thu Jul 22 11:30:13 2010 +0200

Removed two probable unnecessary inclusions.

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=cc3822c311bf9... Author: Fabio Bossi bossi@cs.unipr.it Date: Thu Jul 22 10:29:16 2010 +0200

Fixed a typo in the inclusion guard.

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=0decead53d0c8... Author: Fabio Bossi bossi@cs.unipr.it Date: Wed Jul 21 17:18:30 2010 +0200

Removed class absolute_error. Cache results locally in compute_absolute_error instead.

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=d7bfff5fe6a73... Author: Fabio Bossi bossi@cs.unipr.it Date: Wed Jul 21 15:48:54 2010 +0200

Correctly handle unexpected formats.

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=5f7ad90bdec26... Author: Fabio Bossi bossi@cs.unipr.it Date: Wed Jul 21 15:28:22 2010 +0200

Made class absolute_error a struct.

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=4c1245f7e89c2... Author: Fabio Bossi bossi@cs.unipr.it Date: Wed Jul 21 15:18:30 2010 +0200

Implemented Linear_Form::intervalize (still not compiling, probably due to some sort of cyclic dependency problem between Grid and Box).

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=62fcf8c0d4beb... Author: Fabio Bossi bossi@cs.unipr.it Date: Wed Jul 21 14:35:04 2010 +0200

Fixed iostream inclusion.

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=df4645ba455fa... Author: Fabio Bossi bossi@cs.unipr.it Date: Wed Jul 21 14:31:34 2010 +0200

Fixed error in the use of NDEBUG.

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=c85b888fd3f40... Author: Fabio Bossi bossi@cs.unipr.it Date: Wed Jul 21 13:35:29 2010 +0200

Implemented Linear_Form::overflows and Linear_Form::relative_error.

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=152569b0c53bb... Author: Fabio Bossi bossi@cs.unipr.it Date: Wed Jul 21 12:36:33 2010 +0200

Do not const-qualify by-copy parameters in declarations.

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=7421b099f14c2... Author: Fabio Bossi bossi@cs.unipr.it Date: Wed Jul 21 12:01:17 2010 +0200

Added class absolute_error.

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=95846dca5e7fe... Author: Fabio Bossi bossi@cs.unipr.it Date: Wed Jul 21 10:54:28 2010 +0200

Implemented compute_absolute_error.

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=14cd19f366e8c... Author: Fabio Bossi bossi@cs.unipr.it Date: Wed Jul 21 10:52:39 2010 +0200

Fixed Concrete_Expression.cc so that it compiles with NDEBUG activated.

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=a7342b17d584a... Author: Roberto Bagnara bagnara@cs.unipr.it Date: Sat Jul 17 18:31:37 2010 +0200

Added the class Concrete_Expression_Type.

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=2878e40c4194a... Author: Abramo Bagnara abramo.bagnara@gmail.com Date: Sun Jul 4 18:13:18 2010 +0200

Changed operator names.

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=df824f255b127... Author: Roberto Bagnara bagnara@cs.unipr.it Date: Sun Jul 4 16:56:01 2010 +0200

Some progress in the definition of the classes.

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=0e4329676d8e4... Author: Roberto Bagnara bagnara@cs.unipr.it Date: Sun Jul 4 14:11:14 2010 +0200

Started drafting the classes to be used withing the PPL for testing purposes.

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=71f19792e6036... Author: Roberto Bagnara bagnara@cs.unipr.it Date: Sun Jul 4 10:51:27 2010 +0200

Started working on the new scheme for the representation of concrete expressions.

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=82b6eee4e36ff... Merge: dc4a6a3651215889f2324fa073a85605ebe870b0 75de3adbd70ca2f2d42112a53e719c27cbea4731 Author: Roberto Bagnara bagnara@cs.unipr.it Date: Sat Jul 3 12:32:28 2010 +0200

Merge branch 'master' into floating_point

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=dc4a6a3651215... Author: Abramo Bagnara abramo.bagnara@gmail.com Date: Tue Jun 15 23:25:49 2010 +0200

Revert "Put aside changes related to Floating_Point and Linear_Form classes."

This reverts commit 7e35772519cb39fdc042fbb6f68966280b5a1cf5.