March 2012 - PPL-devel - BUGSENG Mailman

[GIT] ppl/ppl(ppl-0_12-branch): New commits
by Roberto Bagnara 27 Mar '12

27 Mar '12

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=954b6a076634… Merge: da49b6da9d4f01ed01fcd1e42f55fea6513da7a7 547d8c5dc79bfb28e23d6a08ed298cab74561b38 Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Tue Mar 27 16:48:32 2012 +0200 Merge branch 'master' into ppl-0_12-branch Conflicts: configure.ac interfaces/Prolog/tests/ppl_interface_generator_prolog_generated_test_pl_code.m4 src/Grid_Certificate.cc src/Polyhedron_nonpublic.cc src/compiler.hh URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=547d8c5dc79b… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Tue Mar 27 07:15:10 2012 +0200 Parameter name fixed. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=b5f8abc4dc99… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Tue Mar 27 07:03:19 2012 +0200 Do not assume doubles are supported. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=1d003a6e58d5… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Mon Mar 26 19:14:43 2012 +0200 Version number bumped. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=a32cb5e9d79b… Author: Abramo Bagnara <abramo.bagnara(a)gmail.com> Date: Mon Mar 26 17:00:46 2012 +0200 Surround non integer costants with a cast to boundary type. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=4d9e4e176fb7… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Mon Mar 26 15:43:32 2012 +0200 Do not rely on doubles being supported. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=1362d3bf6208… Author: Abramo Bagnara <abramo.bagnara(a)gmail.com> Date: Mon Mar 26 14:51:48 2012 +0200 Output is exact also with some added needless zeroes. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=30c55629fd03… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Mon Mar 26 10:39:05 2012 +0200 Removed unused parameter name. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=59bbf2ad8eea… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Sun Mar 25 21:18:47 2012 +0200 Keep macro names within the PPL namespace. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=a52b5e5ddecd… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Sun Mar 25 19:57:52 2012 +0200 Only build `ppl_pl' for checking and install it only when shared libraries are disabled. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=3f70fc76500b… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Sun Mar 25 15:26:14 2012 +0200 Cater for versions of SWI-Prolog configured with `--disable-libdirversion'. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=a09c72698879… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Sun Mar 25 14:57:50 2012 +0200 Make sure the trailing ^M are suppressed under Windows. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=4580fa8886ea… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Sun Mar 25 11:59:44 2012 +0200 Remove the drive indication SWI-Prolog prepends to the PLBASE path under Windows. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=ae14af77fe6d… Author: Enea Zaffanella <zaffanella(a)cs.unipr.it> Date: Sun Mar 25 10:18:08 2012 +0200 Corrected wrong assertion after call to Grid::simplify(). URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=9ef3a1838508… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Sat Mar 24 18:58:43 2012 +0100 Added missing uses of `$EXEEXT'. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=533fae3d1b73… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Sat Mar 24 18:56:03 2012 +0100 Added missing link options. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=4dd838e58b17… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Sat Mar 24 15:51:38 2012 +0100 Useless declarations removed. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=f5b1ab576f8c… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Sat Mar 24 15:50:31 2012 +0100 Fixed debugging code. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=6677f1f4e72b… Author: Enea Zaffanella <zaffanella(a)cs.unipr.it> Date: Sat Mar 24 14:56:05 2012 +0100 Corrected test for has_{upper,lower}_bound so as to avoid calling the predicate on zero-dim boxes. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=666ee3e53fbc… Author: Enea Zaffanella <zaffanella(a)cs.unipr.it> Date: Sat Mar 24 14:03:14 2012 +0100 Restored the build. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=d4483b02e066… Author: Patricia Hill <p.m.hill(a)leeds.ac.uk> Date: Fri Mar 23 20:04:38 2012 +0000 Added comments. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=8d571fcfe081… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Fri Mar 23 20:50:12 2012 +0100 Added `@extra_includes@' to `AM_CPPFLAGS'. (Thanks to Joao M. Santos Silva.) URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=a1ae10fce329… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Fri Mar 23 20:22:26 2012 +0100 Portability improved. (Thanks to Tim Donahue.) URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=6f410b958859… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Fri Mar 23 20:18:02 2012 +0100 Fixed lots of parameter names. Detected by ECLAIR service funparam. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=c3aa23db3483… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Fri Mar 23 18:31:34 2012 +0100 Fixed lots of parameter names. Detected by ECLAIR service funparam. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=c05ad33bb7f8… Author: Abramo Bagnara <abramo.bagnara(a)gmail.com> Date: Thu Mar 22 10:10:05 2012 +0100 Fixed indentation. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=3a65ba183e74… Author: Abramo Bagnara <abramo.bagnara(a)gmail.com> Date: Wed Mar 21 19:44:00 2012 +0100 Removed extra parenthesis. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=42e767e008cc… Author: Abramo Bagnara <abramo.bagnara(a)gmail.com> Date: Wed Mar 21 19:39:49 2012 +0100 Added some missing parenthesis. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=ada46f601687… Author: Patricia Hill <p.m.hill(a)leeds.ac.uk> Date: Wed Mar 21 16:59:21 2012 +0000 Added missing parentheses. Detected by eclair service exprprns. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=ce51fb211446… Author: Enea Zaffanella <zaffanella(a)cs.unipr.it> Date: Wed Mar 21 15:13:28 2012 +0100 Fixed a couple of typos. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=28c00aa026e4… Author: Enea Zaffanella <zaffanella(a)cs.unipr.it> Date: Wed Mar 21 14:30:11 2012 +0100 Improved documentation for Box<ITV>::has_{upper,lower}_bound(). Weakened precondition regarding box emptiness: the box can be empty, but it can not be marked empty. Added a test to the Prolog interface. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=8c640b9acf66… Author: Enea Zaffanella <zaffanella(a)cs.unipr.it> Date: Wed Mar 21 10:56:18 2012 +0100 Modified interface for Box<ITV>::has_{upper,lower}_bound. The changes are meant to make it more similar to, e.g., maximize(). Hence, we no pass in a Variable rather than a bare dimension_type and the boolean reference argument `closed' is the last one. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=8f8ede593ef9… Author: Patricia Hill <p.m.hill(a)leeds.ac.uk> Date: Tue Mar 20 13:18:03 2012 +0000 Added parentheses and improved formatting. Missing parentheses detected by ECLAIR service exprprns. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=1ec10039245e… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Mon Mar 19 19:33:55 2012 +0100 This file is not part of the Parma Polyhedra Library. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=047c37cda2bb… Author: Enea Zaffanella <zaffanella(a)cs.unipr.it> Date: Mon Mar 19 17:47:44 2012 +0100 Added Box method has_{upper.lower}_bound to OCaml and Prolog lang interfaces. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=1efe14de8574… Author: Enea Zaffanella <zaffanella(a)cs.unipr.it> Date: Mon Mar 19 10:52:36 2012 +0100 Added Box method has_{upper,lower}_bound to Java language interface. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=2ee57e6c1041… Author: Enea Zaffanella <zaffanella(a)cs.unipr.it> Date: Mon Mar 19 08:39:20 2012 +0100 Added Box methods has_{upper,lower}_bound to C language interface. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=e604b2c5f03b… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Mon Mar 19 13:31:42 2012 +0100 Text revised. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=5ccbc9497bf3… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Mon Mar 19 12:05:33 2012 +0100 Sentence revised. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=f0a533690561… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Sun Mar 18 11:36:58 2012 +0100 Man pages updated. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=ea15ab4635ca… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Sun Mar 18 09:44:42 2012 +0100 Use a canonical FDL text. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=8df2fd42dd3c… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Sun Mar 18 09:38:52 2012 +0100 Updated. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=0b865bbd536b… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Sun Mar 18 09:23:18 2012 +0100 URL fixed. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=04b8e3abd9df… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Sun Mar 18 09:18:56 2012 +0100 Indentation fixed. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=d15a56a55b9a… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Sun Mar 18 08:35:10 2012 +0100 Cleaned. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=c381f0e1e261… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Sun Mar 18 08:23:08 2012 +0100 Copyright wording fixed. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=a0cae23e138a… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Sun Mar 18 08:12:19 2012 +0100 Updated two spurious references to FDL 1.1. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=de17663ee4f6… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Sat Mar 17 19:04:01 2012 +0100 Use a consistent formatting. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=fe5d84808585… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Sat Mar 17 18:57:49 2012 +0100 Wording fixed/improved. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=ca4e7f70b1c2… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Sat Mar 17 18:45:30 2012 +0100 Blank line added. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=0aaaf32d0d70… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Sat Mar 17 18:23:27 2012 +0100 Use consistent formatting for the FDL. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=d057ae45cf1b… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Sat Mar 17 18:03:59 2012 +0100 Added missing paragraph. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=71cd387e8024… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Sat Mar 17 15:43:21 2012 +0100 Standardized copyright messages. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=ede1a395a32c… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Sat Mar 17 15:26:01 2012 +0100 Made uniform as far as the copyright message and licensing conditions are concerned. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=487f91a9655f… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Sat Mar 17 15:22:27 2012 +0100 Updated: we no longer use CVS. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=f6e62b0264bb… Author: Patricia Hill <p.m.hill(a)leeds.ac.uk> Date: Thu Mar 15 07:39:52 2012 +0000 Ensure macro parameters in macro bodies are in parentheses. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=92d1229784b3… Author: Patricia Hill <p.m.hill(a)leeds.ac.uk> Date: Wed Mar 14 16:04:27 2012 +0000 Ensure parameters in bodies of macros are parenthesized. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=dc6864df1b2c… Author: Patricia Hill <p.m.hill(a)leeds.ac.uk> Date: Wed Mar 14 13:39:40 2012 +0000 Ensure parameters in macro bodies are parenthesized appropriately. Missing parentheses detected by ECLAIR service macrbody. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=f3442f48f028… Author: Abramo Bagnara <abramo.bagnara(a)gmail.com> Date: Wed Mar 14 11:34:58 2012 +0100 Avoid needless macro complexity. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=cca8637a572e… Author: Abramo Bagnara <abramo.bagnara(a)gmail.com> Date: Tue Mar 13 18:18:17 2012 +0100 Fixed licenses text. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=abfdcd61e39d… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Tue Mar 13 17:49:43 2012 +0100 Removed bogus use of EXTRA_DIST. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=15351dec0d69… Author: Enea Zaffanella <zaffanella(a)cs.unipr.it> Date: Mon Mar 12 13:53:04 2012 +0100 Avoid implicit conversions to bool. Detected by ECLAIR service utypflag. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=b623cb806b22… Author: Enea Zaffanella <zaffanella(a)cs.unipr.it> Date: Mon Mar 12 11:39:12 2012 +0100 Avoid implicit conversion from boolean to integral. Detected by ECLAIR service utypflag. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=5a2bb64fd41b… Author: Enea Zaffanella <zaffanella(a)cs.unipr.it> Date: Mon Mar 12 11:38:03 2012 +0100 Prefer testing explicitly against zero. Detected by ECLAIR service utypflag. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=72de66fb8504… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Sun Mar 11 19:47:56 2012 +0100 Use variables instead of repetition. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=68acb101eab3… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Sun Mar 11 19:41:31 2012 +0100 Typo fixed. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=1a2efa7ce4e6… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Sun Mar 11 18:27:30 2012 +0100 Typos fixed. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=939042024297… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Sun Mar 11 18:24:50 2012 +0100 Predicates renamed. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=3fa2a003ff7b… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Sun Mar 11 18:20:42 2012 +0100 Identifier fixed. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=c42d3a7aeede… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Sun Mar 11 18:18:30 2012 +0100 String fixed. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=ec19e1b52208… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Sun Mar 11 17:21:42 2012 +0100 Comments simplified. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=0f0ce5d8d426… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Fri Mar 9 19:15:34 2012 +0100 Commented-out code removed. Detected by ECLAIR service cmntdout. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=5010fa847b1f… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Fri Mar 9 19:14:06 2012 +0100 Comment corrected. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=a00f2ac21655… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Fri Mar 9 19:04:35 2012 +0100 Old FIXMEs dealt with. Detected by ECLAIR service cmntdout. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=9c44e7ac3e02… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Fri Mar 9 18:57:39 2012 +0100 Do use the notation "[l, u]" to denote the closed interval with boundaries `l' and `u'. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=bfe9db5473e2… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Fri Mar 9 18:36:05 2012 +0100 Added missing full-stop in comment. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=50030fba0045… Author: Enea Zaffanella <zaffanella(a)cs.unipr.it> Date: Thu Mar 8 13:01:20 2012 +0100 Renamed Box methods get_{upper,lower}_bound() as has_{upper,lower}_bound(). Improved documentation: in particular, make clearer that undefined behavior is obtained when calling them on an empty box. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=7cab131006b0… Author: Enea Zaffanella <zaffanella(a)cs.unipr.it> Date: Thu Mar 1 22:24:52 2012 +0100 Avoid implicit conversions to bool (prefer explicit tests against zero). Detected by ECLAIR service utypflag. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=b6c3449ce470… Author: Enea Zaffanella <zaffanella(a)cs.unipr.it> Date: Thu Mar 1 22:23:29 2012 +0100 Avoid implicit cast narrowing a signed integer value. Detected by ECLAIR service utypflag. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=49f8811aeaab… Author: Enea Zaffanella <zaffanella(a)cs.unipr.it> Date: Thu Mar 1 22:21:07 2012 +0100 Removed unused static const data member. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=d745cfa91fc7… Author: Enea Zaffanella <zaffanella(a)cs.unipr.it> Date: Thu Mar 1 22:19:18 2012 +0100 Avoid implicit conversions to bool. Detected by ECLAIR service utypflag. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=ef23118849ed… Author: Enea Zaffanella <zaffanella(a)cs.unipr.it> Date: Thu Mar 1 22:17:42 2012 +0100 Avoid implicit coversion to bool. Detected by Boolean service utypflag. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=ae02418951a2… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Wed Feb 29 21:41:34 2012 +0100 Added missing parentheses around a macro arguments. Detected by ECLAIR service macrbody. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=e7c06758ef7d… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Wed Feb 29 20:55:37 2012 +0100 Avoid mixing plain character data with numeric data. Detected by ECLAIR service utypflag. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=37adcae2f939… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Wed Feb 29 20:55:05 2012 +0100 Code layout fixed. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=c8f677733f78… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Wed Feb 29 10:36:23 2012 +0100 Updated. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=acadcd82f6c2… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Tue Feb 28 11:46:39 2012 +0100 Added a missing project and updated a broken link.

1 0

[GIT] ppl/ppl(master): Parameter name fixed.
by Roberto Bagnara 27 Mar '12

27 Mar '12

Module: ppl/ppl Branch: master Commit: 547d8c5dc79bfb28e23d6a08ed298cab74561b38 URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=547d8c5dc79b… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Tue Mar 27 07:15:10 2012 +0200 Parameter name fixed. --- src/Grid.defs.hh | 2 +- 1 files changed, 1 insertions(+), 1 deletions(-) diff --git a/src/Grid.defs.hh b/src/Grid.defs.hh index 6925cd5..39cf540 100644 --- a/src/Grid.defs.hh +++ b/src/Grid.defs.hh @@ -483,7 +483,7 @@ public: /*! The grid inherits the space dimension of the generator system. - \param gs + \param ggs The system of generators defining the grid. Its data-structures may be recycled to build the grid.

1 0

[GIT] ppl/ppl(master): Do not assume doubles are supported.
by Roberto Bagnara 27 Mar '12

27 Mar '12

Module: ppl/ppl Branch: master Commit: b5f8abc4dc994c7df3c5532090951df4b12fa596 URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=b5f8abc4dc99… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Tue Mar 27 07:03:19 2012 +0200 Do not assume doubles are supported. --- configure.ac | 2 +- tests/Box/interval1.cc | 19 ++++++++++--------- tests/Box/membytes1.cc | 16 ++++++++++------ 3 files changed, 21 insertions(+), 16 deletions(-) diff --git a/configure.ac b/configure.ac index 6b0163e..66fe9f1 100644 --- a/configure.ac +++ b/configure.ac @@ -24,7 +24,7 @@ # Process this file with Autoconf to produce a configure script. # Every other copy of the package version number gets its value from here. -AC_INIT([the Parma Polyhedra Library], [0.12.1pre1], [ppl-devel(a)cs.unipr.it], [ppl]) +AC_INIT([the Parma Polyhedra Library], [0.12.1pre2], [ppl-devel(a)cs.unipr.it], [ppl]) # Minimum Autoconf version required. AC_PREREQ(2.61) diff --git a/tests/Box/interval1.cc b/tests/Box/interval1.cc index fdaa861..ff5fae7 100644 --- a/tests/Box/interval1.cc +++ b/tests/Box/interval1.cc @@ -46,7 +46,8 @@ struct My_Interval { }; typedef Interval_Info_Bitset<unsigned int, - Floating_Point_Real_Interval_Info_Policy> Floating_Point_Real_Interval_Info; + Floating_Point_Real_Interval_Info_Policy> + Floating_Point_Real_Interval_Info; typedef Interval<F, Floating_Point_Real_Interval_Info> interval_type; }; @@ -71,15 +72,15 @@ test01() { nout << "x = " << x << endl; } - typename My_Interval<F>::interval_type z(1.41420757770538330078125); - z.join_assign(1.41421949863433837890625); + typename My_Interval<F>::interval_type z(F(1.41420757770538330078125)); + z.join_assign(F(1.41421949863433837890625)); nout << "z = " << x << endl; return !x.is_empty() #if PPL_CXX_SUPPORTS_IEEE_INEXACT_FLAG - && x.is_disjoint_from(1.41420757770538330078125) - && x.is_disjoint_from(1.41421949863433837890625) + && x.is_disjoint_from(F(1.41420757770538330078125)) + && x.is_disjoint_from(F(1.41421949863433837890625)) && z.strictly_contains(x) #else && x.is_topologically_closed() @@ -96,7 +97,7 @@ polynomial_evaluate(const std::vector<N>& P, const std::complex<N>& x, std::complex<N>& P_x) { // Note: the coefficient of the leading term is implicitly 1. - P_x = std::complex<N>(N(1.0), N(0.0)); + P_x = std::complex<N>(N(1), N(0)); for (int i = P.size(); i >= 1; --i) P_x = P_x*x + P[i-1]; } @@ -124,7 +125,7 @@ solve(const std::vector<N>& P, for (int i = 0; i < degree; ++i) { std::complex<N> P_x_i; polynomial_evaluate(P, x[i], P_x_i); - std::complex<N> d(N(1.0), N(0.0)); + std::complex<N> d(N(1), N(0)); for (int j = 0; j < degree; ++j) if (i != j) d *= (x[i] - x[j]); @@ -167,10 +168,10 @@ bool test04() { // x^2 - 1 P[1] = 0; P[0] = -1; - for (double d = 0.0; d <= 10.0; d += 1.0) { + for (int d = 0; d <= 10; ++d) { std::complex<N> P_x_i; polynomial_evaluate(P, - std::complex<N>(N(d), N(0.0)), + std::complex<N>(N(d), N(0)), P_x_i); nout << d << " " << P_x_i << endl; } diff --git a/tests/Box/membytes1.cc b/tests/Box/membytes1.cc index 47d28a1..8a0093b 100644 --- a/tests/Box/membytes1.cc +++ b/tests/Box/membytes1.cc @@ -63,17 +63,21 @@ bool test02() { Pointset_Powerset<TBox> pbox(2, EMPTY); TBox box(2); - TBox::interval_type ix; - TBox::interval_type iy; + + typedef TBox::interval_type interval_type; + typedef interval_type::boundary_type boundary_type; + + interval_type ix; + interval_type iy; for (double d = -M_PI; d <= M_PI; d += 0.01) { ix.assign(EMPTY); - ix.join_assign(d-0.015); - ix.join_assign(d+0.015); + ix.join_assign(boundary_type(d-0.015)); + ix.join_assign(boundary_type(d+0.015)); iy.assign(EMPTY); - iy.join_assign(sin(d-0.015)); - iy.join_assign(sin(d+0.015)); + iy.join_assign(boundary_type(sin(d-0.015))); + iy.join_assign(boundary_type(sin(d+0.015))); box.set_interval(x, ix); box.set_interval(y, iy);

1 0

[GIT] ppl/ppl(master): Version number bumped.
by Roberto Bagnara 27 Mar '12

27 Mar '12

Module: ppl/ppl Branch: master Commit: 1d003a6e58d5a2e4146cc4754647c853c9fd0d90 URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=1d003a6e58d5… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Mon Mar 26 19:14:43 2012 +0200 Version number bumped. --- configure.ac | 2 +- 1 files changed, 1 insertions(+), 1 deletions(-) diff --git a/configure.ac b/configure.ac index e78909e..6b0163e 100644 --- a/configure.ac +++ b/configure.ac @@ -24,7 +24,7 @@ # Process this file with Autoconf to produce a configure script. # Every other copy of the package version number gets its value from here. -AC_INIT([the Parma Polyhedra Library], [0.12pre7], [ppl-devel(a)cs.unipr.it], [ppl]) +AC_INIT([the Parma Polyhedra Library], [0.12.1pre1], [ppl-devel(a)cs.unipr.it], [ppl]) # Minimum Autoconf version required. AC_PREREQ(2.61)

1 0

[GIT] ppl/ppl(master): Surround non integer costants with a cast to boundary type.
by Abramo Bagnara 26 Mar '12

26 Mar '12

Module: ppl/ppl Branch: master Commit: a32cb5e9d79b000054bd5c56d250999ac93b924b URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=a32cb5e9d79b… Author: Abramo Bagnara <abramo.bagnara(a)gmail.com> Date: Mon Mar 26 17:00:46 2012 +0200 Surround non integer costants with a cast to boundary type. --- src/Interval.inlines.hh | 2 ++ tests/Concrete_Expression/bdshape1.cc | 12 ++++++------ tests/Concrete_Expression/bdshape2.cc | 26 +++++++++++++------------- tests/Concrete_Expression/octagonalshape1.cc | 12 ++++++------ tests/Concrete_Expression/octagonalshape2.cc | 26 +++++++++++++------------- tests/Concrete_Expression/polyhedron2.cc | 6 +++--- 6 files changed, 43 insertions(+), 41 deletions(-) Diff: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commitdiff;h=a32cb5e9…

1 0

[GIT] ppl/ppl(master): Do not rely on doubles being supported.
by Roberto Bagnara 26 Mar '12

26 Mar '12

Module: ppl/ppl Branch: master Commit: 4d9e4e176fb7479cb0160ec8a13571744f39c272 URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=4d9e4e176fb7… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Mon Mar 26 15:43:32 2012 +0200 Do not rely on doubles being supported. --- src/Linear_Form.templates.hh | 28 +++++++++++++------------- tests/Concrete_Expression/digitalfilters1.cc | 4 +- tests/Concrete_Expression/linearform1.cc | 16 +++++++------- tests/Concrete_Expression/linearize.cc | 4 +- tests/Concrete_Expression/polyhedron1.cc | 2 +- 5 files changed, 27 insertions(+), 27 deletions(-) diff --git a/src/Linear_Form.templates.hh b/src/Linear_Form.templates.hh index 2630f0f..3eca9ac 100644 --- a/src/Linear_Form.templates.hh +++ b/src/Linear_Form.templates.hh @@ -44,7 +44,7 @@ Linear_Form<C>::Linear_Form(const Variable v) "space dimension."); vec.reserve(compute_capacity(space_dim+1, vec_type().max_size())); vec.resize(space_dim+1, zero); - vec[v.space_dimension()] = static_cast<C>(1.0); + vec[v.space_dimension()] = C(typename C::boundary_type(1)); } template <typename C> @@ -61,8 +61,8 @@ Linear_Form<C>::Linear_Form(const Variable v, const Variable w) vec.reserve(compute_capacity(space_dim+1, vec_type().max_size())); vec.resize(space_dim+1, zero); if (v_space_dim != w_space_dim) { - vec[v_space_dim] = static_cast<C>(1.0); - vec[w_space_dim] = static_cast<C>(-1.0); + vec[v_space_dim] = C(typename C::boundary_type(1)); + vec[w_space_dim] = C(typename C::boundary_type(-1)); } } @@ -129,7 +129,7 @@ operator+(const Variable v, const Linear_Form<C>& f) { Linear_Form<C> r(f); if (v_space_dim > f.space_dimension()) r.extend(v_space_dim+1); - r[v_space_dim] += static_cast<C>(1.0); + r[v_space_dim] += C(typename C::boundary_type(1)); return r; } @@ -203,7 +203,7 @@ operator-(const Variable v, const Linear_Form<C>& f) { r.extend(v_space_dim+1); for (dimension_type i = f.size(); i-- > 0; ) r[i].neg_assign(r[i]); - r[v_space_dim] += static_cast<C>(1.0); + r[v_space_dim] += C(typename C::boundary_type(1)); return r; } @@ -220,7 +220,7 @@ operator-(const Linear_Form<C>& f, const Variable v) { Linear_Form<C> r(f); if (v_space_dim > f.space_dimension()) r.extend(v_space_dim+1); - r[v_space_dim] -= static_cast<C>(1.0); + r[v_space_dim] -= C(typename C::boundary_type(1)); return r; } @@ -270,7 +270,7 @@ operator+=(Linear_Form<C>& f, const Variable v) { "v exceeds the maximum allowed space dimension."); if (v_space_dim > f.space_dimension()) f.extend(v_space_dim+1); - f[v_space_dim] += static_cast<C>(1.0); + f[v_space_dim] += C(typename C::boundary_type(1)); return f; } @@ -298,7 +298,7 @@ operator-=(Linear_Form<C>& f, const Variable v) { "v exceeds the maximum allowed space dimension."); if (v_space_dim > f.space_dimension()) f.extend(v_space_dim+1); - f[v_space_dim] -= static_cast<C>(1.0); + f[v_space_dim] -= C(typename C::boundary_type(1)); return f; } @@ -482,20 +482,20 @@ IO_Operators::operator<<(std::ostream& s, const Linear_Form<C>& f) { bool first = true; for (dimension_type v = 0; v < num_variables; ++v) { const C& fv = f[v+1]; - if (fv != 0) { + if (fv != typename C::boundary_type(0)) { if (first) { - if (fv == -1.0) + if (fv == typename C::boundary_type(-1)) s << "-"; - else if (fv != 1.0) + else if (fv != typename C::boundary_type(1)) s << fv << "*"; first = false; } else { - if (fv == -1.0) + if (fv == typename C::boundary_type(-1)) s << " - "; else { s << " + "; - if (fv != 1.0) + if (fv != typename C::boundary_type(1)) s << fv << "*"; } } @@ -521,7 +521,7 @@ IO_Operators::operator<<(std::ostream& s, const Linear_Form<C>& f) { PPL_OUTPUT_TEMPLATE_DEFINITIONS(C, Linear_Form<C>) template <typename C> -C Linear_Form<C>::zero(0.0); +C Linear_Form<C>::zero(typename C::boundary_type(0)); } // namespace Parma_Polyhedra_Library diff --git a/tests/Concrete_Expression/digitalfilters1.cc b/tests/Concrete_Expression/digitalfilters1.cc index 98490cc..2d00d3a 100644 --- a/tests/Concrete_Expression/digitalfilters1.cc +++ b/tests/Concrete_Expression/digitalfilters1.cc @@ -70,8 +70,8 @@ public: }; using namespace Parma_Polyhedra_Library::IO_Operators; -Concrete_Expression_Type FP_Type = - Concrete_Expression_Type::floating_point(ANALYZED_FP_FORMAT); +Concrete_Expression_Type FP_Type += Concrete_Expression_Type::floating_point(ANALYZED_FP_FORMAT); typedef Integer_Interval Int_Interval; diff --git a/tests/Concrete_Expression/linearform1.cc b/tests/Concrete_Expression/linearform1.cc index 1f12c82..e29f9af 100644 --- a/tests/Concrete_Expression/linearform1.cc +++ b/tests/Concrete_Expression/linearform1.cc @@ -155,8 +155,8 @@ test05() { Variable B(1); FP_Linear_Form f = A; - FP_Interval x(2.0); - x /= FP_Interval(3.0); + FP_Interval x(FP_Interval::boundary_type(2)); + x /= FP_Interval(FP_Interval::boundary_type(3)); f *= x; FP_Linear_Form known_result = f + B; @@ -205,12 +205,12 @@ test07() { bool result1 = (f1 == f2); - f2 += FP_Interval(1.0); + f2 += FP_Interval(FP_Interval::boundary_type(1)); bool result2 = (f1 == f2); bool result3 = (f2 == f1); - f1 += FP_Interval(1.0); + f1 += FP_Interval(FP_Interval::boundary_type(1)); bool result4 = (f2 == f1); nout << "*** known_result ***" << endl @@ -312,11 +312,11 @@ test10() { Variable x5(5); Variable x2(2); FP_Interval x5_coefficient; - x5_coefficient.lower() = 2.0; - x5_coefficient.upper() = 3.0; + x5_coefficient.lower() = FP_Interval::boundary_type(2); + x5_coefficient.upper() = FP_Interval::boundary_type(3); FP_Interval inhomogeneous_term; - inhomogeneous_term.lower() = 4.0; - inhomogeneous_term.upper() = 8.0; + inhomogeneous_term.lower() = FP_Interval::boundary_type(4); + inhomogeneous_term.upper() = FP_Interval::boundary_type(8); FP_Linear_Form lf(x2); lf = -lf; lf += FP_Linear_Form(x2); diff --git a/tests/Concrete_Expression/linearize.cc b/tests/Concrete_Expression/linearize.cc index 29dee84..45d5b7d 100644 --- a/tests/Concrete_Expression/linearize.cc +++ b/tests/Concrete_Expression/linearize.cc @@ -244,8 +244,8 @@ test07() { linearize(div, oracle, FP_Linear_Form_Abstract_Store(), result); Variable A(0); - FP_Interval coeff = FP_Interval(1 / 2.0); - FP_Linear_Form known_result = FP_Linear_Form(A); + FP_Interval coeff(FP_Interval::boundary_type(1 / 2.0)); + FP_Linear_Form known_result(A); FP_Linear_Form rel_err; known_result.relative_error(ANALYZED_FP_FORMAT, rel_err); known_result *= coeff; diff --git a/tests/Concrete_Expression/polyhedron1.cc b/tests/Concrete_Expression/polyhedron1.cc index 3672b7d..8c82f15 100644 --- a/tests/Concrete_Expression/polyhedron1.cc +++ b/tests/Concrete_Expression/polyhedron1.cc @@ -93,7 +93,7 @@ test03() { Variable A(0); Variable B(1); FP_Interval_Abstract_Store store(2); - FP_Interval tmp(1 / 2.0); + FP_Interval tmp(FP_Interval::boundary_type(1 / 2.0)); store.set_interval(A, tmp); store.set_interval(B, tmp); Generator_System gs;

1 0

[GIT] ppl/ppl(master): Output is exact also with some added needless zeroes .
by Abramo Bagnara 26 Mar '12

26 Mar '12

Module: ppl/ppl Branch: master Commit: 1362d3bf62085f7c2b121139fd156d0b60b08169 URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=1362d3bf6208… Author: Abramo Bagnara <abramo.bagnara(a)gmail.com> Date: Mon Mar 26 14:51:48 2012 +0200 Output is exact also with some added needless zeroes. --- m4/ac_cxx_float_exact_output.m4 | 18 ++++++++++++------ 1 files changed, 12 insertions(+), 6 deletions(-) diff --git a/m4/ac_cxx_float_exact_output.m4 b/m4/ac_cxx_float_exact_output.m4 index 16f683f..4851d63 100644 --- a/m4/ac_cxx_float_exact_output.m4 +++ b/m4/ac_cxx_float_exact_output.m4 @@ -84,14 +84,20 @@ convert(uint32_t x) { int main() { - if (check(convert(0xaaacccaaU), - "-3.069535185924732179074680971098132431507110595703125e-13") + if ((check(convert(0xaaacccaaU), + "-3.069535185924732179074680971098132431507110595703125e-13") + || check(convert(0xaaacccaaU), + "-3.069535185924732179074680971098132431507110595703125e-013")) && check(convert(0xcccaaaccU), "-106255968") - && check(convert(0x00000001U), - "1.40129846432481707092372958328991613128026194187651577175706828388979108268586060148663818836212158203125e-45") - && check(convert(0x80000001U), - "-1.40129846432481707092372958328991613128026194187651577175706828388979108268586060148663818836212158203125e-45")) + && (check(convert(0x00000001U), + "1.40129846432481707092372958328991613128026194187651577175706828388979108268586060148663818836212158203125e-45") + || check(convert(0x00000001U), + "1.40129846432481707092372958328991613128026194187651577175706828388979108268586060148663818836212158203125e-045")) + && (check(convert(0x80000001U), + "-1.40129846432481707092372958328991613128026194187651577175706828388979108268586060148663818836212158203125e-45") + || check(convert(0x80000001U), + "-1.40129846432481707092372958328991613128026194187651577175706828388979108268586060148663818836212158203125e-045"))) return 0; else return 1;

1 0

[GIT] ppl/ppl(master): Removed unused parameter name.
by Roberto Bagnara 26 Mar '12

26 Mar '12

Module: ppl/ppl Branch: master Commit: 30c55629fd03c729ee85c34a21206f986590d7f2 URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=30c55629fd03… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Mon Mar 26 10:39:05 2012 +0200 Removed unused parameter name. --- tests/Random_Number_Generator.inlines.hh | 3 +-- 1 files changed, 1 insertions(+), 2 deletions(-) diff --git a/tests/Random_Number_Generator.inlines.hh b/tests/Random_Number_Generator.inlines.hh index ce33d3a..89f8513 100644 --- a/tests/Random_Number_Generator.inlines.hh +++ b/tests/Random_Number_Generator.inlines.hh @@ -73,9 +73,8 @@ Random_Number_Generator::Random_Number_Generator(const unsigned long seed) template <typename T> inline void -Random_Number_Generator::get(T& x, unsigned int info) { +Random_Number_Generator::get(T& x, unsigned int) { using Implementation::Random_Numbers::Random_Number_Generator_Aux; - used(info); static Random_Number_Generator_Aux<T> aux(max_bits); mpz_class n; if (std::numeric_limits<T>::is_bounded) {

1 0

[GIT] ppl/ppl(sparse_matrices): Restored (after adapting it) commented out code.
by Enea Zaffanella 26 Mar '12

26 Mar '12

Module: ppl/ppl Branch: sparse_matrices Commit: daa305b4da6b5e5e29b6623b39ba88ce9fe03570 URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=daa305b4da6b… Author: Enea Zaffanella <zaffanella(a)cs.unipr.it> Date: Mon Mar 26 09:53:15 2012 +0200 Restored (after adapting it) commented out code. --- src/Polyhedron_nonpublic.cc | 7 +------ 1 files changed, 1 insertions(+), 6 deletions(-) diff --git a/src/Polyhedron_nonpublic.cc b/src/Polyhedron_nonpublic.cc index b948e04..f6f20ec 100644 --- a/src/Polyhedron_nonpublic.cc +++ b/src/Polyhedron_nonpublic.cc @@ -1342,12 +1342,7 @@ PPL::Polyhedron::strongly_minimize_generators() const { } gs.sys.index_first_pending = gs.num_rows(); - - /* FIXME: Check why the following does not work anymore. - if (gs_sorted) - gs.set_sorted(true); - */ - gs.set_sorted(false); + gs.set_sorted(gs_sorted); PPL_ASSERT(gs.sys.OK());

1 0

[GIT] ppl/ppl(sparse_matrices): New commits
by Roberto Bagnara 26 Mar '12

26 Mar '12

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=faaf9b9fc423… Merge: c1bbb658bf1d016b739e9119d4fe0160b69f9974 ae14af77fe6d4f08fdf971dbcefd2c00b52fd329 Author: Enea Zaffanella <zaffanella(a)cs.unipr.it> Date: Mon Mar 26 09:11:57 2012 +0200 Merge branch 'master' into sparse_matrices Conflicts: src/CO_Tree.inlines.hh src/Congruence.inlines.hh src/Congruence_System.defs.hh src/Congruence_System.inlines.hh src/Constraint_System.defs.hh src/Grid.defs.hh src/Grid_simplify.cc src/Grid_widenings.cc src/Linear_Row.inlines.hh src/MIP_Problem.cc src/PIP_Tree.cc src/PIP_Tree.defs.hh src/Polyhedron.defs.hh src/Polyhedron_nonpublic.cc src/Scalar_Products.cc src/Scalar_Products.defs.hh URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=ae14af77fe6d… Author: Enea Zaffanella <zaffanella(a)cs.unipr.it> Date: Sun Mar 25 10:18:08 2012 +0200 Corrected wrong assertion after call to Grid::simplify(). URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=9ef3a1838508… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Sat Mar 24 18:58:43 2012 +0100 Added missing uses of `$EXEEXT'. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=533fae3d1b73… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Sat Mar 24 18:56:03 2012 +0100 Added missing link options. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=4dd838e58b17… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Sat Mar 24 15:51:38 2012 +0100 Useless declarations removed. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=f5b1ab576f8c… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Sat Mar 24 15:50:31 2012 +0100 Fixed debugging code. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=6677f1f4e72b… Author: Enea Zaffanella <zaffanella(a)cs.unipr.it> Date: Sat Mar 24 14:56:05 2012 +0100 Corrected test for has_{upper,lower}_bound so as to avoid calling the predicate on zero-dim boxes. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=666ee3e53fbc… Author: Enea Zaffanella <zaffanella(a)cs.unipr.it> Date: Sat Mar 24 14:03:14 2012 +0100 Restored the build. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=d4483b02e066… Author: Patricia Hill <p.m.hill(a)leeds.ac.uk> Date: Fri Mar 23 20:04:38 2012 +0000 Added comments. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=8d571fcfe081… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Fri Mar 23 20:50:12 2012 +0100 Added `@extra_includes@' to `AM_CPPFLAGS'. (Thanks to Joao M. Santos Silva.) URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=a1ae10fce329… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Fri Mar 23 20:22:26 2012 +0100 Portability improved. (Thanks to Tim Donahue.) URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=6f410b958859… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Fri Mar 23 20:18:02 2012 +0100 Fixed lots of parameter names. Detected by ECLAIR service funparam. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=c3aa23db3483… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Fri Mar 23 18:31:34 2012 +0100 Fixed lots of parameter names. Detected by ECLAIR service funparam. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=c05ad33bb7f8… Author: Abramo Bagnara <abramo.bagnara(a)gmail.com> Date: Thu Mar 22 10:10:05 2012 +0100 Fixed indentation.

1 0