March 2006 - PPL-devel - BUGSENG Mailman

ppl/src Congruence_System.cc
by Patricia Hill 07 Mar '06

07 Mar '06

CVSROOT: /cvs/ppl Module name: ppl Changes by: hill(a)cs.unipr.it 2006-03-07 16:26:28 Modified files: src : Congruence_System.cc Log message: Bug fixed in PPL::Congruence_System::insert(const Congruence_System& y) Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Congruence_System.cc.diff…

1 0

ppl/src Congruence_System.cc
by Patricia Hill 07 Mar '06

07 Mar '06

CVSROOT: /cvs/ppl Module name: ppl Changes by: hill(a)cs.unipr.it 2006-03-07 13:58:16 Modified files: src : Congruence_System.cc Log message: Fixed a bug in is_equal-to(): Return false if the congruence systems do not have the same number of rows. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Congruence_System.cc.diff…

1 0

LGPL?
by Oscar Slotosch 07 Mar '06

07 Mar '06

Dear PPL Developers, as you know Ernst Sassen is buidling a Java interface (and an Abstract Model Interpretation) for the free AutoFOCUS tool. Since the experiments looks very promissing, we currently consider to make a product for commercial tools out of it. However your licence GPL prevents using your library for hat purpose. If you would use the less restrictve LGPL (from http://www.gnu.org/copyleft/lesser.txt) as licence, we could use your PLL fort hat purpose. How do you think about that? Salutti di Monaco, Oscar & Ernst

2 2

ppl STANDARDS
by Patricia Hill 07 Mar '06

07 Mar '06

CVSROOT: /cvs/ppl Module name: ppl Changes by: hill(a)cs.unipr.it 2006-03-07 08:48:10 Modified files: . : STANDARDS Log message: Typo corrected. Revised for new standards for test programs. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/STANDARDS.diff?cvsroot=ppl&r1…

1 0

ppl/demos/ppl_lpsol Makefile.am
by Roberto Bagnara 07 Mar '06

07 Mar '06

CVSROOT: /cvs/ppl Module name: ppl Changes by: bagnara(a)cs.unipr.it 2006-03-07 08:06:14 Modified files: demos/ppl_lpsol: Makefile.am Log message: The `--ignore-all-space' of `diff' is not portable. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/demos/ppl_lpsol/Makefile.am.d…

1 0

ppl README
by Patricia Hill 07 Mar '06

07 Mar '06

CVSROOT: /cvs/ppl Module name: ppl Changes by: hill(a)cs.unipr.it 2006-03-07 07:55:08 Modified files: . : README Log message: Added an item about grids. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/README.diff?cvsroot=ppl&r1=1.…

1 0

Main trunk code freeze for PPL 0.9
by Roberto Bagnara 06 Mar '06

06 Mar '06

Hi there, please, consider the code in the main trunk to be frozen. Only documentation changes and critical bug fixes should be committed until the release branch is created (I plan to do this on Saturday or Sunday). Cheers, Roberto -- Prof. Roberto Bagnara Computer Science Group Department of Mathematics, University of Parma, Italy http://www.cs.unipr.it/~bagnara/ mailto:bagnara@cs.unipr.it

1 0

Re: Precision of doubles and stdio
by Roberto Bagnara 06 Mar '06

06 Mar '06

Jim Easton wrote: > Dear Mr. Bagnara, > > Roberto Bagnara wrote: > ... >> does this on Linux/i686 >> >> $ a.out >> 70.9 >> 70.900000000000005684341886080801486968994140625 >> >> and does the following under Cygwin on the same machine: > ... >> $ ./a.exe >> 70.9 >> 70.90000000000000568434188608080148696899414 >> >> Why? Is there a way to reconcile the two behaviors? >> Notice that I know about the x87 and its vaguaries: >> nonetheless I wonder why such a scanf immediately >> followed by a printf shows a difference between >> Cygwin and Linux. > > With all due respect, why would you want to? With double you are > guaranteed only 16 or so digits - the rest is noise. Frankly I am > amazed that it agrees as far as it does. Dear Jim, what is and what is not noise depends on the application. In our applications we systematically use controlled rounding on IEEE 754 floating point numbers. In the end, what we obtain (in memory) are definite (i.e., provably correct) lower or upper bounds of some quantities. Call `x' such a quantity, and suppose we have that our computed upper bound for `x' is the IEEE 754 Double Precision number 0x4051b9999999999a, that is (exactly!), 70.900000000000005684341886080801486968994140625. If that number is (wrongly!) printed as 70.90000000000000568434188608080148696899414 then we lose correctness, since x <= 70.900000000000005684341886080801486968994140625 does not imply x <= 70.90000000000000568434188608080148696899414. So, the final "0625" is not "noise" in our applications: it is what may make the difference between a correct statement and an incorrect one. Notice also that any IEEE 754 number can be (exactly!) printed with a finite number of decimal digits. Finally, notice that writing an algorithm to print them correctly is not rocket science. Hence my astonishment when Tim showed me that the C standard decided, instead, to allow blatant violations of the principle of least astonishment :-) All the best, Roberto -- Prof. Roberto Bagnara Computer Science Group Department of Mathematics, University of Parma, Italy http://www.cs.unipr.it/~bagnara/ mailto:bagnara@cs.unipr.it

2 2

ppl/demos/ppl_lpsol Makefile.am
by Roberto Bagnara 06 Mar '06

06 Mar '06

CVSROOT: /cvs/ppl Module name: ppl Changes by: bagnara(a)cs.unipr.it 2006-03-06 15:11:09 Modified files: demos/ppl_lpsol: Makefile.am Log message: Check obtained optima on Cygwin. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/demos/ppl_lpsol/Makefile.am.d…

1 0

ppl/demos/ppl_lpsol expected_int16 expected_in ...
by Roberto Bagnara 06 Mar '06

06 Mar '06

1 0