URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=f69b86061855e... Merge: 12f6d4872bc274aaf7f068ff35b1c6c209a7a39a 9784b8165b6cb1dea5eb6d20b4cebca7ecc780fd Author: Roberto Bagnara bagnara@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=12f6d4872bc27... Author: Roberto Amadini r.amadini@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=a75d238a6bafe... Author: Roberto Amadini r.amadini@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=307af1367ed63... Author: Roberto Amadini r.amadini@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=96ac4ea63bf30... Author: Roberto Amadini r.amadini@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=bb5e95b8994a0... Author: Fabio Biselli fabio.biselli@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=c8e299d57c031... Author: Fabio Biselli fabio.biselli@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=dc2ec7594e5d2... Author: Roberto Amadini r.amadini@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=b521d8e6b10bc... Author: Roberto Amadini r.amadini@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=391db98125e29... Author: Fabio Biselli fabio.biselli@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=6da25c9734d4f... Author: Roberto Amadini r.amadini@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=8801eb01b1d06... Author: Roberto Amadini r.amadini@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=d8d6e899f5cac... Author: Fabio Biselli fabio.biselli@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=9c6033597683d... Author: Fabio Biselli fabio.biselli@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=cacb4330a7f4a... Author: Fabio Biselli fabio.biselli@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=286faa55e6018... Author: Roberto Amadini r.amadini@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=b5f92dc9fe765... Author: Fabio Biselli fabio.biselli@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=10a020c1c5d8f... Author: Roberto Amadini r.amadini@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=9c35b656767f3... Author: Fabio Biselli fabio.biselli@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=4f3fe255850af... Author: Roberto Amadini r.amadini@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=f77babe87a9d4... Author: Roberto Amadini r.amadini@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=eda13a1edf15b... Author: Roberto Amadini r.amadini@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=32a8e23b60707... Author: Roberto Amadini r.amadini@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=c05f09104471c... Author: Fabio Biselli fabio.biselli@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=8847a837fb858... Author: Fabio Biselli fabio.biselli@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=c83d68a8f97fb... Author: Fabio Biselli fabio.biselli@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=a92c340364dea... Author: Roberto Amadini r.amadini@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=eda8bee287a3e... Author: Roberto Amadini r.amadini@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=b37ac0cb30453... Author: Fabio Bossi bossi@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=531ab36b1f699... Author: Fabio Bossi bossi@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=e90bc74ac6035... Author: Roberto Amadini r.amadini@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=a0f084e697e6f... Author: Roberto Amadini r.amadini@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=4b736b1ec4842... Author: Roberto Amadini r.amadini@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=112fb00917eba... Author: Roberto Amadini r.amadini@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=7d2306abb0714... Author: Roberto Amadini r.amadini@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=eb9cef62704bb... Author: Roberto Amadini r.amadini@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=fcb9568396f2b... Author: Roberto Amadini r.amadini@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=0ca73838e132e... Author: Roberto Amadini r.amadini@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=1bdc33c7fc6f3... Author: Roberto Amadini r.amadini@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=f18c42ee75a56... Author: Roberto Amadini r.amadini@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=05770258f702f... Author: Fabio Bossi bossi@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=60337b286bc9a... Author: Roberto Amadini r.amadini@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=5e933a2295368... Author: Fabio Bossi bossi@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=86c9d02d4adb6... Author: Fabio Biselli fabio.biselli@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=f3324f27c9299... Author: Fabio Biselli fabio.biselli@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=2134fb6959a58... Author: Fabio Biselli fabio.biselli@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=fab12fb96c8f5... Author: Fabio Biselli fabio.biselli@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=7644042419297... Author: Roberto Amadini r.amadini@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=6b0038a621b7c... Author: Fabio Biselli fabio.biselli@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=1565eb930cb72... Author: Roberto Amadini r.amadini@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=540fd61d15e0b... Author: Fabio Biselli fabio.biselli@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=dc276e0c0a158... Author: Roberto Amadini r.amadini@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=a5ef5d5cfc41f... Author: Fabio Biselli fabio.biselli@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=e4f52c87f28fc... Author: Roberto Amadini r.amadini@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=2fcd493ce5e2f... Author: Fabio Bossi bossi@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=1ddf04b0c2957... Author: Roberto Amadini r.amadini@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=f5e8676cd64d4... Author: Roberto Amadini r.amadini@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=e88b2238c1d7e... Author: Roberto Amadini r.amadini@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=d002a27f5e250... Author: Roberto Amadini r.amadini@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=66f38555e1528... Author: Roberto Amadini r.amadini@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=0eb634591ec20... Author: Fabio Bossi bossi@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=c8904fdf2c5ef... Author: Fabio Bossi bossi@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=1ce1a9746e940... Author: Fabio Bossi bossi@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=2463769f88778... Author: Roberto Amadini r.amadini@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=c62926896a8b9... Author: Fabio Bossi bossi@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=cb5178462d70a... Author: Fabio Bossi bossi@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=3add81ea30924... Author: Fabio Bossi bossi@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=03bfe62f2d733... Author: Roberto Amadini r.amadini@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=85cc7688520ab... Author: Fabio Biselli fabio.biselli@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=cebcfe41cc8a2... Author: Roberto Bagnara bagnara@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=8f06b8a321099... Author: Roberto Bagnara bagnara@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=334ff19fb5ca3... Author: Fabio Bossi bossi@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=4ffa56a7f08ad... Merge: d865b7a741bdb503fdac52edbd5b2a700593a850 e61defee29d0688a72fbe707157351a85c9a35a1 Author: Roberto Bagnara bagnara@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=d865b7a741bdb... Author: Fabio Bossi bossi@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=360425ce18d40... Author: Roberto Amadini r.amadini@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=07bb498a1557b... Author: Fabio Bossi bossi@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=a21e78b3e9bb5... Author: Fabio Biselli fabio.biselli@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=3ad560b33c28a... Author: Fabio Bossi bossi@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=4c93dcb4734f0... Author: Roberto Amadini r.amadini@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=7ac2752fde0d8... Author: Roberto Amadini r.amadini@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=102eb141ca6f5... Author: Roberto Amadini r.amadini@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=de2be3f1b7f7b... Author: Fabio Biselli fabio.biselli@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=f762ecded38d8... Author: Roberto Amadini r.amadini@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=8dd84af2cadee... Author: Fabio Bossi bossi@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=f47bdef6918e1... Author: Roberto Amadini r.amadini@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=43b5cb98ab200... Author: Roberto Amadini r.amadini@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=9691bf1a68b4e... Author: Roberto Amadini r.amadini@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=8128edd2954e9... Author: Fabio Bossi bossi@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=230e752faf022... Author: Fabio Bossi bossi@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=15ed9f61cf8f2... Author: Fabio Bossi bossi@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=d14d0775d881d... Author: Fabio Bossi bossi@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=7dbbf2813ae80... Author: Roberto Bagnara bagnara@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=c142c06f9e478... Author: Roberto Bagnara bagnara@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=655d6cc8016a4... Author: Fabio Bossi bossi@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=9b7c8767e9c0d... Author: Fabio Bossi bossi@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=2b4f0299f6b37... Author: Roberto Amadini r.amadini@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=d8e7d618dd4a4... Author: Fabio Bossi bossi@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=79572e84de987... Author: Fabio Bossi bossi@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=e2b71307d5198... Author: Roberto Amadini r.amadini@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=4e2e5ca265d96... Author: Roberto Amadini r.amadini@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=96ade840e5152... Author: Fabio Bossi bossi@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=d61e5566f5f6d... Author: Fabio Bossi bossi@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=0d9faf95e4bc2... Author: Fabio Bossi bossi@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=1508fe8fbb7be... Author: Roberto Amadini r.amadini@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=c6e8ada743e72... Author: Fabio Bossi bossi@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=3e7c9713946e7... Author: Roberto Amadini r.amadini@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=faefe0f0d2247... Author: Roberto Amadini r.amadini@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=351e41c9b7853... Author: Roberto Amadini r.amadini@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=7365b420d7ab0... Author: Fabio Bossi bossi@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=171b89c7ecd94... Author: Fabio Bossi bossi@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=e382dfd1d7fa7... Author: Fabio Bossi bossi@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=726d6fa6ff5d2... Author: Roberto Amadini r.amadini@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=f0f4bf6a9483e... Author: Fabio Bossi bossi@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=4f125f4d90aa9... Author: Fabio Bossi bossi@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=c07b5cfd78cea... Author: Roberto Amadini r.amadini@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=18e281994a302... Author: Fabio Bossi bossi@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=4bdd87fc43645... Author: Fabio Bossi bossi@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=04edf0b5d66a1... Author: Fabio Bossi bossi@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=3e9f4582ce7ab... Author: Fabio Biselli fabio.biselli@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=aeb5980a47c26... Author: Fabio Biselli fabio.biselli@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=ecffc8c69e218... Author: Fabio Bossi bossi@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=b6dc43db2855f... Author: Fabio Bossi bossi@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=ca46c28590361... Author: Fabio Bossi bossi@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=f37d16f0e9478... Author: Roberto Amadini r.amadini@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=01dab9748259c... Author: Abramo Bagnara abramo.bagnara@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=ebe68870ff0f3... Author: Roberto Amadini r.amadini@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=636677b9899ea... Author: Fabio Bossi bossi@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=4a811294d3acc... Author: Roberto Amadini r.amadini@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=a6766fae53279... Author: Fabio Biselli fabio.biselli@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=c625805209601... Author: Fabio Bossi bossi@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=876484912959e... Author: Roberto Amadini r.amadini@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=9015398c7a2e8... Author: Roberto Amadini r.amadini@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=0cbe08ccba51a... Author: Fabio Bossi bossi@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=81a3ebf848160... Author: Fabio Bossi bossi@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=5decdfb92cce7... Author: Roberto Amadini r.amadini@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=630590eb2beb3... Author: Roberto Bagnara bagnara@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=61aa0fda07d54... Author: Roberto Amadini r.amadini@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=880ed012ba9c0... Author: Roberto Amadini r.amadini@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=42d43d4ce329b... Author: Fabio Bossi bossi@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=f165fb07116d9... Author: Fabio Bossi bossi@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=a7172dfc7c1e1... Author: Fabio Bossi bossi@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=8ae6135af4d6a... Author: Fabio Bossi bossi@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=df74c77ffb0f5... Author: Roberto Amadini r.amadini@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=da7ab569f2f20... Author: Roberto Amadini r.amadini@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=b42fe4766fe4c... Author: Roberto Amadini r.amadini@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=1b0f1e5529a5c... Author: Roberto Amadini r.amadini@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=d3eef431c3bdc... Author: Fabio Bossi bossi@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=23e43a61830b3... Author: Roberto Amadini r.amadini@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=6ea2e2f10098c... Author: Fabio Bossi bossi@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=33f20542b9b6d... Author: Roberto Amadini r.amadini@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=6dd29aa6e3060... Author: Fabio Bossi bossi@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=88575c56b5ccb... Author: Roberto Amadini r.amadini@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=1d86fe8a21720... Author: Roberto Amadini r.amadini@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=453985a4ec00d... Author: Fabio Bossi bossi@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=4fa3f4c26c6d3... Author: Fabio Bossi bossi@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=5d2ee886c0013... Author: Fabio Bossi bossi@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=b9f5aee8d9e95... Author: Fabio Bossi bossi@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=41e8ca0bea155... Author: Fabio Bossi bossi@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=fae817ce8120f... Author: Roberto Amadini r.amadini@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=6685edf5c48bb... Author: Fabio Bossi bossi@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=164b9ef702d0b... Author: Fabio Bossi bossi@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=3bdc87446af32... Author: Roberto Amadini r.amadini@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=47985bffa0b58... Author: Fabio Bossi bossi@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=c6036d8d0b690... Author: Fabio Bossi bossi@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=16204cc0b8e28... Author: Fabio Bossi bossi@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=ed84cf0c1472b... Author: Fabio Bossi bossi@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=e492c9a5c5291... Author: Fabio Bossi bossi@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=56bd6524e6e38... Author: Fabio Biselli fabio.biselli@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=46f18dbe19ab3... Author: Fabio Biselli fabio.biselli@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=bd64da813c519... Author: Roberto Amadini r.amadini@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=27853708a791d... Author: Fabio Bossi bossi@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=a58815158ed24... Author: Fabio Bossi bossi@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=cf40c1ee096f6... Author: Fabio Bossi bossi@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=8196e08325165... Author: Roberto Amadini r.amadini@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=4670807b162f2... Author: Roberto Amadini r.amadini@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=30f2d12b77f8f... Author: Fabio Bossi bossi@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=85157d3ca3cd5... Author: Fabio Bossi bossi@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=a1e7e39e58515... Author: Fabio Bossi bossi@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=ecb0e94a30b0f... Author: Fabio Bossi bossi@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=992d25ba23f36... Author: Fabio Bossi bossi@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=9e8267747161d... Author: Fabio Bossi bossi@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=47bf5799b4b5c... Author: Fabio Bossi bossi@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=b3262f50a53d3... Author: Fabio Bossi bossi@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=688061869b0f3... Author: Fabio Bossi bossi@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=762b048f81365... Author: Fabio Bossi bossi@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=e86a215e5bf18... Author: Fabio Bossi bossi@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=1bd882f496108... Author: Fabio Bossi bossi@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=589af008cb61b... Author: Fabio Bossi bossi@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=29936bbc3648a... Author: Fabio Bossi bossi@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=8131d3c11b8f1... Author: Fabio Bossi bossi@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=e535e5b530fb1... Author: Fabio Bossi bossi@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=e9f9c76f9d59e... Author: Fabio Bossi bossi@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=c5642e6135052... Author: Fabio Bossi bossi@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=b9bc246da10ae... Author: Fabio Bossi bossi@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=49fe8476c8764... Author: Fabio Bossi bossi@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=25bb41f113460... Author: Fabio Bossi bossi@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=61e9682521aec... Author: Fabio Bossi bossi@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=bc2e838dcecf1... Author: Fabio Bossi bossi@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=f90f4982a4655... Author: Fabio Bossi bossi@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=5ffba415ba265... Author: Fabio Bossi bossi@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=b975207fee47a... Author: Fabio Bossi bossi@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=665f8e9f3e12a... Author: Fabio Bossi bossi@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=963be409b51e7... Author: Fabio Bossi bossi@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=aed91f8a35dec... Author: Fabio Bossi bossi@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=98244bb14df54... Author: Roberto Amadini r.amadini@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=7de79be86951b... Author: Fabio Biselli fabio.biselli@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=8467c7a8e640f... Author: Enea Zaffanella zaffanella@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=3d115f781b8c2... Author: Roberto Amadini r.amadini@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=19b136f854184... Author: Fabio Biselli fabio.biselli@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=60b9772ac0002... Author: Fabio Bossi bossi@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=b8f6d2ee0afe7... Author: Fabio Bossi bossi@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=6c80dc54db173... Author: Fabio Biselli fabio.biselli@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=edf215e958a23... Author: Fabio Bossi bossi@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=37c753c529b2b... Author: Roberto Amadini r.amadini@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=66515df137210... Author: Fabio Bossi bossi@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=59241488abfbf... Author: Fabio Bossi bossi@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=a77be211bad2e... Author: Fabio Bossi bossi@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=faab1d2986432... Author: Fabio Bossi bossi@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=940b8bf4bf244... Author: Fabio Bossi bossi@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=867f1eaf166ff... Author: Fabio Biselli fabio.biselli@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=18fcb47fba6d6... Author: Fabio Biselli fabio.biselli@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=b3919a859f9bb... Author: Roberto Amadini r.amadini@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=2f3c39f2d7853... Author: Fabio Bossi bossi@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=994b555a8cd9a... Author: Fabio Bossi bossi@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=4a1d25bd5a05e... Author: Fabio Bossi bossi@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=606ec45118cc8... Author: Fabio Biselli fabio.biselli@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=26d546f62d364... Author: Fabio Biselli fabio.biselli@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=d6956e262f595... Author: Roberto Amadini r.amadini@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=c508c610981bd... Author: Roberto Amadini r.amadini@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=58e9e3af70bd3... Author: Fabio Biselli fabio.biselli@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=1e570d8899935... Author: Fabio Biselli fabio.biselli@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=f25dd63720cd0... Author: Fabio Bossi bossi@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=f5c91db1d219b... Author: Fabio Bossi bossi@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=90c1a7723fdeb... Author: Fabio Bossi bossi@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=a7bef215e417e... Author: Roberto Amadini r.amadini@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=4ea81ad27e069... Author: Fabio Biselli fabio.biselli@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=9eea1940a0dd7... Author: Roberto Amadini r.amadini@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=a8ecdc0727c83... Author: Roberto Amadini r.amadini@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=38cb91a8f194c... Author: Fabio Bossi bossi@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=a8a6f6a79cee0... Author: Fabio Biselli fabio.biselli@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=db823a3980535... Author: Fabio Bossi bossi@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=bf7c1eb0d35ea... Author: Fabio Bossi bossi@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=3ea4657845b39... Author: Fabio Bossi bossi@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=fc9e7a5ea189b... Author: Fabio Bossi bossi@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=ce4f16e3106ad... Author: Fabio Biselli fabio.biselli@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=04e68873c8a8f... Author: Fabio Bossi bossi@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=b1fbafc2fb396... Author: Fabio Bossi bossi@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=70431729da6b1... Author: Fabio Bossi bossi@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=da78c30d48931... Author: Fabio Biselli fabio.biselli@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=052fb58b85dcf... Author: Fabio Bossi bossi@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=663dfab0dee07... Author: Fabio Bossi bossi@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=99ff3b447a382... Author: Fabio Bossi bossi@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=41a927e39c1b9... Author: Fabio Bossi bossi@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=d152f78626220... Author: Fabio Bossi bossi@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=4229e9d6cca6d... Author: Roberto Amadini r.amadini@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=c11c86e606cee... Author: Fabio Biselli fabio.biselli@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=f7230caad9fd9... Author: Fabio Bossi bossi@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=637a518f0c3d6... Author: Fabio Bossi bossi@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=8e2a4611be520... Author: Fabio Bossi bossi@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=cfdb5138cdb74... Author: Fabio Bossi bossi@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=10f41f9fa9964... Author: Fabio Bossi bossi@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=452881a1cd2c0... Author: Enea Zaffanella zaffanella@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=9b98cc5348d01... Author: Fabio Bossi bossi@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=5f28df36c3fa4... Author: Fabio Bossi bossi@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=2eb864c44e262... Author: Fabio Bossi bossi@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=9e66883a10288... Author: Fabio Bossi bossi@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=26061d6f25e49... Author: Fabio Bossi bossi@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=d2bd25f15c036... Author: Roberto Bagnara bagnara@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=8839824bc84d7... Author: Fabio Bossi bossi@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=091ba8a954912... Author: Roberto Bagnara bagnara@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=12d9fe8700455... Author: Fabio Bossi bossi@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=fd45e56cd50f6... Author: Fabio Bossi bossi@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=67bec8827d8c0... Author: Fabio Bossi bossi@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=c8afa3a4e165f... Author: Fabio Biselli fabio.biselli@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=b7ee345b53fd7... Author: Fabio Biselli fabio.biselli@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=625f2adc4b2dd... Author: Fabio Biselli fabio.biselli@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=8f090b25bf4b6... Author: Fabio Biselli fabio.biselli@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=d10726e732848... Author: Fabio Bossi bossi@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=a2335bf94541f... Author: Fabio Bossi bossi@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=6c9d4e2385d9a... Author: Fabio Bossi bossi@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=675fae6564ba9... Author: Fabio Bossi bossi@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=8b73f935478dd... Author: Fabio Bossi bossi@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=631b2220535fb... Author: Fabio Bossi bossi@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=f9e4c9feaea49... Author: Fabio Bossi bossi@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=1f4b78b53ec10... Author: Fabio Bossi bossi@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=db14c2f6022e8... Author: Fabio Bossi bossi@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=bc1a412d5547c... Author: Fabio Bossi bossi@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=59926c0b8460c... Author: Fabio Bossi bossi@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=e2e00d72c5631... Author: Fabio Bossi bossi@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=a94cd70f673cd... Author: Fabio Bossi bossi@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=c9ec5bc2cb674... Author: Roberto Bagnara bagnara@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=85f855d8d0c88... Author: Roberto Bagnara bagnara@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=24c485b7ca899... Author: Roberto Bagnara bagnara@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=73a33367e029c... Author: Roberto Bagnara bagnara@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=17a6154b28a67... Author: Roberto Bagnara bagnara@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=7690e53a2292b... Author: Roberto Bagnara bagnara@cs.unipr.it Date: Mon Aug 17 17:51:35 2009 +0200
Added missing inclusion of <iostream>.