[PPL-devel] [GIT] ppl/ppl(master): New commits
Roberto Bagnara
bagnara at cs.unipr.it
Sat Dec 19 12:44:20 CET 2009
URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=f69b86061855ea896f209f5caa78dc1b26fdbd88
Merge: 12f6d4872bc274aaf7f068ff35b1c6c209a7a39a 9784b8165b6cb1dea5eb6d20b4cebca7ecc780fd
Author: Roberto Bagnara <bagnara at cs.unipr.it>
Date: Sat Dec 19 12:37:54 2009 +0100
Merge branch 'master' into floating_point
URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=12f6d4872bc274aaf7f068ff35b1c6c209a7a39a
Author: Roberto Amadini <r.amadini at virgilio.it>
Date: Mon Dec 14 22:51:40 2009 +0100
Added Linear Form Intervalization on rate limiter test.
URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=a75d238a6bafe710454001b182151566a87e6e10
Author: Roberto Amadini <r.amadini at virgilio.it>
Date: Fri Dec 11 14:26:56 2009 +0100
Improved test01, ..., test04.
URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=307af1367ed63e9492beec84f4949f365e8078ba
Author: Roberto Amadini <r.amadini at virgilio.it>
Date: Mon Dec 7 18:41:03 2009 +0100
Removed redundant code.
URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=96ac4ea63bf306c669e97a6abc58281be0647cb9
Author: Roberto Amadini <r.amadini at virgilio.it>
Date: Wed Dec 2 23:43:32 2009 +0100
Fixed comments.
URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=bb5e95b8994a0e00073fb55fe6ccab4f88d03492
Author: Fabio Biselli <fabio.biselli at studenti.unipr.it>
Date: Sun Nov 29 18:22:21 2009 +0100
Fixed a typo.
URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=c8e299d57c031c5ddbe4212980867b3d805f5319
Author: Fabio Biselli <fabio.biselli at studenti.unipr.it>
Date: Sun Nov 29 18:04:16 2009 +0100
Added a rate limiter test that pass without intersection between
the two domain.
URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=dc2ec7594e5d208c181a87260840add74b6ff972
Author: Roberto Amadini <r.amadini at virgilio.it>
Date: Sat Nov 28 18:05:06 2009 +0100
Improved tests on rate limiter. They all pass now.
URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=b521d8e6b10bcc30111a6f2d8087c96a3a1aa50f
Author: Roberto Amadini <r.amadini at virgilio.it>
Date: Sun Nov 22 17:38:50 2009 +0100
Modified tests on rate limiter. Removed useless comments.
URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=391db98125e29e306ee1baf3342b82d6664f9f54
Author: Fabio Biselli <fabio.biselli at studenti.unipr.it>
Date: Tue Oct 20 15:23:59 2009 +0200
Documentation updates.
Fixed parenthesis in ppl.sty as suggested.
Fixed few typos.
URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=6da25c9734d4f9bb3eebd7d23ec85f14e2d6fe18
Author: Roberto Amadini <r.amadini at virgilio.it>
Date: Sat Oct 17 12:43:04 2009 +0200
Added FIXME notes.
URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=8801eb01b1d065c9aa0790d4292edb467a642e2c
Author: Roberto Amadini <r.amadini at virgilio.it>
Date: Fri Oct 16 18:23:45 2009 +0200
Added a test on BD_Shape, improved a test on Polyhedra.
URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=d8d6e899f5cac4d00d37c1ebfbeeb199cbbbb1bb
Author: Fabio Biselli <fabio.biselli at studenti.unipr.it>
Date: Fri Oct 16 11:53:37 2009 +0200
Added BASE field to floating point struct.
Modified absolute/relative error definition using FP_Format::BASE.
Modified tests using FP_Format::BASE.
URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=9c6033597683d6b3ccc16aa443a6c8e20354d872
Author: Fabio Biselli <fabio.biselli at studenti.unipr.it>
Date: Thu Oct 15 11:54:43 2009 +0200
Added float_ibm_single declaration into class Float<T>.
URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=cacb4330a7f4af12093b5191ff6f453eba0f589a
Author: Fabio Biselli <fabio.biselli at studenti.unipr.it>
Date: Wed Oct 14 18:06:40 2009 +0200
Added Floating_Point_Expression.templates.hh into documentation.
URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=286faa55e60189534de6fb214ec8518aa45ebb63
Author: Roberto Amadini <r.amadini at virgilio.it>
Date: Tue Oct 13 15:42:32 2009 +0200
Modified widening in test05 and test06.
URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=b5f92dc9fe7657efa966ebd1bf7d588ec07533be
Author: Fabio Biselli <fabio.biselli at studenti.unipr.it>
Date: Wed Oct 7 19:41:56 2009 +0200
Removed a comment.
URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=10a020c1c5d8fe8cf02dbf61555ff773706e819d
Author: Roberto Amadini <r.amadini at virgilio.it>
Date: Wed Oct 7 16:19:27 2009 +0200
Fixed test05.
URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=9c35b656767f36003e45c04094861a5f06140eb8
Author: Fabio Biselli <fabio.biselli at studenti.unipr.it>
Date: Tue Oct 6 19:15:32 2009 +0200
Using uint16_t instead of uint32_t in float_ieee754_half.
Extended float_ibm_single.
URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=4f3fe255850af214acc364daff87fbbec16fc8c0
Author: Roberto Amadini <r.amadini at virgilio.it>
Date: Tue Oct 6 12:31:55 2009 +0200
Changed loop-guards in the first four test of digitalfilters1.cc
URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=f77babe87a9d40dfb248bc5c3f15a736feb217a9
Author: Roberto Amadini <r.amadini at virgilio.it>
Date: Tue Oct 6 01:22:33 2009 +0200
Fixed test03.
URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=eda13a1edf15b0f6a21f0a853a68b6a9b7979d7c
Author: Roberto Amadini <r.amadini at virgilio.it>
Date: Tue Oct 6 00:34:52 2009 +0200
Computed the largest non-infinity number in digitalfilters1.cc
Fixed a bug in Float.defs.hh
URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=32a8e23b60707354fb5c8393b6ccc640976382b1
Author: Roberto Amadini <r.amadini at virgilio.it>
Date: Mon Oct 5 17:53:37 2009 +0200
Removed comments.
URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=c05f09104471cd518f40b822cfb4066bb2e65925
Author: Fabio Biselli <fabio.biselli at studenti.unipr.it>
Date: Mon Oct 5 19:09:24 2009 +0200
Minor changes.
URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=8847a837fb858259f80990b984956d8a34689ed7
Author: Fabio Biselli <fabio.biselli at studenti.unipr.it>
Date: Mon Oct 5 16:34:35 2009 +0200
Extended float_ieee754_half format.
Fixed a function call in test06 with a possible solution.
URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=c83d68a8f97fbd008a49e5eabc4c950db1eaa208
Author: Fabio Biselli <fabio.biselli at studenti.unipr.it>
Date: Sun Oct 4 12:09:35 2009 +0200
Removed few comments.
URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=a92c340364deac28398db6f6533913458be3e652
Author: Roberto Amadini <r.amadini at virgilio.it>
Date: Mon Oct 5 17:06:17 2009 +0200
Fixed Polyhedron::refine_with_linear_form_inequality.
Adapted tests on polyhedra.
URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=eda8bee287a3e0d969c46105bfb86198b88db7f9
Author: Roberto Amadini <r.amadini at virgilio.it>
Date: Mon Oct 5 16:05:44 2009 +0200
Removed abstract_store parameter of Polyhedron::affine_image and
Polyhedron::refine_with_linear_form_inequality in
digitalfilters1.cc
URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=b37ac0cb3045394b6f2c36d3998bb8cd06498677
Author: Fabio Bossi <bossi at cs.unipr.it>
Date: Mon Oct 5 15:39:57 2009 +0200
Fixed a few typos.
URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=531ab36b1f699617e6bd94a7c526f36431d1531e
Author: Fabio Bossi <bossi at cs.unipr.it>
Date: Mon Oct 5 15:29:29 2009 +0200
Do not use an abstract store: extract lower and upper bounds of variables
from the polyhedron itself instead.
Fixed a bug in refine_with_linear_form_inequality that was triggered when
both parameters left and right were bounded but left - right was not
bounded.
URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=e90bc74ac6035a0980bf27f37e00cd2e22a71444
Author: Roberto Amadini <r.amadini at virgilio.it>
Date: Mon Oct 5 15:08:27 2009 +0200
Modified test03, test05 and test06.
URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=a0f084e697e6f17780d18ffa96e80a254d5e7620
Author: Roberto Amadini <r.amadini at virgilio.it>
Date: Sun Oct 4 21:39:47 2009 +0200
Modified test01, test02, test03 and test04.
URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=4b736b1ec4842142b5f18c61e59a6795db3dab6d
Author: Roberto Amadini <r.amadini at virgilio.it>
Date: Sat Oct 3 21:05:04 2009 +0200
Added widening and extrapolation operators in test01, test02,
test03 and test04.
URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=112fb00917eba78c9dd2213f098f11a76e71b249
Author: Roberto Amadini <r.amadini at virgilio.it>
Date: Sat Oct 3 14:37:44 2009 +0200
Fixed comments.
URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=7d2306abb07146aadaeb9a2fc6468550a4212b47
Author: Roberto Amadini <r.amadini at virgilio.it>
Date: Fri Oct 2 18:56:19 2009 +0200
Implemented a test on polyhedra abstract domain with linearization
of floating point expressions.
URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=eb9cef62704bb38eb71996631dfcd25c8c341dcb
Author: Roberto Amadini <r.amadini at virgilio.it>
Date: Fri Oct 2 14:49:25 2009 +0200
Implemented a test on rate limiter which uses octagons abstract
domain and linearization of floating point expressions.
URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=fcb9568396f2be664cd096a1d0b49e7605a5da1d
Author: Roberto Amadini <r.amadini at virgilio.it>
Date: Thu Oct 1 22:38:57 2009 +0200
Improved BD_Shape<T>::refine_with_linear_form_inequality.
Corrected BD_Shape<T>::affine_image.
Adapted tests in bshape2.cc and finished test02 in digitalfilters1.cc
URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=0ca73838e132e6f1f80de75ece6312aba89fa878
Author: Roberto Amadini <r.amadini at virgilio.it>
Date: Thu Oct 1 18:17:27 2009 +0200
Fixed bug in BD_Shape<T>::two_variables_affine_image.
Added a first implementation of test02.
URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=1bdc33c7fc6f32742bd2c12760406394d5d7ab08
Author: Roberto Amadini <r.amadini at virgilio.it>
Date: Thu Oct 1 17:32:59 2009 +0200
Implemented test of rate limiter using polyhedra abstract domain.
URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=f18c42ee75a560eb6221c759de4297b7db58bb7a
Author: Roberto Amadini <r.amadini at virgilio.it>
Date: Thu Oct 1 16:40:19 2009 +0200
Modified test03 and test04.
URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=05770258f702f3495008960334c9731ac5d26d5e
Author: Fabio Bossi <bossi at cs.unipr.it>
Date: Thu Oct 1 16:35:05 2009 +0200
Fixed a few assertions.
URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=60337b286bc9a9a74a835d0a83b2c729ea4fe02a
Author: Roberto Amadini <r.amadini at virgilio.it>
Date: Thu Oct 1 15:24:59 2009 +0200
Corrected tests with Intervals and Octagons in digitalfilters1.cc.
Temporarily modified tests/Floating_Point_Expression/Makefile.am
Implemented Variable_Floating_Point_Expression::linear_form_assign.
Inserted invariant assertions in Octagonal_Shape<T>::affine_image.
URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=5e933a2295368e9fb81e9c5aee2f92c1b698c6a7
Author: Fabio Bossi <bossi at cs.unipr.it>
Date: Thu Oct 1 15:06:16 2009 +0200
Added two TODO notes.
URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=86c9d02d4adb6416d4ab77c3d3461fc1df739a14
Author: Fabio Biselli <fabio.biselli at studenti.unipr.it>
Date: Wed Sep 30 17:02:15 2009 +0200
Removed ad useless parameter in linear_form_upperbound();
URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=f3324f27c92998f4d79e61f7daa6f9f3b5ce0ab2
Author: Fabio Biselli <fabio.biselli at studenti.unipr.it>
Date: Wed Sep 30 16:49:14 2009 +0200
Few tests added;
Fixed refine_with_linear_form_inequality();
URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=2134fb6959a58a8c572e1bb1d02033b84c4e5b70
Author: Fabio Biselli <fabio.biselli at studenti.unipr.it>
Date: Tue Sep 29 20:09:54 2009 +0200
Added few tests;
Fixed refine_with_linear_form_inequality() and auxiliary functions;
Implemented inline void refine_fp_interval_abstract_store();
URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=fab12fb96c8f5ad9bb8e5a1d230f9107bcb94a28
Author: Fabio Biselli <fabio.biselli at studenti.unipr.it>
Date: Tue Sep 29 15:24:11 2009 +0200
Added a test.
Fixed a bug in left_one_var_refine().
URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=76440424192976381d1d198ece42d1068b211d16
Author: Roberto Amadini <r.amadini at virgilio.it>
Date: Tue Sep 29 13:02:52 2009 +0200
Added a preliminary version of test05. Edited previous tests.
URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=6b0038a621b7c3eb5d18ad1174d9bc05525900d3
Author: Fabio Biselli <fabio.biselli at studenti.unipr.it>
Date: Tue Sep 29 14:57:47 2009 +0200
Added two tests;
Fixed a bug in left_one_var_refine() function.
URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=1565eb930cb7282655d60e44770f010dba80ad8f
Author: Roberto Amadini <r.amadini at virgilio.it>
Date: Mon Sep 28 23:45:09 2009 +0200
Added a first implementation of tests on Octagon and Polyhedra.
URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=540fd61d15e0bc88a94c2e18ed223082b892c45b
Author: Fabio Biselli <fabio.biselli at studenti.unipr.it>
Date: Tue Sep 29 00:04:10 2009 +0200
Deleted a useless tests file.
URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=dc276e0c0a15896719a929593f63414b32703952
Author: Roberto Amadini <r.amadini at virgilio.it>
Date: Mon Sep 28 20:03:16 2009 +0200
Started to test analysis on digital filters.
Temporarily modified tests/Floating_Point_Expression/Makefile.am
URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=a5ef5d5cfc41fdbeff5cbb8f89d015bed7b9899c
Author: Fabio Biselli <fabio.biselli at studenti.unipr.it>
Date: Mon Sep 28 20:37:16 2009 +0200
Fixed few bugs in inhomogeneous_refine();
URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=e4f52c87f28fc156fa7f5407f4680f46d43e7403
Author: Roberto Amadini <r.amadini at virgilio.it>
Date: Mon Sep 28 16:04:33 2009 +0200
Improved test05
URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=2fcd493ce5e2f9be78ed60654b6d2d39096805d0
Author: Fabio Bossi <bossi at cs.unipr.it>
Date: Mon Sep 28 15:24:11 2009 +0200
Fixed test05.
URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=1ddf04b0c29576fb94b513083211d152200dfcc8
Author: Roberto Amadini <r.amadini at virgilio.it>
Date: Mon Sep 28 15:07:52 2009 +0200
Modified test04 and test05.
URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=f5e8676cd64d4a14908d5ba845c9f50f79f2d33f
Author: Roberto Amadini <r.amadini at virgilio.it>
Date: Sat Sep 26 19:09:56 2009 +0200
Modified poyhedron2.cc in order to test NNC_Polyhedron and
Polyhedron::generalized_refine_with_linear_form_inequality.
URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=e88b2238c1d7ebf462efe7c3e19dad77919ad14e
Author: Roberto Amadini <r.amadini at virgilio.it>
Date: Sat Sep 26 17:48:51 2009 +0200
Temporarily edited tests/Floating_Point_Expression/Makefile.am
URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=d002a27f5e250e877bcf5e353cedd1f7b3682883
Author: Roberto Amadini <r.amadini at virgilio.it>
Date: Sat Sep 26 17:48:18 2009 +0200
Added another test.
URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=66f38555e1528bf95da38877f0254a421eacd13c
Author: Roberto Amadini <r.amadini at virgilio.it>
Date: Sat Sep 26 17:09:48 2009 +0200
Added a test in polyhedron2.cc
URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=0eb634591ec2041438c8f8d27e001540e4528742
Author: Fabio Bossi <bossi at cs.unipr.it>
Date: Sat Sep 26 10:19:13 2009 +0200
Added missing const qualifiers.
URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=c8904fdf2c5ef79dec43db7bb3104b9c2a861fe8
Author: Fabio Bossi <bossi at cs.unipr.it>
Date: Fri Sep 25 14:31:28 2009 +0200
Implemented generalized_refine_with_linear_form_inequality.
Adapted refine_with_linear_form_inequality to accept strict inequalities
on not necessarily closed polyhedra.
URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=1ce1a9746e940039f68b71e9da8248b3d6145104
Author: Fabio Bossi <bossi at cs.unipr.it>
Date: Fri Sep 25 11:40:55 2009 +0200
Added a trivial implementation of
generalized_refine_with_linear_form_inequality.
URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=2463769f8877878fcfef823e76f4469354c760b7
Author: Roberto Amadini <r.amadini at virgilio.it>
Date: Fri Sep 25 10:58:46 2009 +0200
Finished to test Polyhedron::affine_image.
URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=c62926896a8b92ba2532a371169eb396cd804dc1
Author: Fabio Bossi <bossi at cs.unipr.it>
Date: Fri Sep 25 10:28:33 2009 +0200
Fixed test04: do not perform floating point operations outside of the interval
domain unless the result can be exactly represented.
URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=cb5178462d70a091d46358f2c49ff8987c6fc843
Author: Fabio Bossi <bossi at cs.unipr.it>
Date: Fri Sep 25 09:47:14 2009 +0200
Added a couple of simple tests.
Makefile fixed.
URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=3add81ea30924ceebad5099a5e6bc81e15ea5d57
Author: Fabio Bossi <bossi at cs.unipr.it>
Date: Thu Sep 24 18:20:28 2009 +0200
Fixed test05.
Added a new test file.
URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=03bfe62f2d733680f0151d2ba6a2aba297e3b7e6
Author: Roberto Amadini <r.amadini at virgilio.it>
Date: Thu Sep 24 17:26:01 2009 +0200
Added two tests.
URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=85cc7688520ab32b8a03b38ae4a0fc1472be678b
Author: Fabio Biselli <fabio.biselli at studenti.unipr.it>
Date: Thu Sep 24 18:57:05 2009 +0200
Removed two unused parameters;
Fixed two function calls.
URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=cebcfe41cc8a24316f56e9697fb4025e1c1045d7
Author: Roberto Bagnara <bagnara at cs.unipr.it>
Date: Thu Sep 24 16:34:32 2009 +0200
Fixed operator>>(std::istream&, Interval<Boundary, Info>&).
URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=8f06b8a321099311d83ddceba3786d7ff857543b
Author: Roberto Bagnara <bagnara at cs.unipr.it>
Date: Thu Sep 24 16:32:31 2009 +0200
Spurious print statement removed.
URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=334ff19fb5ca33f01673d30f970f64791bc61dd8
Author: Fabio Bossi <bossi at cs.unipr.it>
Date: Thu Sep 24 16:32:57 2009 +0200
Added the constructor Constant_Floating_Point_Expression(const char*).
URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=4ffa56a7f08adc848fadcc4cf5207f6a0c260538
Merge: d865b7a741bdb503fdac52edbd5b2a700593a850 e61defee29d0688a72fbe707157351a85c9a35a1
Author: Roberto Bagnara <bagnara at cs.unipr.it>
Date: Thu Sep 24 16:25:29 2009 +0200
Merge branch 'master' into floating_point
URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=d865b7a741bdb503fdac52edbd5b2a700593a850
Author: Fabio Bossi <bossi at cs.unipr.it>
Date: Thu Sep 24 16:15:20 2009 +0200
Added a couple of assertions.
URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=360425ce18d40049ad6a3bcc581b1f551eb1fdac
Author: Roberto Amadini <r.amadini at virgilio.it>
Date: Thu Sep 24 16:12:32 2009 +0200
Added some tests in tests/Floating_Point_Expression/polyhedron1.cc
URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=07bb498a1557b74ad57697c0ed0d20a7b2fafadf
Author: Fabio Bossi <bossi at cs.unipr.it>
Date: Thu Sep 24 14:44:33 2009 +0200
Forgot to pass the common denominator to bounded_affine_image.
URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=a21e78b3e9bb55c5ad53ad4feb06b7640e7230c5
Author: Fabio Biselli <fabio.biselli at studenti.unipr.it>
Date: Thu Sep 24 14:09:22 2009 +0200
Completed the method refine_with_linear_form_inequality();
added the auxiliary function left_two_var_refine().
URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=3ad560b33c28a63c68d5f0928275ae3b28255bf0
Author: Fabio Bossi <bossi at cs.unipr.it>
Date: Thu Sep 24 11:09:02 2009 +0200
Always assert that all variables in the abstract store are bounded.
Corrected the documentation accordingly.
URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=4c93dcb4734f0fc815eeed69bcb4fbc90f1a50f1
Author: Roberto Amadini <r.amadini at virgilio.it>
Date: Thu Sep 24 10:38:03 2009 +0200
Started to test Polyhedron::affine_image on FP_Linear_Form.
URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=7ac2752fde0d8085804bd97bd3f2de4a76ca602e
Author: Roberto Amadini <r.amadini at virgilio.it>
Date: Wed Sep 23 21:30:33 2009 +0200
Removed commented code in floatingpointexpr1.cc
URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=102eb141ca6f56abb3b38bcfb9d724f1f6c8f7c8
Author: Roberto Amadini <r.amadini at virgilio.it>
Date: Wed Sep 23 21:23:38 2009 +0200
Improved tests. Now they all pass and reach the maximum coverage.
URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=de2be3f1b7f7b57f85b597a96e7373b169aac181
Author: Fabio Biselli <fabio.biselli at studenti.unipr.it>
Date: Wed Sep 23 20:19:49 2009 +0200
Partial implementation of refine_with_linear_form_inequality();
Two auxiliary function added.
URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=f762ecded38d87c9ea2ab50d0f8dea0149f8f98b
Author: Roberto Amadini <r.amadini at virgilio.it>
Date: Wed Sep 23 18:19:17 2009 +0200
Fixed indentation.
URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=8dd84af2cadee80bd897c0e0eb7822e09b4b9193
Author: Fabio Bossi <bossi at cs.unipr.it>
Date: Wed Sep 23 18:16:21 2009 +0200
Parametrized tests for Octagonal_Shape.
URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=f47bdef6918e15edbfb52084eead85941d563316
Author: Roberto Amadini <r.amadini at virgilio.it>
Date: Wed Sep 23 18:11:37 2009 +0200
Parametrized linearform1.cc and bdshape1.cc
Fixed indentation and removed an useless test in floatingpointexpr1.cc
URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=43b5cb98ab200cabeb3c984baa6ad6bb99e764b3
Author: Roberto Amadini <r.amadini at virgilio.it>
Date: Wed Sep 23 16:53:23 2009 +0200
Added several corrections in order to parametrize floatingpointexpr1.cc
URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=9691bf1a68b4e732c1b5a01838cfa000eb7f49fb
Author: Roberto Amadini <r.amadini at virgilio.it>
Date: Wed Sep 23 11:36:58 2009 +0200
Parametrized floatingpointexpr1.cc
URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=8128edd2954e9c4f63f9fea8bce387a2310c1183
Author: Fabio Bossi <bossi at cs.unipr.it>
Date: Wed Sep 23 17:01:36 2009 +0200
Made the refine_fp_interval_abstract_store methods inline.
URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=230e752faf022e041afa79aa1e7f1a4250a3e0bb
Author: Fabio Bossi <bossi at cs.unipr.it>
Date: Wed Sep 23 12:24:25 2009 +0200
Always use Box instead of map for interval abstract stores.
URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=15ed9f61cf8f2bd88b13226ff73b56a07ce1cffd
Author: Fabio Bossi <bossi at cs.unipr.it>
Date: Tue Sep 22 18:23:51 2009 +0200
Fixed another typo that prevented compilation of tests.
URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=d14d0775d881de693ce17e4f938cf9d0fe3e5450
Author: Fabio Bossi <bossi at cs.unipr.it>
Date: Tue Sep 22 18:12:13 2009 +0200
Fixed a typo that prevented compilation of tests.
URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=7dbbf2813ae8021abce08336d6f7fdd1579958b3
Author: Roberto Bagnara <bagnara at cs.unipr.it>
Date: Tue Sep 22 17:57:29 2009 +0200
Renamed float_IBM_single and float_IBM_double lowering the case for IBM.
URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=c142c06f9e4788c00e65dc0cfb999feb0402d4b1
Author: Roberto Bagnara <bagnara at cs.unipr.it>
Date: Tue Sep 22 17:56:33 2009 +0200
Added some infrastructure to perform parametric tests.
URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=655d6cc8016a48e74e52358d754c0e88d8edc13e
Author: Fabio Bossi <bossi at cs.unipr.it>
Date: Tue Sep 22 17:08:31 2009 +0200
Added a few details about other floating point formats.
URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=9b7c8767e9c0d4056c4d6e4a0696c2e43133fbc6
Author: Fabio Bossi <bossi at cs.unipr.it>
Date: Tue Sep 22 16:49:03 2009 +0200
Small documentation corrections.
URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=2b4f0299f6b37e644ac34f43601d0bfbbc6cf7e1
Author: Roberto Amadini <r.amadini at virgilio.it>
Date: Tue Sep 22 16:37:05 2009 +0200
Adapted test files to new representation of interval abstract stores.
URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=d8e7d618dd4a429e1f9b80aacf5c4477d9f5aca3
Author: Fabio Bossi <bossi at cs.unipr.it>
Date: Tue Sep 22 15:54:49 2009 +0200
Added missing static casts so that tests now pass again.
URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=79572e84de987a3e979f8629b3f468659dee2d84
Author: Fabio Bossi <bossi at cs.unipr.it>
Date: Tue Sep 22 15:46:05 2009 +0200
Use Box to represent an interval abstract store.
URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=e2b71307d51988448bcc885d7637c7f111fce86a
Author: Roberto Amadini <r.amadini at virgilio.it>
Date: Tue Sep 22 15:47:37 2009 +0200
Replaced typedefs according to the new policies.
URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=4e2e5ca265d96893834be726b5f359255e506aaa
Author: Roberto Amadini <r.amadini at virgilio.it>
Date: Tue Sep 22 14:02:34 2009 +0200
Refactoring of test files into test/Floating_Point_Expression.
URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=96ade840e5152064796d08ef099b735ecabe21a6
Author: Fabio Bossi <bossi at cs.unipr.it>
Date: Tue Sep 22 13:51:48 2009 +0200
Adapted the class to the policies defined in Float.defs.hh.
URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=d61e5566f5f6dadd4386bf7154772492fb910932
Author: Fabio Bossi <bossi at cs.unipr.it>
Date: Tue Sep 22 11:58:55 2009 +0200
Pass variables to affine_image by copy.
URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=0d9faf95e4bc2c1f7f52936c4db0291a57686d3d
Author: Fabio Bossi <bossi at cs.unipr.it>
Date: Tue Sep 22 11:50:35 2009 +0200
Written Polyhedron::refine_fp_interval_abstract_store.
Various other corrections.
URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=1508fe8fbb7be516e7cebabb60d8fe30c1399407
Author: Roberto Amadini <r.amadini at virgilio.it>
Date: Tue Sep 22 10:55:49 2009 +0200
Little correction in two_variables_affine_image method.
URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=c6e8ada743e7203512e9f830e052e52256458ac6
Author: Fabio Bossi <bossi at cs.unipr.it>
Date: Tue Sep 22 09:36:01 2009 +0200
Fixed one cut-&-paste error.
Use a single call of bounded_affine_image instead of calling
generalized_affine_image twice.
Added two FIXME notes.
URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=3e7c9713946e790f1894bc8d35c3ab97535fb7be
Author: Roberto Amadini <r.amadini at virgilio.it>
Date: Mon Sep 21 19:23:37 2009 +0200
Added another test for the general case of affine_image.
URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=faefe0f0d2247dbd65bdd5aebade57a61b2e6a9b
Author: Roberto Amadini <r.amadini at virgilio.it>
Date: Mon Sep 21 18:45:29 2009 +0200
Fixed a bug in affine_image and modified one_variable_affine_image.
Added a new test for the general case.
URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=351e41c9b7853cd031d34ce681841b78ece3cab5
Author: Roberto Amadini <r.amadini at virgilio.it>
Date: Mon Sep 21 18:02:31 2009 +0200
Implemented a preliminary (yet untested) version of methods
BD_Shape::linear_form_upper_bound and
BD_Shape::two_variables_affine_image.
URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=7365b420d7ab0984de1d19f7764c24892d5dff38
Author: Fabio Bossi <bossi at cs.unipr.it>
Date: Mon Sep 21 16:59:22 2009 +0200
Added more floating point formats.
Added some parametric typedefs for tests.
URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=171b89c7ecd9440017606fb6fd8d51659368f322
Author: Fabio Bossi <bossi at cs.unipr.it>
Date: Mon Sep 21 15:56:47 2009 +0200
Added a few lines of documentation that were previously forgotten.
URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=e382dfd1d7fa78031d49b05b7bbc0fac51ca3aa9
Author: Fabio Bossi <bossi at cs.unipr.it>
Date: Mon Sep 21 15:41:16 2009 +0200
Added some more documentation.
URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=726d6fa6ff5d26301fb02742faf65895242eed08
Author: Roberto Amadini <r.amadini at virgilio.it>
Date: Mon Sep 21 15:26:05 2009 +0200
Fixed a bug in affine_image and implemented three new tests.
URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=f0f4bf6a9483ec842c9462745db65d3cb4c46e19
Author: Fabio Bossi <bossi at cs.unipr.it>
Date: Mon Sep 21 15:00:49 2009 +0200
Added some (and corrected some of the) documentation.
URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=4f125f4d90aa912d18bcaf8c110a7ff05616ecd2
Author: Fabio Bossi <bossi at cs.unipr.it>
Date: Mon Sep 21 14:19:43 2009 +0200
Wrote a first implementation of refine_with_linear_form_inequality.
URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=c07b5cfd78cea7c03c90c48697025d595e9cdb2f
Author: Roberto Amadini <r.amadini at virgilio.it>
Date: Mon Sep 21 13:16:17 2009 +0200
Fixed a bug in BD_Shape<T>::affine_image and added more tests for
this method.
URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=18e281994a302d502b23daa72e206b3c6772895a
Author: Fabio Bossi <bossi at cs.unipr.it>
Date: Mon Sep 21 11:37:51 2009 +0200
Use the proper exception thrower.
Moved the new exception thrower.
URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=4bdd87fc436454719f7d982942fe6615dc00b2e9
Author: Fabio Bossi <bossi at cs.unipr.it>
Date: Mon Sep 21 11:08:33 2009 +0200
Various corrections.
URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=04edf0b5d66a1dfe43f19050098b4d30969d1b46
Author: Fabio Bossi <bossi at cs.unipr.it>
Date: Mon Sep 21 10:11:18 2009 +0200
Finished writing a first version of our affine_image variant.
URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=3e9f4582ce7ab1d65f1d606feb49231c76bd951b
Author: Fabio Biselli <fabio.biselli at studenti.unipr.it>
Date: Sun Sep 20 13:20:56 2009 +0200
Removed a temporary using sub_assign_r instead of add_assign_r
URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=aeb5980a47c2659e5c2b6cd17369ee8e0bafcb47
Author: Fabio Biselli <fabio.biselli at studenti.unipr.it>
Date: Sun Sep 20 02:09:24 2009 +0200
Bugs fixes
URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=ecffc8c69e21896893ea1732b3725ab0063def44
Author: Fabio Bossi <bossi at cs.unipr.it>
Date: Sat Sep 19 18:53:32 2009 +0200
Finished writing a first implementation of convert_to_integer_expression
and convert_to_integer_expressions.
URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=b6dc43db2855f737fdc094422efd8c8b2f1d838f
Author: Fabio Bossi <bossi at cs.unipr.it>
Date: Sat Sep 19 17:25:19 2009 +0200
Small progress in writing convert_to_integer_expressions.
URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=ca46c285903617911d8ad4b5676b90fbbb3c5f03
Author: Fabio Bossi <bossi at cs.unipr.it>
Date: Sat Sep 19 17:18:31 2009 +0200
Sterted writing the functions that are used to convert floating point
constraints to integer ones.
URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=f37d16f0e9478a04c09a6f646c7b9d27e852f54f
Author: Roberto Amadini <r.amadini at virgilio.it>
Date: Sat Sep 19 17:37:05 2009 +0200
Implemented methods BD_Shape<T>::inhomogeneous_affine_image and
BD_Shape<T>::one_variable_affine_image.
URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=01dab9748259cee736256a446e6e7451bf0992c0
Author: Abramo Bagnara <abramo.bagnara at gmail.com>
Date: Sat Sep 19 09:51:20 2009 +0200
Converted helpers to work also for native numbers.
URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=ebe68870ff0f3fc251639c287eb7473d4663a5c1
Author: Roberto Amadini <r.amadini at virgilio.it>
Date: Fri Sep 18 16:32:40 2009 +0200
Added a test for trivial cases of BD_Shape::affine_image.
URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=636677b9899ea966fd91bebd7c8692666825894e
Author: Fabio Bossi <bossi at cs.unipr.it>
Date: Fri Sep 18 14:16:25 2009 +0200
Started the implementation of our affine_image variant.
URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=4a811294d3accd1cf5fbcc0470e8e70905c076dd
Author: Roberto Amadini <r.amadini at virgilio.it>
Date: Fri Sep 18 12:32:47 2009 +0200
Added test for Octagonal_Shape<T>::refine_fp_interval_abstract_store.
URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=a6766fae53279618b5f623bdce9f5c84948474df
Author: Fabio Biselli <fabio.biselli at studenti.unipr.it>
Date: Fri Sep 18 14:27:30 2009 +0200
Added function BD_Shape::affine_image(const Variable& var,
const Linear_Form< Interval<T, Interval_Info> >& lf);
Added interfaces for auxiliary functions:
BD_Shape::inhomogeneous_affine_image(...);
BD_Shape::one_variable_affine_image(...);
BD_Shape::two_variable_affine_image(...);
Added a preliminary test.
URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=c6258052096010a54056670b55879e5f0c4f0856
Author: Fabio Bossi <bossi at cs.unipr.it>
Date: Fri Sep 18 12:05:02 2009 +0200
Added a first implementation of overapproximate_linear_form.
URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=876484912959e603f7e8406a16453b63a39004e9
Author: Roberto Amadini <r.amadini at virgilio.it>
Date: Fri Sep 18 10:41:44 2009 +0200
Coverage of 100% reached for refine_with_linear_form_inequality.
URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=9015398c7a2e8c38e8cb99afb34c53b40b03f6cd
Author: Roberto Amadini <r.amadini at virgilio.it>
Date: Fri Sep 18 10:36:24 2009 +0200
Added a test.
URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=0cbe08ccba51a6dbc6a22aa2c50af0d7729dace5
Author: Fabio Bossi <bossi at cs.unipr.it>
Date: Fri Sep 18 10:31:58 2009 +0200
Added missing multiplications by 2.
All tests now pass.
URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=81a3ebf8481602636a20697a3ab1870d04fbba5d
Author: Fabio Bossi <bossi at cs.unipr.it>
Date: Fri Sep 18 10:11:16 2009 +0200
Added interfaces (and empty body) of two new methods.
URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=5decdfb92cce7eaa4aac059286afb163bac93016
Author: Roberto Amadini <r.amadini at virgilio.it>
Date: Fri Sep 18 09:48:03 2009 +0200
Added two more tests in refinelf1.cc
Improved a test in affineimage3.cc
URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=630590eb2beb329240e5e06f87df97ce2b582e71
Author: Roberto Bagnara <bagnara at cs.unipr.it>
Date: Thu Sep 17 20:55:32 2009 +0200
Added Roberto Amadini to the list of current contributors.
URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=61aa0fda07d541f45bd297f8a8b19f37c485b1cf
Author: Roberto Amadini <r.amadini at virgilio.it>
Date: Thu Sep 17 18:16:57 2009 +0200
Pass variables to affine_image as const references.
URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=880ed012ba9c074100892ab32f70bdf7d8671930
Author: Roberto Amadini <r.amadini at virgilio.it>
Date: Thu Sep 17 17:49:28 2009 +0200
Removed the check on empty octagons in function test01.
URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=42d43d4ce329beb3cc2f3bbe7fb7377484b13c6a
Author: Fabio Bossi <bossi at cs.unipr.it>
Date: Thu Sep 17 17:37:24 2009 +0200
Removed useless emptiness check.
URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=f165fb07116d9289a92fcc5eac0f13363df64f16
Author: Fabio Bossi <bossi at cs.unipr.it>
Date: Thu Sep 17 17:35:34 2009 +0200
Assert that the octagon is not empty when refining, since the analyzer
should not try to apply filters in an unreachable state.
URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=a7172dfc7c1e1d81a6ea0a46cae7b47fa590600a
Author: Fabio Bossi <bossi at cs.unipr.it>
Date: Thu Sep 17 17:30:05 2009 +0200
Do not reset strong closure manually since add_octagonal_constraint
already does it automatically.
URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=8ae6135af4d6a659459fad4c01fd077de32d4562
Author: Fabio Bossi <bossi at cs.unipr.it>
Date: Thu Sep 17 17:24:24 2009 +0200
Always use add_octagon_constraint to update contraints in
refine_with_linear_form_inequality instead of overwriting blindly.
URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=df74c77ffb0f50cb20eecd9c9e453923225f9a76
Author: Roberto Amadini <r.amadini at virgilio.it>
Date: Thu Sep 17 16:54:03 2009 +0200
Removed a bug in test functions. Added a test for general case.
URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=da7ab569f2f20006a259ce370cb18d180367a046
Author: Roberto Amadini <r.amadini at virgilio.it>
Date: Thu Sep 17 16:02:17 2009 +0200
Added two tests. Particular cases totally covered.
URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=b42fe4766fe4c8838994ab22557c60b00cc5ffe3
Author: Roberto Amadini <r.amadini at virgilio.it>
Date: Thu Sep 17 15:41:32 2009 +0200
Removed comments.
URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=1b0f1e5529a5c4e330650d7c941035f3b2592304
Author: Roberto Amadini <r.amadini at virgilio.it>
Date: Thu Sep 17 15:38:05 2009 +0200
Added another test.
URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=d3eef431c3bdc8e4b30d4e5bf15babf7c6544d43
Author: Fabio Bossi <bossi at cs.unipr.it>
Date: Thu Sep 17 15:40:26 2009 +0200
Fixed one nasty cut & paste error.
URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=23e43a61830b3bb3c4435f125bb8cc0f969700b3
Author: Roberto Amadini <r.amadini at virgilio.it>
Date: Thu Sep 17 14:59:59 2009 +0200
Added a test.
URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=6ea2e2f10098cdd737fbab5612414dd77d614311
Author: Fabio Bossi <bossi at cs.unipr.it>
Date: Thu Sep 17 14:46:51 2009 +0200
Use references instead of pointers whenever possible.
URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=33f20542b9b6d690f2bf243e9991e6b36b423195
Author: Roberto Amadini <r.amadini at virgilio.it>
Date: Thu Sep 17 14:02:50 2009 +0200
Added and modified tests.
URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=6dd29aa6e3060c03b2794fe757fe03739ca80131
Author: Fabio Bossi <bossi at cs.unipr.it>
Date: Thu Sep 17 12:24:43 2009 +0200
Optimized refine_with_linear_form_inequality, removing six temporaries
in the process.
URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=88575c56b5ccb3b73f85c42dd2cae0227b646f2e
Author: Roberto Amadini <r.amadini at virgilio.it>
Date: Thu Sep 17 11:43:11 2009 +0200
Added two tests.
URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=1d86fe8a21720d077ed617f2906aa563599d4f9a
Author: Roberto Amadini <r.amadini at virgilio.it>
Date: Thu Sep 17 11:37:38 2009 +0200
Start to test Octagonal_Shape::refine_with_linear_form_inequality.
URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=453985a4ec00db64b013edc7965bd193809da9fe
Author: Fabio Bossi <bossi at cs.unipr.it>
Date: Thu Sep 17 11:32:08 2009 +0200
Removed unnecessary temporaries from affine_image.
URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=4fa3f4c26c6d3c7adada8cd08d659f67a6e5ef94
Author: Fabio Bossi <bossi at cs.unipr.it>
Date: Thu Sep 17 11:17:11 2009 +0200
Optimized linear_form_upper_bound: got rid of two unnecessary
temporaries.
URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=5d2ee886c0013061fb43b16e45de1c042ff29361
Author: Fabio Bossi <bossi at cs.unipr.it>
Date: Thu Sep 17 10:57:25 2009 +0200
Definitively removed counterproductive checks in
linear_form_upper_bound, since we have confirmed that comparing with
-infinity is legitimate.
URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=b9f5aee8d9e95cda8126480538154b2b929bb163
Author: Fabio Bossi <bossi at cs.unipr.it>
Date: Thu Sep 17 10:52:37 2009 +0200
Use ROUND_DOWN instead of ROUND_UP to compute the negation of the upper
bound of -var.
URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=41e8ca0bea15517ef175ca7b0b2fd44300497442
Author: Fabio Bossi <bossi at cs.unipr.it>
Date: Thu Sep 17 10:30:57 2009 +0200
Use ROUND_UP (or, in one case where intervals are involved, ROUND_DOWN)
whenever appropriate.
URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=fae817ce8120f46f89a3f254c00cd80725db09e1
Author: Roberto Amadini <r.amadini at virgilio.it>
Date: Wed Sep 16 20:13:44 2009 +0200
Added another test. Coverage of 100% reached for affine_image and
linear_form_upper_bound methods.
Temporarily(?) removed some checks in linear_form_upper_bound.
URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=6685edf5c48bbdf791bdd392b9027f425b05928c
Author: Fabio Bossi <bossi at cs.unipr.it>
Date: Wed Sep 16 17:56:29 2009 +0200
Small documentation improvements.
URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=164b9ef702d0b9d73a978f8acd6c639885ce9b81
Author: Fabio Bossi <bossi at cs.unipr.it>
Date: Wed Sep 16 17:26:27 2009 +0200
Added some comments.
URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=3bdc87446af3286556472b791dea891c02cbc124
Author: Roberto Amadini <r.amadini at virgilio.it>
Date: Wed Sep 16 17:09:43 2009 +0200
Implemented tests (from test04 to test08).
URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=47985bffa0b586928ab59cc6bf3aa789e44822c1
Author: Fabio Bossi <bossi at cs.unipr.it>
Date: Wed Sep 16 16:21:33 2009 +0200
Fixed a couple of syntax errors.
URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=c6036d8d0b690c9c3151c6e2beded820db397ccf
Author: Fabio Bossi <bossi at cs.unipr.it>
Date: Wed Sep 16 15:48:13 2009 +0200
Many corrections.
URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=16204cc0b8e28f99b68099f0aa46702f0686a306
Author: Fabio Bossi <bossi at cs.unipr.it>
Date: Wed Sep 16 14:08:31 2009 +0200
Use PPL_COMPILE_TIME_CHECK insteas of PPL_ASSERT whenever possible.
URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=ed84cf0c1472b75574bf6d1256944f3d48597dad
Author: Fabio Bossi <bossi at cs.unipr.it>
Date: Wed Sep 16 12:24:01 2009 +0200
Fixed one typo.
URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=e492c9a5c5291b95b3abffee549174744a9c8fe3
Author: Fabio Bossi <bossi at cs.unipr.it>
Date: Wed Sep 16 12:21:30 2009 +0200
Added more cases for refine_linear_form_inequality.
URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=56bd6524e6e38b943e424cdd83365c053edffad5
Author: Fabio Biselli <fabio.biselli at studenti.unipr.it>
Date: Wed Sep 16 14:10:28 2009 +0200
Fixed a bug in Linear_Form::operator<<()
Fixed a bug in Octagonal_Shape::linear_form_upper_bound()
Added a test
URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=46f18dbe19ab34fc351017acf1a5a8f83503862f
Author: Fabio Biselli <fabio.biselli at studenti.unipr.it>
Date: Mon Sep 14 11:58:10 2009 +0200
Removed garbage
URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=bd64da813c519c335d4aa434c3d275e766fda20d
Author: Roberto Amadini <r.amadini at virgilio.it>
Date: Wed Sep 16 11:25:27 2009 +0200
Added some tests.
URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=27853708a791db900a1c40ff490f5a5c630f9559
Author: Fabio Bossi <bossi at cs.unipr.it>
Date: Tue Sep 15 18:06:23 2009 +0200
Added a first, untested implementation of
refine_fp_interval_abstract_store.
URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=a58815158ed248c49e2955593c07d71fd0274b1c
Author: Fabio Bossi <bossi at cs.unipr.it>
Date: Tue Sep 15 17:00:40 2009 +0200
For consistency, use std::numeric_limits<T>::is_exact in order to check
if T is a floating point type.
URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=cf40c1ee096f612eab5f8353298f39e84e3f5880
Author: Fabio Bossi <bossi at cs.unipr.it>
Date: Tue Sep 15 16:16:15 2009 +0200
Added a first implementation of refine_with_linear_form_inequality.
Two small optimizations for affine_image.
URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=8196e08325165286e583b4e6202c39ecf6d3376f
Author: Roberto Amadini <r.amadini at virgilio.it>
Date: Tue Sep 15 15:16:05 2009 +0200
Added new test.
URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=4670807b162f2b4a09893794bac6cf56829bc4fe
Author: Roberto Amadini <r.amadini at virgilio.it>
Date: Tue Sep 15 14:52:41 2009 +0200
Added a test for Octagonal_Shape::affine_image in
tests/Floating_Point_Expression/affineimage3.cc
URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=30f2d12b77f8ffd9a6bcd1df187ff833eb23f730
Author: Fabio Bossi <bossi at cs.unipr.it>
Date: Tue Sep 15 11:50:10 2009 +0200
Fixed a few typos preventing compilation.
URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=85157d3ca3cd5b5d6332cbe16637a494608d7028
Author: Fabio Bossi <bossi at cs.unipr.it>
Date: Tue Sep 15 11:24:39 2009 +0200
Added missing assertion and FIXME note.
Started the implementation of refine_with_linear_form_inequality.
URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=a1e7e39e58515de6438993797f5041b1ae4067c2
Author: Fabio Bossi <bossi at cs.unipr.it>
Date: Tue Sep 15 09:26:44 2009 +0200
It is NECESSARY to delay the update of unary constraints on var.
URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=ecb0e94a30b0fa34808d2273682db0147a3a8344
Author: Fabio Bossi <bossi at cs.unipr.it>
Date: Mon Sep 14 17:56:12 2009 +0200
Fixed two serious bugs in linear_form_upper_bound.
URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=992d25ba23f3660bb462276ed5f921743179a4bf
Author: Fabio Bossi <bossi at cs.unipr.it>
Date: Mon Sep 14 17:06:20 2009 +0200
Fixed an error introduced by previous commit.
URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=9e8267747161ddd33e7092ade570cbaf2e1529bd
Author: Fabio Bossi <bossi at cs.unipr.it>
Date: Mon Sep 14 16:02:12 2009 +0200
Added missing static_casts in Linear_Form.
Fixed one bug in linear_form_upper_bound.
Added a first complete implementation of affine_image.
URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=47bf5799b4b5c216f4b176a8cad2d223095383c1
Author: Fabio Bossi <bossi at cs.unipr.it>
Date: Mon Sep 14 12:16:04 2009 +0200
Added another helper function.
Removed garbage code.
URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=b3262f50a53d3b90d13dd43d74c10b30ba6a4ced
Author: Fabio Bossi <bossi at cs.unipr.it>
Date: Sun Sep 13 19:21:41 2009 +0200
Added an auxiliary method.
Sorry for the huge amount of commented code: it will be fixed soon.
URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=688061869b0f3c16ba299fd49ccaab8fa6039c15
Author: Fabio Bossi <bossi at cs.unipr.it>
Date: Fri Sep 11 17:05:06 2009 +0200
Removed outdated FIXME note.
URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=762b048f813652e5bfb4e27032c8a4494563da95
Author: Fabio Bossi <bossi at cs.unipr.it>
Date: Fri Sep 11 17:04:11 2009 +0200
Added other simple cases of affine_image.
URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=e86a215e5bf18ca9785be5d79e199fe170bccd28
Author: Fabio Bossi <bossi at cs.unipr.it>
Date: Fri Sep 11 14:12:30 2009 +0200
Implemented another case for affine_image.
URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=1bd882f4961087d6686bda5676bd1ba5908dd681
Author: Fabio Bossi <bossi at cs.unipr.it>
Date: Fri Sep 11 10:50:42 2009 +0200
Added a skeleton for the rest of the affine_image implementation.
URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=589af008cb61b7ae84b5a7b4d83664282554ad5e
Author: Fabio Bossi <bossi at cs.unipr.it>
Date: Fri Sep 11 10:01:36 2009 +0200
Now the trivial case of affine_image works.
URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=29936bbc3648a9831b4dd37c3901462cfd158cae
Author: Fabio Bossi <bossi at cs.unipr.it>
Date: Thu Sep 10 18:04:36 2009 +0200
Written a preliminary, non working first part of our variant of
affine_image.
URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=8131d3c11b8f1b15387a0cef569eeb319bc07119
Author: Fabio Bossi <bossi at cs.unipr.it>
Date: Thu Sep 10 15:08:37 2009 +0200
Fixed another small documentation inconsistency.
URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=e535e5b530fb13cadf33897a31c12c1500e65938
Author: Fabio Bossi <bossi at cs.unipr.it>
Date: Thu Sep 10 14:41:11 2009 +0200
Fixed another small error in the documentation.
URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=e9f9c76f9d59ebfaa67b5f26ff4330eb2068dadf
Author: Fabio Bossi <bossi at cs.unipr.it>
Date: Thu Sep 10 14:33:20 2009 +0200
Other small corrections to the documentation.
URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=c5642e6135052d17a6588f221f528a331f3542cf
Author: Fabio Bossi <bossi at cs.unipr.it>
Date: Thu Sep 10 14:29:35 2009 +0200
Fixed one small typo.
URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=b9bc246da10ae1d8e19a3ed0f9c729761ee4994d
Author: Fabio Bossi <bossi at cs.unipr.it>
Date: Thu Sep 10 14:28:46 2009 +0200
Remove all references to floating point format f.
URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=49fe8476c87649b90e3780631bcdfb72486b03c8
Author: Fabio Bossi <bossi at cs.unipr.it>
Date: Thu Sep 10 14:18:14 2009 +0200
More additions and corrections to the documentation.
URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=25bb41f1134605a60a8c37d1a19ad80e02c51e3d
Author: Fabio Bossi <bossi at cs.unipr.it>
Date: Thu Sep 10 12:25:09 2009 +0200
Grammar fix in the documentation.
URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=61e9682521aecc91a64f70db0529deaa4ff1a01a
Author: Fabio Bossi <bossi at cs.unipr.it>
Date: Thu Sep 10 12:15:14 2009 +0200
Fixed one small error.
URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=bc2e838dcecf1e6a92dc04787f99f8ee6bf109c8
Author: Fabio Bossi <bossi at cs.unipr.it>
Date: Thu Sep 10 12:06:05 2009 +0200
Fixed another inconsistency in the documentation.
URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=f90f4982a46557145d0b94135b193018210b5fd5
Author: Fabio Bossi <bossi at cs.unipr.it>
Date: Thu Sep 10 12:02:54 2009 +0200
Fixed conflicts.
URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=5ffba415ba265fce9fca447cdeae490182c02ee6
Author: Fabio Bossi <bossi at cs.unipr.it>
Date: Thu Sep 10 11:49:44 2009 +0200
Fixed an inconsistency with the rest of the documentation.
URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=b975207fee47ac28f5a5dbdb7a153dcab48dfe42
Author: Fabio Bossi <bossi at cs.unipr.it>
Date: Thu Sep 10 11:38:06 2009 +0200
Fixed a few errors.
URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=665f8e9f3e12ac778dcc1cf2f41fd5afb1a8b5f8
Author: Fabio Bossi <bossi at cs.unipr.it>
Date: Thu Sep 10 11:27:10 2009 +0200
Added missing \brief marker.
URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=963be409b51e7fd4d5382b0ba10b256232a94d8a
Author: Fabio Bossi <bossi at cs.unipr.it>
Date: Thu Sep 10 11:16:06 2009 +0200
Use \otimes only in math environment.
URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=aed91f8a35dec22bd585e0f58c75f7f06804587a
Author: Fabio Bossi <bossi at cs.unipr.it>
Date: Thu Sep 10 11:12:22 2009 +0200
Revised and corrected the whole documentation.
URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=98244bb14df54a5e5f0d3288840fb8d796ed3dfc
Author: Roberto Amadini <r.amadini at virgilio.it>
Date: Thu Sep 10 11:55:12 2009 +0200
Moved linearform1.cc into tests/Polyhedron.
URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=7de79be86951bff882f83eea17bcfcfbcd7a52b5
Author: Fabio Biselli <fabio.biselli at studenti.unipr.it>
Date: Thu Sep 10 12:37:26 2009 +0200
Updated intervalize documentation;
Updated Opposite_Floating_Point_Expression documentation;
URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=8467c7a8e640f773abc0dff8d62254830dc13c7c
Author: Enea Zaffanella <zaffanella at cs.unipr.it>
Date: Thu Sep 10 09:12:20 2009 +0200
Removed spurious occurrence of a closing comment, preventing compilation.
URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=3d115f781b8c26b19c6a4fe0b8d491a909e9a82a
Author: Roberto Amadini <r.amadini at virgilio.it>
Date: Wed Sep 9 17:55:46 2009 +0200
Improved test for class Linear_Form.
URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=19b136f854184406ad4ce422922dd816f6f4dc41
Author: Fabio Biselli <fabio.biselli at studenti.unipr.it>
Date: Wed Sep 9 19:39:19 2009 +0200
Fixed few typo
URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=60b9772ac000271a4ab1176e552341cb6e590183
Author: Fabio Bossi <bossi at cs.unipr.it>
Date: Wed Sep 9 17:40:00 2009 +0200
Fixed typo.
URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=b8f6d2ee0afe733869f04cadf1becf4c7c03e8ad
Author: Fabio Bossi <bossi at cs.unipr.it>
Date: Wed Sep 9 17:37:08 2009 +0200
Use \infty instead of \infinity.
URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=6c80dc54db17383f1cc892e905e3dac804ba158d
Author: Fabio Biselli <fabio.biselli at studenti.unipr.it>
Date: Wed Sep 9 19:08:00 2009 +0200
Updated documentation
URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=edf215e958a23f0fe12b06c8f1481deaa7473676
Author: Fabio Bossi <bossi at cs.unipr.it>
Date: Wed Sep 9 16:33:27 2009 +0200
Predisposed everything to start implementing our own customized version
of method affine_image.
URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=37c753c529b2b104fff0dc63ff83119ce1b52b9a
Author: Roberto Amadini <r.amadini at virgilio.it>
Date: Wed Sep 9 16:19:06 2009 +0200
Fixed bug in Linear_Form.
Copied linearform1.cc in tests/Floating_Point_Expression and
improved its tests.
URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=66515df137210d3048db981bd716f900c51e0075
Author: Fabio Bossi <bossi at cs.unipr.it>
Date: Wed Sep 9 10:40:06 2009 +0200
Use \defeq instead of = for definitions.
Fixed an error concerning frames.
URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=59241488abfbff6a8310a938c96d09de3dab3ce3
Author: Fabio Bossi <bossi at cs.unipr.it>
Date: Wed Sep 9 10:26:32 2009 +0200
Use new linearization macro.
URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=a77be211bad2e751dded38345ad38bf11cc7dc56
Author: Fabio Bossi <bossi at cs.unipr.it>
Date: Wed Sep 9 10:20:06 2009 +0200
Removed trailing whitespace.
URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=faab1d298643299aa7cd3a38aa02c33f643946ff
Author: Fabio Bossi <bossi at cs.unipr.it>
Date: Wed Sep 9 10:19:02 2009 +0200
More documentation.
URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=940b8bf4bf2442aec711f75c885e1fa8ea39e9f5
Author: Fabio Bossi <bossi at cs.unipr.it>
Date: Wed Sep 9 10:17:52 2009 +0200
Fixed a bug in operator==.
URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=867f1eaf166ffb70cd727683c4977cea44a6ac92
Author: Fabio Biselli <fabio.biselli at studenti.unipr.it>
Date: Wed Sep 9 12:01:58 2009 +0200
Added new macros into doc/ppl.sty
URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=18fcb47fba6d6754d0c963c5235851acf817896a
Author: Fabio Biselli <fabio.biselli at studenti.unipr.it>
Date: Tue Sep 8 20:30:46 2009 +0200
Added Linear_Form into doxyconf file
Fixed few typos in Linear_Form
Minor Documentations updates
URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=b3919a859f9bb911753bee7bb9059dea1095d99a
Author: Roberto Amadini <r.amadini at virgilio.it>
Date: Tue Sep 8 17:25:56 2009 +0200
Added and modified tests in order to reach the coverage of 100%
in Floating_Point_Expression class and its derived classes.
URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=2f3c39f2d78530507d9669db2f570ee90555124c
Author: Fabio Bossi <bossi at cs.unipr.it>
Date: Tue Sep 8 16:54:51 2009 +0200
Fixed pedix.
URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=994b555a8cd9a79d9f8303b32209998b8830c13a
Author: Fabio Bossi <bossi at cs.unipr.it>
Date: Tue Sep 8 16:46:23 2009 +0200
Fixed an error in command invocation.
URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=4a1d25bd5a05e759dcc4d1f6a0b9f1204435bda7
Author: Fabio Bossi <bossi at cs.unipr.it>
Date: Tue Sep 8 16:29:40 2009 +0200
Added some documentation.
URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=606ec45118cc8866cff182d49498fb641eb44c95
Author: Fabio Biselli <fabio.biselli at studenti.unipr.it>
Date: Tue Sep 8 16:59:35 2009 +0200
Update variale and constant documentations
URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=26d546f62d36497e70ab0118e67302d46b2072cd
Author: Fabio Biselli <fabio.biselli at studenti.unipr.it>
Date: Tue Sep 8 16:09:33 2009 +0200
Added Latex macro for abstract division.
URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=d6956e262f595f39d49a0050843268547b15d78f
Author: Roberto Amadini <r.amadini at virgilio.it>
Date: Tue Sep 8 14:08:04 2009 +0200
Removed useless comments.
URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=c508c610981bd3590bb5dec574481e28b24ae865
Author: Roberto Amadini <r.amadini at virgilio.it>
Date: Tue Sep 8 14:00:38 2009 +0200
Added test for unary minus and multiplication by constant.
URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=58e9e3af70bd3cfeb8e5709c1eeafd5b691b84a2
Author: Fabio Biselli <fabio.biselli at studenti.unipr.it>
Date: Tue Sep 8 14:20:01 2009 +0200
Updated linearization documentation;
Added formulas to class descriptions;
URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=1e570d889993548394bae0a46b74d99477961748
Author: Fabio Biselli <fabio.biselli at studenti.unipr.it>
Date: Tue Sep 8 12:33:45 2009 +0200
Fixed documentation
URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=f25dd63720cd0b6520bf7f5cfcffa1970928a641
Author: Fabio Bossi <bossi at cs.unipr.it>
Date: Tue Sep 8 11:49:17 2009 +0200
Notify that open intervals should not be allowed.
URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=f5c91db1d219bb2dff6770b4561e3ee0d1eac985
Author: Fabio Bossi <bossi at cs.unipr.it>
Date: Tue Sep 8 10:12:24 2009 +0200
Documentation improved.
URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=90c1a7723fdeb7cda0219d5972b987912f67c042
Author: Fabio Bossi <bossi at cs.unipr.it>
Date: Tue Sep 8 09:27:12 2009 +0200
Deleted FIXME note.
URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=a7bef215e417ec62a190b860dc0c1990e688360a
Author: Roberto Amadini <r.amadini at virgilio.it>
Date: Tue Sep 8 00:06:08 2009 +0200
Added and modified some tests.
URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=4ea81ad27e069428baa44026d7f907c735a442f8
Author: Fabio Biselli <fabio.biselli at studenti.unipr.it>
Date: Mon Sep 7 20:24:53 2009 +0200
Update documentation
URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=9eea1940a0dd76e2e77308044eed6acfb193da4c
Author: Roberto Amadini <r.amadini at virgilio.it>
Date: Mon Sep 7 18:11:16 2009 +0200
Fixed a bug in method relative_error.
Edited test06 to cope with the new interface of method linearize.
URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=a8ecdc0727c836b3b9447accf27e9e95cbcda89c
Author: Roberto Amadini <r.amadini at virgilio.it>
Date: Mon Sep 7 18:03:22 2009 +0200
Added one test.
URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=38cb91a8f194c039d375dc657e89a440253d90cf
Author: Fabio Bossi <bossi at cs.unipr.it>
Date: Mon Sep 7 16:12:10 2009 +0200
Extended method linearize to also accept a linear form abstract store.
Adjusted tests (but NOT YET THE DOCUMENTATION) accordingly.
URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=a8a6f6a79cee0ed570746c38d2a8a0c15cf2298b
Author: Fabio Biselli <fabio.biselli at studenti.unipr.it>
Date: Mon Sep 7 18:09:18 2009 +0200
Documentation updates
URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=db823a39805358e61caddc3122c535ffbdb5564f
Author: Fabio Bossi <bossi at cs.unipr.it>
Date: Mon Sep 7 15:00:37 2009 +0200
Do not ignore undefined variables while intervalizing: assert that they
are defined instead.
URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=bf7c1eb0d35ea326d3af8c04623596826baf7e41
Author: Fabio Bossi <bossi at cs.unipr.it>
Date: Mon Sep 7 14:23:23 2009 +0200
Fixed a bug in Linar_Form::operator== where zero coefficients were not
treated properly. Added a few simple tests for class
Floating_Point_Expression.
URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=3ea4657845b39d6bdadb22fa26658f4da21c5fc2
Author: Fabio Bossi <bossi at cs.unipr.it>
Date: Mon Sep 7 11:07:24 2009 +0200
Added more typedefs and one test.
URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=fc9e7a5ea189bb3ebb98d3baa4d470f69b339ee4
Author: Fabio Bossi <bossi at cs.unipr.it>
Date: Mon Sep 7 10:53:07 2009 +0200
Added two simple tests.
URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=ce4f16e3106adf4f03d8d3e6b9ea0abc996ea50a
Author: Fabio Biselli <fabio.biselli at studenti.unipr.it>
Date: Mon Sep 7 12:31:54 2009 +0200
Fixed comments and documentation
URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=04e68873c8a8f3e85682506f36d2c8626a48f1e5
Author: Fabio Bossi <bossi at cs.unipr.it>
Date: Mon Sep 7 09:37:36 2009 +0200
Made absolute_error constant.
URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=b1fbafc2fb396154d0fa5fd4ee2d0eda860e0e3b
Author: Fabio Bossi <bossi at cs.unipr.it>
Date: Sat Sep 5 20:07:04 2009 +0200
Fixed erroneous use of const&.
URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=70431729da6b1ee33ff65eee4a5283c96bb2f20c
Author: Fabio Bossi <bossi at cs.unipr.it>
Date: Sat Sep 5 17:57:11 2009 +0200
Added operator/= and method negate for class Linear_Form.
Refactored code of class Floating_Point_Exception and its derivate
classes in order to avoid creating unnecessary temporaries.
URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=da78c30d4893169e3a095e9b91fd0a411fb00947
Author: Fabio Biselli <fabio.biselli at studenti.unipr.it>
Date: Fri Sep 4 19:05:11 2009 +0200
Added more documentation
URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=052fb58b85dcf4d03b161c24c7ae3d0e9bd4d086
Author: Fabio Bossi <bossi at cs.unipr.it>
Date: Fri Sep 4 16:47:43 2009 +0200
Added necessary typedefs for tests. Removed garbage.
URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=663dfab0dee076d37deb1f0afadb7dbcf4bebd42
Author: Fabio Bossi <bossi at cs.unipr.it>
Date: Fri Sep 4 11:16:05 2009 +0200
Added a workaround for the fact that we don't have an explicit way to
divide a Linear_Form by an Interval.
URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=99ff3b447a38287010701980fc33173dbc521133
Author: Fabio Bossi <bossi at cs.unipr.it>
Date: Fri Sep 4 10:43:37 2009 +0200
Fixed various errors.
URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=41a927e39c1b9ae298ade0ffd8f92d5db884c95b
Author: Fabio Bossi <bossi at cs.unipr.it>
Date: Fri Sep 4 09:56:13 2009 +0200
Fixed bad use of constructor.
URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=d152f786262208e5c66f886cc969641f3b602ef4
Author: Fabio Bossi <bossi at cs.unipr.it>
Date: Fri Sep 4 09:40:19 2009 +0200
Style improvements.
URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=4229e9d6cca6d6443122485fc7139af107290c19
Author: Roberto Amadini <r.amadini at virgilio.it>
Date: Thu Sep 3 18:26:57 2009 +0200
Deleted a superfluous test.
URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=c11c86e606ceeaa69ebb0448972ca08d0943519f
Author: Fabio Biselli <fabio.biselli at studenti.unipr.it>
Date: Thu Sep 3 19:40:57 2009 +0200
Added some documentation.
URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=f7230caad9fd947ee7f4206df54fbeca75a4273f
Author: Fabio Bossi <bossi at cs.unipr.it>
Date: Thu Sep 3 17:42:50 2009 +0200
Use 0 instead of NULL.
URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=637a518f0c3d6c2dd39676e3274a63e1e4f480c8
Author: Fabio Bossi <bossi at cs.unipr.it>
Date: Thu Sep 3 17:40:33 2009 +0200
Fixed an error in relative_error.
URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=8e2a4611be5209d929e81a084112aa923f423754
Author: Fabio Bossi <bossi at cs.unipr.it>
Date: Thu Sep 3 16:50:54 2009 +0200
Fixed erroneous declarations of namespace std inside namespace
Parma_Polyhedra_Library.
URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=cfdb5138cdb74c37f42dbe0d9ba2832580a3026a
Author: Fabio Bossi <bossi at cs.unipr.it>
Date: Thu Sep 3 16:37:23 2009 +0200
Fixed many errors.
URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=10f41f9fa996403db40dc630acebf6cfce7705c0
Author: Fabio Bossi <bossi at cs.unipr.it>
Date: Thu Sep 3 16:06:26 2009 +0200
Fixed a few typos.
URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=452881a1cd2c0186c5ce2e222b19c40830ee60a5
Author: Enea Zaffanella <zaffanella at cs.unipr.it>
Date: Thu Sep 3 15:36:22 2009 +0200
Added a test directory (and a dummy test file).
URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=9b98cc5348d01790871f0c4c12b7cb4cbd46f64d
Author: Fabio Bossi <bossi at cs.unipr.it>
Date: Thu Sep 3 14:05:27 2009 +0200
Added a temporary implementation for external method neg_assign.
URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=5f28df36c3fa482d5a61b8d020579287f1a05cfa
Author: Fabio Bossi <bossi at cs.unipr.it>
Date: Thu Sep 3 11:52:50 2009 +0200
Fixed inclusions.
URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=2eb864c44e26294f1f27a1892042588dbbe7ffd0
Author: Fabio Bossi <bossi at cs.unipr.it>
Date: Thu Sep 3 10:33:31 2009 +0200
Fixed inclusion guards.
URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=9e66883a1028866f4924f0adf6a14d4771d0f5e2
Author: Fabio Bossi <bossi at cs.unipr.it>
Date: Thu Sep 3 10:01:15 2009 +0200
Added necessary static_cast when computing absolute error.
URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=26061d6f25e49ff71d3c99adefd96eec5b5696dd
Author: Fabio Bossi <bossi at cs.unipr.it>
Date: Thu Sep 3 09:39:33 2009 +0200
Implemented linearization operator for
Division_Floating_Point_Expression.
Fixed several typos.
URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=d2bd25f15c03600bc91264783bcdf3a4afd42cdf
Author: Roberto Bagnara <bagnara at cs.unipr.it>
Date: Wed Sep 2 17:15:12 2009 +0200
Added Fabio Biselli to the list of current contributors.
URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=8839824bc84d7304ff5c9ca801d595f8fe7cede5
Author: Fabio Bossi <bossi at cs.unipr.it>
Date: Wed Sep 2 18:07:24 2009 +0200
Added linearization operator for
Multiplication_Floating_Point_Expression.
Several other corrections and improvements.
URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=091ba8a954912a4eb80447877629c9882f449901
Author: Roberto Bagnara <bagnara at cs.unipr.it>
Date: Wed Sep 2 15:46:12 2009 +0200
Added Fabio Bossi to the list of current contributors.
URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=12d9fe8700455e6b66f5389e5bf3778573debfb4
Author: Fabio Bossi <bossi at cs.unipr.it>
Date: Wed Sep 2 16:33:29 2009 +0200
Removed dummy linearization operators.
Implemented the linearization operator for
Opposite_Floating_Point_Expression.
URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=fd45e56cd50f609ddb815735f487576349ac6a07
Author: Fabio Bossi <bossi at cs.unipr.it>
Date: Wed Sep 2 16:02:45 2009 +0200
Added a few more implementations of the linearization operator.
URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=67bec8827d8c0ce1db133ae9f20dd36830ffffe8
Author: Fabio Bossi <bossi at cs.unipr.it>
Date: Wed Sep 2 14:41:51 2009 +0200
Added a first implementation of the relative_error and intervalize
methods.
Fixed a mistake with loops over linear forms.
Several style improvements.
URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=c8afa3a4e165f17b2cf71eae85770d4c300bc37c
Author: Fabio Biselli <fabio.biselli at studenti.unipr.it>
Date: Wed Sep 2 13:34:01 2009 +0200
Rewritten according to Enea's indications.
URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=b7ee345b53fd72a03d08d51295c72f97f71b7ab2
Author: Fabio Biselli <fabio.biselli at studenti.unipr.it>
Date: Tue Sep 1 20:06:03 2009 +0200
Added swap functions and inhibited assignment and copy constructor.
URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=625f2adc4b2dd4095a23203bdb64f9f58d4930aa
Author: Fabio Biselli <fabio.biselli at studenti.unipr.it>
Date: Tue Sep 1 16:29:05 2009 +0200
Removed trailing whitespaces.
URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=8f090b25bf4b632cb3832f74b02421dc3812c917
Author: Fabio Biselli <fabio.biselli at studenti.unipr.it>
Date: Tue Sep 1 16:08:08 2009 +0200
Added a few more classes for floating point expressions.
URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=d10726e73284885a6c609f6e6634e8aa1908d700
Author: Fabio Bossi <bossi at cs.unipr.it>
Date: Wed Sep 2 11:23:28 2009 +0200
Corrected absolute error calculation to account for underflows.
URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=a2335bf94541f49e34addb0fa979bfeab803ec09
Author: Fabio Bossi <bossi at cs.unipr.it>
Date: Wed Sep 2 11:06:44 2009 +0200
Added static helper methods and a few policy classes.
URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=6c9d4e2385d9abb1dce0a78cf7becee03bd697ef
Author: Fabio Bossi <bossi at cs.unipr.it>
Date: Wed Sep 2 09:54:33 2009 +0200
Made constructors explicit.
URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=675fae6564ba99f0292baf02c27c712279b4e33c
Author: Fabio Bossi <bossi at cs.unipr.it>
Date: Wed Sep 2 09:42:16 2009 +0200
Fixed code according to Enea's indications.
URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=8b73f935478dd3725c2ba596433f4de6296ca2c4
Author: Fabio Bossi <bossi at cs.unipr.it>
Date: Tue Sep 1 18:05:12 2009 +0200
Added destructor implementation.
URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=631b2220535fbd9555270660253aa3a820025aae
Author: Fabio Bossi <bossi at cs.unipr.it>
Date: Tue Sep 1 17:35:44 2009 +0200
Fixed a typo.
URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=f9e4c9feaea49852d79f10913584bd062a9b1250
Author: Fabio Bossi <bossi at cs.unipr.it>
Date: Tue Sep 1 17:29:24 2009 +0200
Added swapping functions.
URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=1f4b78b53ec1022b66e5f262dda4dc324a55a7b7
Author: Fabio Bossi <bossi at cs.unipr.it>
Date: Tue Sep 1 11:38:06 2009 +0200
Added the files for the first (incomplete) version of
class Opposite_Floating_Point_Expression
URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=db14c2f6022e81980bfe45feb89876a615e1b7a0
Author: Fabio Bossi <bossi at cs.unipr.it>
Date: Tue Sep 1 11:29:14 2009 +0200
Fixed an error in method linearize.
URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=bc1a412d5547c459473918f13c22328758bf5e84
Author: Fabio Bossi <bossi at cs.unipr.it>
Date: Tue Sep 1 10:40:11 2009 +0200
Added a first version of class Variable_Floating_Point_Expression.
URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=59926c0b8460c887f7c2485c5560e9bb2c5986bf
Author: Fabio Bossi <bossi at cs.unipr.it>
Date: Tue Sep 1 10:01:25 2009 +0200
Corrected the interface of the two-argument constructor.
URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=e2e00d72c5631721e7ffc88251c5c597718d9632
Author: Fabio Bossi <bossi at cs.unipr.it>
Date: Tue Sep 1 09:43:30 2009 +0200
Corrected the interface of method linearize.
URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=a94cd70f673cdd79b79bde76ea235dfaaeec8e9e
Author: Fabio Bossi <bossi at cs.unipr.it>
Date: Mon Aug 31 17:32:09 2009 +0200
Added a few classes that represent floating point expressions.
URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=c9ec5bc2cb674fd20a8cdc4c85b93361428ed8e2
Author: Roberto Bagnara <bagnara at cs.unipr.it>
Date: Tue Aug 18 09:57:45 2009 +0200
Several corrections and improvements.
URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=85f855d8d0c88d291609eb02d32ecab1674e57e9
Author: Roberto Bagnara <bagnara at cs.unipr.it>
Date: Mon Aug 17 18:19:20 2009 +0200
Started adjusting the documentation.
URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=24c485b7ca89981ced9be711c2e14d97167ca52f
Author: Roberto Bagnara <bagnara at cs.unipr.it>
Date: Mon Aug 17 18:12:50 2009 +0200
Implemented Linear_Form::external_memory_in_bytes() and Linear_Form::external_memory_in_bytes().
Other minor improvements.
URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=73a33367e029c455c60393636746ae766ffcd03d
Author: Roberto Bagnara <bagnara at cs.unipr.it>
Date: Mon Aug 17 17:55:53 2009 +0200
Do not use std::swap(): use Linear_Expression::swap() instead.
URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=17a6154b28a67e6812a3d8548287f782226f62dc
Author: Roberto Bagnara <bagnara at cs.unipr.it>
Date: Mon Aug 17 17:52:19 2009 +0200
Added a preliminary implementation of class Linear_Form.
URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=7690e53a2292b8ae4ab4a606967ad0778861d826
Author: Roberto Bagnara <bagnara at cs.unipr.it>
Date: Mon Aug 17 17:51:35 2009 +0200
Added missing inclusion of <iostream>.
More information about the PPL-devel
mailing list