[PPL-devel] [GIT] ppl/ppl(sparse_matrices): New commits
Roberto Bagnara
bagnara at cs.unipr.it
Wed Jul 21 09:07:23 CEST 2010
URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=109c913c02d158b3cb3d8121762584cf4848de52
Merge: 31eb3edd5909fd3fe9c13c6dbae2355c3949a692 75de3adbd70ca2f2d42112a53e719c27cbea4731
Author: Marco Poletti <poletti.marco at gmail.com>
Date: Wed Jul 21 09:11:46 2010 +0200
Merge branch 'master' into sparse_matrices
Conflicts:
CREDITS
configure.ac
src/MIP_Problem.cc
src/MIP_Problem.defs.hh
URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=75de3adbd70ca2f2d42112a53e719c27cbea4731
Author: Roberto Bagnara <bagnara at cs.unipr.it>
Date: Sat Jul 3 12:03:09 2010 +0200
Version number bumped.
URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=16cbdda5d7d356f811034951fa25bb45f89aa9cc
Author: Enea Zaffanella <zaffanella at cs.unipr.it>
Date: Mon Jun 28 09:36:56 2010 +0200
Improved specification and implementation of erase_artificials().
URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=e23face68ebfc2b001ed1fa82014ec61cd8be0db
Author: Enea Zaffanella <zaffanella at cs.unipr.it>
Date: Mon Jun 28 08:48:32 2010 +0200
Use PPL_ASSERT() instead of plain assert().
URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=40ab909d8ec60f8391fb7e7de21493219f23d81a
Author: Enea Zaffanella <zaffanella at cs.unipr.it>
Date: Sat Jun 26 21:40:44 2010 +0200
Improved MIP_Problem preprocessing phase and solved an efficiency bug.
Rewritten private methods parse_constraints(), merge_split_variable() and
process_pending_constraints(): specification clarified and implementation
improved to avoid allocating more tableau rows and columns than needed.
This results in an overall speedup, in particular when solving problems
incrementally.
URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=3e33e00ded13fdfae2f93dee29c5b3e40ba4287a
Author: Roberto Bagnara <bagnara at cs.unipr.it>
Date: Thu Jun 17 16:29:18 2010 +0200
Updated from Libtool 2.2.10.
URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=044730210d62651c866a7f368e848d4da9d9e86b
Author: Roberto Bagnara <bagnara at cs.unipr.it>
Date: Thu Jun 17 16:20:34 2010 +0200
Added missing argument names.
URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=7e35772519cb39fdc042fbb6f68966280b5a1cf5
Author: Enea Zaffanella <zaffanella at cs.unipr.it>
Date: Tue Jun 15 20:56:50 2010 +0200
Put aside changes related to Floating_Point and Linear_Form classes.
These will not enter release 0.11.
URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=24d6f3e03340f2c8ae7ded09b2087bd22c71e31e
Author: Roberto Bagnara <bagnara at cs.unipr.it>
Date: Mon May 10 14:04:20 2010 +0200
Moved Katy Dobson to the list of past contributors.
URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=e452159271aba95fe7f3bc4e60b9a850af3585ad
Author: Abramo Bagnara <abramo.bagnara at gmail.com>
Date: Fri May 7 08:44:28 2010 +0200
Fixed comment.
URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=d7c20fa14445cf00ffa4744dc7352efea0754e71
Author: Abramo Bagnara <abramo.bagnara at gmail.com>
Date: Fri May 7 07:49:16 2010 +0200
Removed current implementation of PPL_{LT,GT}_SILENT: the cure was worse than the disease.
URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=f9182bb6ab09f42b9065bf1da5664dba1243f9b1
Author: Abramo Bagnara <abramo.bagnara at gmail.com>
Date: Fri May 7 07:20:52 2010 +0200
Avoid temporary in smod_2exp.
URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=df9bcf9e4ed24b91caa6266e7fec7fb381e04aa3
Author: Abramo Bagnara <abramo.bagnara at gmail.com>
Date: Fri May 7 06:11:49 2010 +0200
Better/canonical way to avoid gcc warning.
URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=258de934add2e906ff2fb4ff768f11bf34e5fa75
Author: Abramo Bagnara <abramo.bagnara at gmail.com>
Date: Tue May 4 13:11:29 2010 +0200
Revert "Optimized smod_2exp_signed_int."
This reverts commit 21d120a07448821720acd415213f9b08a9a14338.
URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=21d120a07448821720acd415213f9b08a9a14338
Author: Abramo Bagnara <abramo.bagnara at gmail.com>
Date: Tue May 4 13:07:37 2010 +0200
Optimized smod_2exp_signed_int.
URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=b07586183751999b86e2db0bb31a43baa2ac8e4e
Author: Abramo Bagnara <abramo.bagnara at gmail.com>
Date: Sat Apr 17 12:00:38 2010 +0200
Refuse to compile on (very obsolete) architectures that are not using two's complement.
URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=140b42a24737edb642cfaeae5a6c7355e1724986
Author: Roberto Bagnara <bagnara at cs.unipr.it>
Date: Fri Apr 23 08:33:56 2010 +0200
Version number bumped.
URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=b75b69c4ea3e6f5bd1fb293f5eb89ba855252415
Author: Enea Zaffanella <zaffanella at cs.unipr.it>
Date: Fri Apr 23 00:51:39 2010 +0200
Put under git control.
URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=d882d4ea5dbe6220418ff85252035c2b14b9a20d
Author: Enea Zaffanella <zaffanella at cs.unipr.it>
Date: Thu Apr 22 23:59:57 2010 +0200
Added class Partial_Function to the PPL library.
Java, Prolog and OCaml interfaces now use an object of this Partial_Function
class when mapping the space dimensions of teh vector space.
Some of the consistency checks that were performed by other variants of
Partial_Function are now only done when in debugging mode.
URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=5b80536886e308d776ad8c08b30c2d0e8b73f66c
Author: Enea Zaffanella <zaffanella at cs.unipr.it>
Date: Thu Apr 22 15:20:33 2010 +0200
Fixed expected results for tests/Octagonal_Shape/writeoctagon1.cc
URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=c976419bcc8f082a6a0e4fd543ecc09994e03e7e
Author: Enea Zaffanella <zaffanella at cs.unipr.it>
Date: Thu Apr 22 14:42:20 2010 +0200
Use a C++ object to encode a Partial_Function in the Java interface.
Current implementation is based on a copy of the Partial_Function type
used in C++ tests: we should consider whether or not it would be appropriate
to have this Partial_Function type as a first class PPL object.
URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=64faa9223236a2a38b714c2c22830fe80b84831f
Author: Roberto Bagnara <bagnara at cs.unipr.it>
Date: Thu Apr 22 10:17:09 2010 +0200
Version number bumped.
URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=c30a06c1bbee850d1ef6d74e23e6d77073578911
Author: Enea Zaffanella <zaffanella at cs.unipr.it>
Date: Thu Apr 22 10:05:12 2010 +0200
Modified signature of method maps() in Java Partial_Function interface.
Modified test implementation in tests/Test_Partial_Function.java
accordingly (note though that TreeMap still uses Long objects).
URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=212a7409b92992e7b8275819676710e16224158c
Author: Roberto Bagnara <bagnara at cs.unipr.it>
Date: Wed Apr 21 18:55:53 2010 +0200
Version number bumped.
URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=a04daee5e4dcef68794ef5be1d5c412d29803a09
Author: Roberto Bagnara <bagnara at cs.unipr.it>
Date: Wed Apr 21 18:54:32 2010 +0200
Fixed the printing of equality constraints.
URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=9088b000d17c9ad5141dab35927a23f5a545d32d
Author: Roberto Bagnara <bagnara at cs.unipr.it>
Date: Mon Apr 19 19:33:08 2010 +0200
Version number bumped.
URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=4fd40ebc37d08d148dac661395515fecd7f55941
Author: Roberto Bagnara <bagnara at cs.unipr.it>
Date: Mon Apr 19 19:19:42 2010 +0200
Added $(noinst_HEADERS) to BUILT_SOURCES so as to build ppl.hh early when !BUILD_CXX_INTERFACE.
(Thanks to Ralf Wildenhues who identified the problem and to Sebastian Pop
who reported a parallel build failure due to it.)
More information about the PPL-devel
mailing list