December 2009 - PPL-devel - BUGSENG Mailman

[GIT] ppl/ppl(master): Several corrections in tests and source code.
by Roberto Amadini 21 Dec '09

21 Dec '09

Module: ppl/ppl Branch: master Commit: e61dd7b58a36fb75984e188b2edbb4968968585a URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=e61dd7b58a36… Author: Roberto Amadini <r.amadini(a)virgilio.it> Date: Sun Dec 20 17:42:42 2009 +0100 Several corrections in tests and source code. Now, in all tests of tests/Floating_Point_Expression/ we assume that analyzer format must be less precise or equal than analyzed format. --- src/Float.defs.hh | 4 +- src/Floating_Point_Expression.templates.hh | 16 ++++-- ...lication_Floating_Point_Expression.templates.hh | 28 ++++----- tests/Floating_Point_Expression/Makefile.am | 54 ++++++---------- tests/Floating_Point_Expression/bdshape1.cc | 20 +++--- tests/Floating_Point_Expression/bdshape2.cc | 32 +++++----- tests/Floating_Point_Expression/digitalfilters1.cc | 59 +------------------ .../floatingpointexpr1.cc | 64 ++++++++++++++------ tests/Floating_Point_Expression/linearform1.cc | 2 +- tests/Floating_Point_Expression/octagonalshape1.cc | 20 +++--- tests/Floating_Point_Expression/octagonalshape2.cc | 24 ++++---- tests/Floating_Point_Expression/polyhedron1.cc | 15 ++--- tests/Floating_Point_Expression/polyhedron2.cc | 14 ++-- 13 files changed, 151 insertions(+), 201 deletions(-) Diff: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commitdiff;h=e61dd7b5…

1 0

[GIT] ppl/ppl(floating_point): Several corrections in tests and source code .
by Roberto Amadini 20 Dec '09

20 Dec '09

Module: ppl/ppl Branch: floating_point Commit: e61dd7b58a36fb75984e188b2edbb4968968585a URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=e61dd7b58a36… Author: Roberto Amadini <r.amadini(a)virgilio.it> Date: Sun Dec 20 17:42:42 2009 +0100 Several corrections in tests and source code. Now, in all tests of tests/Floating_Point_Expression/ we assume that analyzer format must be less precise or equal than analyzed format. --- src/Float.defs.hh | 4 +- src/Floating_Point_Expression.templates.hh | 16 ++++-- ...lication_Floating_Point_Expression.templates.hh | 28 ++++----- tests/Floating_Point_Expression/Makefile.am | 54 ++++++---------- tests/Floating_Point_Expression/bdshape1.cc | 20 +++--- tests/Floating_Point_Expression/bdshape2.cc | 32 +++++----- tests/Floating_Point_Expression/digitalfilters1.cc | 59 +------------------ .../floatingpointexpr1.cc | 64 ++++++++++++++------ tests/Floating_Point_Expression/linearform1.cc | 2 +- tests/Floating_Point_Expression/octagonalshape1.cc | 20 +++--- tests/Floating_Point_Expression/octagonalshape2.cc | 24 ++++---- tests/Floating_Point_Expression/polyhedron1.cc | 15 ++--- tests/Floating_Point_Expression/polyhedron2.cc | 14 ++-- 13 files changed, 151 insertions(+), 201 deletions(-) Diff: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commitdiff;h=e61dd7b5…

1 0

[GIT] ppl/ppl(master): New commits
by Roberto Bagnara 19 Dec '09

19 Dec '09

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=f69b86061855… Merge: 12f6d4872bc274aaf7f068ff35b1c6c209a7a39a 9784b8165b6cb1dea5eb6d20b4cebca7ecc780fd Author: Roberto Bagnara <bagnara(a)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=12f6d4872bc2… Author: Roberto Amadini <r.amadini(a)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=a75d238a6baf… Author: Roberto Amadini <r.amadini(a)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=307af1367ed6… Author: Roberto Amadini <r.amadini(a)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=96ac4ea63bf3… Author: Roberto Amadini <r.amadini(a)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=bb5e95b8994a… Author: Fabio Biselli <fabio.biselli(a)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=c8e299d57c03… Author: Fabio Biselli <fabio.biselli(a)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=dc2ec7594e5d… Author: Roberto Amadini <r.amadini(a)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=b521d8e6b10b… Author: Roberto Amadini <r.amadini(a)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=391db98125e2… Author: Fabio Biselli <fabio.biselli(a)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=6da25c9734d4… Author: Roberto Amadini <r.amadini(a)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=8801eb01b1d0… Author: Roberto Amadini <r.amadini(a)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=d8d6e899f5ca… Author: Fabio Biselli <fabio.biselli(a)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=9c6033597683… Author: Fabio Biselli <fabio.biselli(a)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=cacb4330a7f4… Author: Fabio Biselli <fabio.biselli(a)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=286faa55e601… Author: Roberto Amadini <r.amadini(a)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=b5f92dc9fe76… Author: Fabio Biselli <fabio.biselli(a)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=10a020c1c5d8… Author: Roberto Amadini <r.amadini(a)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=9c35b656767f… Author: Fabio Biselli <fabio.biselli(a)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=4f3fe255850a… Author: Roberto Amadini <r.amadini(a)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=f77babe87a9d… Author: Roberto Amadini <r.amadini(a)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=eda13a1edf15… Author: Roberto Amadini <r.amadini(a)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=32a8e23b6070… Author: Roberto Amadini <r.amadini(a)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=c05f09104471… Author: Fabio Biselli <fabio.biselli(a)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=8847a837fb85… Author: Fabio Biselli <fabio.biselli(a)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=c83d68a8f97f… Author: Fabio Biselli <fabio.biselli(a)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=a92c340364de… Author: Roberto Amadini <r.amadini(a)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=eda8bee287a3… Author: Roberto Amadini <r.amadini(a)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=b37ac0cb3045… Author: Fabio Bossi <bossi(a)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=531ab36b1f69… Author: Fabio Bossi <bossi(a)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=e90bc74ac603… Author: Roberto Amadini <r.amadini(a)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=a0f084e697e6… Author: Roberto Amadini <r.amadini(a)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=4b736b1ec484… Author: Roberto Amadini <r.amadini(a)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=112fb00917eb… Author: Roberto Amadini <r.amadini(a)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=7d2306abb071… Author: Roberto Amadini <r.amadini(a)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=eb9cef62704b… Author: Roberto Amadini <r.amadini(a)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=fcb9568396f2… Author: Roberto Amadini <r.amadini(a)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=0ca73838e132… Author: Roberto Amadini <r.amadini(a)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=1bdc33c7fc6f… Author: Roberto Amadini <r.amadini(a)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=f18c42ee75a5… Author: Roberto Amadini <r.amadini(a)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=05770258f702… Author: Fabio Bossi <bossi(a)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=60337b286bc9… Author: Roberto Amadini <r.amadini(a)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=5e933a229536… Author: Fabio Bossi <bossi(a)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=86c9d02d4adb… Author: Fabio Biselli <fabio.biselli(a)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=f3324f27c929… Author: Fabio Biselli <fabio.biselli(a)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=2134fb6959a5… Author: Fabio Biselli <fabio.biselli(a)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=fab12fb96c8f… Author: Fabio Biselli <fabio.biselli(a)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=764404241929… Author: Roberto Amadini <r.amadini(a)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=6b0038a621b7… Author: Fabio Biselli <fabio.biselli(a)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=1565eb930cb7… Author: Roberto Amadini <r.amadini(a)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=540fd61d15e0… Author: Fabio Biselli <fabio.biselli(a)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=dc276e0c0a15… Author: Roberto Amadini <r.amadini(a)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=a5ef5d5cfc41… Author: Fabio Biselli <fabio.biselli(a)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=e4f52c87f28f… Author: Roberto Amadini <r.amadini(a)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=2fcd493ce5e2… Author: Fabio Bossi <bossi(a)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=1ddf04b0c295… Author: Roberto Amadini <r.amadini(a)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=f5e8676cd64d… Author: Roberto Amadini <r.amadini(a)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=e88b2238c1d7… Author: Roberto Amadini <r.amadini(a)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=d002a27f5e25… Author: Roberto Amadini <r.amadini(a)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=66f38555e152… Author: Roberto Amadini <r.amadini(a)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=0eb634591ec2… Author: Fabio Bossi <bossi(a)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=c8904fdf2c5e… Author: Fabio Bossi <bossi(a)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=1ce1a9746e94… Author: Fabio Bossi <bossi(a)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=2463769f8877… Author: Roberto Amadini <r.amadini(a)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=c62926896a8b… Author: Fabio Bossi <bossi(a)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=cb5178462d70… Author: Fabio Bossi <bossi(a)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=3add81ea3092… Author: Fabio Bossi <bossi(a)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=03bfe62f2d73… Author: Roberto Amadini <r.amadini(a)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=85cc7688520a… Author: Fabio Biselli <fabio.biselli(a)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=cebcfe41cc8a… Author: Roberto Bagnara <bagnara(a)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=8f06b8a32109… Author: Roberto Bagnara <bagnara(a)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=334ff19fb5ca… Author: Fabio Bossi <bossi(a)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=4ffa56a7f08a… Merge: d865b7a741bdb503fdac52edbd5b2a700593a850 e61defee29d0688a72fbe707157351a85c9a35a1 Author: Roberto Bagnara <bagnara(a)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=d865b7a741bd… Author: Fabio Bossi <bossi(a)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=360425ce18d4… Author: Roberto Amadini <r.amadini(a)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=07bb498a1557… Author: Fabio Bossi <bossi(a)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=a21e78b3e9bb… Author: Fabio Biselli <fabio.biselli(a)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=3ad560b33c28… Author: Fabio Bossi <bossi(a)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=4c93dcb4734f… Author: Roberto Amadini <r.amadini(a)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=7ac2752fde0d… Author: Roberto Amadini <r.amadini(a)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=102eb141ca6f… Author: Roberto Amadini <r.amadini(a)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=de2be3f1b7f7… Author: Fabio Biselli <fabio.biselli(a)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=f762ecded38d… Author: Roberto Amadini <r.amadini(a)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=8dd84af2cade… Author: Fabio Bossi <bossi(a)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=f47bdef6918e… Author: Roberto Amadini <r.amadini(a)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=43b5cb98ab20… Author: Roberto Amadini <r.amadini(a)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=9691bf1a68b4… Author: Roberto Amadini <r.amadini(a)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=8128edd2954e… Author: Fabio Bossi <bossi(a)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=230e752faf02… Author: Fabio Bossi <bossi(a)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=15ed9f61cf8f… Author: Fabio Bossi <bossi(a)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=d14d0775d881… Author: Fabio Bossi <bossi(a)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=7dbbf2813ae8… Author: Roberto Bagnara <bagnara(a)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=c142c06f9e47… Author: Roberto Bagnara <bagnara(a)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=655d6cc8016a… Author: Fabio Bossi <bossi(a)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=9b7c8767e9c0… Author: Fabio Bossi <bossi(a)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=2b4f0299f6b3… Author: Roberto Amadini <r.amadini(a)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=d8e7d618dd4a… Author: Fabio Bossi <bossi(a)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=79572e84de98… Author: Fabio Bossi <bossi(a)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=e2b71307d519… Author: Roberto Amadini <r.amadini(a)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=4e2e5ca265d9… Author: Roberto Amadini <r.amadini(a)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=96ade840e515… Author: Fabio Bossi <bossi(a)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=d61e5566f5f6… Author: Fabio Bossi <bossi(a)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=0d9faf95e4bc… Author: Fabio Bossi <bossi(a)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=1508fe8fbb7b… Author: Roberto Amadini <r.amadini(a)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=c6e8ada743e7… Author: Fabio Bossi <bossi(a)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=3e7c9713946e… Author: Roberto Amadini <r.amadini(a)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=faefe0f0d224… Author: Roberto Amadini <r.amadini(a)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=351e41c9b785… Author: Roberto Amadini <r.amadini(a)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=7365b420d7ab… Author: Fabio Bossi <bossi(a)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=171b89c7ecd9… Author: Fabio Bossi <bossi(a)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=e382dfd1d7fa… Author: Fabio Bossi <bossi(a)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=726d6fa6ff5d… Author: Roberto Amadini <r.amadini(a)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=f0f4bf6a9483… Author: Fabio Bossi <bossi(a)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=4f125f4d90aa… Author: Fabio Bossi <bossi(a)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=c07b5cfd78ce… Author: Roberto Amadini <r.amadini(a)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=18e281994a30… Author: Fabio Bossi <bossi(a)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=4bdd87fc4364… Author: Fabio Bossi <bossi(a)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=04edf0b5d66a… Author: Fabio Bossi <bossi(a)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=3e9f4582ce7a… Author: Fabio Biselli <fabio.biselli(a)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=aeb5980a47c2… Author: Fabio Biselli <fabio.biselli(a)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=ecffc8c69e21… Author: Fabio Bossi <bossi(a)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=b6dc43db2855… Author: Fabio Bossi <bossi(a)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=ca46c2859036… Author: Fabio Bossi <bossi(a)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=f37d16f0e947… Author: Roberto Amadini <r.amadini(a)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=01dab9748259… Author: Abramo Bagnara <abramo.bagnara(a)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=ebe68870ff0f… Author: Roberto Amadini <r.amadini(a)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=636677b9899e… Author: Fabio Bossi <bossi(a)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=4a811294d3ac… Author: Roberto Amadini <r.amadini(a)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=a6766fae5327… Author: Fabio Biselli <fabio.biselli(a)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=c62580520960… Author: Fabio Bossi <bossi(a)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=876484912959… Author: Roberto Amadini <r.amadini(a)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=9015398c7a2e… Author: Roberto Amadini <r.amadini(a)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=0cbe08ccba51… Author: Fabio Bossi <bossi(a)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=81a3ebf84816… Author: Fabio Bossi <bossi(a)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=5decdfb92cce… Author: Roberto Amadini <r.amadini(a)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=630590eb2beb… Author: Roberto Bagnara <bagnara(a)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=61aa0fda07d5… Author: Roberto Amadini <r.amadini(a)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=880ed012ba9c… Author: Roberto Amadini <r.amadini(a)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=42d43d4ce329… Author: Fabio Bossi <bossi(a)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=f165fb07116d… Author: Fabio Bossi <bossi(a)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=a7172dfc7c1e… Author: Fabio Bossi <bossi(a)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=8ae6135af4d6… Author: Fabio Bossi <bossi(a)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=df74c77ffb0f… Author: Roberto Amadini <r.amadini(a)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=da7ab569f2f2… Author: Roberto Amadini <r.amadini(a)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=b42fe4766fe4… Author: Roberto Amadini <r.amadini(a)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=1b0f1e5529a5… Author: Roberto Amadini <r.amadini(a)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=d3eef431c3bd… Author: Fabio Bossi <bossi(a)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=23e43a61830b… Author: Roberto Amadini <r.amadini(a)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=6ea2e2f10098… Author: Fabio Bossi <bossi(a)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=33f20542b9b6… Author: Roberto Amadini <r.amadini(a)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=6dd29aa6e306… Author: Fabio Bossi <bossi(a)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=88575c56b5cc… Author: Roberto Amadini <r.amadini(a)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=1d86fe8a2172… Author: Roberto Amadini <r.amadini(a)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=453985a4ec00… Author: Fabio Bossi <bossi(a)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=4fa3f4c26c6d… Author: Fabio Bossi <bossi(a)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=5d2ee886c001… Author: Fabio Bossi <bossi(a)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=b9f5aee8d9e9… Author: Fabio Bossi <bossi(a)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=41e8ca0bea15… Author: Fabio Bossi <bossi(a)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=fae817ce8120… Author: Roberto Amadini <r.amadini(a)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=6685edf5c48b… Author: Fabio Bossi <bossi(a)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=164b9ef702d0… Author: Fabio Bossi <bossi(a)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=3bdc87446af3… Author: Roberto Amadini <r.amadini(a)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=47985bffa0b5… Author: Fabio Bossi <bossi(a)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=c6036d8d0b69… Author: Fabio Bossi <bossi(a)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=16204cc0b8e2… Author: Fabio Bossi <bossi(a)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=ed84cf0c1472… Author: Fabio Bossi <bossi(a)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=e492c9a5c529… Author: Fabio Bossi <bossi(a)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=56bd6524e6e3… Author: Fabio Biselli <fabio.biselli(a)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=46f18dbe19ab… Author: Fabio Biselli <fabio.biselli(a)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=bd64da813c51… Author: Roberto Amadini <r.amadini(a)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=27853708a791… Author: Fabio Bossi <bossi(a)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=a58815158ed2… Author: Fabio Bossi <bossi(a)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=cf40c1ee096f… Author: Fabio Bossi <bossi(a)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=8196e0832516… Author: Roberto Amadini <r.amadini(a)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=4670807b162f… Author: Roberto Amadini <r.amadini(a)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=30f2d12b77f8… Author: Fabio Bossi <bossi(a)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=85157d3ca3cd… Author: Fabio Bossi <bossi(a)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=a1e7e39e5851… Author: Fabio Bossi <bossi(a)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=ecb0e94a30b0… Author: Fabio Bossi <bossi(a)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=992d25ba23f3… Author: Fabio Bossi <bossi(a)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=9e8267747161… Author: Fabio Bossi <bossi(a)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=47bf5799b4b5… Author: Fabio Bossi <bossi(a)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=b3262f50a53d… Author: Fabio Bossi <bossi(a)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=688061869b0f… Author: Fabio Bossi <bossi(a)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=762b048f8136… Author: Fabio Bossi <bossi(a)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=e86a215e5bf1… Author: Fabio Bossi <bossi(a)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=1bd882f49610… Author: Fabio Bossi <bossi(a)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=589af008cb61… Author: Fabio Bossi <bossi(a)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=29936bbc3648… Author: Fabio Bossi <bossi(a)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=8131d3c11b8f… Author: Fabio Bossi <bossi(a)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=e535e5b530fb… Author: Fabio Bossi <bossi(a)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=e9f9c76f9d59… Author: Fabio Bossi <bossi(a)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=c5642e613505… Author: Fabio Bossi <bossi(a)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=b9bc246da10a… Author: Fabio Bossi <bossi(a)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=49fe8476c876… Author: Fabio Bossi <bossi(a)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=25bb41f11346… Author: Fabio Bossi <bossi(a)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=61e9682521ae… Author: Fabio Bossi <bossi(a)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=bc2e838dcecf… Author: Fabio Bossi <bossi(a)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=f90f4982a465… Author: Fabio Bossi <bossi(a)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=5ffba415ba26… Author: Fabio Bossi <bossi(a)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=b975207fee47… Author: Fabio Bossi <bossi(a)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=665f8e9f3e12… Author: Fabio Bossi <bossi(a)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=963be409b51e… Author: Fabio Bossi <bossi(a)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=aed91f8a35de… Author: Fabio Bossi <bossi(a)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=98244bb14df5… Author: Roberto Amadini <r.amadini(a)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=7de79be86951… Author: Fabio Biselli <fabio.biselli(a)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=8467c7a8e640… Author: Enea Zaffanella <zaffanella(a)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=3d115f781b8c… Author: Roberto Amadini <r.amadini(a)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=19b136f85418… Author: Fabio Biselli <fabio.biselli(a)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=60b9772ac000… Author: Fabio Bossi <bossi(a)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=b8f6d2ee0afe… Author: Fabio Bossi <bossi(a)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=6c80dc54db17… Author: Fabio Biselli <fabio.biselli(a)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=edf215e958a2… Author: Fabio Bossi <bossi(a)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=37c753c529b2… Author: Roberto Amadini <r.amadini(a)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=66515df13721… Author: Fabio Bossi <bossi(a)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=59241488abfb… Author: Fabio Bossi <bossi(a)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=a77be211bad2… Author: Fabio Bossi <bossi(a)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=faab1d298643… Author: Fabio Bossi <bossi(a)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=940b8bf4bf24… Author: Fabio Bossi <bossi(a)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=867f1eaf166f… Author: Fabio Biselli <fabio.biselli(a)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=18fcb47fba6d… Author: Fabio Biselli <fabio.biselli(a)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=b3919a859f9b… Author: Roberto Amadini <r.amadini(a)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=2f3c39f2d785… Author: Fabio Bossi <bossi(a)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=994b555a8cd9… Author: Fabio Bossi <bossi(a)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=4a1d25bd5a05… Author: Fabio Bossi <bossi(a)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=606ec45118cc… Author: Fabio Biselli <fabio.biselli(a)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=26d546f62d36… Author: Fabio Biselli <fabio.biselli(a)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=d6956e262f59… Author: Roberto Amadini <r.amadini(a)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=c508c610981b… Author: Roberto Amadini <r.amadini(a)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=58e9e3af70bd… Author: Fabio Biselli <fabio.biselli(a)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=1e570d889993… Author: Fabio Biselli <fabio.biselli(a)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=f25dd63720cd… Author: Fabio Bossi <bossi(a)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=f5c91db1d219… Author: Fabio Bossi <bossi(a)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=90c1a7723fde… Author: Fabio Bossi <bossi(a)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=a7bef215e417… Author: Roberto Amadini <r.amadini(a)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=4ea81ad27e06… Author: Fabio Biselli <fabio.biselli(a)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=9eea1940a0dd… Author: Roberto Amadini <r.amadini(a)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=a8ecdc0727c8… Author: Roberto Amadini <r.amadini(a)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=38cb91a8f194… Author: Fabio Bossi <bossi(a)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=a8a6f6a79cee… Author: Fabio Biselli <fabio.biselli(a)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=db823a398053… Author: Fabio Bossi <bossi(a)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=bf7c1eb0d35e… Author: Fabio Bossi <bossi(a)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=3ea4657845b3… Author: Fabio Bossi <bossi(a)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=fc9e7a5ea189… Author: Fabio Bossi <bossi(a)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=ce4f16e3106a… Author: Fabio Biselli <fabio.biselli(a)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=04e68873c8a8… Author: Fabio Bossi <bossi(a)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=b1fbafc2fb39… Author: Fabio Bossi <bossi(a)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=70431729da6b… Author: Fabio Bossi <bossi(a)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=da78c30d4893… Author: Fabio Biselli <fabio.biselli(a)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=052fb58b85dc… Author: Fabio Bossi <bossi(a)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=663dfab0dee0… Author: Fabio Bossi <bossi(a)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=99ff3b447a38… Author: Fabio Bossi <bossi(a)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=41a927e39c1b… Author: Fabio Bossi <bossi(a)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=d152f7862622… Author: Fabio Bossi <bossi(a)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=4229e9d6cca6… Author: Roberto Amadini <r.amadini(a)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=c11c86e606ce… Author: Fabio Biselli <fabio.biselli(a)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=f7230caad9fd… Author: Fabio Bossi <bossi(a)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=637a518f0c3d… Author: Fabio Bossi <bossi(a)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=8e2a4611be52… Author: Fabio Bossi <bossi(a)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=cfdb5138cdb7… Author: Fabio Bossi <bossi(a)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=10f41f9fa996… Author: Fabio Bossi <bossi(a)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=452881a1cd2c… Author: Enea Zaffanella <zaffanella(a)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=9b98cc5348d0… Author: Fabio Bossi <bossi(a)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=5f28df36c3fa… Author: Fabio Bossi <bossi(a)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=2eb864c44e26… Author: Fabio Bossi <bossi(a)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=9e66883a1028… Author: Fabio Bossi <bossi(a)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=26061d6f25e4… Author: Fabio Bossi <bossi(a)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=d2bd25f15c03… Author: Roberto Bagnara <bagnara(a)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=8839824bc84d… Author: Fabio Bossi <bossi(a)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=091ba8a95491… Author: Roberto Bagnara <bagnara(a)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=12d9fe870045… Author: Fabio Bossi <bossi(a)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=fd45e56cd50f… Author: Fabio Bossi <bossi(a)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=67bec8827d8c… Author: Fabio Bossi <bossi(a)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=c8afa3a4e165… Author: Fabio Biselli <fabio.biselli(a)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=b7ee345b53fd… Author: Fabio Biselli <fabio.biselli(a)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=625f2adc4b2d… Author: Fabio Biselli <fabio.biselli(a)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=8f090b25bf4b… Author: Fabio Biselli <fabio.biselli(a)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=d10726e73284… Author: Fabio Bossi <bossi(a)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=a2335bf94541… Author: Fabio Bossi <bossi(a)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=6c9d4e2385d9… Author: Fabio Bossi <bossi(a)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=675fae6564ba… Author: Fabio Bossi <bossi(a)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=8b73f935478d… Author: Fabio Bossi <bossi(a)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=631b2220535f… Author: Fabio Bossi <bossi(a)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=f9e4c9feaea4… Author: Fabio Bossi <bossi(a)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=1f4b78b53ec1… Author: Fabio Bossi <bossi(a)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=db14c2f6022e… Author: Fabio Bossi <bossi(a)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=bc1a412d5547… Author: Fabio Bossi <bossi(a)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=59926c0b8460… Author: Fabio Bossi <bossi(a)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=e2e00d72c563… Author: Fabio Bossi <bossi(a)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=a94cd70f673c… Author: Fabio Bossi <bossi(a)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=c9ec5bc2cb67… Author: Roberto Bagnara <bagnara(a)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=85f855d8d0c8… Author: Roberto Bagnara <bagnara(a)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=24c485b7ca89… Author: Roberto Bagnara <bagnara(a)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=73a33367e029… Author: Roberto Bagnara <bagnara(a)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=17a6154b28a6… Author: Roberto Bagnara <bagnara(a)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=7690e53a2292… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Mon Aug 17 17:51:35 2009 +0200 Added missing inclusion of <iostream>.

1 0

[GIT] ppl/ppl(floating_point): New commits
by Roberto Bagnara 19 Dec '09

19 Dec '09

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=f69b86061855… Merge: 12f6d4872bc274aaf7f068ff35b1c6c209a7a39a 9784b8165b6cb1dea5eb6d20b4cebca7ecc780fd Author: Roberto Bagnara <bagnara(a)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=9784b8165b6c… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Sat Dec 19 11:46:22 2009 +0100 Added support for SWI-Prolog version 5.8 and later. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=f07483112d73… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Thu Nov 26 11:17:39 2009 +0100 One item added. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=134489d82662… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Mon Nov 23 07:28:50 2009 +0100 Item added. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=f6f503bc22cd… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Thu Oct 22 22:19:52 2009 +0200 Refer to PPL 0.11, not 0.10. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=513d2127e55f… Author: Roberto Bagnara <bagnara(a)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=ccd16569a7d2… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Thu Sep 24 16:32:31 2009 +0200 Spurious print statement removed.

1 0

[GIT] ppl/ppl(master): Added support for SWI-Prolog version 5.8 and later.
by Roberto Bagnara 19 Dec '09

19 Dec '09

Module: ppl/ppl Branch: master Commit: 9784b8165b6cb1dea5eb6d20b4cebca7ecc780fd URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=9784b8165b6c… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Sat Dec 19 11:46:22 2009 +0100 Added support for SWI-Prolog version 5.8 and later. --- interfaces/Prolog/SWI/swi_cfli.hh | 48 +++++++++++++++++++++++++++++++++++++ interfaces/Prolog/SWI/swi_efli.cc | 9 ++++++- 2 files changed, 56 insertions(+), 1 deletions(-) diff --git a/interfaces/Prolog/SWI/swi_cfli.hh b/interfaces/Prolog/SWI/swi_cfli.hh index 98d2092..e09fde7 100644 --- a/interfaces/Prolog/SWI/swi_cfli.hh +++ b/interfaces/Prolog/SWI/swi_cfli.hh @@ -52,8 +52,12 @@ Prolog_new_term_ref() { */ inline int Prolog_put_term(Prolog_term_ref t, Prolog_term_ref u) { +#if PLVERSION >= 50800 + return PL_put_term(t, u); +#else PL_put_term(t, u); return 1; +#endif } /*! @@ -61,8 +65,12 @@ Prolog_put_term(Prolog_term_ref t, Prolog_term_ref u) { */ inline int Prolog_put_long(Prolog_term_ref t, long l) { +#if PLVERSION >= 50800 + return PL_put_integer(t, l); +#else PL_put_integer(t, l); return 1; +#endif } static int tmp_mpz_t_initialized = 0; @@ -89,12 +97,20 @@ Prolog_put_big_ulong(Prolog_term_ref t, unsigned long ul) { inline int Prolog_put_ulong(Prolog_term_ref t, unsigned long ul) { if (ul <= LONG_MAX) { +#if PLVERSION >= 50800 + return PL_put_integer(t, ul); +#else PL_put_integer(t, ul); return 1; +#endif } else if (ul <= (uint64_t) INT64_MAX) { +#if PLVERSION >= 50800 + return PL_put_int64(t, (int64_t) ul); +#else PL_put_int64(t, (int64_t) ul); return 1; +#endif } else return Prolog_put_big_ulong(t, ul); @@ -106,8 +122,12 @@ Prolog_put_ulong(Prolog_term_ref t, unsigned long ul) { */ inline int Prolog_put_atom_chars(Prolog_term_ref t, const char* s) { +#if PLVERSION >= 50800 + return PL_put_atom_chars(t, s); +#else PL_put_atom_chars(t, s); return 1; +#endif } /*! @@ -115,8 +135,12 @@ Prolog_put_atom_chars(Prolog_term_ref t, const char* s) { */ inline int Prolog_put_atom(Prolog_term_ref t, Prolog_atom a) { +#if PLVERSION >= 50800 + return PL_put_atom(t, a); +#else PL_put_atom(t, a); return 1; +#endif } /*! @@ -124,8 +148,12 @@ Prolog_put_atom(Prolog_term_ref t, Prolog_atom a) { */ inline int Prolog_put_address(Prolog_term_ref t, void* p) { +#if PLVERSION >= 50800 + return PL_put_pointer(t, p); +#else PL_put_pointer(t, p); return 1; +#endif } /*! @@ -143,8 +171,12 @@ Prolog_atom_from_string(const char* s) { inline int Prolog_construct_compound(Prolog_term_ref t, Prolog_atom f, Prolog_term_ref a1) { +#if PLVERSION >= 50800 + return PL_cons_functor(t, PL_new_functor(f, 1), a1); +#else PL_cons_functor(t, PL_new_functor(f, 1), a1); return 1; +#endif } /*! @@ -154,8 +186,12 @@ Prolog_construct_compound(Prolog_term_ref t, Prolog_atom f, inline int Prolog_construct_compound(Prolog_term_ref t, Prolog_atom f, Prolog_term_ref a1, Prolog_term_ref a2) { +#if PLVERSION >= 50800 + return PL_cons_functor(t, PL_new_functor(f, 2), a1, a2); +#else PL_cons_functor(t, PL_new_functor(f, 2), a1, a2); return 1; +#endif } /*! @@ -166,8 +202,12 @@ inline int Prolog_construct_compound(Prolog_term_ref t, Prolog_atom f, Prolog_term_ref a1, Prolog_term_ref a2, Prolog_term_ref a3) { +#if PLVERSION >= 50800 + return PL_cons_functor(t, PL_new_functor(f, 3), a1, a2, a3); +#else PL_cons_functor(t, PL_new_functor(f, 3), a1, a2, a3); return 1; +#endif } /*! @@ -178,8 +218,12 @@ inline int Prolog_construct_compound(Prolog_term_ref t, Prolog_atom f, Prolog_term_ref a1, Prolog_term_ref a2, Prolog_term_ref a3, Prolog_term_ref a4) { +#if PLVERSION >= 50800 + return PL_cons_functor(t, PL_new_functor(f, 4), a1, a2, a3, a4); +#else PL_cons_functor(t, PL_new_functor(f, 4), a1, a2, a3, a4); return 1; +#endif } /*! @@ -188,8 +232,12 @@ Prolog_construct_compound(Prolog_term_ref t, Prolog_atom f, inline int Prolog_construct_cons(Prolog_term_ref c, Prolog_term_ref h, Prolog_term_ref t) { +#if PLVERSION >= 50800 + return PL_cons_list(c, h, t); +#else PL_cons_list(c, h, t); return 1; +#endif } /*! diff --git a/interfaces/Prolog/SWI/swi_efli.cc b/interfaces/Prolog/SWI/swi_efli.cc index 01b197c..48a569e 100644 --- a/interfaces/Prolog/SWI/swi_efli.cc +++ b/interfaces/Prolog/SWI/swi_efli.cc @@ -50,10 +50,17 @@ ppl_Prolog_sysdep_deinit() { int Prolog_get_Coefficient(Prolog_term_ref t, Coefficient& n) { assert(Prolog_is_integer(t)); + // FIXME: avoid the temporary when Coefficient is mpz_class. PPL_DIRTY_TEMP0(mpz_class, tmp); + int r; +#if PLVERSION >= 50800 + r = PL_get_mpz(t, tmp.get_mpz_t()); +#else PL_get_mpz(t, tmp.get_mpz_t()); + r = 1; +#endif n = tmp; - return 1; + return r; } int

1 0

CRUX PPC GNU/Linux now includes Parma Polyhedra Library
by acrux 18 Dec '09

18 Dec '09

hi, just to say thanks for your work and to inform that our last toolchain now includes PPL too. CRUX PPC is a port of CRUX for the Power Architecture® platform. It’s a GNU system with a Linux kernel and runs on Apple NewWorld (both 32 and 64bit) PowerPC, YDL Powerstation, Genesi PegasosII and EFIKA, ACube Sam440ep, IBM RS/6000 CHRP and pSeries servers. CRUX PPC includes support for laptop-specific features, extended hardware support and server tools. thanks again and best regards. -- GNU/Linux on Power Architecture CRUX PPC - http://cruxppc.org/

2 1

[GIT] ppl/ppl(floating_point): Added Linear Form Intervalization on rate limiter test.
by Roberto Amadini 14 Dec '09

14 Dec '09

Module: ppl/ppl Branch: floating_point Commit: 12f6d4872bc274aaf7f068ff35b1c6c209a7a39a URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=12f6d4872bc2… Author: Roberto Amadini <r.amadini(a)virgilio.it> Date: Mon Dec 14 22:51:40 2009 +0100 Added Linear Form Intervalization on rate limiter test. --- src/Floating_Point_Expression.templates.hh | 5 +- tests/Floating_Point_Expression/digitalfilters1.cc | 85 +++++++++++++------- 2 files changed, 59 insertions(+), 31 deletions(-) Diff: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commitdiff;h=12f6d487…

1 0

[GIT] ppl/w3ppl(master): Added FagesR09 and JhalaM09.
by Roberto Bagnara 11 Dec '09

11 Dec '09

Module: ppl/w3ppl Branch: master Commit: bdc382cc0c6470046652f7680475ce363880a296 URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/w3ppl.git;a=commit;h=bdc382cc0c… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Fri Dec 11 18:26:12 2009 +0100 Added FagesR09 and JhalaM09. --- htdocs/Documentation/ppl_citations.bib | 41 ++++++++++++++++++++++++++++++++ 1 files changed, 41 insertions(+), 0 deletions(-) diff --git a/htdocs/Documentation/ppl_citations.bib b/htdocs/Documentation/ppl_citations.bib index 03983e9..2dab641 100644 --- a/htdocs/Documentation/ppl_citations.bib +++ b/htdocs/Documentation/ppl_citations.bib @@ -727,6 +727,34 @@ feasible." } +@Inproceedings{FagesR09, + Author = "F. Fages and A. Rizk", + Title = "From Model-Checking to Temporal Logic Constraint Solving", + Booktitle = "Proceedings of the 15th International Conference + on Principles and Practice of Constraint Programming (CP 2009)", + Address = "Lisbon, Portugal", + Editor = "I. P. Gent", + Series = "Lecture Notes in Computer Science", + Volume = 5732, + Year = 2009, + Pages = "319--334", + Publisher = "Springer-Verlag, Berlin", + ISBN = "978-3-642-04243-0", + Abstract = "In this paper, we show how model-checking can be + generalized to temporal logic constraint solving, by + considering temporal logic formulae with free variables + over some domain ${\mathcal D}$, and by computing a + validity domain for the variables rather than a truth + value for the formula. This allows us to define a + continuous degree of satisfaction for a temporal logic + formula in a given structure, opening up the field of + model-checking to optimization. We illustrate this + approach with reverse-engineering problems coming from + systems biology, and provide some performance figures on + parameter optimization problems with respect to temporal + logic specifications." +} + @MastersThesis{Flexeder05th, Author = "A. Flexeder", Title = "{Interprozedurale Analyse linearer Ungleichungen}", @@ -1536,6 +1564,19 @@ techniques." } +@Article{JhalaM09, + Author = "R. Jhala and R. Majumdar", + Title = "Software Model Checking", + Journal = "ACM Computing Surveys", + Volume = 41, + Nnumber = 4, + Year = 2009, + Pages = "1--54", + Publisher = "ACM Press", + Address = "New York, NY, USA", + Abstract = "We survey recent progress in software model checking." +} + @Inproceedings{JeannetM09, Author = "B. Jeannet and A. Min{\'e}", Title = "Apron: A Library of Numerical Abstract Domains for Static

1 0

[GIT] ppl/ppl(floating_point): Improved test01, ..., test04.
by Roberto Amadini 11 Dec '09

11 Dec '09

Module: ppl/ppl Branch: floating_point Commit: a75d238a6bafe710454001b182151566a87e6e10 URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=a75d238a6baf… Author: Roberto Amadini <r.amadini(a)virgilio.it> Date: Fri Dec 11 14:26:56 2009 +0100 Improved test01, ..., test04. --- tests/Floating_Point_Expression/digitalfilters1.cc | 130 +++++++++++--------- 1 files changed, 69 insertions(+), 61 deletions(-) diff --git a/tests/Floating_Point_Expression/digitalfilters1.cc b/tests/Floating_Point_Expression/digitalfilters1.cc index fb841f2..e5f4fa7 100644 --- a/tests/Floating_Point_Expression/digitalfilters1.cc +++ b/tests/Floating_Point_Expression/digitalfilters1.cc @@ -66,6 +66,20 @@ test01() { FP_Interval y_begin(1); FP_Interval_Abstract_Store as_begin; + Constraint_System cs; + PPL_DIRTY_TEMP_COEFFICIENT(M); + ANALYZER_FP_FORMAT max_analyzed = + (2 - pow(2, + -static_cast<ANALYZER_FP_FORMAT>(ANALYZED_FP_FORMAT::MANTISSA_BITS))) + * pow(2, pow(2, ANALYZED_FP_FORMAT::EXPONENT_BITS) + - (ANALYZED_FP_FORMAT::EXPONENT_BIAS) - 2); + ANALYZER_FP_FORMAT max_analyzer = + std::numeric_limits<ANALYZER_FP_FORMAT>::max(); + max_analyzer = std::min(max_analyzer, max_analyzed); + assign_r(M, max_analyzer, ROUND_DOWN); + cs.insert(Y <= M); + cs.insert(Y >= -M); + // Y = 0; abstract_store.set_interval(Y, y); Box<FP_Interval> box(abstract_store); @@ -111,19 +125,7 @@ test01() { "*** after if (R >= D) Y = S + D; ***"); abstract_store.upper_bound_assign(as_begin); - Constraint_System cs; - PPL_DIRTY_TEMP_COEFFICIENT(M); - ANALYZER_FP_FORMAT max_analyzed = - (2 - pow(2, - -static_cast<ANALYZER_FP_FORMAT>(ANALYZED_FP_FORMAT::MANTISSA_BITS))) - * pow(2, pow(2, ANALYZED_FP_FORMAT::EXPONENT_BITS) - - (ANALYZED_FP_FORMAT::EXPONENT_BIAS) - 2); - ANALYZER_FP_FORMAT max_analyzer = - std::numeric_limits<ANALYZER_FP_FORMAT>::max(); - max_analyzer = std::min(max_analyzer, max_analyzed); - assign_r(M, max_analyzer, ROUND_DOWN); - cs.insert(Y <= M); - cs.insert(Y >= -M); + abstract_store.limited_CC76_extrapolation_assign(as_begin, cs); box = Box<FP_Interval>(abstract_store); print_constraints(box, "*** end loop ***"); @@ -155,6 +157,20 @@ test02() { FP_Interval y(0); FP_BD_Shape bd_begin; + Constraint_System cs; + PPL_DIRTY_TEMP_COEFFICIENT(M); + ANALYZER_FP_FORMAT max_analyzed = + (2 - pow(2, + -static_cast<ANALYZER_FP_FORMAT>(ANALYZED_FP_FORMAT::MANTISSA_BITS))) + * pow(2, pow(2, ANALYZED_FP_FORMAT::EXPONENT_BITS) + - (ANALYZED_FP_FORMAT::EXPONENT_BIAS) - 2); + ANALYZER_FP_FORMAT max_analyzer = + std::numeric_limits<ANALYZER_FP_FORMAT>::max(); + max_analyzer = std::min(max_analyzer, max_analyzed); + assign_r(M, max_analyzer, ROUND_DOWN); + cs.insert(Y <= M); + cs.insert(Y >= -M); + // Y = 0; bd.affine_image(Y, FP_Linear_Form(y)); Box<FP_Interval> box(bd); @@ -205,19 +221,7 @@ test02() { "*** after if (R >= D) Y = S + D; ***"); bd.upper_bound_assign(bd_begin); - Constraint_System cs; - PPL_DIRTY_TEMP_COEFFICIENT(M); - ANALYZER_FP_FORMAT max_analyzed = - (2 - pow(2, - -static_cast<ANALYZER_FP_FORMAT>(ANALYZED_FP_FORMAT::MANTISSA_BITS))) - * pow(2, pow(2, ANALYZED_FP_FORMAT::EXPONENT_BITS) - - (ANALYZED_FP_FORMAT::EXPONENT_BIAS) - 2); - ANALYZER_FP_FORMAT max_analyzer = - std::numeric_limits<ANALYZER_FP_FORMAT>::max(); - max_analyzer = std::min(max_analyzer, max_analyzed); - assign_r(M, max_analyzer, ROUND_DOWN); - cs.insert(Y <= M); - cs.insert(Y >= -M); + bd.limited_BHMZ05_extrapolation_assign(bd_begin, cs); box = Box<FP_Interval>(bd); print_constraints(box, "*** end loop ***"); @@ -249,6 +253,27 @@ test03() { FP_Interval y_begin(1); FP_Octagonal_Shape oc_begin; + Constraint_System cs; + PPL_DIRTY_TEMP_COEFFICIENT(M); + PPL_DIRTY_TEMP_COEFFICIENT(N); + ANALYZER_FP_FORMAT max_analyzed = + (2 - pow(2, + -static_cast<ANALYZER_FP_FORMAT>(ANALYZED_FP_FORMAT::MANTISSA_BITS))) + * pow(2, pow(2, ANALYZED_FP_FORMAT::EXPONENT_BITS) + - (ANALYZED_FP_FORMAT::EXPONENT_BIAS) - 2); + ANALYZER_FP_FORMAT max_analyzer = + std::numeric_limits<ANALYZER_FP_FORMAT>::max(); + max_analyzer = std::min(max_analyzer, max_analyzed); + assign_r(M, max_analyzer, ROUND_DOWN); + div_2exp_assign_r(N, M, 1, ROUND_DOWN); + // FIXME: By inserting the constraints Y <= M and Y >= -M, we obtain + // Y + Y <= 2 * M = +inf and -Y - Y <= -2 * M = +inf. + // For a more precise analysis, it is better to insert the + // constraints Y <= N and Y >= -N, where N = M / 2. + // However, we could take any value of N >= 136. + cs.insert(Y <= N); + cs.insert(Y >= -N); + // Y = 0; oc.affine_image(Y, FP_Linear_Form(y)); Box<FP_Interval> box(oc); @@ -297,26 +322,7 @@ test03() { "*** after (R >= D) Y = S + D; ***"); oc.upper_bound_assign(oc_begin); - Constraint_System cs; - PPL_DIRTY_TEMP_COEFFICIENT(M); - PPL_DIRTY_TEMP_COEFFICIENT(N); - ANALYZER_FP_FORMAT max_analyzed = - (2 - pow(2, - -static_cast<ANALYZER_FP_FORMAT>(ANALYZED_FP_FORMAT::MANTISSA_BITS))) - * pow(2, pow(2, ANALYZED_FP_FORMAT::EXPONENT_BITS) - - (ANALYZED_FP_FORMAT::EXPONENT_BIAS) - 2); - ANALYZER_FP_FORMAT max_analyzer = - std::numeric_limits<ANALYZER_FP_FORMAT>::max(); - max_analyzer = std::min(max_analyzer, max_analyzed); - assign_r(M, max_analyzer, ROUND_DOWN); - div_2exp_assign_r(N, M, 1, ROUND_DOWN); - // FIXME: By inserting the constraints Y <= M and Y >= -M, we obtain - // Y + Y <= 2 * M = +inf and -Y - Y <= -2 * M = +inf. - // For a more precise analysis, it is better to insert the - // constraints Y <= N and Y >= -N, where N = M / 2. - // However, we could take any value of N >= 136. - cs.insert(Y <= N); - cs.insert(Y >= -N); + oc.limited_BHMZ05_extrapolation_assign(oc_begin, cs); box = Box<FP_Interval>(oc); print_constraints(box, "*** end loop ***"); @@ -348,6 +354,21 @@ test04() { FP_Interval y_begin(1); NNC_Polyhedron ph_begin; + Constraint_System cs; + PPL_DIRTY_TEMP_COEFFICIENT(M); + ANALYZER_FP_FORMAT max_analyzed = + (2 - pow(2, + -static_cast<ANALYZER_FP_FORMAT>(ANALYZED_FP_FORMAT::MANTISSA_BITS))) + * pow(2, pow(2, ANALYZED_FP_FORMAT::EXPONENT_BITS) + - (ANALYZED_FP_FORMAT::EXPONENT_BIAS) - 2); + ANALYZER_FP_FORMAT max_analyzer = + std::numeric_limits<ANALYZER_FP_FORMAT>::max(); + max_analyzer = std::min(max_analyzer, max_analyzed); + assign_r(M, max_analyzer, ROUND_DOWN); + // FIXME: we could take any value of M >= 128. + cs.insert(Y <= M); + cs.insert(Y >= -M); + // Y = 0; ph.affine_image(Y, FP_Linear_Form(y)); Box<FP_Interval> box(ph); @@ -402,20 +423,7 @@ test04() { "*** after if (R >= D) Y = S + D; ***"); ph.upper_bound_assign(ph_begin); - Constraint_System cs; - PPL_DIRTY_TEMP_COEFFICIENT(M); - ANALYZER_FP_FORMAT max_analyzed = - (2 - pow(2, - -static_cast<ANALYZER_FP_FORMAT>(ANALYZED_FP_FORMAT::MANTISSA_BITS))) - * pow(2, pow(2, ANALYZED_FP_FORMAT::EXPONENT_BITS) - - (ANALYZED_FP_FORMAT::EXPONENT_BIAS) - 2); - ANALYZER_FP_FORMAT max_analyzer = - std::numeric_limits<ANALYZER_FP_FORMAT>::max(); - max_analyzer = std::min(max_analyzer, max_analyzed); - assign_r(M, max_analyzer, ROUND_DOWN); - // FIXME: we could take any value of M >= 128. - cs.insert(Y <= M); - cs.insert(Y >= -M); + ph.limited_BHRZ03_extrapolation_assign(ph_begin, cs); box = Box<FP_Interval>(ph); print_constraints(box, "*** end loop ***"); @@ -601,7 +609,7 @@ test05() { bd.limited_BHMZ05_extrapolation_assign(bd_begin, cs); abstract_store.limited_CC76_extrapolation_assign(as_begin, cs); - print_constraints(abstract_store,"*** end loop ***"); + print_constraints(abstract_store, "*** end loop ***"); y = abstract_store.get_interval(Y); }

1 0

remarks compiled during development of Fortuna model checker
by Jasper Berendsen 09 Dec '09

09 Dec '09

Dear PPL developers, these are some remarks I compiled during the development of Fortuna (http://www.cs.ru.nl/J.Berendsen/fortuna/) a tool for model checking priced probabilistic timed automata. They may help you. best, Jasper NNC_Polyhedron p1(2), p2(3); p2.intersection_assign(p1); This generates an exception, but is that not too restrictive? operator== to compare Polyhedra is missing from the documentation. operator!= is in the documentation. For ease of programming: why does the operator< (and similar operators) return a Constraint instead of a Constraint_System? When returning a Constraint_System we could nicely write NNC_Polyhedron h = NNC_Polyhedron(x <= 3). In addition we could have a && operator that convexly combines constraints and even write: NNC_Polyhedron(x <= 3 && y<=2). Constraint_System is said to inherit from Linear_System, but that one is not to be found in the documentation.

2 1