June 2007 - PPL-devel - BUGSENG Mailman

ppl ppl-0.9-docfiles.patch ppl.spec.in
by Roberto Bagnara 12 Jun '07

12 Jun '07

CVSROOT: /cvs/ppl Module name: ppl Branch: ppl-0_9-branch Changes by: bagnara(a)cs.unipr.it 2007-06-12 20:53:58 Modified files: . : ppl-0.9-docfiles.patch ppl.spec.in Log message: `%%check' added. Revised the description of the `devel' package. Include also the `TODO' file in the documentation of the main package. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/ppl-0.9-docfiles.patch.diff?c… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/ppl.spec.in.diff?cvsroot=ppl&…

1 0

ppl/interfaces/Java/jni ppl_java_common.cc
by Andrea Cimino 12 Jun '07

12 Jun '07

CVSROOT: /cvs/ppl Module name: ppl Changes by: cimino(a)cs.unipr.it 2007-06-12 20:25:57 Modified files: interfaces/Java/jni: ppl_java_common.cc Log message: Removed some useless calls in the Java interface. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Java/jni/ppl_java_…

1 0

ppl ppl.spec.in
by Roberto Bagnara 12 Jun '07

12 Jun '07

CVSROOT: /cvs/ppl Module name: ppl Branch: ppl-0_9-branch Changes by: bagnara(a)cs.unipr.it 2007-06-12 20:14:10 Modified files: . : ppl.spec.in Log message: Patch the `libtool' script after `%%configure' so as to fix the rpath issue. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/ppl.spec.in.diff?cvsroot=ppl&…

1 0

Re: [PPL-devel] OCaml interface to PPL
by Roberto Bagnara 12 Jun '07

12 Jun '07

Hormoz Zarnani wrote: > According to the PPL web site, there is an OCaml interface to the PPL. > However, I did not find any information about that in the documentation. > I was hoping that I could figure out how to use the OCaml interface by > looking at the source code. So I downloaded the source, but I only saw > interfaces for C and Prolog under the ppl-0.9/interfaces/ directory. Dear Hormoz, the OCaml interface for the PPL is available on what will become version 0.10 of the library. > How can I obtain the OCaml interface to PPL? There are two possibilities. The first is to use the anonymous CVS service, as explained in http://www.cs.unipr.it/ppl/Download/cvs#read-only-access This has the advantage that it will be easier for you to obtain fixes and improvements. The disadvantage is that you need more tools, as described in http://www.cs.unipr.it/ppl/Download/requirements (do not forget to run `autoreconf' in the root source directory in order to build the `configure' script and all the other "autoconfiscation" machinery). The second possibility is to download the snapshot I have just prepared for you at ftp://ftp.cs.unipr.it/pub/ppl/snapshots Please note that the version of PPL in CVS HEAD and contained in the tarball in the snapshots directory is unreleased/experimental/unstable. Said that, we will try to help in case you run into problems. Please let us know how it goes. > P.S. if I was supposed to contact somebody else about this, I apologize. > I did not see a "contacts" section on the PPL web site. I only saw a > link to your hope page, thus I thought I needed to contact you. Please direct all correspondence to ppl-devel(a)cs.unipr.it 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

[Fwd: OCaml interface to PPL]
by Roberto Bagnara 12 Jun '07

12 Jun '07

-------- Original Message -------- Subject: OCaml interface to PPL Date: Sat, 9 Jun 2007 18:35:10 -0400 From: Hormoz Zarnani <hzarnani(a)cs.cmu.edu> To: Roberto Bagnara <bagnara(a)cs.unipr.it> Dr. Bagnara, I am Hormoz Zarnani, a second-year student in the Computer Science PhD program at Carnegie Mellon University. I work in the area of formal methods. My advisor is Dr. Randall Bryant. I am implementing a decision procedure in which I need to solve systems of linear inequalities. I was looking for an external library for this task, and I think that the PPL suits my needs very well. The language I am using to implement the decision procedure is OCaml. According to the PPL web site, there is an OCaml interface to the PPL. However, I did not find any information about that in the documentation. I was hoping that I could figure out how to use the OCaml interface by looking at the source code. So I downloaded the source, but I only saw interfaces for C and Prolog under the ppl-0.9/interfaces/ directory. How can I obtain the OCaml interface to PPL? Thanks in advance. Regards, Hormoz P.S. if I was supposed to contact somebody else about this, I apologize. I did not see a "contacts" section on the PPL web site. I only saw a link to your hope page, thus I thought I needed to contact you. -- 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/interfaces/Prolog GNU/README.gprolog SWI/R ...
by Roberto Bagnara 08 Jun '07

08 Jun '07

CVSROOT: /cvs/ppl Module name: ppl Changes by: bagnara(a)cs.unipr.it 2007-06-08 21:01:45 Added files: interfaces/Prolog/GNU: README.gprolog interfaces/Prolog/SWI: README.swiprolog interfaces/Prolog/YAP: README.yap Log message: New documentation files. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/GNU/README.… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/SWI/README.… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/YAP/README.…

1 0

ppl ppl.spec.in
by Roberto Bagnara 08 Jun '07

08 Jun '07

CVSROOT: /cvs/ppl Module name: ppl Branch: ppl-0_9-branch Changes by: bagnara(a)cs.unipr.it 2007-06-08 18:32:22 Modified files: . : ppl.spec.in Log message: %install commands revised. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/ppl.spec.in.diff?cvsroot=ppl&…

1 0

ppl ./configure.ac Watchdog/configure.ac
by Roberto Bagnara 08 Jun '07

08 Jun '07

CVSROOT: /cvs/ppl Module name: ppl Changes by: bagnara(a)cs.unipr.it 2007-06-08 18:20:11 Modified files: . : configure.ac Watchdog : configure.ac Log message: Do not override the externally-provided CFLAGS and CXXFLAGS. 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/Watchdog/configure.ac.diff?cv…

1 0

ppl ./NEWS ./configure.ac demos/ppl_lcdd/ppl_l ...
by Roberto Bagnara 08 Jun '07

08 Jun '07

1 0

ppl/Watchdog Makefile.am NEWS configure.ac src ...
by Roberto Bagnara 08 Jun '07

08 Jun '07

1 0