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

3 May 2011


      URL:    http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=1df9213c90ec7...
Merge: 67f09abe8574bd20b74635d3e4830949ed5cec4e 5a5759bafd7558a88a8cd8613940fcff247ea407
Author: Roberto Bagnara bagnara@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=67f09abe8574b...
Merge: d595301786bc6be8f57cb37dfa31c2741b9be137 12f97bbef1ad3223c630d10474851eb5d67611db
Author: Roberto Bagnara bagnara@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=d595301786bc6...
Merge: 2ecc4a9389baf2d0ff5b637ba67dd29ab967b6b5 086927949fd92366d26e8b3fc8c93b63cc661b11
Author: Roberto Bagnara bagnara@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=2ecc4a9389baf...
Merge: b9c75c0855011b07b8d014c510403a3e34cf0a91 73cfc6e2390366f132e6967d225c4d5ec317bb46
Author: Roberto Bagnara bagnara@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=b9c75c0855011...
Merge: 430352775db7751e904089268357d9462b7e5646 32c3efb0d9a72bf3b3c9a6f3efaa89dff1b204ac
Author: Roberto Bagnara bagnara@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=430352775db77...
Author: Roberto Bagnara bagnara@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=4030e0897839c...
Author: Roberto Bagnara bagnara@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=2941cea03d8a1...
Merge: dc027679371676490ea74a3356c5c5aa6e9b735f 0fd2de73dd626465d1c77d925eb63e2adb639648
Author: Roberto Bagnara bagnara@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=dc02767937167...
Author: Fabio Bossi bossi@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=31db7495cb05e...
Author: Fabio Bossi bossi@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=bc3470cb464da...
Author: Fabio Bossi bossi@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=a2cddb4672ba7...
Author: Fabio Bossi bossi@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=fbfb2232f9296...
Author: Fabio Bossi bossi@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=ccd1b4957f96c...
Author: Fabio Bossi bossi@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=b54b6858aa0f2...
Author: Roberto Bagnara bagnara@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=d711641e727be...
Merge: 6ba7085042a9983395f1b15daa1bf88b68a48eff 5eb5954e1de39e24dd82ad553a8a06334f8ed607
Author: Roberto Bagnara bagnara@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=6ba7085042a99...
Author: Fabio Bossi bossi@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=a8c98f2282f91...
Author: Roberto Bagnara bagnara@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=78e6e881955e7...
Author: Fabio Bossi bossi@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=b250e9ec20fb7...
Merge: 951fdb8a9ff89a2ae59fcc1f726a2d4b05af445a 5c95fc0eab6a38442751ed16c6cfa9d538917f3f
Author: Enea Zaffanella zaffanella@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=951fdb8a9ff89...
Author: Fabio Bossi bossi@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=e6885ff581361...
Merge: 3f052c1b8df2482f0adeb0c4627c7ede4876bc26 ff5b0796773b34ef9d1e26d2a40b4fdb8376dc8f
Author: Roberto Bagnara bagnara@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=3f052c1b8df24...
Author: Fabio Bossi bossi@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=8c02f7d8aa832...
Author: Fabio Bossi bossi@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=500981d998d62...
Author: Fabio Bossi bossi@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=8d8b45e65ab5c...
Author: Fabio Bossi bossi@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=7d65c1696bed1...
Author: Fabio Bossi bossi@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=b39ec7c81e536...
Author: Fabio Bossi bossi@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=2407bd5aa0828...
Author: Fabio Bossi bossi@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=8afb9a4479af8...
Merge: ecf177259b8f165627fcdbe7dfb55dc044bdc30b 0bb0a14d690bda10c0893e11b6019128b3c4908e
Author: Roberto Bagnara bagnara@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=ecf177259b8f1...
Author: Fabio Bossi bossi@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=17f7473e9cbe0...
Author: Fabio Bossi bossi@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=7bd3f0121f603...
Author: Fabio Bossi bossi@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=954d985eb0387...
Merge: a6202d3f6416fd1ca3d1cd40cb25f5418c1354cd d8484a4794afafb978c01c718ea784465d835171
Author: Roberto Bagnara bagnara@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=a6202d3f6416f...
Merge: ebcd55e82f73703737752a66ca25891ece02661a d91c33b33dbc8b59332d279550366ed55ae9ae38
Author: Roberto Bagnara bagnara@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=ebcd55e82f737...
Author: Fabio Bossi bossi@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=219f235033052...
Author: Fabio Bossi bossi@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=33dfccc8af8e5...
Author: Fabio Bossi bossi@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=4e420b1e2114d...
Merge: cd5191f18812ded12343b4fa936641d04761ffed 3e2fe287b4efd3b58127951793cc00ffe0ca21c0
Author: Roberto Bagnara bagnara@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=cd5191f18812d...
Merge: 3c68d508caa260d4dc59b5f6922fe6a0079d6eef 359b3a83e66edcfffb77c714e921fdfc217dee0b
Author: Roberto Bagnara bagnara@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=3c68d508caa26...
Author: Fabio Bossi bossi@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=1cdb7511579ea...
Merge: 06f21542441cd7463819d7762ea6d5033c1c0bff 384f089de7b9464efddf008a02d773af6ae213ea
Author: Roberto Bagnara bagnara@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=06f21542441cd...
Merge: c9b9ee534d533869f1c5951c9909b04eeb60325b 4bc6dff62fbd10cfa5a195b2da9fc9e2bf27e341
Author: Roberto Bagnara bagnara@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=c9b9ee534d533...
Merge: 22520a5a072e6b1641b6a94585eb20c6b1cec2e8 533049e561beb446baf4036b42cc486ce6ab91a3
Author: Roberto Bagnara bagnara@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=22520a5a072e6...
Author: Fabio Bossi bossi@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=3eac74ffc2b92...
Author: Fabio Bossi bossi@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=f6167277a1078...
Author: Fabio Bossi bossi@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=17105335ca184...
Author: Fabio Bossi bossi@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=41ec2a4972b26...
Author: Fabio Bossi bossi@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=1c9679165d7d9...
Author: Fabio Bossi bossi@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=3b3495a155633...
Author: Fabio Bossi bossi@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=e85af354adc15...
Author: Fabio Bossi bossi@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=8cfeaf81d2f50...
Author: Fabio Bossi bossi@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=a69cc00cdd67f...
Author: Fabio Bossi bossi@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=fcb542b0c0c0b...
Author: Fabio Bossi bossi@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=e7b16c31a4cbd...
Author: Fabio Bossi bossi@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=253cc5c292438...
Author: Fabio Bossi bossi@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=3e682219b5f19...
Merge: 986fb317391e4e937a918d53a955594f2abe84c6 ab1d650d0dcb0d122abf3d965c16ebdf94ac3325
Author: Roberto Bagnara bagnara@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=986fb317391e4...
Author: Fabio Bossi bossi@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=5a827fc7a229e...
Author: Fabio Bossi bossi@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=f396b2fa43531...
Author: Fabio Bossi bossi@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=60479359fdb9e...
Author: Fabio Bossi bossi@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=ba58fa9f47cfe...
Author: Fabio Bossi bossi@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=743a6e4703921...
Author: Abramo Bagnara abramo.bagnara@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=1957eb995c4d4...
Author: Fabio Bossi bossi@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=ee0a91950dcdc...
Author: Fabio Bossi bossi@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=5bdcb742713de...
Author: Fabio Bossi bossi@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=c20b83014b3cf...
Author: Fabio Bossi bossi@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=bd7beafc7d3db...
Author: Fabio Bossi bossi@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=873f2240682cc...
Author: Abramo Bagnara abramo.bagnara@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=90eaae7fe8a19...
Author: Abramo Bagnara abramo.bagnara@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=0701ca66ee0a9...
Author: Fabio Bossi bossi@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=0ec45a70db9cc...
Author: Fabio Bossi bossi@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=f25bf13fcea8e...
Author: Fabio Bossi bossi@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=e245a2b77ec1a...
Author: Fabio Bossi bossi@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=e9ad67116f5f2...
Author: Fabio Bossi bossi@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=59094c0cc8c5b...
Author: Fabio Bossi bossi@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=77104a92691b2...
Author: Fabio Bossi bossi@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=feb014edf63cb...
Author: Fabio Bossi bossi@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=e34112b360cf6...
Author: Fabio Bossi bossi@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=cf0f3e91a7d00...
Author: Fabio Bossi bossi@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=e23a7833eadda...
Author: Fabio Bossi bossi@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=d1180bb65f43f...
Author: Roberto Bagnara bagnara@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=7d4c2d096dd5b...
Author: Fabio Bossi bossi@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=82938f2c47098...
Author: Fabio Bossi bossi@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=c28d3f92ad09e...
Author: Roberto Bagnara bagnara@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=f6b9896513010...
Author: Fabio Bossi bossi@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=74620fd8c5d3c...
Author: Fabio Bossi bossi@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=f4d7685383105...
Author: Fabio Bossi bossi@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=eee4fc2395d61...
Author: Fabio Bossi bossi@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=1c4c91c248d74...
Author: Fabio Bossi bossi@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=2af7d3f9cb528...
Author: Fabio Bossi bossi@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=9c9c1ff2fef76...
Author: Fabio Bossi bossi@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=0db84c97d57aa...
Author: Fabio Bossi bossi@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=608cd868519a4...
Author: Fabio Bossi bossi@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=1e5b8d1485762...
Author: Fabio Bossi bossi@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=36c398be7c325...
Author: Fabio Bossi bossi@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=598a0f5c035c8...
Author: Fabio Bossi bossi@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=cc3822c311bf9...
Author: Fabio Bossi bossi@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=0decead53d0c8...
Author: Fabio Bossi bossi@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=d7bfff5fe6a73...
Author: Fabio Bossi bossi@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=5f7ad90bdec26...
Author: Fabio Bossi bossi@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=4c1245f7e89c2...
Author: Fabio Bossi bossi@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=62fcf8c0d4beb...
Author: Fabio Bossi bossi@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=df4645ba455fa...
Author: Fabio Bossi bossi@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=c85b888fd3f40...
Author: Fabio Bossi bossi@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=152569b0c53bb...
Author: Fabio Bossi bossi@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=7421b099f14c2...
Author: Fabio Bossi bossi@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=95846dca5e7fe...
Author: Fabio Bossi bossi@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=14cd19f366e8c...
Author: Fabio Bossi bossi@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=a7342b17d584a...
Author: Roberto Bagnara bagnara@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=2878e40c4194a...
Author: Abramo Bagnara abramo.bagnara@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=df824f255b127...
Author: Roberto Bagnara bagnara@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=0e4329676d8e4...
Author: Roberto Bagnara bagnara@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=71f19792e6036...
Author: Roberto Bagnara bagnara@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=82b6eee4e36ff...
Merge: dc4a6a3651215889f2324fa073a85605ebe870b0 75de3adbd70ca2f2d42112a53e719c27cbea4731
Author: Roberto Bagnara bagnara@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=dc4a6a3651215...
Author: Abramo Bagnara abramo.bagnara@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.