September 2004 - PPL-devel - BUGSENG Mailman

ppl/tests Makefile.am polydifference9.cc
by Roberto Bagnara 15 Sep '04

15 Sep '04

CVSROOT: /cvs/ppl Module name: ppl Changes by: roberto(a)cs.unipr.it 2004-09-15 14:44:26 Modified files: tests : Makefile.am Added files: tests : polydifference9.cc Log message: Test Polyhedra_PowerSet<PH>::poly_difference_assign(). (It presently fails, apparently due to a bug in Polyhedra_PowerSet<PH>::geometrically_equals().) Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/polydifference9.cc?cvsr… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Makefile.am.diff?cvsroo…

1 0

ppl/src algorithms.hh
by Roberto Bagnara 15 Sep '04

15 Sep '04

CVSROOT: /cvs/ppl Module name: ppl Changes by: roberto(a)cs.unipr.it 2004-09-15 14:42:20 Modified files: src : algorithms.hh Log message: The linear_partition() template function is now in Polyhedra_PowerSet.*.hh. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/algorithms.hh.diff?cvsroo…

1 0

ppl ./NEWS src/Polyhedra_PowerSet.defs.hh src/ ...
by Roberto Bagnara 15 Sep '04

15 Sep '04

CVSROOT: /cvs/ppl Module name: ppl Changes by: roberto(a)cs.unipr.it 2004-09-15 14:40:44 Modified files: . : NEWS src : Polyhedra_PowerSet.defs.hh Polyhedra_PowerSet.inlines.hh Log message: New constructors and assignment operators allowing to obtain a Polyhedra_PowerSet<NNC_Polyhedron> from a Polyhedra_PowerSet<C_Polyhedron> and the other way around. In the latter case, the topological clusure of the element polyhedra is computed. New method Polyhedra_PowerSet::poly_difference_assign(const Polyhedra_PowerSet& y) assigns to `*this' the poly-difference of `*this' and `y'. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/NEWS.diff?cvsroot=ppl&r1=1.10… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Polyhedra_PowerSet.defs.h… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Polyhedra_PowerSet.inline…

1 0

ppl/src PowerSet.defs.hh PowerSet.inlines.hh
by Roberto Bagnara 15 Sep '04

15 Sep '04

CVSROOT: /cvs/ppl Module name: ppl Changes by: roberto(a)cs.unipr.it 2004-09-15 14:38:57 Modified files: src : PowerSet.defs.hh PowerSet.inlines.hh Log message: New method PowerSet<CS>::clear(). Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/PowerSet.defs.hh.diff?cvs… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/PowerSet.inlines.hh.diff?…

1 0

ppl ./NEWS ./TODO src/Polyhedron.defs.hh src/P ...
by Roberto Bagnara 15 Sep '04

15 Sep '04

CVSROOT: /cvs/ppl Module name: ppl Changes by: roberto(a)cs.unipr.it 2004-09-15 09:24:59 Modified files: . : NEWS TODO src : Polyhedron.defs.hh Polyhedron_public.cc Log message: Added a first, draft implementation of method dimension_type Polyhedron::dimension(): it returns the dimension of *this (not to be confused with the dimension of its enclosing vector space) or 0, if *this is empty. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/NEWS.diff?cvsroot=ppl&r1=1.10… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/TODO.diff?cvsroot=ppl&r1=1.87… 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_public.cc.diff…

1 0

Re: Source Code
by Roberto Bagnara 15 Sep '04

15 Sep '04

Sriram Sankaranarayanan wrote: > The new tarball is attached. I could have generated a patch, > but this is easier > > > Just to make sure.. Here are the versions of things I am using > > srirams@Dali:~% g++ --version > > g++ (GCC) 3.2.2 20030222 (Red Hat Linux 3.2.2-5) > Copyright (C) 2002 Free Software Foundation, Inc. > > > srirams@Dali:~% flex --version > flex version 2.5.4 > > srirams@Dali:~% ~/bin/bison --version > bison (GNU Bison) 1.875c > Written by Robert Corbett and Richard Stallman. I am using GCC 3.4.2, Bison 1.875d, and Flex 2.5.4. There is only one problem in the sources you sent: MatrixStore.cc:14: error: array bound forbidden after parenthesized type-id MatrixStore.cc:14: note: try removing the parentheses around the type-id This can be easily fixed by changing the guilty line to mat= new Rational*[n]; // the last column is the $b$ augment > I tried it with your latest ppl bug fix, it works. Thanks for fixing that. Thanks to you for your report! > I have packaged the examples in with the src under lsting-src/Examples > > If you run > > lsting invcheck < inputfile > > it will print a message prefixed by the word ERROR > on the stderr stream if something breaks (i.e, the computed > invariant fails the inductive check.. which is finally all > we care about :-) Hey, but you proved it correct, didn't you? :-) > I hope this works without further troubles. It seems it does. We will use your program regularly for regression testing. Thanks! 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

1 0

Re: Bug in PPL?
by Roberto Bagnara 14 Sep '04

14 Sep '04

Sriram Sankaranarayanan wrote: > I will send you a new version when I fix this bug. Dear Sriram, if you refer to the bug of the widening you spotted, this is fixed now: go to the PPL bugs page and apply the patch provided there to PPL 0.6.1 and you should be done. Ciao, Roberto P.S. I have checked: the version of bison I am using is the most recent one. Any idea why it fails to compile ltrtest.y? -- 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: Source Code
by Roberto Bagnara 14 Sep '04

14 Sep '04

Sriram Sankaranarayanan wrote: > Attached file lsting-src.tgz contains the source code for the library. > Pls. direct any questions to me. It is not a sophisticated distribution. > The makefile should work if you just edit the INCLUDE and GLBLIBS variables to > point them to the right location for the PPL and GMP libraries. Dear Sriram, sorry for the delay in answering your message (I was attending a conference in France). I have followed your instructions, but compilation immediately fails as follows: $ make bison -d ltrtest.y ltrtest.y:245.1: syntax error, unexpected "|" ltrtest.y:250.1: syntax error, unexpected "|" make: *** [ltrtest.tab.c] Error 1 The version of bison I am using is $ bison --version bison (GNU Bison) 1.875 Written by Robert Corbett and Richard Stallman. Copyright (C) 2002 Free Software Foundation, Inc. This is free software; see the source for copying conditions. There is NO warranty; not even for MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. > The examples are already available from my previous distribution. I have > generated the timings and apart from that one case, the >= 3600s stand. > It did make a difference in many low-dimensional examples. But the +s and > -s stay unchanged (as expected). Will ping you when I update my page. > > Please let me know if everything works. OK. I downloaded the examples from http://www.stanford.edu/~srirams/Software/Sting/lsting-examples.tgz and I look forward to be able to try them. > I will also send you a petri net analyzer that I built over PPL > once I am done with a submission that is due next week. Great! 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

1 0

w3ppl/htdocs/Bugs Bugs.raw archive.raw
by Enea Zaffanella 13 Sep '04

13 Sep '04

CVSROOT: /cvs/ppl Module name: w3ppl Changes by: zaffanella(a)cs.unipr.it 2004-09-13 14:11:26 Modified files: htdocs/Bugs : Bugs.raw archive.raw Log message: Corrected a grammatical error. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/w3ppl/htdocs/Bugs/Bugs.raw.diff?c… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/w3ppl/htdocs/Bugs/archive.raw.dif…

1 0

w3ppl/htdocs/Links Links.raw
by Enea Zaffanella 13 Sep '04

13 Sep '04

CVSROOT: /cvs/ppl Module name: w3ppl Changes by: zaffanella(a)cs.unipr.it 2004-09-13 14:10:28 Modified files: htdocs/Links : Links.raw Log message: Corrected spelling of Halbwachs. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/w3ppl/htdocs/Links/Links.raw.diff…

1 0