[PPL-devel] [GIT] ppl/ppl(floating_point): New commits
Roberto Bagnara
bagnara at cs.unipr.it
Tue Jun 15 12:07:28 CEST 2010
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.)
URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=7619e0ea164cc929b987b59edbc87e3a0987bf0d
Author: Enea Zaffanella <zaffanella at cs.unipr.it>
Date: Fri Apr 16 15:16:17 2010 +0200
Properly document ppl_Coefficient_bits/1.
URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=41926a747ca792393a6ea992f7234d24f980369a
Author: Enea Zaffanella <zaffanella at cs.unipr.it>
Date: Fri Apr 16 14:46:46 2010 +0200
Corrected a few typos.
URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=39fd68769135cfa380fadefddfdede59609e2f9c
Author: Enea Zaffanella <zaffanella at cs.unipr.it>
Date: Fri Apr 16 14:06:50 2010 +0200
Corrected typo causing a bug in the XSB Prolog interface.
URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=7db9d078f15311aaaeed57e0dae06c44e89dd329
Author: Enea Zaffanella <zaffanella at cs.unipr.it>
Date: Fri Apr 16 11:14:23 2010 +0200
Add method wrap_assign() to Pointset_Powerset.
URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=89dc0e98630f7986a46283fb3fa47259f0e77b8f
Author: Enea Zaffanella <zaffanella at cs.unipr.it>
Date: Fri Apr 16 11:13:48 2010 +0200
A minor stylistic improvement and a typo corrected.
URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=4c2dac122ee1de57646e57a6268d1c191f973114
Author: Abramo Bagnara <abramo.bagnara at gmail.com>
Date: Fri Apr 16 09:02:05 2010 +0200
Silenced warnings.
URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=b9cd3bb78c41bee54756f3a030a3aea2688e7849
Author: Patricia Hill <p.m.hill at leeds.ac.uk>
Date: Thu Apr 15 20:17:59 2010 +0100
A Prolog PIP_Problem test overflows positively for checked_int8
URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=88c6e6e5b5a5720c05601277b362a32061fd958f
Author: Patricia Hill <p.m.hill at leeds.ac.uk>
Date: Thu Apr 15 20:17:12 2010 +0100
Added tests in the Prolog interface for
ppl_all_affine_quasi_ranking_functions_MS_*
URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=da7b389107033d439660684bd0613809c2a5783a
Author: Patricia Hill <p.m.hill at leeds.ac.uk>
Date: Thu Apr 15 20:15:00 2010 +0100
Added PIP_Problem predicates to list of predicates
tested in pl_check.pl.
URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=c015df929272527eaae8d88812fac917942a8597
Author: Roberto Bagnara <bagnara at cs.unipr.it>
Date: Thu Apr 15 18:04:34 2010 +0200
Updated.
URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=bf0c0ac2661acbf6492d20b8ef8b0982f9d9ffb3
Author: Roberto Bagnara <bagnara at cs.unipr.it>
Date: Thu Apr 15 17:48:51 2010 +0200
Version number bumped.
More information about the PPL-devel
mailing list