August 2007 - PPL-devel - BUGSENG Mailman

w3ppl/htdocs/Documentation ppl.bib
by Roberto Bagnara 27 Aug '07

27 Aug '07

CVSROOT: /cvs/ppl Module name: w3ppl Changes by: bagnara(a)cs.unipr.it 2007-08-27 12:01:47 Modified files: htdocs/Documentation: ppl.bib Log message: Added BagnaraHZ08. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/w3ppl/htdocs/Documentation/ppl.bi…

1 0

ppl TODO
by Roberto Bagnara 26 Aug '07

26 Aug '07

CVSROOT: /cvs/ppl Module name: ppl Changes by: bagnara(a)cs.unipr.it 2007-08-26 17:56:29 Modified files: . : TODO Log message: Noted that it would be nice to have an implementation of Minkowski addition. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/TODO.diff?cvsroot=ppl&r1=1.22…

1 0

ppl TODO
by Roberto Bagnara 26 Aug '07

26 Aug '07

CVSROOT: /cvs/ppl Module name: ppl Changes by: bagnara(a)cs.unipr.it 2007-08-26 17:26:36 Modified files: . : TODO Log message: Added a note about the work of Kent Andersen and Gérard Cornuéjols. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/TODO.diff?cvsroot=ppl&r1=1.22…

1 0

[Fwd: Questions about complexity in PPL]
by Roberto Bagnara 22 Aug '07

22 Aug '07

-------- Original Message -------- Subject: Questions about complexity in PPL Date: Wed, 22 Aug 2007 18:20:18 +0200 From: Florent Bouchy <florent.bouchy(a)gmail.com> To: bagnara(a)cs.unipr.it Hi, first of all, thanks for PPL, which I am currently using in my PhD. I would like to know the complexity of some operations in PPL : intersection, union, and difference of 2 sets, and the emptiness test of a set. Could you please give me a rough algorithmical complexity, or a reference to a paper/presentation detailing them ? Thanks in advance ! -- Florent Bouchy LSV, ENS Cachan & CNRS -- 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/doc definitions.dox
by Enea Zaffanella 03 Aug '07

03 Aug '07

CVSROOT: /cvs/ppl Module name: ppl Changes by: zaffanella(a)cs.unipr.it 2007-08-03 15:46:09 Modified files: doc : definitions.dox Log message: Avoid duplicated section label. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/doc/definitions.dox.diff?cvsr…

1 0

ppl/doc user-c-interface.doxyconf-html.in user ...
by Enea Zaffanella 02 Aug '07

02 Aug '07

CVSROOT: /cvs/ppl Module name: ppl Changes by: zaffanella(a)cs.unipr.it 2007-08-02 13:23:09 Modified files: doc : user-c-interface.doxyconf-html.in user-c-interface.doxyconf-latex.in Added files: doc : user-c-interface.tex Log message: Upgraded to doxygen version 1.5.3. Changed LATEX_HEADER so as to be specific for the C interface. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/doc/user-c-interface.tex?cvsr… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/doc/user-c-interface.doxyconf… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/doc/user-c-interface.doxyconf…

1 0

ppl/interfaces/C ppl_interface_generator_c_cc_ ...
by Enea Zaffanella 02 Aug '07

02 Aug '07

CVSROOT: /cvs/ppl Module name: ppl Changes by: zaffanella(a)cs.unipr.it 2007-08-02 13:11:34 Modified files: interfaces/C : ppl_interface_generator_c_cc_code.m4 Log message: Do initialize a local Boolean variable passed by reference, so as to avoid 4 annoying warnings. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/C/ppl_interface_ge…

1 0

ppl/src meta_programming.hh
by Enea Zaffanella 02 Aug '07

02 Aug '07

CVSROOT: /cvs/ppl Module name: ppl Changes by: zaffanella(a)cs.unipr.it 2007-08-02 12:42:47 Modified files: src : meta_programming.hh Log message: Do hide documentation of inner class Is_Same_Or_Derived::Any. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/meta_programming.hh.diff?…

1 0

ppl/doc devref.doxyconf-latex.in devref.doxyco ...
by Enea Zaffanella 02 Aug '07

02 Aug '07

CVSROOT: /cvs/ppl Module name: ppl Changes by: zaffanella(a)cs.unipr.it 2007-08-02 09:47:54 Modified files: doc : devref.doxyconf-latex.in devref.doxyconf-html.in Log message: Upgraded to doxygen version 1.5.3. Added Interval_Restriction.defs.hh and Interval_Info.* to INPUT. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/doc/devref.doxyconf-latex.in.… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/doc/devref.doxyconf-html.in.d…

1 0

ppl/doc user.doxyconf-latex.in user.doxyconf-h ...
by Enea Zaffanella 02 Aug '07

02 Aug '07

CVSROOT: /cvs/ppl Module name: ppl Changes by: zaffanella(a)cs.unipr.it 2007-08-02 09:42:01 Modified files: doc : user.doxyconf-latex.in user.doxyconf-html.in Log message: Upgraded to doxygen version 1.5.3. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/doc/user.doxyconf-latex.in.di… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/doc/user.doxyconf-html.in.dif…

1 0