December 2009 - PPL-devel - BUGSENG Mailman

Problems with test suite on alpha
by Michael Tautschnig 09 Sep '10

09 Sep '10

Hi PPL developers, I've reported problems with some test cases because of suspected gcc bugs on alpha earlier already. Now it seems that even more test cases are broken, most probably because of the very same bug (I suspect it to be http://gcc.gnu.org/bugzilla/show_bug.cgi?id=8966). My question now is: How to proceed? Shall I specifically disable the failing test cases by surrounding them with an #ifndef __alpha__ or disable the entire test suite on alpha? Thanks, Michael

2 6

Windows, Java interface
by Krzysztof Jakubczyk 30 Dec '09

30 Dec '09

Hi, I've managed to compile PPL to a windows dll along with java interface using MinGW. I will describe how I achieved this step by step. First thing was to build the ppl library (not java interface) to a dll. I found out that to do this AC_LIBTOOL_WIN32_DLL must be added to autoconf along with '-no-undefined' to LDFLAGS (see http://sourceware.org/autobook/autobook/autobook_254.html ). I also based this on gmp's autoconf file. Patch is available in attached patch.configure.ac file (running autoconf is needed to create configure file). To compile ppl to a dll you need to run configure with parameters: "--disable-static --enable-shared". I didn't manage to compile ppl dll to use static gmp library version. I compiled gmp as a shared library (configure --enable-cxx --disable-static --enable-shared). Unfortunately make check fails when gmp is compiled like this - but it seems the library works ok. After compiling gmp I made copy of libgmp.dll.a as libgmp.a and libgmpxx.dll.a to libgmpxx.a so that PPL can be linked to it (possibly there is another solution). Later I had to compile the Java library (add --enable-interfaces=java, to configure arguments). I had some problems with configuring java path (--with-java=DIR) this is because I use the 64 bit windows system - java is installed in "C:\Program Files (x86)\Java\jdk1.6.0_17". (i passed --with-java="/c/Program Files (x86)/Java/jdk1.6.0_17") I had to manually update makefiles for java interface because javah was not properly found, includes were not properly generated (there was "-I/c/Program Files (x86)/Java/jdk1.6.0_17/include/mingw" instead of "-I/c/Program Files (x86)/Java/jdk1.6.0_17/include/win32") and had manually fix java directory issues (add "'s). Another important thing was to modify Makefile for the jni dll file (interfaces/Java/jni) (see http://www.mingw.org/node/41 ) - add " -D_JNI_IMPLEMENTATION_ -Wl,--kill-at" flags to libppl_java_la_LDFLAGS. After these modifications the dll was successfully build. PS. Also I'm not sure when the jni compilation flags should be added (gcc and windows machines?) and I'm not autoconf expert - this hopefully could be automatized. regards, Krzysztof Jakubczyk

2 1

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

30 Dec '09

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=8c57cea34a35… Merge: 4394384f20722ac901f4b934780238580eae1767 99a040ae53ddf2e369340274eb34d5211b1c642a Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Wed Dec 30 19:01:52 2009 +0100 Merge branch 'master' into pip Conflicts: doc/devref.doxyconf-html.in tests/Makefile.am URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=99a040ae53dd… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Wed Dec 30 17:43:41 2009 +0100 Version number bumped. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=98369e2afded… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Wed Dec 30 17:35:21 2009 +0100 Support building the Java interface on MinGW. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=276db1f0bb1f… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Wed Dec 30 17:35:01 2009 +0100 Document conditionals. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=0741942dd929… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Wed Dec 30 16:19:32 2009 +0100 Restore the use of the `win32-dll' Libtool option. Use -no-undefined on all variants of Cygwin and MinGW. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=aa8f202b9935… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Wed Dec 30 11:23:40 2009 +0100 Correction for platforms where not all floating point types are supported. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=d291e71b9e3f… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Wed Dec 30 11:00:42 2009 +0100 Use the right assignment operator. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=2d797ef5eb5d… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Tue Dec 29 22:24:42 2009 +0100 Expected failures revised. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=4fa0f5b2b45f… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Tue Dec 29 21:21:48 2009 +0100 Expected failured revised. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=90e5cd14f89d… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Tue Dec 29 21:11:08 2009 +0100 Typo fixed. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=17ee1020a0d9… Author: Roberto Amadini <r.amadini(a)virgilio.it> Date: Tue Dec 29 20:05:29 2009 +0100 Renamed affine_image on Linear Forms into affine_form_image. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=755fc746e12a… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Tue Dec 29 17:56:47 2009 +0100 Use the general assignment and comparison functions. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=f62e48e20709… Merge: 7bfd19aec5b224dab0d853f4904f5118e8c77fde e86e2471429982e8141789e4adeb6ddd0cc1e326 Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Mon Dec 28 20:27:49 2009 +0100 Merge branch 'master' into floating_point URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=e86e24714299… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Mon Dec 28 20:26:04 2009 +0100 Fixed several bugs. These consisted in using *_r() checked-number functions without actually checking the result. Factorized the code to set the M parameter. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=7bfd19aec5b2… Author: Roberto Amadini <r.amadini(a)virgilio.it> Date: Mon Dec 28 14:21:22 2009 +0100 Improved Multiplication_Floating_Point_Expression::linearize. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=9b8c9752949e… Author: Roberto Amadini <r.amadini(a)virgilio.it> Date: Sat Dec 26 18:20:50 2009 +0100 Implemented Box<ITV>::affine_image on Interval Linear Forms. Tests in tests/Floating_Point_Expression actually use only IEEE754 floating point format. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=e8fa0e1fbc06… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Tue Dec 22 19:25:39 2009 +0100 Version number bumped. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=9e4dbdd8255a… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Tue Dec 22 19:20:54 2009 +0100 Updated. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=2cda93e86a8b… Merge: 1242e420c15da5fa9f671f4d93227ced7272f035 4e2145f8d498bc3ea055a06a1244de677b7bbab5 Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Tue Dec 22 09:33:21 2009 +0100 Merge branch 'floating_point' URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=4e2145f8d498… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Tue Dec 22 09:30:55 2009 +0100 Capture the expected failure due to overflows. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=1242e420c15d… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Mon Dec 21 18:28:30 2009 +0100 Never leave operators at end of line. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=6b88ad1f7025… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Mon Dec 21 18:24:08 2009 +0100 Never leave operators at end of line. 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. 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=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=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=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=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=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(master): Version number bumped.
by Roberto Bagnara 30 Dec '09

30 Dec '09

Module: ppl/ppl Branch: master Commit: 99a040ae53ddf2e369340274eb34d5211b1c642a URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=99a040ae53dd… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Wed Dec 30 17:43:41 2009 +0100 Version number bumped. --- configure.ac | 2 +- 1 files changed, 1 insertions(+), 1 deletions(-) diff --git a/configure.ac b/configure.ac index e12c6d5..cf916e1 100644 --- a/configure.ac +++ b/configure.ac @@ -23,7 +23,7 @@ # Process this file with Autoconf to produce a configure script. # Every other copy of the package version number gets its value from here. -AC_INIT([the Parma Polyhedra Library], [0.11pre7], [ppl-devel(a)cs.unipr.it], [ppl]) +AC_INIT([the Parma Polyhedra Library], [0.11pre8], [ppl-devel(a)cs.unipr.it], [ppl]) # Minimum Autoconf version required. AC_PREREQ(2.61)

1 0

[GIT] ppl/ppl(master): Support building the Java interface on MinGW.
by Roberto Bagnara 30 Dec '09

30 Dec '09

Module: ppl/ppl Branch: master Commit: 98369e2afded08aa35a1b0810ceebac3d0decd36 URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=98369e2afded… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Wed Dec 30 17:35:21 2009 +0100 Support building the Java interface on MinGW. --- interfaces/Java/jni/Makefile.am | 20 +++++++++++++++++++- 1 files changed, 19 insertions(+), 1 deletions(-) diff --git a/interfaces/Java/jni/Makefile.am b/interfaces/Java/jni/Makefile.am index 28dd6e1..05e00b2 100644 --- a/interfaces/Java/jni/Makefile.am +++ b/interfaces/Java/jni/Makefile.am @@ -43,13 +43,19 @@ WATCHDOG_INCLUDE_OPTIONS = -I$(top_builddir)/Watchdog/src endif BUILD_WATCHDOG_LIBRARY +if HOST_OS_MINGW + +JNI_DEFINE_OPTIONS = -D_JNI_IMPLEMENTATION_ + +endif HOST_OS_MINGW + AM_CPPFLAGS = \ -I$(top_srcdir)/interfaces \ -I$(top_builddir)/src \ -I../parma_polyhedra_library \ -I$(top_srcdir)/src \ $(WATCHDOG_INCLUDE_OPTIONS) \ -@extra_includes@ @JNIFLAGS@ +@extra_includes@ @JNIFLAGS@ $(JNI_DEFINE_OPTIONS) BUILT_SOURCES = \ ppl_java_implementation_domains.cc.stamp @@ -74,11 +80,23 @@ $(NO_UNDEFINED_FLAG) \ else !HOST_OS_DARWIN +if HOST_OS_MINGW + +libppl_java_la_LDFLAGS = \ +$(NO_UNDEFINED_FLAG) \ +-module \ +-avoid-version \ +-Wl,--kill-at + +else !HOST_OS_MINGW + libppl_java_la_LDFLAGS = \ $(NO_UNDEFINED_FLAG) \ -module \ -avoid-version +endif !HOST_OS_MINGW + endif !HOST_OS_DARWIN libppl_java_la_SOURCES = \

1 0

[GIT] ppl/ppl(master): Document conditionals.
by Roberto Bagnara 30 Dec '09

30 Dec '09

Module: ppl/ppl Branch: master Commit: 276db1f0bb1f4722da0839ed0c9c845353303c5e URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=276db1f0bb1f… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Wed Dec 30 17:35:01 2009 +0100 Document conditionals. --- src/Makefile.am | 10 +++++----- 1 files changed, 5 insertions(+), 5 deletions(-) diff --git a/src/Makefile.am b/src/Makefile.am index 7e1650f..5a2a1dc 100644 --- a/src/Makefile.am +++ b/src/Makefile.am @@ -87,7 +87,7 @@ COEFFICIENT_TYPES_INCLUDE_FILES = COEFFICIENT_DEFS_INCLUDE_FILES = -endif +endif USE_NATIVE_INTEGERS if USE_CHECKED_INTEGERS @@ -95,7 +95,7 @@ COEFFICIENT_TYPES_INCLUDE_FILES = COEFFICIENT_DEFS_INCLUDE_FILES = -endif +endif USE_CHECKED_INTEGERS if USE_GMP_INTEGERS @@ -106,7 +106,7 @@ COEFFICIENT_DEFS_INCLUDE_FILES = \ GMP_Integer.defs.hh \ GMP_Integer.inlines.hh -endif +endif USE_GMP_INTEGERS # The ordering of the following list *matters*! INCLUDE_FILES = \ @@ -526,11 +526,11 @@ ppl.hh.gch: ppl.hh PRECOMPILED = ppl.hh.gch -else +else !USE_PRECOMPILED_HEADERS PRECOMPILED = -endif +endif !USE_PRECOMPILED_HEADERS BUILT_SOURCES = \ $(include_HEADERS) \

1 0

[GIT] ppl/ppl(master): Restore the use of the `win32-dll' Libtool option. Use -no-undefined on all variants of Cygwin and MinGW.
by Roberto Bagnara 30 Dec '09

30 Dec '09

Module: ppl/ppl Branch: master Commit: 0741942dd929d3a02dd508a6f64c2f6fae20a077 URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=0741942dd929… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Wed Dec 30 16:19:32 2009 +0100 Restore the use of the `win32-dll' Libtool option. Use -no-undefined on all variants of Cygwin and MinGW. --- configure.ac | 7 ++++--- 1 files changed, 4 insertions(+), 3 deletions(-) diff --git a/configure.ac b/configure.ac index 5ffb490..e12c6d5 100644 --- a/configure.ac +++ b/configure.ac @@ -491,7 +491,7 @@ x86_64*) esac case "${host_os}" in -cygwin) +cygwin*) cygwin=yes no_undefined=yes ;; @@ -500,6 +500,7 @@ darwin*) ;; mingw*) mingw=yes + no_undefined=yes ;; solaris*) solaris=yes @@ -932,7 +933,7 @@ darwin*) java_dir="/Library/Java/Home" fi ;; -# On Fedora 9 systems the JDK is usually in /usr/lib/jvm/java . +# On modern Fedora systems the JDK is usually in /usr/lib/jvm/java . linux*) if test "x$java_dir" = x then @@ -1368,7 +1369,7 @@ AM_CONDITIONAL(THOROUGH_MAKE_CHECK, test x"$enableval" = xthorough) # Libtool. LT_PREREQ([1.5.24]) -LT_INIT([dlopen]) +LT_INIT([dlopen,win32-dll]) AM_CONDITIONAL(ENABLE_SHARED, test x"$enable_shared" = xyes) AM_CONDITIONAL(ENABLE_STATIC, test x"$enable_static" = xyes)

1 0

[GIT] ppl/ppl(master): Correction for platforms where not all floating point types are supported.
by Roberto Bagnara 30 Dec '09

30 Dec '09

Module: ppl/ppl Branch: master Commit: aa8f202b99352c54420ca27ce84ce8de72903491 URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=aa8f202b9935… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Wed Dec 30 11:23:40 2009 +0100 Correction for platforms where not all floating point types are supported. --- tests/Floating_Point_Expression/Makefile.am | 16 +++++++++++++++- 1 files changed, 15 insertions(+), 1 deletions(-) diff --git a/tests/Floating_Point_Expression/Makefile.am b/tests/Floating_Point_Expression/Makefile.am index d8ea04c..10f8579 100644 --- a/tests/Floating_Point_Expression/Makefile.am +++ b/tests/Floating_Point_Expression/Makefile.am @@ -66,7 +66,21 @@ DERIVED_TESTS = ALL_TESTS = $(ORIGINAL_TESTS) $(DERIVED_TESTS) # This will be overridden by the `run_tests' script. -TEST_CPPFLAGS=-DANALYZER_FP_FORMAT=float -DANALYZED_FP_FORMAT=float_ieee754_half +if SUPPORTED_FLOAT +FLOAT_FLAGS = \ +-DANALYZER_FP_FORMAT=float -DANALYZED_FP_FORMAT=float_ieee754_single +else +if SUPPORTED_DOUBLE +DOUBLE_FLAGS = \ +-DANALYZER_FP_FORMAT=double -DANALYZED_FP_FORMAT=float_ieee754_double +else +if SUPPORTED_LONG_DOUBLE +LONG_DOUBLE_FLAGS = \ +-DANALYZER_FP_FORMAT=long_double -DANALYZED_FP_FORMAT=float_ieee754_quad +endif +endif +endif +TEST_CPPFLAGS = $(FLOAT_FLAGS) $(DOUBLE_FLAGS) $(LONG_DOUBLE_FLAGS) dist_check_SCRIPTS = run_tests

1 0

[GIT] ppl/ppl(master): Use the right assignment operator.
by Roberto Bagnara 30 Dec '09

30 Dec '09

Module: ppl/ppl Branch: master Commit: d291e71b9e3ff6d461f0d622475fabda94fc1b6e URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=d291e71b9e3f… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Wed Dec 30 11:00:42 2009 +0100 Use the right assignment operator. --- tests/Floating_Point_Expression/digitalfilters1.cc | 3 ++- 1 files changed, 2 insertions(+), 1 deletions(-) diff --git a/tests/Floating_Point_Expression/digitalfilters1.cc b/tests/Floating_Point_Expression/digitalfilters1.cc index 2d21541..9a52326 100644 --- a/tests/Floating_Point_Expression/digitalfilters1.cc +++ b/tests/Floating_Point_Expression/digitalfilters1.cc @@ -55,10 +55,11 @@ set_M(Coefficient& M, int m) { std::numeric_limits<ANALYZER_FP_FORMAT>::max())) { // This may still provoke an arithmetic overflow exception: // no problem. - assign_r(M, m, ROUND_DOWN); + M = m; return; } } + // Cannot provoke an overflow. assign_r(M, std::numeric_limits<ANALYZER_FP_FORMAT>::max(), ROUND_DOWN); }

1 0

[GIT] ppl/ppl(master): Expected failures revised.
by Roberto Bagnara 29 Dec '09

29 Dec '09

Module: ppl/ppl Branch: master Commit: 2d797ef5eb5d3063420592c72007afb3683d7437 URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=2d797ef5eb5d… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Tue Dec 29 22:24:42 2009 +0100 Expected failures revised. --- tests/Floating_Point_Expression/digitalfilters1.cc | 2 +- tests/Floating_Point_Expression/polyhedron1.cc | 14 ++++++++++++-- tests/Floating_Point_Expression/polyhedron2.cc | 18 ++++++++++++++++-- 3 files changed, 29 insertions(+), 5 deletions(-) diff --git a/tests/Floating_Point_Expression/digitalfilters1.cc b/tests/Floating_Point_Expression/digitalfilters1.cc index dfd87c4..2d21541 100644 --- a/tests/Floating_Point_Expression/digitalfilters1.cc +++ b/tests/Floating_Point_Expression/digitalfilters1.cc @@ -932,7 +932,7 @@ BEGIN_MAIN DO_TEST_F8(test01); DO_TEST_F8(test02); DO_TEST_F8(test03); - DO_TEST_F64(test04); + DO_TEST_F32A(test04); DO_TEST_F8(test05); DO_TEST_F8(test06); DO_TEST_F64(test07); diff --git a/tests/Floating_Point_Expression/polyhedron1.cc b/tests/Floating_Point_Expression/polyhedron1.cc index 8d2be03..161c3a9 100644 --- a/tests/Floating_Point_Expression/polyhedron1.cc +++ b/tests/Floating_Point_Expression/polyhedron1.cc @@ -260,8 +260,18 @@ BEGIN_MAIN DO_TEST(test01); DO_TEST(test02); DO_TEST(test03); - DO_TEST_F32A(test04); - DO_TEST_F32(test05); + if (sizeof(ANALYZER_FP_FORMAT) == 4) { + DO_TEST_F32A(test04); + DO_TEST_F64A(test05); + } + else if (sizeof(ANALYZER_FP_FORMAT) == 8) { + DO_TEST_F64A(test04); + DO_TEST_F64(test05); + } + else { + DO_TEST_F64(test04); + DO_TEST_F64(test05); + } DO_TEST(test06); DO_TEST(test07); END_MAIN diff --git a/tests/Floating_Point_Expression/polyhedron2.cc b/tests/Floating_Point_Expression/polyhedron2.cc index 1b21f16..e5e892d 100644 --- a/tests/Floating_Point_Expression/polyhedron2.cc +++ b/tests/Floating_Point_Expression/polyhedron2.cc @@ -222,6 +222,20 @@ BEGIN_MAIN DO_TEST(test01); DO_TEST(test02); DO_TEST(test03); - DO_TEST_F32(test04); - DO_TEST_F64A(test05); + if (sizeof(ANALYZER_FP_FORMAT) == 4) { + DO_TEST_F32(test04); +#ifdef NDEBUG + DO_TEST_F16(test05); +#else + DO_TEST_F64A(test05); +#endif + } + else if (sizeof(ANALYZER_FP_FORMAT) == 8) { + DO_TEST_F64(test04); + DO_TEST_F64A(test05); + } + else { + DO_TEST_F64(test04); + DO_TEST_F64(test05); + } END_MAIN

1 0