
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.