[PPL-devel] [GIT] ppl/ppl(floating_point): New commits
Roberto Bagnara
bagnara at cs.unipr.it
Sun Feb 13 16:28:28 CET 2011
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=32c3efb0d9a72bf3b3c9a6f3efaa89dff1b204ac
Author: Enea Zaffanella <zaffanella at cs.unipr.it>
Date: Fri Feb 11 15:01:08 2011 +0100
Fixed auxiliary function aux_test to perform proper comparisons.
In the meanwhile, fixed another typo.
URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=e42f8b60421ca299d9a25d1d96f741a3a537e482
Merge: 9d99c21af3e717056a34d4f67739afb375cabe94 22b1565be0efe35f86e6323180ff6de113b19b18
Author: Enea Zaffanella <zaffanella at cs.unipr.it>
Date: Fri Feb 11 10:17:30 2011 +0100
Merge branch 'master' into pip
URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=22b1565be0efe35f86e6323180ff6de113b19b18
Author: Enea Zaffanella <zaffanella at cs.unipr.it>
Date: Fri Feb 11 09:53:50 2011 +0100
Mentioned the correction of a few problems.
URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=9d99c21af3e717056a34d4f67739afb375cabe94
Author: Enea Zaffanella <zaffanella at cs.unipr.it>
Date: Fri Feb 11 08:50:37 2011 +0100
Minor readability improvements to PIP_Decision_Node::solve().
URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=a5d400f674a9d725c93d01e19a91276fd459e386
Merge: 29201d2a5893bbe17744777de36e9a106ed8ea95 d0f6bd037c90676130e9547e5ed909cf6ba8eee9
Author: Enea Zaffanella <zaffanella at cs.unipr.it>
Date: Thu Feb 10 18:50:11 2011 +0100
Merge branch 'master' into pip
URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=29201d2a5893bbe17744777de36e9a106ed8ea95
Author: Enea Zaffanella <zaffanella at cs.unipr.it>
Date: Thu Feb 10 18:48:11 2011 +0100
For readability, separate the input operation from input stream status check.
URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=bb08fb49f561adff12634ec0468d0138f0913533
Author: Enea Zaffanella <zaffanella at cs.unipr.it>
Date: Thu Feb 10 18:46:41 2011 +0100
Corrected expected results.
URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=d0f6bd037c90676130e9547e5ed909cf6ba8eee9
Author: Abramo Bagnara <abramo.bagnara at gmail.com>
Date: Thu Feb 10 16:47:22 2011 +0100
Fixed stream state on checked input.
URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=b86cb60dbf7774131f5739879beff3015decbce5
Merge: 3c8f16e240439811d501629660cedb8f99f0009a c23ded5ce0023a753fdd5da2dbbd99d1a084566c
Author: Enea Zaffanella <zaffanella at cs.unipr.it>
Date: Thu Feb 10 10:49:20 2011 +0100
Merge branch 'master' into pip
URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=3c8f16e240439811d501629660cedb8f99f0009a
Author: Enea Zaffanella <zaffanella at cs.unipr.it>
Date: Thu Feb 10 10:47:59 2011 +0100
Corrected the expected result for test02 to match integral simplifications.
URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=0e4098c48d6fe9daae9d405112df1aac7ed66742
Author: Enea Zaffanella <zaffanella at cs.unipr.it>
Date: Thu Feb 10 10:46:03 2011 +0100
Exploit variable integrality when creating tautology constraints.
Factored out helper function
void integral_simplification(Row&);
used when generating tautology and sign splitting constraints.
URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=c23ded5ce0023a753fdd5da2dbbd99d1a084566c
Author: Enea Zaffanella <zaffanella at cs.unipr.it>
Date: Sat Feb 5 21:01:13 2011 +0100
Fixed function ppl_Pointset_Powerset_*_get_disjunct in OCaml interface.
URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=bf1edca5e0ddb03674a35218dccce6bc421469e2
Author: Marco Poletti <poletti.marco at gmail.com>
Date: Sat Feb 5 16:09:47 2011 +0100
Polyhedron: fix an invalid reference bug in generalized_affine_image().
URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=a01fecf4cde756aaefe88b8f309f9bdf3e07b670
Author: Marco Poletti <poletti.marco at gmail.com>
Date: Sat Feb 5 09:58:54 2011 +0100
Grid: avoid using an invalid reference in the constructor from a Box.
URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=caaa126b56ccb07884217b33b6cc8c1f79e7f6ca
Author: Enea Zaffanella <zaffanella at cs.unipr.it>
Date: Fri Feb 4 17:22:07 2011 +0100
Fixed a bug in the simplification of the solution tree.
We were too eager in merging a single true child with its parent:
if the true child happened to be a decision node with both childs,
the merging was causing the violation of a PIP_Decision_Node invariant.
URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=20f99dbe73d5c6b988561d7cffaa4d294f2bdb6a
Author: Enea Zaffanella <zaffanella at cs.unipr.it>
Date: Fri Feb 4 15:42:15 2011 +0100
Further improvement to debug output.
Preprocessor flag NOISY_PIP_TREE_STRUCTURE only activate those debug print
taht is useful to hightlight the solution tree construction process.
URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=d6c61aaed265c41faaac720ea2ef2f25ed8684e6
Author: Enea Zaffanella <zaffanella at cs.unipr.it>
Date: Fri Feb 4 14:21:07 2011 +0100
A minor improvement to the debug printing mechanism.
Methods solve() and generate_cut() are now provided with additional argument
indent_level, telling the amount of indentation for debug prints.
Added several messages to debug prints so as to clarify the solution tree
construction process.
URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=03f79f0649bf8108e16af8a73a21ee7553702bfb
Author: Enea Zaffanella <zaffanella at cs.unipr.it>
Date: Fri Feb 4 11:22:41 2011 +0100
Exploit integrality when adding constraints for mixed parameter sign rows.
Try to distinguish between NOISY and VERY_NOISY debugging output.
URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=35d2df08098d17c0a57b5df0d9f7f27512d0c5f1
Author: Enea Zaffanella <zaffanella at cs.unipr.it>
Date: Fri Feb 4 09:52:58 2011 +0100
Fully normalize artificial parameters on construction.
When in noisy mode, print normalized parameters.
URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=3f551cfb87006f97c250feaa83a578361f855b38
Author: Enea Zaffanella <zaffanella at cs.unipr.it>
Date: Fri Feb 4 08:39:12 2011 +0100
Minor changes related to coding standards.
Prefer initial capitalization for (user-defined) type names.
Prefer function objects to function pointers.
Avoid nesting an anonymous namespace into another anonymous namespace.
URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=0643bb18e84c01bf0906b99dbef0005e55f664b4
Author: Enea Zaffanella <zaffanella at cs.unipr.it>
Date: Thu Feb 3 18:48:49 2011 +0100
Corrected a bug in cut generation.
We were using %= instead of the helper function mod_assign(),
which is meant to compute the *positive* modulus.
For clarity, the helper function has been renamed as pos_mod_assign().
URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=f14d56cb93cb6fffb3d68511b59237668f8de92c
Author: Fabio Bossi <bossi at cs.unipr.it>
Date: Wed Feb 2 16:48:49 2011 +0100
Do not use the deprecated function mpz_div_2exp.
Use mpz_tdiv_q_2exp instead.
URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=c02e988b645f656169f037794797bcbb45f57f2e
Author: Roberto Bagnara <bagnara at cs.unipr.it>
Date: Sat Jan 29 19:45:52 2011 +0100
AC_PROG_OCAML only sets OCAMLOPT if OCAMLC is different from "no".
URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=b4d174ba5cb6e98e15ceeeb57e7a9931187197bb
Author: Roberto Bagnara <bagnara at cs.unipr.it>
Date: Sat Jan 29 10:54:01 2011 +0100
Copyright notices updated in expexted result files.
URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=fb4f7f910d95fd60d9cc13cb195e6b7869949af6
Author: Roberto Bagnara <bagnara at cs.unipr.it>
Date: Mon Jan 24 20:43:36 2011 +0100
Copyright notices updated.
More information about the PPL-devel
mailing list