August 2004 - PPL-devel - BUGSENG Mailman

w3ppl/htdocs/About About.raw
by Enea Zaffanella 21 Aug '04

21 Aug '04

CVSROOT: /cvs/ppl Module name: w3ppl Changes by: zaffanella(a)cs.unipr.it 2004-08-21 09:51:19 Modified files: htdocs/About : About.raw Log message: Listed the new programming projects assigned to students. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/w3ppl/htdocs/About/About.raw.diff…

1 0

Re: PPL library
by Roberto Bagnara 21 Aug '04

21 Aug '04

Sriram Sankaranarayanan wrote: > Dear Prof. Bagnara, > > Thank you for the link on your page. I will do the changes on the page > by monday. I will send you the source code once I get back from SAS 2004. > > regards, > Sriram See you at SAS 2004 then (Pat, Enea and myself will attend the conference). All the best, and have a nice trip Roberto >>Sriram Sankaranarayanan wrote: >> >>>Dear Prof. Bagnara, >>> >>>I am a student of computer science at Stanford University and >>>have been working on static analysis with Prof. Zohar Manna. >>> >>>We just released the binaries and examples for our prototype analyzer, >>>which we describe in our upcoming SAS 2004 paper. The analyzer works >>>over the polyhedral library PPL developed by your group. A *draft* of >>>the project's page can be found at >>> >>> http://www.stanford.edu/~srirams/Software/sting.html >>> >>>Your comments on the draft are welcome! >>> >>>First of all, we would like to thank you and your team >>>for developing the PPL library. It is very fast, very >>>easy to use, and superbly documented! >> >>Dear Sriram, >> >>thank you very much for your nice words. We are very glad that >>you found our library useful: this gives us incentive to continue >>this line of work. >> >> >>>we would like also to know if you object to our bundling of >>>PPL with our binaries. >> >>Provided you comply with the license under which you received the PPL >>(Version 2 of the GNU General Public License) I see no problem at all. >> >> >>>If there is anything else that you >>>would like to see cited on our project page, please let us know. >> >>Oh yes, thanks. The main paper about the Parma Polyhedra Library is >> >>@Inproceedings{BagnaraRZH02, >> Author = "R. Bagnara and E. Ricci and E. Zaffanella and P. M. Hill", >> Title = "Possibly Not Closed Convex Polyhedra >> and the {Parma Polyhedra Library}", >> Booktitle = "Static Analysis: >> Proceedings of the 9th International Symposium", >> Address = "Madrid, Spain", >> Editor = "M. V. Hermenegildo and G. Puebla", >> Publisher = "Springer-Verlag, Berlin", >> Series = "Lecture Notes in Computer Science", >> Volume = 2477, >> ISBN = "3-540-44235-9", >> Pages = "213--229", >> Year = 2002, >>} >> >>By running `nm --demangle lsting' I have got the impression that you >>are using the class NNC_Polyhedron implementing not necessarily closed >>convex polyhedra and never the class C_Polyhedron for topologically >>closed convex polyhedra. If that is the case, then you may want to >>cite >> >>@Inproceedings{BagnaraHZ03a, >> Author = "R. Bagnara and P. M. Hill and E. Zaffanella", >> Title = "A New Encoding and Implementation >> of Not Necessarily Closed Convex Polyhedra", >> Booktitle = "Proceedings of the 3rd Workshop on Automated Verification >> of Critical Systems", >> Address = "Southampton, UK", >> Editor = "M. Leuschel and S. Gruner and S. {Lo Presti}", >> Year = 2003, >> Pages = "161--176", >> Note = "Published as TR Number DSSE-TR-2003-2, University of Southampton", >>} >> >>as this paper details the unique features of the PPL as far as the >>handling of NNC polyhedra is concerned (if you have tried another >>implementation of NNC polyhedra you certainly know how these features >>are crucial also from the user's perspective). >> >>We have added a link to your web pages to our credit's page: >>http://www.cs.unipr.it/ppl/Credits/. >>By the way, the name of our library is "Parma Polyhedra Library", >>not "Parma Polyhedral Library". >> >> >>>Thanks! >>>Sriram Sankaranarayanan >>>------------------------------- >>> >>>PhD student, >>>Theoretical Computer science, >>>Stanford University, >>>Stanford, CA 94305. >>> >>>http://www.stanford.edu/~srirams >> >>Thanks to you for using our library. Actually this is very good >>for our project as it gives us a new application to play with, >>new ways of performing regression testing, and an opportunity >>to see the user's needs in a concrete way. >> >>Please send us the sources of StInG so that we can try it with the new >>versions of the PPL (version 0.6.1 is being released right now) and >>see the effects of our experimental development branches on your >>application. We will keep you informed of any new feature/improvement >>that may be of interest to you. By the way, let me suggest you to >>subscribe the PPL-announce mailing list >>(http://www.cs.unipr.it/mailman/listinfo/ppl-announce). >>It is a very low-volume, zero-spam (see the archives to check by yourself), >>strictly moderated list with which we announce new releases. >>All the best, >> >> Roberto, on behalf of the PPL team >> >>-- >>Prof. Roberto Bagnara >>Computer Science Group >>Department of Mathematics, University of Parma, Italy >>http://www.cs.unipr.it/~bagnara/ >>mailto:bagnara@cs.unipr.it > > -- 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 configure.ac
by Roberto Bagnara 20 Aug '04

20 Aug '04

CVSROOT: /cvs/ppl Module name: ppl Changes by: roberto(a)cs.unipr.it 2004-08-20 22:55:43 Modified files: . : configure.ac Log message: Check for md5sum. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/configure.ac.diff?cvsroot=ppl…

1 0

ppl Makefile.am
by Roberto Bagnara 20 Aug '04

20 Aug '04

CVSROOT: /cvs/ppl Module name: ppl Changes by: roberto(a)cs.unipr.it 2004-08-20 22:43:32 Modified files: . : Makefile.am Log message: Option `--with-cxxflags=-Wno-deprecated' removed from `DISTCHECK_CONFIGURE_FLAGS'. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/Makefile.am.diff?cvsroot=ppl&…

1 0

Parma Polyhedra Library 0.6.1
by Roberto Bagnara 20 Aug '04

20 Aug '04

We have just released PPL 0.6.1. This release fixes some packaging and documentation issues that were present in PPL 0.6. For more information, visit the PPL web site at http://www.cs.unipr.it/ppl/ The PPL development team: Roberto Bagnara <bagnara(a)cs.unipr.it> Patricia M. Hill <hill(a)comp.leeds.ac.uk> Enea Zaffanella <zaffanella(a)cs.unipr.it> New and Changed Features ======================== o Some packaging issues have been fixed. o The documentation has been completed and improved. o The methods Polyhedra_PowerSet::semantically_contains(const Polyhedra_PowerSet&) and Polyhedra_PowerSet::semantically_equals(const Polyhedra_PowerSet&) have been renamed Polyhedra_PowerSet::geometrically_covers(const Polyhedra_PowerSet&) and Polyhedra_PowerSet::geometrically_equals(const Polyhedra_PowerSet& y), respectively. -- 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/bin update_web_site
by Roberto Bagnara 20 Aug '04

20 Aug '04

CVSROOT: /cvs/ppl Module name: w3ppl Changes by: roberto(a)cs.unipr.it 2004-08-20 21:59:37 Modified files: bin : update_web_site Log message: Changed the address to be used for notifications. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/w3ppl/bin/update_web_site.diff?cv…

1 0

w3ppl/htdocs news.raw ppl.raw
by Roberto Bagnara 20 Aug '04

20 Aug '04

CVSROOT: /cvs/ppl Module name: w3ppl Changes by: roberto(a)cs.unipr.it 2004-08-20 21:58:36 Modified files: htdocs : news.raw ppl.raw Log message: Updated for the release of PPL 0.6.1. Waste less space on the home page. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/w3ppl/htdocs/news.raw.diff?cvsroo… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/w3ppl/htdocs/ppl.raw.diff?cvsroot…

1 0

w3ppl/bin update_web_site
by Roberto Bagnara 20 Aug '04

20 Aug '04

CVSROOT: /cvs/ppl Module name: w3ppl Changes by: roberto(a)cs.unipr.it 2004-08-20 21:20:12 Modified files: bin : update_web_site Log message: Copyright years and branch name updated. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/w3ppl/bin/update_web_site.diff?cv…

1 0

w3ppl/bin ppl_release
by Roberto Bagnara 20 Aug '04

20 Aug '04

CVSROOT: /cvs/ppl Module name: w3ppl Changes by: roberto(a)cs.unipr.it 2004-08-20 21:18:49 Modified files: bin : ppl_release Log message: Date bumped. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/w3ppl/bin/ppl_release.diff?cvsroo…

1 0

ppl configure.ac
by Roberto Bagnara 20 Aug '04

20 Aug '04

CVSROOT: /cvs/ppl Module name: ppl Branch: ppl-0_6-branch Changes by: roberto(a)cs.unipr.it 2004-08-20 19:57:25 Modified files: . : configure.ac Log message: Update version. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/configure.ac.diff?cvsroot=ppl…

1 0