November 2004 - PPL-devel - BUGSENG Mailman

ppl ./configure.ac src/checked_float.inlines.hh
by Abramo Bagnara 28 Nov '04

28 Nov '04

CVSROOT: /cvs/ppl Module name: ppl Branch: altnum Changes by: abramo(a)cs.unipr.it 2004-11-28 14:35:54 Modified files: . : configure.ac src : checked_float.inlines.hh Log message: Fixed cygwin support. 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/src/checked_float.inlines.hh.…

1 0

ppl ./configure.ac src/checked_float.inlines.hh
by Abramo Bagnara 28 Nov '04

28 Nov '04

CVSROOT: /cvs/ppl Module name: ppl Changes by: abramo(a)cs.unipr.it 2004-11-28 14:34:44 Modified files: . : configure.ac src : checked_float.inlines.hh Log message: Fixed cygwin support 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/src/checked_float.inlines.hh.…

1 0

[Fwd: Re: Why is <fenv.h> not available in cygwin?]
by Roberto Bagnara 27 Nov '04

27 Nov '04

-------- Original Message -------- Subject: Re: Why is <fenv.h> not available in cygwin? Date: Sat, 27 Nov 2004 14:13:02 -0500 From: Christopher Faylor <cgf-no-personal-reply-please(a)cygwin.com> Reply-To: cygwin(a)cygwin.com To: cygwin(a)cygwin.com References: <41A8CBE3.3060305(a)cs.unipr.it> On Sat, Nov 27, 2004 at 07:48:03PM +0100, Roberto Bagnara wrote: >I am wondering why this header file and the corresponding C99 >functionality appears to be missing from cygwin. >Does anyone know? 99.9% of the time, the answer to "Why doesn't X exist in cygwin?" is "No one has implemented/contributed it." That is the case here. -- 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

Why is <fenv.h> not available in cygwin?
by Roberto Bagnara 27 Nov '04

27 Nov '04

I am wondering why this header file and the corresponding C99 functionality appears to be missing from cygwin. Does anyone know? Cheers, Roberto P.S. I know fenv.h is available in mingw, but this does not help me as I cannot then link with libmingwex. -- 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

ppl/src checked_int.inlines.hh
by Abramo Bagnara 27 Nov '04

27 Nov '04

CVSROOT: /cvs/ppl Module name: ppl Branch: altnum Changes by: abramo(a)cs.unipr.it 2004-11-27 19:32:49 Modified files: src : checked_int.inlines.hh Log message: Use signed explicitly. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/checked_int.inlines.hh.di…

1 0

ppl ./INSTALL ./NEWS ./TODO ./compile ./config ...
by Roberto Bagnara 27 Nov '04

27 Nov '04

1 0

PPL info - bug report?
by Jacopo Mantovani 27 Nov '04

27 Nov '04

Hello! Qualche giorno fa ho scaricato e installato l'ultima (0.6.1) versione della PPL, e sto facendo qualche esperimento usando la sua interfaccia verso Sicstus Prolog. In particolare sono interessato agli operatori di rimozione di dimensioni: 1) ppl_Polyhedron_remove_higher_dimensions/2 2) ppl_Polyhedron_remove_dimensions/2 Tutto bene con il primo, meno con il secondo, che sembra non eliminare la variabile voluta e che mantiene quindi la dimensione del poliedro originale. Puo' darsi che mi sbagli, ma per prudenza ho pensato di mandarvi questa mail e di allegare anche un piccolo programma cosicche' possiate riprodurre il mio 'esperimento'. L'output del programma allegato segue in fondo a questa mail. Spero possiate verificare se sia io a scrivere codice sbagliato o se non vi sia qualche sorta di bug nell'API verso Sicstus. Vi ringrazio molto, Jacopo Mantovani Artificial Intelligence Laboratory DIST - University of Genova http://www.ai.dist.unige.it/jacopo SICStus 3.10.0 (x86-linux-glibc2.2): Tue Dec 17 15:24:21 CET 2002 Licensed to dist.unige.it | ?- yes % source_info | ?- compile(prova). % compiling /home/staff/jacopo/work/ppl/prova.pl... % compiling /usr/lib/ppl/ppl_sicstus.pl... % loading foreign resource /usr/lib/ppl/ppl_sicstus.so in module user % compiled /usr/lib/ppl/ppl_sicstus.pl in module user, 30 msec 16112 bytes % compiled /home/staff/jacopo/work/ppl/prova.pl in module user, 30 msec 22076 bytes yes % source_info | ?- init. PPL versione 0.6.1 This is the Parma Polyhedra Library (PPL) version 0.6.1. Copyright (C) 2001-2004 Roberto Bagnara <bagnara(a)cs.unipr.it>. The PPL is free software; see the source for copying conditions. There is NO warranty; not even for MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. Compiled by the GNU C++ compiler version 3.3.4 (Debian 1:3.3.4-13). Report bugs to ppl-devel(a)cs.unipr.it. For the most up-to-date information see the Parma Polyhedra Library site: http://www.cs.unipr.it/ppl/ . -- Using ppl_Polyhedron_remove_higher_dimensions -- Constraints before: [1*A>=0,1*B>=0,-1*B>= -2,-1*A>= -2] Generators before: [point(2*A+2*B),point(2*A),point(2*B),point(0)] Dimension before: 2 Constraints after: [1*A>=0,-1*A>= -2] Generators after: [point(2*A),point(0)] Dimension after: 1 -- Using ppl_Polyhedron_remove_dimensions -- Constraints before: [1*A>=0,1*B>=0,-1*B>= -2,-1*A>= -2] Generators before: [point(2*A+2*B),point(2*A),point(2*B),point(0)] Dimension before: 2 Constraints after: [1*A>=0,1*B>=0,-1*B>= -2,-1*A>= -2] Generators after: [point(2*A+2*B),point(2*A),point(2*B),point(0)] Dimension after: 2 yes % source_info | ?-

2 7

ppl/demos/ppl_lpsol ppl_lpsol.c
by Roberto Bagnara 27 Nov '04

27 Nov '04

CVSROOT: /cvs/ppl Module name: ppl Changes by: roberto(a)cs.unipr.it 2004-11-27 15:10:42 Modified files: demos/ppl_lpsol: ppl_lpsol.c Log message: Little memory leaks fixed. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/demos/ppl_lpsol/ppl_lpsol.c.d…

1 0

ppl/src C_Polyhedron.inlines.hh NNC_Polyhedron ...
by Enea Zaffanella 27 Nov '04

27 Nov '04

CVSROOT: /cvs/ppl Module name: ppl Changes by: zaffanella(a)cs.unipr.it 2004-11-27 15:06:07 Modified files: src : C_Polyhedron.inlines.hh NNC_Polyhedron.inlines.hh Polyhedron.defs.hh Polyhedron_chdims.cc Polyhedron_nonpublic.cc Log message: Private exception thrower method Polyhedron::throw_space_dimension_overflow() made static, as it is often called inside constructors (before actually constructing the polyhedron object). Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/C_Polyhedron.inlines.hh.d… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/NNC_Polyhedron.inlines.hh… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Polyhedron.defs.hh.diff?c… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Polyhedron_chdims.cc.diff… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Polyhedron_nonpublic.cc.d…

1 0

ppl/tests Makefile.am valgrind_suppressions
by Roberto Bagnara 27 Nov '04

27 Nov '04

CVSROOT: /cvs/ppl Module name: ppl Changes by: roberto(a)cs.unipr.it 2004-11-27 14:07:31 Modified files: tests : Makefile.am Added files: tests : valgrind_suppressions Log message: Added a minimal infrastructure to perform regression testing using `valgrind'. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/valgrind_suppressions?c… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Makefile.am.diff?cvsroo…

1 0