[PPL-devel] [GIT] ppl/ppl(master): New commits

Roberto Bagnara bagnara at cs.unipr.it
Tue May 3 23:08:22 CEST 2011 

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=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=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=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