[PPL-devel] [GIT] ppl/ppl(sparse_matrices): New commits
Roberto Bagnara
bagnara at cs.unipr.it
Sun Dec 4 11:10:13 CET 2011
URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=323a3353013afe86c962ff6183f3130c6e9ec7ab
Author: Marco Poletti <poletti.marco at 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=f5d91bcc2d84128fab36312513c0ef6495e89bee
Merge: 3915e7ab59aabfdc400aa197259a94c40fbfd481 56c58b4737acece415c0ea4b4bc42bbfa8339028
Author: Marco Poletti <poletti.marco at 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=3915e7ab59aabfdc400aa197259a94c40fbfd481
Merge: 511aa5636c1f36672c7e751600a124042296ed8d 0ae35bbbc1e8f4d1a38ced7fe7190be9a29e4fb6
Author: Marco Poletti <poletti.marco at 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=511aa5636c1f36672c7e751600a124042296ed8d
Merge: 81ac726bb6321ea46d35c10e9fbf338798ccf9e7 dbedf8514da0b58c7c5ff8c37356a9ffc8d1f835
Author: Marco Poletti <poletti.marco at 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=81ac726bb6321ea46d35c10e9fbf338798ccf9e7
Merge: dc35fb6a0f89056391b1f9c792c84c0277185773 a9a6632bfcc7a546a2a7edcb636e47f60e4839b4
Author: Marco Poletti <poletti.marco at 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=dc35fb6a0f89056391b1f9c792c84c0277185773
Merge: 129623ea0547877a78287683486002c823860c5a 5d31265f3e17b7e1d0d03d0009a1906b2d03165c
Author: Marco Poletti <poletti.marco at 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=129623ea0547877a78287683486002c823860c5a
Merge: 59ea76084d9ee2cc8271bad69a94cc1ee92f2ebe 39c1356315950be2201142fba21cf0f861e234c1
Author: Marco Poletti <poletti.marco at 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=59ea76084d9ee2cc8271bad69a94cc1ee92f2ebe
Author: Marco Poletti <poletti.marco at 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=3d49034e7c02227abd692369759658e88ca4e7b5
Author: Marco Poletti <poletti.marco at 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=56c58b4737acece415c0ea4b4bc42bbfa8339028
Author: Enea Zaffanella <zaffanella at 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=45ab694303e94f0e352217f020db4cb01314615a
Merge: a037e2633720b8d10903494901baaaeee758f47d 0442fb1660eb2a57e4412b44505a3a28a8d826f0
Author: Marco Poletti <poletti.marco at 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=a037e2633720b8d10903494901baaaeee758f47d
Merge: 5a7778b90aa97bbf16978563f1646571ac6ffbe6 97f3e98708cbb53eabf0fb0c30f38e50eb549369
Author: Marco Poletti <poletti.marco at 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=5a7778b90aa97bbf16978563f1646571ac6ffbe6
Merge: d1668f40313837863097ad46908ae42428468e80 367a91ec09da66585614d6829dbb089066d57c77
Author: Marco Poletti <poletti.marco at 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=d1668f40313837863097ad46908ae42428468e80
Merge: 0798bb988b4ad3fcab2d14573d940f5cbad2690d a6e777561ba56e830bd44128adc8038609c8cb23
Author: Marco Poletti <poletti.marco at 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=0798bb988b4ad3fcab2d14573d940f5cbad2690d
Merge: f58219b86f8834e0fe834972785c6b1b0978e019 fa86778c6ae396672711e10f2c195df3cb13311f
Author: Marco Poletti <poletti.marco at 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=f58219b86f8834e0fe834972785c6b1b0978e019
Merge: 40b84cb892cb2f8dc7aa7cf2874b47515ff28289 703cc3ccfae900375897b441b2abfe0ad6e0f210
Author: Marco Poletti <poletti.marco at 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=40b84cb892cb2f8dc7aa7cf2874b47515ff28289
Merge: aa3422ed560104e1adfcabc5b5bd0a65a909561e 09144610d98413a390afed2c0f5b189e7a9e5f30
Author: Marco Poletti <poletti.marco at 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=aa3422ed560104e1adfcabc5b5bd0a65a909561e
Merge: 34333711e38e47d7645d1df1790e84b537f2c055 95285ecc6049e25569f31f07d64d4f53a1be732e
Author: Marco Poletti <poletti.marco at 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=34333711e38e47d7645d1df1790e84b537f2c055
Merge: a66ee1042a51fbef3a83da5f2c57dafd4f6ccd38 a87bb62c2afee1571db0d44ac02b756c9e30cb3c
Author: Marco Poletti <poletti.marco at 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=a66ee1042a51fbef3a83da5f2c57dafd4f6ccd38
Merge: 1d62ef76407877463fae70835cd87a11cbcd44a2 50dc24772dc142eed06b6109672b3804e15a0804
Author: Marco Poletti <poletti.marco at 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=1d62ef76407877463fae70835cd87a11cbcd44a2
Author: Marco Poletti <poletti.marco at 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=b81949a8e14cf4d99779a2dec3637a43e7933c06
Author: Marco Poletti <poletti.marco at 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=0ebb4b03959e25f548761cae3c718b6d7f0fefbb
Author: Marco Poletti <poletti.marco at 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=9002b3038fde12f1618836979434eead20c3e4a6
Author: Marco Poletti <poletti.marco at 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=c3e5d8cbbbf8f42dd3700397164b6a542ae8d3c8
Author: Marco Poletti <poletti.marco at 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=8db6e42c588fecd05fd15e621585c89a61823b5e
Author: Marco Poletti <poletti.marco at 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=440c1f034c9a92ec86a86359da3bf25d256051f7
Author: Marco Poletti <poletti.marco at 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=6d29ffb3ac1ee0b216ecb4c962373f9bb7c21a8a
Author: Marco Poletti <poletti.marco at 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=18c45198c45db4df54240f7f7806f040a805fe45
Author: Marco Poletti <poletti.marco at 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=3730a687ba4842f7692c3705bd0bc388eb8b9252
Author: Marco Poletti <poletti.marco at 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=2eabf35d14dbb640c0a906e29e5c3d15ee3166b3
Author: Marco Poletti <poletti.marco at 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=98485ed8c358674526f746c537a061de2636d320
Author: Marco Poletti <poletti.marco at 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=d5b7022c22cca63c80059c024b3407622c4d9bec
Author: Marco Poletti <poletti.marco at 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=7b7c94d290d4a3f72f00da6ebfd584ebde575e72
Author: Marco Poletti <poletti.marco at 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=2273ff99560442c4b3c76c4770cbe4be3565ac41
Author: Marco Poletti <poletti.marco at 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=2d8bfbce5b74e2f04a7a3d23f433e98786e75a44
Author: Marco Poletti <poletti.marco at 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=8a6e4ffa3b09be90c8de17c4ac5688feec98b9b2
Author: Marco Poletti <poletti.marco at 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=225b1d53e252fb5f91e7d79a855537c8d1faaad2
Author: Marco Poletti <poletti.marco at 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=25f5cd3f02c441c9ed77fbc13bcb5518142a6396
Author: Marco Poletti <poletti.marco at 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=dd991b8467a5f55e114c811cd7d0824eac8fa52e
Author: Marco Poletti <poletti.marco at 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=7af715e64cb2d6faba6ab24864b7018f3877c5d4
Author: Marco Poletti <poletti.marco at 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=05e049711f4af9fd32942735331477b053de1c25
Author: Marco Poletti <poletti.marco at 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=d7b29da8054ec428457c46b5661107fb858ef9bc
Author: Marco Poletti <poletti.marco at 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=ce06871af31d99e5e74e6fb38b19cec68d449482
Author: Marco Poletti <poletti.marco at 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=1b4b509284e3ef8dda43c863fed8b6249ae01496
Author: Marco Poletti <poletti.marco at 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=9d9b71a6a24635fdf03dc42dd60771d2fbebc420
Author: Marco Poletti <poletti.marco at 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=09dbf854d0d0e1927605143085f4d962f0902cdf
Author: Marco Poletti <poletti.marco at 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=763b2ca0fb075ae677ccbdd684bb4ac3e07d7329
Author: Marco Poletti <poletti.marco at 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=c486d85440dcb749f26ccc05d9f809e9ab55eea5
Author: Marco Poletti <poletti.marco at 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=cf7010e3fa9bc2c020052651e7abcc0238501151
Author: Marco Poletti <poletti.marco at 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=b70721e0993e58cc84bd24870ad64f19e7701505
Author: Marco Poletti <poletti.marco at 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=72d1550c5f396d06c4af6ad2a7cef149f836ddf8
Author: Marco Poletti <poletti.marco at 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=87d553ea72e41d2bf438f97ab77497f1919c14d2
Author: Marco Poletti <poletti.marco at 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=17387ea2f5e2a93d17002b78439e429241d3a186
Author: Marco Poletti <poletti.marco at 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=9388de49896c412991241c389f7471a36afbfec9
Author: Marco Poletti <poletti.marco at 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=4dde8ba2e97f7f196beaa8833a07a1478afbd291
Author: Marco Poletti <poletti.marco at 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=5f23084412f6e9b5cf1d783ae749e0491d92821f
Author: Marco Poletti <poletti.marco at 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=596377808c800784493fcbd23d816c9c0adb4705
Author: Marco Poletti <poletti.marco at 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=53846881ffeba10521c022441dfacdff5d051a04
Author: Marco Poletti <poletti.marco at 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=3d7bb5b7659a7a44f74b8f85260c4b18fd8342cd
Author: Marco Poletti <poletti.marco at 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=898c6c0ba5d442e626e53022546578b246918b48
Author: Marco Poletti <poletti.marco at 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=2da44bf05815cf99c6c6e05b53f22c4000e65d55
Author: Marco Poletti <poletti.marco at 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=73db2b0e89206392f62009fa61fb3d5096322f08
Author: Marco Poletti <poletti.marco at 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=493eb02129c6383e93f8fc65da0e614357d156d6
Author: Marco Poletti <poletti.marco at 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=3e416cca729ece6ffe467c246de863b4444ed67a
Author: Marco Poletti <poletti.marco at 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=436023e2a62f38a11b35c03e553519ac17cd66bc
Author: Marco Poletti <poletti.marco at 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=16ca5cd3ad2d3dfa0791ffeca7be4428b0b975e0
Author: Marco Poletti <poletti.marco at 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=dbf26770dfc4426a2df16ecc4ce6a7d67776f011
Author: Marco Poletti <poletti.marco at 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=a97a7b0674b34d42319b8d3ab31ad900e2f20fdc
Author: Marco Poletti <poletti.marco at 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=2fdf8a292d43fe41f1d971f5b87f75a9390f2784
Author: Marco Poletti <poletti.marco at 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=1d6fb9dbb6db6ede07511d59953735f8b66be7f4
Author: Marco Poletti <poletti.marco at 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=c62b80584971411de4edef55c5ced0b6f0b206eb
Author: Marco Poletti <poletti.marco at 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=eacf6850d24ed28c558cb8ecf3acb62f8087e874
Author: Marco Poletti <poletti.marco at 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=4a99ec15134bd4fdc25050040dd25d20e97ef640
Author: Marco Poletti <poletti.marco at 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=17e8f6e288fc78498e5412ccc76eacecdd0a8b7b
Author: Marco Poletti <poletti.marco at 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=2577070f94cce860d9ac813d01407a3c52cc7ccc
Author: Marco Poletti <poletti.marco at 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=c9e4437c512be64afc9b09803297959f98935d32
Author: Marco Poletti <poletti.marco at 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=27cc6cac93569f0b37ecf6a44b66ff9f85746225
Author: Marco Poletti <poletti.marco at 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=3498564a25bd6a96f955ee78114b109511f8cd39
Author: Marco Poletti <poletti.marco at 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=aac128ef297ec228f6f3719c7330f5e103e1b803
Author: Marco Poletti <poletti.marco at 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=5fb080233150a8a75b1f15dec64edc0cbb0bc408
Author: Marco Poletti <poletti.marco at 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=c55d120a2bb67d02ca0e0a11b5a9226b1f6e86cb
Author: Marco Poletti <poletti.marco at 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=b384ace64d3a140ad3f7af3022f7afcb596d68f0
Author: Enea Zaffanella <zaffanella at 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=b67af6c1ba5a560e2ab48a37cccf8fc18782a257
Author: Enea Zaffanella <zaffanella at 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=856eabd63f477b4ada10bd2c75f58a3e594c355b
Author: Enea Zaffanella <zaffanella at 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=4f29d90a2e19e2c8769246fd71cb400c04f70dfd
Author: Marco Poletti <poletti.marco at 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=cc2b4053818ca522d153dff81c6b4edd897af61f
Author: Marco Poletti <poletti.marco at 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=d5afc56b61bc177fdd215c56f951db289572b650
Author: Marco Poletti <poletti.marco at 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=0d53c2dafdad952c5a46ec4b7de6b3ec8c6da79c
Author: Marco Poletti <poletti.marco at 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=f79b0b8e94ac8a9c0d41b11e963ac00e2ac40a76
Author: Marco Poletti <poletti.marco at 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=fddc7b2f7de57039ae89a7eb90b4927ef93a5669
Author: Marco Poletti <poletti.marco at 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=689266e1473b717ca456bfc7efb69eb348379f25
Author: Marco Poletti <poletti.marco at 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=9fcad9c2b4d8b41cc2a88a6ebc919eacf93bf607
Author: Marco Poletti <poletti.marco at 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=d891d58696e22f33769073376f924d2b4356f02c
Author: Marco Poletti <poletti.marco at 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=cefe2919de0acf1505cdf7b2983c7d65f98f7d8e
Author: Marco Poletti <poletti.marco at 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=9249e3459a145d53bd94e392ee4e093124c786bd
Author: Marco Poletti <poletti.marco at 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=a40958bf5561d47c50d90df1175a6f77d69659a5
Author: Marco Poletti <poletti.marco at 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=eadb38bb0cb1afcbb8013e9c6361282538ac8c09
Author: Marco Poletti <poletti.marco at 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=82098a508d59ef76b9388344fb97d3ddef2bec23
Author: Marco Poletti <poletti.marco at 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=8a49d6c9245cccede107967322822a306e566821
Author: Marco Poletti <poletti.marco at 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=b0a797a376fa000215f14af16d6d55c926405285
Author: Marco Poletti <poletti.marco at 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=69a0edddd394b2e9ef68862a3d85b0aaf43847a9
Author: Marco Poletti <poletti.marco at 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=bb4d1ab23f6ddb88a05e7e5a133c66c905cf4cc3
Author: Marco Poletti <poletti.marco at 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=64a67986875e7a6c79844d8a0552cf9aee4b8d8f
Author: Marco Poletti <poletti.marco at 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=21e45ca08272aeeb2b900cd48b5e8f194ce5e7c5
Author: Marco Poletti <poletti.marco at 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=7cc182abaf3bb39c5be7e5e517879932e2424302
Author: Marco Poletti <poletti.marco at 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=868e1f65b45b62015957c110105e995426bab498
Author: Marco Poletti <poletti.marco at 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=e7c50afd3a675a4b7464effa5668be81d001a03b
Author: Marco Poletti <poletti.marco at 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=c310fa60609c042fd610b995576d45d72fa21ed6
Author: Marco Poletti <poletti.marco at 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=8b589a9187010d0920ac38fc3f34278648e61ad7
Author: Marco Poletti <poletti.marco at 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=32715df25154554d404d68aade20e82abfc029b1
Author: Marco Poletti <poletti.marco at 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=bf0231e0d4dde050d4772bfa40814ede770960c8
Author: Marco Poletti <poletti.marco at 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=ab4dccda09dc54b52d15cd3a2795cbc22aa2710c
Author: Marco Poletti <poletti.marco at 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=3d25172b708766671adab617e4101a7288511587
Author: Marco Poletti <poletti.marco at 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=572b29622fdeac6d945176ce53add014be768ceb
Author: Marco Poletti <poletti.marco at 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=74fd74fca03140a7a8f817f011c4eab337304cf3
Author: Marco Poletti <poletti.marco at 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=456a4b7651ac5032859d781dac81a2051e2911f0
Author: Marco Poletti <poletti.marco at 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=3d51070d7d9992a9e40f8ed67a5b5f84c6c94276
Author: Marco Poletti <poletti.marco at 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=fdf01b8150fdf2a762afaeb6c894b5ea9d27ee45
Author: Marco Poletti <poletti.marco at 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=f0eadf7a24e51572b26737c536bfd87c2a29c9b8
Author: Marco Poletti <poletti.marco at 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=fb2fc45af6e4e99f92dc63f7460b9c60434ef2e3
Author: Marco Poletti <poletti.marco at 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=70ed80a423539e5a680e4233bf93140db06020e5
Author: Marco Poletti <poletti.marco at 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=203ee293217380424d7bc4971bdcbe29532ac783
Author: Marco Poletti <poletti.marco at 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=468486664f7a3332e50dbff59af9932fe57b464f
Author: Marco Poletti <poletti.marco at 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=623e6010ad53de4f1fe7d4c0c6832e50366dbe0a
Author: Marco Poletti <poletti.marco at 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=4ba5fa3edf60726365b8318f40e2a9b384b0d72d
Author: Marco Poletti <poletti.marco at 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=4802136adbb93ca285b1ef863a33a03ad838b5a7
Author: Marco Poletti <poletti.marco at 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=7336920714f280a3d775932760ffbe1aded77903
Author: Marco Poletti <poletti.marco at 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=f713ff4e031561b876a581e648a88bce76d06c2e
Author: Marco Poletti <poletti.marco at 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=10178e3a5add8e22799d36bfe2fb885ab4f1ae24
Author: Marco Poletti <poletti.marco at 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=37042856e6440521d1ee7a3eb60917c6098483cc
Author: Marco Poletti <poletti.marco at 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=b3f4f0f9a3bc6158e99695720ca2fbb5addcc9bf
Author: Marco Poletti <poletti.marco at 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=3366091e89ea647683d52c2a2872c6b268374147
Author: Marco Poletti <poletti.marco at 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=bcd2bb670c4192b4ad37687f64cc0499c23a3126
Author: Marco Poletti <poletti.marco at 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=967735f2854b23a2db62c2e524dc5b948ebcb8bc
Author: Marco Poletti <poletti.marco at 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=119e64548c21862fbf14d6afa7b0b7cade9739cf
Author: Marco Poletti <poletti.marco at 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=d61bdb7283e69847b9dfb79e33ac13ef15ac50eb
Author: Marco Poletti <poletti.marco at 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=33227122ff3f945ae8b239a2c51f1aa405497797
Author: Marco Poletti <poletti.marco at 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=7d74f07a8e263dab94ab3e3ecb9cde842ac2f10e
Author: Marco Poletti <poletti.marco at 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=f2f238fde1bb26f5cce16cfb952958322ff59790
Author: Marco Poletti <poletti.marco at 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=519f7298f28db6f50416e635dbbeeaa3957a7a30
Author: Marco Poletti <poletti.marco at 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=ae5dc10f3755044f74e411954a487cfb53f1b59a
Author: Marco Poletti <poletti.marco at 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=0af6eaeba696f09a70588ae177e0dd8bf89a2414
Author: Marco Poletti <poletti.marco at 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=d2460cc91ee9ad0832a6d90dd523d3b51d8f839a
Author: Marco Poletti <poletti.marco at 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=0a71b475cf14b762a45dd15c5f203e4868d7d9b6
Author: Marco Poletti <poletti.marco at 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=3d70d7fa40e40908e41d638388c907d1d9c09aaf
Author: Marco Poletti <poletti.marco at 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=4ef99b7fd6dbbb7bdc7ed17ec4669245a25066a3
Author: Marco Poletti <poletti.marco at 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=c794e02b1bfab07a8c7821b54e6bcf8bbe3f3235
Author: Marco Poletti <poletti.marco at 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=79564d0c8f65093cf40db234b53f0e08cb9d4abd
Author: Marco Poletti <poletti.marco at 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=68318ab7775744d6116c7741ffc1922e4cd3cdc8
Author: Marco Poletti <poletti.marco at 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=84f39f4a9afd72cdca3fd63bccb9b34f8e43e43b
Author: Marco Poletti <poletti.marco at 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=7b10c5a41fbae53a664cd9e42a9a195b99b084b0
Author: Marco Poletti <poletti.marco at 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=c6f93c85b61b49bc37065072a7ea0c82643aae51
Author: Marco Poletti <poletti.marco at 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=cf69a8950a45847bea6a8d3d44812d2a275e4b4f
Author: Marco Poletti <poletti.marco at 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=9888d743cca1a12a807521b656ed0ea6ea34c350
Author: Marco Poletti <poletti.marco at 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=9cd6bc045d7083c072b3719b3e75b3c0d42d9291
Author: Marco Poletti <poletti.marco at 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=5d9e741cd26389616136f1531552054ece76b14c
Author: Marco Poletti <poletti.marco at 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=a243a592767613af153ed6f749541044186cd62d
Author: Marco Poletti <poletti.marco at 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=291b5f151dab2319002455cf345c08944e15e910
Author: Marco Poletti <poletti.marco at 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=238e04f3783ef80e3aa543ef209af542658cd83f
Author: Marco Poletti <poletti.marco at 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=c5464d88b0193e4d8fa18085924b65e556d98407
Author: Marco Poletti <poletti.marco at 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=ab9474befacf8820adcd7d5c286bc11687770ce2
Author: Marco Poletti <poletti.marco at 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=666edcb4e0b22f91cbda3d8df11edac68f720b77
Author: Marco Poletti <poletti.marco at 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=84c5dcae4316f86b11a4fe5738bc9634eb87bce1
Author: Marco Poletti <poletti.marco at 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=68d9f1777263d71eac87de9a02952ed6680df7a5
Author: Marco Poletti <poletti.marco at 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=1459f0e3113739c6b6cb66fe7cb8ab68a67a02e7
Author: Marco Poletti <poletti.marco at 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=5d0568b9890cb3de32480daf47dbdcecf839d442
Author: Marco Poletti <poletti.marco at 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=62d6c4c960b905d2707ea45eb6ca5dbd2a2c43f6
Author: Marco Poletti <poletti.marco at 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=6a537e9a24397d3ee7ff632c99476ae47193b484
Author: Marco Poletti <poletti.marco at 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=b52aec9f088f5c7b3140d4691f728d6dcbf8ea02
Author: Marco Poletti <poletti.marco at 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=16a99073d9f8ee37625eb58bb3f1bc5b8d0b1c94
Author: Marco Poletti <poletti.marco at 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=0ae35bbbc1e8f4d1a38ced7fe7190be9a29e4fb6
Author: Roberto Bagnara <bagnara at 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=6d8262280e99982010e8914740b5df3b195c4bc5
Author: Roberto Bagnara <bagnara at 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=ef3f4d0a5ccaf2b176d7d9978c7f103ef5bdf103
Author: Roberto Bagnara <bagnara at 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=e37503ce5059b3082bd5a3fc47e4971f2ab5340b
Author: Roberto Bagnara <bagnara at 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=5f72e09e1d7727f01e735bd6c5f943ed70df654a
Author: Roberto Bagnara <bagnara at 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=79fc8389a9868bee013ddec5a0c7034722954de8
Author: Roberto Bagnara <bagnara at 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=d77432ac84ababb6b5c942c8fcfd9038845852da
Author: Roberto Bagnara <bagnara at 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=afb4a0a0ca99f3f50fb1e52136c1509ff76e148d
Author: Roberto Bagnara <bagnara at 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=cc6d91dfbceb507c7698827957b4fd756f4c397e
Author: Roberto Bagnara <bagnara at 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=803510678ede6d9377fbfc930eaf2c3071e98740
Author: Roberto Bagnara <bagnara at 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=0eebd181bfd34bac0025053dcf0e0ddce426dbb6
Author: Marco Poletti <poletti.marco at 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=bc3f4d712b7ac8af27428ac2a0e67c13cad92f98
Author: Marco Poletti <poletti.marco at 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=653fa8bc35e1ad8f34668602dacc7a2d3a38809c
Author: Marco Poletti <poletti.marco at 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=f5bfabb665e378431c7a0f943855ba33d79e5ac5
Author: Marco Poletti <poletti.marco at 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=201db3c59b7c3c20acad4a9fdfb2038f89da4079
Author: Marco Poletti <poletti.marco at 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=3e3601a809a58d53f703382a8962479c84b1d70b
Author: Marco Poletti <poletti.marco at 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=862283a5e1e788ff3876003fed46046c55fd1dfa
Author: Marco Poletti <poletti.marco at 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=fe385b4b8b4e71b9a8c096a4bfa0f09a4c8c4e95
Author: Marco Poletti <poletti.marco at 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=63aa379f7a42e546315c90d8d07187a2bc595d82
Author: Marco Poletti <poletti.marco at 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=acfbc0e38f41f213e7acf5ce742168f3827b1905
Author: Marco Poletti <poletti.marco at 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=79427f68492f891adaf8cc23db9db5ab4c85aa19
Author: Marco Poletti <poletti.marco at 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=0d382fe67a2cad4d972e38d7b29a1b68c80ecb94
Author: Marco Poletti <poletti.marco at 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=ca2095ecf4e8fd4217c2a67f59b6faef887e638b
Author: Marco Poletti <poletti.marco at 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=d30c9efc935d458138d16508aac673d1baf4bc17
Author: Marco Poletti <poletti.marco at 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=ad395936f15634ae29cb5a4ccea7d3b4463c7280
Author: Marco Poletti <poletti.marco at 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=252b2fe4ead52abecb511082868e87bb19a8df05
Author: Marco Poletti <poletti.marco at 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=970eb4f23b8c98ef8a83c42115a004894abc4db7
Author: Marco Poletti <poletti.marco at 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=86fcc08ccbfff5cff5b85c943b744285a8efd0fa
Author: Marco Poletti <poletti.marco at 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=4e772e07ccefd2476f239723dbd6887651beeff8
Author: Marco Poletti <poletti.marco at 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=432fbd7a008cfb84e5a4359acb0578988f46b1f6
Author: Marco Poletti <poletti.marco at 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=7d5530a1da7a395112f8bebb9fc46a3003a75ebf
Author: Marco Poletti <poletti.marco at 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=4b4d090e4e3ad67e56b777c4b1371253b45788af
Author: Marco Poletti <poletti.marco at 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=44cc8b632970a9b86da9d5b1a7640f81b8bff347
Author: Marco Poletti <poletti.marco at 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=162e1f786913964249f848493d84c0a3f89d288b
Author: Marco Poletti <poletti.marco at 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=472ca25ca033e605da22fa0031eaf2131bb531f7
Author: Marco Poletti <poletti.marco at 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=0dbe5f76763db2087fb38641a34bee5cf38df292
Author: Marco Poletti <poletti.marco at 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=75847a3f95edf575cdeaa04824edb9380e670b49
Author: Marco Poletti <poletti.marco at 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=f2a54f6831479894761f12e7530ccda8b827c09e
Author: Marco Poletti <poletti.marco at 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=b9f9d5c6940ea971e482fc4ac34954bcb303a5cb
Author: Marco Poletti <poletti.marco at 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=d396c0d492bdf4520a2126cacecabd130d62a2dc
Author: Marco Poletti <poletti.marco at 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=8b9a8ce635a04912d595436c35463e02cdf9092c
Author: Marco Poletti <poletti.marco at 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=7067e251c1542a2ee0abbbcc33de07f2ff2dd47a
Author: Marco Poletti <poletti.marco at 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=8c12929c109522e9b36cc5ec39749a60665ccb2d
Author: Marco Poletti <poletti.marco at 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=4a09f8099ba212e54a1c1fc25c86e4f948bf603e
Author: Marco Poletti <poletti.marco at 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=c0708c9c0699efc9e85123b3351c606c95d3b5c7
Author: Marco Poletti <poletti.marco at 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=f8563b5827a6e05fd5c54fec153c9dd24ff78543
Author: Marco Poletti <poletti.marco at 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=65fe0df0cd081ff239a2048b88f7793044ede041
Author: Marco Poletti <poletti.marco at 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=6835424a3dee9c7cac52ea75557602b92a660e0d
Author: Marco Poletti <poletti.marco at 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=74c2708d0eb3a4ace37939dcc69343f789035e1d
Author: Marco Poletti <poletti.marco at 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=d9faa3e5c2b33f3f8d69e027bec138b3b32a65f0
Author: Marco Poletti <poletti.marco at 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=022715fe20c17dcfe99a8061f2e268a7e835104b
Author: Marco Poletti <poletti.marco at 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=a41c5f85a44e4c1c95db49e5934cf0fe0c7927bc
Author: Marco Poletti <poletti.marco at 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=74d89ccafa2fbb27a92c5c12ef6264738f6fbccb
Author: Marco Poletti <poletti.marco at 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=d7f7c3953c32a08bc30f1de44856fb58878f8a50
Author: Marco Poletti <poletti.marco at 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=8e85700efba8d84a9b7db6c9f715d495d72f24df
Author: Marco Poletti <poletti.marco at 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=770df61d89b723a139fbb447d427e236da0a8932
Author: Marco Poletti <poletti.marco at 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=3bb5d865a9094a75b8877f7c0108a861dd6b4429
Author: Marco Poletti <poletti.marco at 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=74d5603c1dbde0fed61cffb69ce1880804f2c023
Author: Marco Poletti <poletti.marco at 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=22d86151d31b9de765a61e52c75081658d90631f
Author: Marco Poletti <poletti.marco at 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=fcc49b92ce7b185e317568c2a9c479801d299be1
Author: Marco Poletti <poletti.marco at 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=1bbcee607403c0160ced29cf4baf88c1455264d2
Author: Marco Poletti <poletti.marco at 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=a55dcf695000c0457843a48329fbef68867f784b
Author: Marco Poletti <poletti.marco at 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=208477ffbadffbfa93766488bc8111bddd1eb5d2
Author: Marco Poletti <poletti.marco at 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=d952412d175afc22d587304aac95b65876003a0a
Author: Marco Poletti <poletti.marco at 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=bae747645a4d0894ded77e162bf06d92ab11c7ad
Author: Marco Poletti <poletti.marco at 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=240417d4fd034a74aff4ac22c46b2405a0a8107b
Author: Marco Poletti <poletti.marco at 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=62a47c9358e31de7c7c94a2e83eef39c3bbaaa8d
Author: Marco Poletti <poletti.marco at 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=ce5b973b82923220dc9985800bf385a258c10c86
Author: Marco Poletti <poletti.marco at 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=006c7b46a6fc354f963d26f46033ee01bc697cd7
Author: Marco Poletti <poletti.marco at 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=128bd3ae0634eb97921c57c8642b7424a50dc064
Author: Marco Poletti <poletti.marco at 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=1700c2d1bb0a821e60d6342f990f77a2e5ef56da
Author: Marco Poletti <poletti.marco at 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=8d28c2a5604c46877b4bb4544adc95210117735c
Author: Roberto Bagnara <bagnara at 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=0a0259c6503a0876e0f519e5c8053ac9012f4889
Author: Roberto Bagnara <bagnara at 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=0fec2abf720138b014cd1b7a7a69f4709e265378
Author: Roberto Bagnara <bagnara at 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=8ab3511cb404b3df60e2717a57313e1d6dad59b8
Author: Roberto Bagnara <bagnara at 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=d625166f50df535efe9a2e7fb8e0b37c350d07bb
Author: Roberto Bagnara <bagnara at 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=53f12fe79ea856dbba696ab2b2e57a9d444da2fa
Author: Roberto Bagnara <bagnara at 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=5904df66748c501dc7316d8260c76e1c8d010bae
Author: Roberto Bagnara <bagnara at 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=1ff38066e4eac32808769e9071ad77594249d33b
Author: Roberto Bagnara <bagnara at 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=dbedf8514da0b58c7c5ff8c37356a9ffc8d1f835
Author: Roberto Bagnara <bagnara at 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=a9a6632bfcc7a546a2a7edcb636e47f60e4839b4
Author: Roberto Bagnara <bagnara at 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=98475d291117f687b61cdaef3971f76bde4fe3bd
Author: Roberto Bagnara <bagnara at 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=1597df4105756ddeab2027e8e837d97c9924bb4b
Author: Enea Zaffanella <zaffanella at 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=5d31265f3e17b7e1d0d03d0009a1906b2d03165c
Author: Enea Zaffanella <zaffanella at 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=39c1356315950be2201142fba21cf0f861e234c1
Author: Enea Zaffanella <zaffanella at 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=8594db9c59a6466420892b6e814ba968b268e3cf
Author: Enea Zaffanella <zaffanella at 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=43b2e9cc5db328ba4c6f6619473bd0ce873012e1
Author: Enea Zaffanella <zaffanella at 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=2f19c7ff69b6a4b4a282077e74c54d089a2f9f9e
Author: Enea Zaffanella <zaffanella at 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=0442fb1660eb2a57e4412b44505a3a28a8d826f0
Author: Roberto Bagnara <bagnara at 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=c821ec2f143708686c76397f1acca4b0e411e654
Author: Roberto Bagnara <bagnara at 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=b637cbc5c055505c1ed8decdcd427809439d06ce
Author: Roberto Bagnara <bagnara at 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=46b4e6265003f17e00f9d1a6c6d4be8abba2d0c9
Author: Roberto Bagnara <bagnara at 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=38d2ed66618252211a00d6affbfb119978677ddd
Author: Roberto Bagnara <bagnara at 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=1fd5954e2148a7f86672773616b8d2f4a8956e66
Author: Roberto Bagnara <bagnara at 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=3f39d87e7df348bc42eab3ccbd1f5954bccf5167
Author: Roberto Bagnara <bagnara at 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=1e0bc0eb2947232cc0f207f4c63c91773b1dc11f
Author: Roberto Bagnara <bagnara at 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=2f98bbb6a85b18aecbe9da3bc0d48bb36ac6b089
Author: Roberto Bagnara <bagnara at 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=404a6777b9a775d91a1934069f92be332bc09576
Author: Roberto Bagnara <bagnara at 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=0f1868b0e4ea2b0044c310c4cbd30543cda70b29
Author: Roberto Bagnara <bagnara at 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=d068194797b8e5616faf7d7d886d45eccd736a6f
Author: Roberto Bagnara <bagnara at 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=90af93944187c36c2c4a10f8a0de90dccb26311e
Author: Roberto Bagnara <bagnara at 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=0d548ed615ab76352fc1d204fd3e2edaee78da44
Author: Roberto Bagnara <bagnara at 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=d10ede69b31af7865b86d9ab7107406d21e1ceea
Author: Marco Poletti <poletti.marco at 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=8e7ee9bce550615791f6e165d9eb187f8faa42a3
Author: Marco Poletti <poletti.marco at 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=95976524b127197b4b6424a2925957476340c49b
Author: Marco Poletti <poletti.marco at 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=659a23177efc04736f3d4d7c911b3f7363f81ece
Author: Marco Poletti <poletti.marco at 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=8bd0740bad200b4d43a0afcc6d539da4941de2a7
Author: Marco Poletti <poletti.marco at 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=58564bdc681a865c530a569f42368b04e05249be
Author: Marco Poletti <poletti.marco at 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=2ead81250c1c11dcc6cfb103dae5cd979117a600
Author: Marco Poletti <poletti.marco at 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=888659a9861950b436a0be072af1631a637226e0
Author: Marco Poletti <poletti.marco at 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=8eaaf267695241322adbefa24608ebeca4c0ca5d
Author: Marco Poletti <poletti.marco at 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=c52bd6b36f137d21e1ad381b2bf3f8cc9c53b1e6
Author: Marco Poletti <poletti.marco at 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=177da44889d1201d118d781b6a726e87f081a7ad
Author: Marco Poletti <poletti.marco at 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=27f7598be13e302e48f6e4cdd1e6233dec414db8
Author: Marco Poletti <poletti.marco at 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=ee2461e86e0df82a0767d56bd1e06d22ee5530b9
Author: Marco Poletti <poletti.marco at 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=53b3065a29de87e8c87de81a5e352ff4bfa4aab2
Author: Marco Poletti <poletti.marco at 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=8c659e7ebe7c69ed22258e9560aafd02a16a5af3
Author: Marco Poletti <poletti.marco at 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=f5b203308c88bdb101f581085c57b54a95251b2d
Author: Marco Poletti <poletti.marco at 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=5d215f5af0d14dee83876886459235c13bc4b1d7
Author: Marco Poletti <poletti.marco at 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=42cca8187f6d0388c58ef693611dfc1ab932a717
Author: Roberto Bagnara <bagnara at 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=7d35c7b6b16a6e22014871b72fdec1e889ed7c0d
Author: Roberto Bagnara <bagnara at 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=d61331e3b9788b555833f103556df34091f1c6da
Author: Roberto Bagnara <bagnara at 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=c33079b04ea10a8dfa275e2c3741e4657ddd417c
Author: Roberto Bagnara <bagnara at 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=35a5eeb76ebc1383776b4cbe802e3d8b2e16ea0d
Author: Roberto Bagnara <bagnara at 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=a39916112aa5de36a5fdfc083a6df3f8110d7355
Author: Roberto Bagnara <bagnara at 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=8dcf9b3f83ff6b8f86481a2b24b304e083818e4e
Author: Roberto Bagnara <bagnara at 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=97f3e98708cbb53eabf0fb0c30f38e50eb549369
Author: Roberto Bagnara <bagnara at 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=367a91ec09da66585614d6829dbb089066d57c77
Author: Roberto Bagnara <bagnara at 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=a49e3ce4af0a4a44a7d0b902a2db47cdede0ef88
Author: Roberto Bagnara <bagnara at 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=56686f99aae8f60dc42c97bcd44c1b7a733c7507
Author: Roberto Bagnara <bagnara at 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=0876ffa984a99f22b38fc72d6ae4e23814064f4d
Author: Roberto Bagnara <bagnara at 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=7682a06a0a07e2070438880368ef2d465fa71e38
Author: Roberto Bagnara <bagnara at 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=246ba9a3d0b882797558e60536f486838aaaacf3
Author: Roberto Bagnara <bagnara at 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=9ff6b157a31abe322be8f0ab89f993dbfff1521c
Author: Roberto Bagnara <bagnara at 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=efed831cda3f447da48885d3a3f52282d5abc4a4
Author: Abramo Bagnara <abramo.bagnara at 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=9954d6d0b6f5a88175c0f00eb0aae767d862dc4b
Author: Enea Zaffanella <zaffanella at 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=ba6a021a1ac94a6d97e6600e1bc4e710861160d3
Author: Enea Zaffanella <zaffanella at 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=b0a92e74f07102558d00c4c15f2d3b2ded74258f
Author: Marco Poletti <poletti.marco at 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=67619c2f4dc3b7de69a4b61a1de2eed1aeb7a2b9
Author: Marco Poletti <poletti.marco at 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=40d48e70c1004966c6a5522d7f9f6666fb976d30
Author: Marco Poletti <poletti.marco at 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=4e50eeb22f10139a14cac1598cb0bd8a267c597f
Author: Marco Poletti <poletti.marco at 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=b8ee0ab8eadb4f012a8c90fdad11ea8d70e586dc
Author: Marco Poletti <poletti.marco at 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=1d68cfff17ee1fd649a2a012b6352f6d9b944280
Author: Enea Zaffanella <zaffanella at 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=52514333875c79ba71b0f40559c79b0430a61eaa
Author: Enea Zaffanella <zaffanella at 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=2ef798d06d7cd127971bcdbf4c7ce2ca90cece65
Author: Enea Zaffanella <zaffanella at 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=3082a84e1fdbfad1cc17280aa047bfaff8ea0130
Author: Abramo Bagnara <abramo.bagnara at 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=7f72ff168aa3989740f248c1fbe636f01157a9e6
Author: Abramo Bagnara <abramo.bagnara at 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=ad542abaf25726e348754a9fb139074f6df9f81b
Author: Enea Zaffanella <zaffanella at 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=8eebe6d762e82c521dd7c0be6206df2928e4fcb1
Author: Abramo Bagnara <abramo.bagnara at 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=5e7acd07fc98bbc595c40e5705656010ac54d614
Author: Enea Zaffanella <zaffanella at 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=20692dc4750f2990bb5d83b0fa943c4c046f99f5
Author: Abramo Bagnara <abramo.bagnara at 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=3ec1ffd46d745193932cd1c60c9b843a723c5e84
Author: Roberto Bagnara <bagnara at 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=a6e777561ba56e830bd44128adc8038609c8cb23
Author: Roberto Bagnara <bagnara at 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=e9ce6bcef3d6f7481e5399d8746062ccc72b25b0
Author: Abramo Bagnara <abramo.bagnara at 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=aacd89e5ee21cb50aeb5311b017f9f1d66cc952c
Author: Enea Zaffanella <zaffanella at 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=6e68ec708a90b7099e3a32cc97b39b5e629a969a
Author: Enea Zaffanella <zaffanella at 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=95c8aae28dac48284d365840e68bdf3b3a8f24df
Author: Roberto Bagnara <bagnara at 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=bebce077e0648434fb0cf119fbb4ecda69e13cc2
Author: Roberto Bagnara <bagnara at 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=3fbf4608f85679fc85f89d82f40fb20e0e60ca16
Author: Abramo Bagnara <abramo.bagnara at 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=98a1ca1a0b1eef634fc1602a8380116f73fa9128
Author: Roberto Bagnara <bagnara at 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=086a400757aa4867611c023dcda5bc70afbc18b5
Author: Roberto Bagnara <bagnara at 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=ba5a35b2bccbd2df123efe55085059c59d7fabe4
Author: Roberto Bagnara <bagnara at 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=6eb2769ec8611a129e2650e529a03e6ddffa3b63
Author: Roberto Bagnara <bagnara at 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=8c79d763a2d98f708733a998f46655b2110797b9
Author: Marco Poletti <poletti.marco at 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=926f3b8024d3b9bc24d671608aa784691dea2a0d
Author: Marco Poletti <poletti.marco at 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=2799476ef81d0eead27582fbd5aa0bdb977f9f9d
Author: Marco Poletti <poletti.marco at 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=804fff64429275e64a8b59c38841828fcbb98f27
Author: Marco Poletti <poletti.marco at 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=552410fa3f371986084f0d60913ffa32af52f5b7
Author: Marco Poletti <poletti.marco at 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=63576c007a5f89210b14fe186b722ef35d930459
Author: Marco Poletti <poletti.marco at 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=3d70dcea0e43df2337c919dc4bf3680955ba0e44
Author: Marco Poletti <poletti.marco at 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=5e4a37db5d825165ca04efcb9ba1688383b2b2b2
Author: Marco Poletti <poletti.marco at 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=d701868c62680257ad3d50232014626295677fc1
Author: Marco Poletti <poletti.marco at 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=d9a310642f500d12745b388d71c358e826baa615
Author: Marco Poletti <poletti.marco at 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=a37767c1ae96e468c284dd5fe2f8c0b2b2159cf2
Author: Marco Poletti <poletti.marco at 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=61aaf3adee88a2d320d6b0749e8790174e02f3b1
Author: Marco Poletti <poletti.marco at 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=06f4946bae135d480caffca84354a6f9ac14eaaa
Author: Marco Poletti <poletti.marco at 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=b7b3e9b0c2be5fa92f4193ae0969f4844854ccd6
Author: Marco Poletti <poletti.marco at 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=5e2a080ddbf1d4b2c86074ab274286e3b8ea9947
Author: Marco Poletti <poletti.marco at 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=e315c093b9d3c0286286eefd0dfc78a0185c3723
Author: Marco Poletti <poletti.marco at 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=c8368dd547e6ea06807222730150bdf2f5df4186
Author: Marco Poletti <poletti.marco at 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=66aac8e29c5c045bddb91b38950f624bee257dbd
Author: Roberto Bagnara <bagnara at 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=701c61e3bd7d18e4f99c82b6820721e083ff2ac7
Author: Marco Poletti <poletti.marco at 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=87f7377f95bd162abdf4f57b6e8b59482e7f4ca1
Author: Marco Poletti <poletti.marco at 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=aa00ea116496e05413a80e804a2a60d332302115
Author: Marco Poletti <poletti.marco at 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=fe2c930ccec63352e42e6ca3f15b5cf11ab3cfa1
Author: Marco Poletti <poletti.marco at 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=efb1c86ce22e64d57ed742acff4c6b94fbdf4c25
Author: Marco Poletti <poletti.marco at 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=b78cf0b7bff5b8e345a03d90510751a82acda617
Author: Marco Poletti <poletti.marco at 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=4c680c29a7c8e362e7becc89aaf0530ad5cdaea9
Author: Marco Poletti <poletti.marco at 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=48f201c700f7f1fa9dcf2ca35c44ed8f05b7429f
Author: Marco Poletti <poletti.marco at 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=c6d652d561d584184282851cf1b632e8992ff283
Author: Marco Poletti <poletti.marco at 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=acd82c32079cd139d3e695e99e6493d7c9a0f42a
Author: Marco Poletti <poletti.marco at 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=86fa71a3330ec67a152c8e831a29f971d07821b5
Author: Marco Poletti <poletti.marco at 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=e5a1f325bbeb1ca14d3b2b5d6b6744d8d05f2a58
Author: Marco Poletti <poletti.marco at 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=8a4b2b145b14b3e6dbb31c20c3037de891275183
Author: Marco Poletti <poletti.marco at 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=8c615f3a67872e644ffe119fe24ae353d6663e94
Author: Marco Poletti <poletti.marco at 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=9f96fa2454fa016f8ca96016718ac062ef92474a
Author: Marco Poletti <poletti.marco at 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=69fa632ced98e83ee1a558e669692bb90e3fc3d7
Author: Marco Poletti <poletti.marco at 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=c1980bcfdf5ba1407706a72b864b35be2fe39da7
Author: Marco Poletti <poletti.marco at 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=baaa514c499c2c613f4d0a187786615f51c7bbb9
Author: Marco Poletti <poletti.marco at 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=43c5c6184dfd2e6a0b0279393d6fab3b64f62613
Author: Marco Poletti <poletti.marco at 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=74a180c2aca80e6a8305eeb49ad13300daa09ca9
Author: Abramo Bagnara <abramo.bagnara at 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=a6965e9b5ba4a8f83bc7f8861ecb559253ea6dff
Author: Marco Poletti <poletti.marco at 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=045663c75d043b615dd0663d192d38ada862cd04
Author: Marco Poletti <poletti.marco at 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=e4dca5ce5a6269e91e6ecf6b30deebd869d384de
Author: Marco Poletti <poletti.marco at 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=e616fa6400763b360d639d18424ee33ecfa034a1
Author: Marco Poletti <poletti.marco at 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=d77699362aaf3398822e18701ad280346ce188c3
Author: Marco Poletti <poletti.marco at 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=bdf474d00fb9e780c3cc5c16ea43cfd671f8808b
Author: Marco Poletti <poletti.marco at 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=07343559c765d1a6db7b148a9c740b9b1358ab6b
Author: Marco Poletti <poletti.marco at 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=7214142149d618480cb90fb27f8e95562fbe2b18
Author: Marco Poletti <poletti.marco at 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=a496c915392ce8aa4b4914cf597db9c8a3ad1574
Author: Marco Poletti <poletti.marco at 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=0ca8276517cfd938445a13604ba1a5692dd5c095
Author: Marco Poletti <poletti.marco at 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=764e11e691e7cddcaf27c8ff4048b3bc6a195973
Author: Marco Poletti <poletti.marco at 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=c5f8aeb2c48c426585f21c69ed8561d470d607c6
Author: Abramo Bagnara <abramo.bagnara at 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=99caf76811bddf0f69ead4f7fc2c780d64004a6c
Author: Marco Poletti <poletti.marco at 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=62908840258d8b0be76af9c6843d34623d6048a5
Author: Marco Poletti <poletti.marco at 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=bee06c610540c66c494829d89a9d3fb69db77723
Author: Roberto Bagnara <bagnara at 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=3d8965685d763098df4889e5912b01a49ef9ccb0
Author: Roberto Bagnara <bagnara at 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=ebf6364164993f1120c06b7fd85615a09a970b9a
Author: Marco Poletti <poletti.marco at 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=eb363c8bc4544a2817a576f0e9599f02428603f8
Author: Marco Poletti <poletti.marco at 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=207bd8c00abbe905badf5f6dac393d2e4e0b666a
Author: Marco Poletti <poletti.marco at 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=5c7ea023c474ca62b46a5be09a2670ab1619f77b
Author: Marco Poletti <poletti.marco at 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=00455fa88d63772615d9b899b3cc70c96ec7988d
Author: Marco Poletti <poletti.marco at 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=0f5e9fcf26b5672475af536d3a920ba9d8173944
Author: Roberto Bagnara <bagnara at 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=ba709e9a0db165a9aafd3765f0c7fcf72e2d5b99
Author: Roberto Bagnara <bagnara at 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=b3b76781cae62bf5ffc7e779d1275bc41f03a90b
Author: Roberto Bagnara <bagnara at 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=1985f1e83da97ed19b93c3bac828dd9b1ee09d0c
Author: Marco Poletti <poletti.marco at 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=2262e47e72291ddc3188903993a836df5de4d8ac
Author: Marco Poletti <poletti.marco at 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=249b7edacac0f34bfb2daa1be601fc1aeff20874
Author: Marco Poletti <poletti.marco at 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=3ab4d6ede25cc2a5266a4d73da06e7908bf2074d
Author: Roberto Bagnara <bagnara at 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=5fd73820eeed37dc88ba30093a6fdc8b8b566acd
Author: Roberto Bagnara <bagnara at 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=667dc51aa88cb9fe27ce4dea732f32684dea992d
Author: Roberto Bagnara <bagnara at 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=51134e95761a24da9e59f4c8bc6a4080bad536f3
Author: Roberto Bagnara <bagnara at 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=5084ccde7ea4cdfed1a71dc9944a4777f7ee9e98
Author: Roberto Bagnara <bagnara at 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=975155b93f219d5b8e5faddbb811c11101e76ffb
Author: Roberto Bagnara <bagnara at 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=a484f5db19949f35735cedfe84f882a8d56ff67d
Author: Roberto Bagnara <bagnara at 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=2e3166f54c69b3c7dfb48ab7cd94cfe6b45a2e55
Author: Enea Zaffanella <zaffanella at 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=d5d512deb4d04f0cf2fc6ce9a2c792cb09fd5475
Author: Roberto Bagnara <bagnara at 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=fa86778c6ae396672711e10f2c195df3cb13311f
Author: Roberto Bagnara <bagnara at 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=4079afb77c67f23f23d12a836c9029a6c424b336
Author: Roberto Bagnara <bagnara at 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=6347ff1e2c8ba2efc185db4f0c58306d1abbfb8f
Author: Roberto Bagnara <bagnara at 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=2997c02bb8cbd547dc6a368234d4468b31c78cbf
Author: Roberto Bagnara <bagnara at 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=8014bfef880f3b3dc0be3ee29b2c7d82472ba222
Author: Roberto Bagnara <bagnara at 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=5295880df1fc9f3a0fee656e9390c76fbb6f0984
Author: Roberto Bagnara <bagnara at 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=65e3b89e296935cddac3ba873d84f683f8e6b885
Author: Marco Poletti <poletti.marco at 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=0273e72347e17a3255423d4464259ade1f48b60a
Author: Marco Poletti <poletti.marco at 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=dd66dfc82b439ec734e51b48d25e57401596bda5
Author: Marco Poletti <poletti.marco at 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=b8cc90bed27ca3cc4252baa2cc1c16f296e43044
Author: Roberto Bagnara <bagnara at 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=4b6d2b3e708f88258b3a24e31fce47f33dc5d6f3
Author: Marco Poletti <poletti.marco at 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=ef217d6c6e86f9bda40f367a02dfd96071decce5
Author: Marco Poletti <poletti.marco at 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=1fbe33fe14cdffe4c7d709e2062ea41b7ae46e94
Author: Marco Poletti <poletti.marco at 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=fab96d8633975b63c98165bf85e1a48598fdc727
Author: Marco Poletti <poletti.marco at 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=a39e5127d20f14cb80e673942f4d339f6eeae6a3
Author: Marco Poletti <poletti.marco at 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=cdbfd094b19e363e3d44fd327da8e39a34a80f93
Author: Marco Poletti <poletti.marco at 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=93d83f43d851bba22444849ea50554f3ef711e05
Author: Marco Poletti <poletti.marco at 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=b0f60fcbdcce5c8ee9dcf9b38dea9dfea72750c0
Author: Marco Poletti <poletti.marco at 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=9ee09e8f119e4959fa579926795f8b2f0ea2cca7
Author: Marco Poletti <poletti.marco at 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=d1d479c91326b036a5903feebb19ef73cbd6670f
Author: Marco Poletti <poletti.marco at 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=f5684490a34c09dfdcc89c203ae024b1e873031e
Author: Marco Poletti <poletti.marco at 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=0ac5464205025367eba5dc5517b5e254a9a80cfc
Author: Marco Poletti <poletti.marco at 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=558f24dc655d1b1920c14bdece9db7e45fafa7e2
Author: Marco Poletti <poletti.marco at 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=6c1250a2e4c61df9869a9657e6baea7e7c9b6d37
Author: Marco Poletti <poletti.marco at 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=ea86064ecd8444507b7c896f8ffc837ade4028ee
Author: Marco Poletti <poletti.marco at 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=5a565451ea2cd163279a71cffaa4975c0a2b80a3
Author: Marco Poletti <poletti.marco at 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=64771f54a5df51c56012fbbae2e154a3ab28d1dd
Author: Marco Poletti <poletti.marco at 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=bc1e068143e09f1d511c477b746cb8bf47a7e984
Author: Marco Poletti <poletti.marco at 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=c8efb7b4047fe98add07f3b5f52fdd317bf1e24f
Author: Marco Poletti <poletti.marco at 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=21a33c21e5301c6f9e848a787f11000fc009d96e
Author: Marco Poletti <poletti.marco at 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=af2f7415b6ddbe922f5484fa1d3888fa84d9384c
Author: Marco Poletti <poletti.marco at 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=fa0d3b7369c080bdbdbeecf3e61fb3ee5ca1dac2
Author: Marco Poletti <poletti.marco at 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=a9cd23604adfd547944262fb3a1bdbb53482f33b
Author: Marco Poletti <poletti.marco at 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=ed0c0a220fd3ad8ca664dee7d44c7917283fa7ca
Author: Marco Poletti <poletti.marco at 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=703cc3ccfae900375897b441b2abfe0ad6e0f210
Author: Roberto Bagnara <bagnara at 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=615033adbfb7fbc0ec72cf5c35ef64d6c8935590
Author: Roberto Bagnara <bagnara at 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=571c07fd424a775127467eecfc527c420c98ea2d
Author: Roberto Bagnara <bagnara at 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=037540dd9fe5677fd7b686f84c7cb9bbfaec10e4
Author: Roberto Bagnara <bagnara at 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=09144610d98413a390afed2c0f5b189e7a9e5f30
Author: Enea Zaffanella <zaffanella at 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=ea6946e6d9a5db09dcfce63049b965b7052ce1d8
Author: Enea Zaffanella <zaffanella at 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=73a174942e6648e653803bc4672d7a8ce0b726b9
Author: Marco Poletti <poletti.marco at 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=d520fe5d0b60d4c42a9180b04c91531d8fac88c6
Author: Marco Poletti <poletti.marco at 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=e72c53456d2786f234e3c22a5aaf1877888cc081
Author: Marco Poletti <poletti.marco at 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=4066c7ba959767507362a8300a84324ab5992fab
Author: Marco Poletti <poletti.marco at 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=8b31d901f768f63ba1408dfb83aa70390728fac6
Author: Marco Poletti <poletti.marco at 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=5acae4bad6ef164d950e3ab61925f50528126623
Author: Marco Poletti <poletti.marco at 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=5cab35e1ed5f031094d945d75532c3a26e529746
Author: Marco Poletti <poletti.marco at 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=d8b88599de95e18d445c6119404a7488270b6336
Author: Marco Poletti <poletti.marco at 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=1f7cefef9a9542ff38357a21f58834015af05283
Author: Marco Poletti <poletti.marco at 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=495b2c4841409e2ad3ce1a017256307dcd9be10c
Author: Marco Poletti <poletti.marco at 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=acf4bf6a7a4b10166d526303199ebf9a6da05167
Author: Marco Poletti <poletti.marco at 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=c55208411ada4c766a78763e2c83f0dfa6c48511
Author: Marco Poletti <poletti.marco at 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=86fb879d4c02f1825925a009ea20c8274c581a6f
Author: Marco Poletti <poletti.marco at 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=01e537a03fb65a6605fd9fc487dfb29ba4b2dec6
Author: Marco Poletti <poletti.marco at 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=98b686f43b77f084876e3a14bda7af669cf1f011
Author: Marco Poletti <poletti.marco at 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=369b3d305cc038cb06d92f63f73dca8478308b39
Author: Marco Poletti <poletti.marco at 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=ddcdb86423442d20a23290adcf5cc939a9b5de14
Author: Marco Poletti <poletti.marco at 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=d04173451dcfb0b23eb92bb8f62b1d39de631c94
Author: Marco Poletti <poletti.marco at 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=9aeb94da459e61a11c154080e6b9daf0c3c32697
Author: Marco Poletti <poletti.marco at 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=30bb510b8221ab838427ed62030906aa3696b78c
Author: Marco Poletti <poletti.marco at 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=feffa550a4ef7aa2f348e17ff09c5849b6f3119a
Author: Marco Poletti <poletti.marco at 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=0475200383212f12c105e3b4a7b6082f67d766d5
Author: Marco Poletti <poletti.marco at 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=5cc9b91fcda255bf3823871d754e173057ed70e1
Author: Marco Poletti <poletti.marco at 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=a8825e699cb425974cd28b4879c92210c79b8e46
Author: Marco Poletti <poletti.marco at 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=ff23140bff6ebde93261f03d81a8a38b6c91b3af
Author: Marco Poletti <poletti.marco at 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=1c31ff6d89197115c339b8516856ca5ebf84f173
Author: Marco Poletti <poletti.marco at 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=8ba21057a9b82a8f688c47334586b54d4292cae4
Author: Marco Poletti <poletti.marco at 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=a67984b59251fdcf3bf75c80667d94f0ce6d2266
Author: Marco Poletti <poletti.marco at 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=367bf409f298ccffcbe0b8b41b2e7997b98c6a70
Author: Marco Poletti <poletti.marco at 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=ff3ae4c84e050173ed078981c25f8e60925b679c
Author: Marco Poletti <poletti.marco at 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=bcfcab0abffe6d9d6401cf82b99cbb2c5b3c830d
Author: Marco Poletti <poletti.marco at 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=2220649f7e6f6336e4e33899765fed6699b73e61
Author: Marco Poletti <poletti.marco at 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=c6a7aa1f3dbd499dae00a27a369869bfcc4f6e90
Author: Marco Poletti <poletti.marco at 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=db4cb364cdb858438322993b24fc1b13057409e1
Author: Marco Poletti <poletti.marco at 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=7f13d937d6d12ff72305f2a252dcb7f58ca47c11
Author: Marco Poletti <poletti.marco at 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=c7f4741ec51b47287d7e131963c98c96ec70cc8e
Author: Marco Poletti <poletti.marco at 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=27e4c6d5639ddac2d6ed6a5292919cacf21ab0de
Author: Marco Poletti <poletti.marco at 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=ff99bba2c715aab625b31d40a08fd831afe50bd5
Author: Marco Poletti <poletti.marco at 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=909564690348b4dd599d234cb2779eab6b6916af
Author: Roberto Bagnara <bagnara at 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=24649b05a7bae034f4f502997e57ad24e61e5d6f
Author: Roberto Bagnara <bagnara at 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=13ed500e5e8dd3edf9e0b73be9f9dd3f8af72366
Author: Roberto Bagnara <bagnara at 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=557e9ea1f7d737333b6f5025e03497818223f2f5
Author: Enea Zaffanella <zaffanella at 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=35e22bca8e1be85f428f9e40bb283b01f8d0b787
Author: Roberto Bagnara <bagnara at 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=8f37574794416e4c97d012e8a51be42fe3b310aa
Author: Roberto Bagnara <bagnara at 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=d003cde962c61c31aaa2b27373b874bd538ff0e1
Author: Patricia Hill <p.m.hill at 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=05d2137112f498fdcc29803d4e4608700790e8cc
Author: Roberto Bagnara <bagnara at 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=f768b3933ef890976ed57198e99fbe90885fb533
Author: Roberto Bagnara <bagnara at 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=a52e104fe997e8347139bc14cd6d1c44f40f9d08
Author: Roberto Bagnara <bagnara at 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=95285ecc6049e25569f31f07d64d4f53a1be732e
Author: Enea Zaffanella <zaffanella at 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=b0b0a380dc38022669886f3b3b1432fa14f58098
Author: Enea Zaffanella <zaffanella at 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=a87bb62c2afee1571db0d44ac02b756c9e30cb3c
Author: Enea Zaffanella <zaffanella at 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=f2a153cccd6d9d34325ab23c97003ef87d9715e7
Author: Enea Zaffanella <zaffanella at 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=89e6698b40be8fe682b9f80d2993a0b87796eb86
Author: Roberto Bagnara <bagnara at 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=2d63fb4b83f94a61090bbcbecb4b52d2f47e589b
Author: Roberto Bagnara <bagnara at 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=4006d8772e751993e6e9b099116296614e9508ab
Author: Roberto Bagnara <bagnara at 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=af093875852581a53d324323c4dad09206cc71cf
Author: Roberto Bagnara <bagnara at 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=b74a88168b9467502abe2cf1ea3919291ebdc387
Author: Abramo Bagnara <abramo.bagnara at 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=a948c306a9a705a2b170eb1888afe2778ed06154
Author: Roberto Bagnara <bagnara at 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=633ccc979bf58a29cdc65af36816804c1cdddc57
Author: Roberto Bagnara <bagnara at 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=a28af2b43f0747cfa701c1f5636a11f4f51b3f6a
Author: Roberto Bagnara <bagnara at 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=7351f86ec396806840f67556a30c12b10c2ce6ff
Author: Roberto Bagnara <bagnara at 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=18376fb113e21d1b7528e7b7bcb907470ed2cd8a
Author: Roberto Bagnara <bagnara at 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=95879d0d2423f52e49571520780e919c6b142fa3
Author: Roberto Bagnara <bagnara at 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=aee79293c2b6bbce1f7087ea9276301aed8c760c
Author: Roberto Bagnara <bagnara at 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=d35568b97460439faf1f3f03aede2a5826038f1d
Author: Roberto Bagnara <bagnara at 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=ffb68c3d33f787ec99856d129c82ad8328c343cb
Author: Roberto Bagnara <bagnara at 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=a7cfa455ece8dc44193d01c6b63d2acf32b4f335
Author: Roberto Bagnara <bagnara at 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=5436da20afde0109292c5cfda908b9c96622fe97
Author: Roberto Bagnara <bagnara at 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=dd51d715bd632799ef00cc9ceb5814f120927a05
Author: Roberto Bagnara <bagnara at 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=1f0282c0cb86a7a9d86fb21721b985bab2b60bd5
Author: Roberto Bagnara <bagnara at 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=7cb6f2087a64f4c9d15a15b2b9f38b7792780c35
Author: Roberto Bagnara <bagnara at 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=30a81801ecdbaaef5842bca21c4982e035c3009b
Author: Enea Zaffanella <zaffanella at 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=8e3ada8b858375f122c324662f40d5b6a4c5afd0
Author: Abramo Bagnara <abramo.bagnara at 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=d0e687c142a12f08873f953e16c32265536b67f2
Author: Enea Zaffanella <zaffanella at 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=e3567430ae4442819289fa12456c8ae9965037f7
Author: Abramo Bagnara <abramo.bagnara at 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=daba0d9b281e8c1881fafd335184cc3f8313754b
Author: Roberto Bagnara <bagnara at 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=700beeb4d08cd315667dab76f4134ecf9f352064
Author: Roberto Bagnara <bagnara at 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=caaab3ac864be2ba18911c516ee59f8fdbf40159
Author: Abramo Bagnara <abramo.bagnara at 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=9248b10e00497f2e57ce2f99256c73fa853f8271
Author: Abramo Bagnara <abramo.bagnara at 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=8b6502299d82bf26cbe9cd6d38c26101fa2e948c
Author: Abramo Bagnara <abramo.bagnara at 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=699a1fe6e0828997e09744ac5d884eac7819d819
Author: Abramo Bagnara <abramo.bagnara at 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=248939b515763a6a029c0c839f006fbf9b657ab3
Author: Abramo Bagnara <abramo.bagnara at 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=fb5d23c2e4159819a48ea0c33deaa4865a26cc3f
Author: Abramo Bagnara <abramo.bagnara at 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=15650222d5358a202411066142ab134b03cbea1e
Author: Abramo Bagnara <abramo.bagnara at 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=25bb77587944768581225d1c0048facab32cf019
Author: Roberto Bagnara <bagnara at 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=d118d742791b628a2e959180fdfa51e7cd0035fd
Author: Roberto Bagnara <bagnara at 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=ca8d1bde6507d75322f7855f61ca2c24c0a6f4e6
Author: Fabio Bossi <bossi at 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=50dc24772dc142eed06b6109672b3804e15a0804
Merge: 3616d591577d423267e19a127d48c0027b635b1d 9374a9a1b64cc335b23b59a67271a2c93d865245
Author: Fabio Bossi <bossi at 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=9374a9a1b64cc335b23b59a67271a2c93d865245
Author: Fabio Bossi <bossi at 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=36d6a4538f0c0d8c45b826d2cde188300a5e35d3
Author: Fabio Bossi <bossi at 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=3616d591577d423267e19a127d48c0027b635b1d
Merge: 2e71dea17ca82986fa7168af9e7ab5dafedeb215 e1cf43ab6cd604855a4b94256a20979e28192980
Author: Roberto Bagnara <bagnara at 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=e1cf43ab6cd604855a4b94256a20979e28192980
Author: Roberto Bagnara <bagnara at 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=2e71dea17ca82986fa7168af9e7ab5dafedeb215
Author: Patricia Hill <p.m.hill at 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=1df9213c90ec73b9df81114d2d6d500db12e9fdf
Merge: 67f09abe8574bd20b74635d3e4830949ed5cec4e 5a5759bafd7558a88a8cd8613940fcff247ea407
Author: Roberto Bagnara <bagnara at 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=5a5759bafd7558a88a8cd8613940fcff247ea407
Author: Patricia Hill <p.m.hill at 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=67f09abe8574bd20b74635d3e4830949ed5cec4e
Merge: d595301786bc6be8f57cb37dfa31c2741b9be137 12f97bbef1ad3223c630d10474851eb5d67611db
Author: Roberto Bagnara <bagnara at 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=12f97bbef1ad3223c630d10474851eb5d67611db
Author: Roberto Bagnara <bagnara at 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=121539b86e288e585e748b36476180c078509874
Author: Roberto Bagnara <bagnara at 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=9c8f5935d3a6cb4602a7251e3039c4cdf05b1d72
Author: Roberto Bagnara <bagnara at 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=26c113f59e20e39da438e782bcd0631aa171d2cc
Author: Roberto Bagnara <bagnara at 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=b537ac3b2872c009c0f670867ff36b180bc60d5d
Author: Enea Zaffanella <zaffanella at 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=676839fa3c6c29ffe32b6679f7cc242ed0764d1e
Author: Enea Zaffanella <zaffanella at 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=981f391c6dd52ac09e7c7bd865cb11581bb5947c
Author: Enea Zaffanella <zaffanella at 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=16fc9b1bbb2a713b80dca78ee1d1d7cd42e5eebe
Author: Enea Zaffanella <zaffanella at 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=e85e862edc6b516ff51472001c196e55dda05ad1
Author: Enea Zaffanella <zaffanella at 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=f2f745cdb383e86868ece38996a39b8ce9c2aa6c
Author: Enea Zaffanella <zaffanella at 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=95893a2b2a7e4bbb67e29ccd8acb043a630812a5
Author: Enea Zaffanella <zaffanella at 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=225b29f1ab3b83fc3ca6b3d68007919ad3036954
Author: Roberto Bagnara <bagnara at 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=3c526a80d5c063d3f66c2fd2ed438d9d5fe91274
Author: Roberto Bagnara <bagnara at 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=d6c9105aa28e84fdc0c7283c839a017e6d3949aa
Author: Roberto Bagnara <bagnara at 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=07f8c154d6e0bef0e99284e1597c327beddf6b45
Author: Roberto Bagnara <bagnara at 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=d595301786bc6be8f57cb37dfa31c2741b9be137
Merge: 2ecc4a9389baf2d0ff5b637ba67dd29ab967b6b5 086927949fd92366d26e8b3fc8c93b63cc661b11
Author: Roberto Bagnara <bagnara at 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=086927949fd92366d26e8b3fc8c93b63cc661b11
Author: Roberto Bagnara <bagnara at 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=a989820a1590c687ad5a1657a3826f04558f8e1e
Author: Roberto Bagnara <bagnara at 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=f53ed666287c55ea74013d3314bbbc9451ca49dc
Author: Roberto Bagnara <bagnara at 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=2ecc4a9389baf2d0ff5b637ba67dd29ab967b6b5
Merge: b9c75c0855011b07b8d014c510403a3e34cf0a91 73cfc6e2390366f132e6967d225c4d5ec317bb46
Author: Roberto Bagnara <bagnara at 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=b9c75c0855011b07b8d014c510403a3e34cf0a91
Merge: 430352775db7751e904089268357d9462b7e5646 32c3efb0d9a72bf3b3c9a6f3efaa89dff1b204ac
Author: Roberto Bagnara <bagnara at 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=430352775db7751e904089268357d9462b7e5646
Author: Roberto Bagnara <bagnara at 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=4030e0897839c19b21dc100a445bce101ff054e1
Author: Roberto Bagnara <bagnara at cs.unipr.it>
Date: Mon Jan 24 20:43:36 2011 +0100
Copyright notices updated.
URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=2941cea03d8a1994b9da0b90878fe0d568d5d0e1
Merge: dc027679371676490ea74a3356c5c5aa6e9b735f 0fd2de73dd626465d1c77d925eb63e2adb639648
Author: Roberto Bagnara <bagnara at 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=dc027679371676490ea74a3356c5c5aa6e9b735f
Author: Fabio Bossi <bossi at 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=31db7495cb05e632726d12b881a4d7ed5b062a7a
Author: Fabio Bossi <bossi at 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=bc3470cb464da6bb770fd174664ee242a454e528
Author: Fabio Bossi <bossi at 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=a2cddb4672ba7b3a892527573b00f4764708f220
Author: Fabio Bossi <bossi at 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=fbfb2232f9296687e66d16da67b3f5ccfc8b48b6
Author: Fabio Bossi <bossi at 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=ccd1b4957f96cb0988f3cf67602425907acc0acc
Author: Fabio Bossi <bossi at 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=b54b6858aa0f2e5825a24a8ce9662f3c170c8a4f
Author: Roberto Bagnara <bagnara at 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=d711641e727be3d69ca817a6bdac006b88d2cd8c
Merge: 6ba7085042a9983395f1b15daa1bf88b68a48eff 5eb5954e1de39e24dd82ad553a8a06334f8ed607
Author: Roberto Bagnara <bagnara at 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=6ba7085042a9983395f1b15daa1bf88b68a48eff
Author: Fabio Bossi <bossi at 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=a8c98f2282f91292c4d511ad676fca4995d30f99
Author: Roberto Bagnara <bagnara at 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=78e6e881955e7a87db62de79d6c21c5dae49494c
Author: Fabio Bossi <bossi at 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=b250e9ec20fb7591220070e2395cb6b89646f205
Merge: 951fdb8a9ff89a2ae59fcc1f726a2d4b05af445a 5c95fc0eab6a38442751ed16c6cfa9d538917f3f
Author: Enea Zaffanella <zaffanella at 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=951fdb8a9ff89a2ae59fcc1f726a2d4b05af445a
Author: Fabio Bossi <bossi at 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=e6885ff581361f02018b42bab8cc678d8e507e48
Merge: 3f052c1b8df2482f0adeb0c4627c7ede4876bc26 ff5b0796773b34ef9d1e26d2a40b4fdb8376dc8f
Author: Roberto Bagnara <bagnara at 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=3f052c1b8df2482f0adeb0c4627c7ede4876bc26
Author: Fabio Bossi <bossi at 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=8c02f7d8aa8325c3771e4eb66da031d7e05c7b0b
Author: Fabio Bossi <bossi at 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=500981d998d62c82210b01b5c22994e9c7ef1f4b
Author: Fabio Bossi <bossi at 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=8d8b45e65ab5caadd86a5fd193318de4c84094e7
Author: Fabio Bossi <bossi at 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=7d65c1696bed13d29185ce2b078d558188b81d45
Author: Fabio Bossi <bossi at 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=b39ec7c81e536c991c43e395147ca92b8d2a4b44
Author: Fabio Bossi <bossi at 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=2407bd5aa082844784918b237282e7cf3ed94f61
Author: Fabio Bossi <bossi at 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=8afb9a4479af879f0eaa4f05d3da2343eb1e8181
Merge: ecf177259b8f165627fcdbe7dfb55dc044bdc30b 0bb0a14d690bda10c0893e11b6019128b3c4908e
Author: Roberto Bagnara <bagnara at 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=ecf177259b8f165627fcdbe7dfb55dc044bdc30b
Author: Fabio Bossi <bossi at 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=17f7473e9cbe0dac0c5759396234c80acf50c347
Author: Fabio Bossi <bossi at 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=7bd3f0121f60355f34ba32c3a976983ff66607df
Author: Fabio Bossi <bossi at 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=954d985eb03872171e44f2da2d98c095793506e8
Merge: a6202d3f6416fd1ca3d1cd40cb25f5418c1354cd d8484a4794afafb978c01c718ea784465d835171
Author: Roberto Bagnara <bagnara at 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=a6202d3f6416fd1ca3d1cd40cb25f5418c1354cd
Merge: ebcd55e82f73703737752a66ca25891ece02661a d91c33b33dbc8b59332d279550366ed55ae9ae38
Author: Roberto Bagnara <bagnara at 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=ebcd55e82f73703737752a66ca25891ece02661a
Author: Fabio Bossi <bossi at 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=219f235033052dd7e24399eb9d1e494911ed0401
Author: Fabio Bossi <bossi at 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=33dfccc8af8e5205e24d17b8b7b83cb1d35025f3
Author: Fabio Bossi <bossi at 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=4e420b1e2114dafbb7f8a19763bd5debbd64cc5a
Merge: cd5191f18812ded12343b4fa936641d04761ffed 3e2fe287b4efd3b58127951793cc00ffe0ca21c0
Author: Roberto Bagnara <bagnara at 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=cd5191f18812ded12343b4fa936641d04761ffed
Merge: 3c68d508caa260d4dc59b5f6922fe6a0079d6eef 359b3a83e66edcfffb77c714e921fdfc217dee0b
Author: Roberto Bagnara <bagnara at 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=3c68d508caa260d4dc59b5f6922fe6a0079d6eef
Author: Fabio Bossi <bossi at 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=1cdb7511579eac9755e1cbe154e5f314409b1078
Merge: 06f21542441cd7463819d7762ea6d5033c1c0bff 384f089de7b9464efddf008a02d773af6ae213ea
Author: Roberto Bagnara <bagnara at 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=06f21542441cd7463819d7762ea6d5033c1c0bff
Merge: c9b9ee534d533869f1c5951c9909b04eeb60325b 4bc6dff62fbd10cfa5a195b2da9fc9e2bf27e341
Author: Roberto Bagnara <bagnara at 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=c9b9ee534d533869f1c5951c9909b04eeb60325b
Merge: 22520a5a072e6b1641b6a94585eb20c6b1cec2e8 533049e561beb446baf4036b42cc486ce6ab91a3
Author: Roberto Bagnara <bagnara at 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=22520a5a072e6b1641b6a94585eb20c6b1cec2e8
Author: Fabio Bossi <bossi at 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=3eac74ffc2b92eb519964c0146fea6205b655b71
Author: Fabio Bossi <bossi at 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=f6167277a1078a7891e62097d4e034830001f373
Author: Fabio Bossi <bossi at 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=17105335ca1841766bd314c9275649e87475e931
Author: Fabio Bossi <bossi at 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=41ec2a4972b2682d0237880e2c3f5f2df238bb5c
Author: Fabio Bossi <bossi at 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=1c9679165d7d9719426ed316f6b26dcaace36b58
Author: Fabio Bossi <bossi at 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=3b3495a1556330ec9ae4cf72c00398db01a10c46
Author: Fabio Bossi <bossi at 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=e85af354adc157725146aa506a6dc2f9507407e4
Author: Fabio Bossi <bossi at 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=8cfeaf81d2f501d2040e6af07815763173d7357c
Author: Fabio Bossi <bossi at 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=a69cc00cdd67f30135df670f9ebb4b2061c9fb35
Author: Fabio Bossi <bossi at 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=fcb542b0c0c0beca4216ece67163b0013ec2b61d
Author: Fabio Bossi <bossi at 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=e7b16c31a4cbd4f654222054b031ab3ec437bd68
Author: Fabio Bossi <bossi at 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=253cc5c29243856d96d5d73b9d5acfc18e4d5a39
Author: Fabio Bossi <bossi at 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=3e682219b5f19c1ce1cd7a849c7d55d2524fedc7
Merge: 986fb317391e4e937a918d53a955594f2abe84c6 ab1d650d0dcb0d122abf3d965c16ebdf94ac3325
Author: Roberto Bagnara <bagnara at 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=986fb317391e4e937a918d53a955594f2abe84c6
Author: Fabio Bossi <bossi at 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=5a827fc7a229ed6474101c2d951da3aa14c2d358
Author: Fabio Bossi <bossi at 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=f396b2fa43531c01bca0fee89127acdf8c001de9
Author: Fabio Bossi <bossi at 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=60479359fdb9e44b03132077149759c216343fcf
Author: Fabio Bossi <bossi at 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=ba58fa9f47cfefd4464f8e366e34ae92beded2d3
Author: Fabio Bossi <bossi at 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=743a6e470392137a963641956f7c273b84b04f05
Author: Abramo Bagnara <abramo.bagnara at 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=1957eb995c4d4f3fa283cfabbd73f0ac2a632e6e
Author: Fabio Bossi <bossi at 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=ee0a91950dcdced4bc81b76daf294f4838c7c97a
Author: Fabio Bossi <bossi at 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=5bdcb742713de7e2f0303d7a311b03393768560b
Author: Fabio Bossi <bossi at 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=c20b83014b3cfd30f4bbcce6882f62324083028f
Author: Fabio Bossi <bossi at 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=bd7beafc7d3db06788a182b90550ff1129923e63
Author: Fabio Bossi <bossi at 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=873f2240682ccfdcd9daef5b8d7dc9899fb5dd32
Author: Abramo Bagnara <abramo.bagnara at 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=90eaae7fe8a19eccdd7bac2763131a20ecaf616f
Author: Abramo Bagnara <abramo.bagnara at 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=0701ca66ee0a9d2b462bfe8174d8e4d2cf98ed0f
Author: Fabio Bossi <bossi at 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=0ec45a70db9cc1e9829e04477ea0f3b2cc7c701d
Author: Fabio Bossi <bossi at 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=f25bf13fcea8eccc9b0158564a558f31eadd9431
Author: Fabio Bossi <bossi at 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=e245a2b77ec1a1d7f5f4662e74226a008d80717c
Author: Fabio Bossi <bossi at 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=e9ad67116f5f290c8e4d83d3eeae7051aa549302
Author: Fabio Bossi <bossi at 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=59094c0cc8c5b5b51176d85227392850cb960de2
Author: Fabio Bossi <bossi at 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=77104a92691b2a793fa6e522f7f3d959b594417c
Author: Fabio Bossi <bossi at 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=feb014edf63cb2f41c923db0c5fc21097794a4e2
Author: Fabio Bossi <bossi at 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=e34112b360cf60ef5be4c2464d2a40e1e2f4b553
Author: Fabio Bossi <bossi at 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=cf0f3e91a7d00432443ee59354eb8354643c4dc6
Author: Fabio Bossi <bossi at 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=e23a7833eaddaa3658132a9163ec022d9d132613
Author: Fabio Bossi <bossi at 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=d1180bb65f43f1fd00788be818cd5266b4dd8096
Author: Roberto Bagnara <bagnara at 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=7d4c2d096dd5b83034515e107b6ee168c5eee8c7
Author: Fabio Bossi <bossi at 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=82938f2c47098c92a07a5e958f39e343a463b3d0
Author: Fabio Bossi <bossi at 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=c28d3f92ad09efc6f2aff83a7bb9857ffa38a392
Author: Roberto Bagnara <bagnara at 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=f6b9896513010c79ce173a2226b833477690f5ab
Author: Fabio Bossi <bossi at 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=74620fd8c5d3cf65eb8503a5825bb196fe0d9cb1
Author: Fabio Bossi <bossi at 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=f4d76853831054292145b3d7f4c327e925f6af51
Author: Fabio Bossi <bossi at 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=eee4fc2395d61a069a73f388ab68b3c6cf9173dd
Author: Fabio Bossi <bossi at 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=1c4c91c248d74dc5abb8c5b45507dfe9665ff6b5
Author: Fabio Bossi <bossi at 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=2af7d3f9cb5283ce313f38d9d217d881ea53a3dd
Author: Fabio Bossi <bossi at 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=9c9c1ff2fef76d9dd8fbf669cf96c349794f9df5
Author: Fabio Bossi <bossi at 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=0db84c97d57aa3eb8324d5b9113ca8393efa65f3
Author: Fabio Bossi <bossi at 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=608cd868519a4b228aea86441b5bb25d0ee4fcf5
Author: Fabio Bossi <bossi at 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=1e5b8d148576252e05021bfaf76a14e14416f8c0
Author: Fabio Bossi <bossi at 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=36c398be7c32598e44f067236ad2aa040a927265
Author: Fabio Bossi <bossi at 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=598a0f5c035c8c0ebdb93d7a390b21c6500a8263
Author: Fabio Bossi <bossi at 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=cc3822c311bf9c585c8a73c0bbdfed071de8277b
Author: Fabio Bossi <bossi at 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=0decead53d0c887298b1dc309e7003d2ce59698f
Author: Fabio Bossi <bossi at 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=d7bfff5fe6a73fd3496b5c6af2cd1864fab1e4b9
Author: Fabio Bossi <bossi at 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=5f7ad90bdec26fb1710939a6887bf0b89277f91f
Author: Fabio Bossi <bossi at 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=4c1245f7e89c21d15863001bbc4e5bd9a3cce348
Author: Fabio Bossi <bossi at 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=62fcf8c0d4beb9d94c555f6c0310a4030b5f2312
Author: Fabio Bossi <bossi at 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=df4645ba455fac92547b0bd050d43b20edeadfcb
Author: Fabio Bossi <bossi at 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=c85b888fd3f403f17df903db4016411d2c199196
Author: Fabio Bossi <bossi at 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=152569b0c53bb429e915bfa37b6bf1c7a0ea2fdb
Author: Fabio Bossi <bossi at 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=7421b099f14c21bd61400d345201e92022d836aa
Author: Fabio Bossi <bossi at 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=95846dca5e7fe0afec95c2489192e4f3eab81f61
Author: Fabio Bossi <bossi at 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=14cd19f366e8c39a409d2d8fa16653e1774714d8
Author: Fabio Bossi <bossi at 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=a7342b17d584af1d0c446ff52f018b8d59b13ba0
Author: Roberto Bagnara <bagnara at 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=2878e40c4194a0d969f877627361fee89ced3321
Author: Abramo Bagnara <abramo.bagnara at 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=df824f255b127832cf64d21ee9cd4b4cef9bdbc2
Author: Roberto Bagnara <bagnara at 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=0e4329676d8e481e3fa96cada83f3701ac91039a
Author: Roberto Bagnara <bagnara at 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=71f19792e6036a89d4dc818cc10f2b041bfec937
Author: Roberto Bagnara <bagnara at 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=82b6eee4e36ffb76002c8dcbb7c9594dc9b73d59
Merge: dc4a6a3651215889f2324fa073a85605ebe870b0 75de3adbd70ca2f2d42112a53e719c27cbea4731
Author: Roberto Bagnara <bagnara at 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=dc4a6a3651215889f2324fa073a85605ebe870b0
Author: Abramo Bagnara <abramo.bagnara at 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.
More information about the PPL-devel
mailing list