March 2006 - PPL-devel - BUGSENG Mailman

ppl/src Grid_simplify.cc
by Patricia Hill 05 Mar '06

05 Mar '06

CVSROOT: /cvs/ppl Module name: ppl Changes by: hill(a)cs.unipr.it 2006-03-05 22:47:07 Modified files: src : Grid_simplify.cc Log message: Changed name of variable "num_rows" to more descriptive name. Added and improved comments wrt this variable. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Grid_simplify.cc.diff?cvs…

1 0

ppl/tests print.hh Grid/bhz03widening1.cc Grid ...
by Patricia Hill 05 Mar '06

05 Mar '06

CVSROOT: /cvs/ppl Module name: ppl Changes by: hill(a)cs.unipr.it 2006-03-05 22:29:35 Modified files: tests : print.hh tests/Grid : bhz03widening1.cc certificate1.cc Log message: Removed redundant code from Grid/certificate1.cc Added print_congruences for powersets in print.hh and use it in Grid/bhz03widening1.cc Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/print.hh.diff?cvsroot=p… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Grid/bhz03widening1.cc.… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Grid/certificate1.cc.di…

1 0

ppl/tests/Grid Makefile.am boundingbox1.cc cov ...
by Patricia Hill 05 Mar '06

05 Mar '06

1 0

ppl/tests/Polyhedron intersection1.cc
by Roberto Bagnara 05 Mar '06

05 Mar '06

CVSROOT: /cvs/ppl Module name: ppl Changes by: bagnara(a)cs.unipr.it 2006-03-05 21:34:34 Modified files: tests/Polyhedron: intersection1.cc Log message: Invoke `test01' and `test02' with NEW_TEST_F8A. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Polyhedron/intersection…

1 0

Precision of doubles and stdio
by Roberto Bagnara 05 Mar '06

05 Mar '06

Hi there, the following little program #include <stdio.h> int main() { double d; scanf("%lf", &d); printf("%.1000g\n", d); return 0; } does this on Linux/i686 $ gcc -W -Wall in.c $ a.out 70.9 70.900000000000005684341886080801486968994140625 and does the following under Cygwin on the same machine: roberto@quark /tmp $ gcc -W -Wall in.c roberto@quark /tmp $ ./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. 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

4 5

ppl NEWS
by Roberto Bagnara 05 Mar '06

05 Mar '06

CVSROOT: /cvs/ppl Module name: ppl Changes by: bagnara(a)cs.unipr.it 2006-03-05 18:31:25 Modified files: . : NEWS Log message: Added a brief description of the new Grid class. Added a mention of the new possibility of building only static or only shared libraries. Completed the section on bugfixes. Tentative release date for PPL 0.9 is March 12, 2006. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/NEWS.diff?cvsroot=ppl&r1=1.19…

1 0

ppl TODO
by Roberto Bagnara 05 Mar '06

05 Mar '06

CVSROOT: /cvs/ppl Module name: ppl Changes by: bagnara(a)cs.unipr.it 2006-03-05 17:55:33 Modified files: . : TODO Log message: Removed items that have already done. Pushed all the others down to PPL 0.10. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/TODO.diff?cvsroot=ppl&r1=1.18…

1 0

ppl ./config.guess ./config.sub Watchdog/confi ...
by Roberto Bagnara 05 Mar '06

05 Mar '06

CVSROOT: /cvs/ppl Module name: ppl Changes by: bagnara(a)cs.unipr.it 2006-03-05 17:53:10 Modified files: . : config.guess config.sub Watchdog : config.guess config.sub Log message: Updated. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/config.guess.diff?cvsroot=ppl… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/config.sub.diff?cvsroot=ppl&r… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/Watchdog/config.guess.diff?cv… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/Watchdog/config.sub.diff?cvsr…

1 0

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

05 Mar '06

CVSROOT: /cvs/ppl Module name: ppl Changes by: bagnara(a)cs.unipr.it 2006-03-05 17:29:48 Modified files: . : configure.ac demos/ppl_lpsol: Makefile.am Log message: Automake conditional CYGWIN renamed HOST_OS_CYGWIN. New Automake conditional HOST_OS_DARWIN. Refrain from literal comparison of ppl_lpsol output also on Darwin. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/configure.ac.diff?cvsroot=ppl… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/demos/ppl_lpsol/Makefile.am.d…

1 0

ppl/tests/Grid affineimage2.cc
by Roberto Bagnara 05 Mar '06

05 Mar '06

CVSROOT: /cvs/ppl Module name: ppl Changes by: bagnara(a)cs.unipr.it 2006-03-05 17:16:39 Modified files: tests/Grid : affineimage2.cc Log message: Use NEW_TEST_F16A to invoke `test10'. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Grid/affineimage2.cc.di…

1 0