|
 |
0240e06 |
*** ppl-0.9/interfaces/Prolog/GNU/README.gprolog 1970-01-01 01:00:00.000000000 +0100
|
|
|
0240e06 |
--- ppl-0.9-patched/interfaces/Prolog/GNU/README.gprolog 2007-02-18 11:37:53.000000000 +0100
|
|
|
0240e06 |
***************
|
|
|
0240e06 |
*** 0 ****
|
|
|
0240e06 |
--- 1,36 ----
|
|
|
0240e06 |
+ The GNU Prolog interface to the PPL is available both as a ``PPL
|
|
|
0240e06 |
+ enhanced'' GNU Prolog interpreter and as a library that can be linked
|
|
|
0240e06 |
+ to GNU Prolog programs. Only GNU Prolog version 1.2.19 and later
|
|
|
0240e06 |
+ versions are supported.
|
|
|
0240e06 |
+
|
|
|
0240e06 |
+ So that it can be used with the GNU Prolog PPL interface (and, for
|
|
|
0240e06 |
+ that matter, with any foreign code), the GNU Prolog installation must
|
|
|
0240e06 |
+ be configured with the `--disable-regs' option.
|
|
|
0240e06 |
+
|
|
|
0240e06 |
+
|
|
|
0240e06 |
+ The `ppl_gprolog' Executable
|
|
|
0240e06 |
+ ----------------------------
|
|
|
0240e06 |
+
|
|
|
0240e06 |
+ The `ppl_gprolog' executable is simply the GNU Prolog interpreter with
|
|
|
0240e06 |
+ the Parma Polyhedra Library linked in. The only thing you should do
|
|
|
0240e06 |
+ to use the library is to call `ppl_initialize/0' before any other PPL
|
|
|
0240e06 |
+ predicate and to call `ppl_finalize/0' when you are done with the
|
|
|
0240e06 |
+ library.
|
|
|
0240e06 |
+
|
|
|
0240e06 |
+
|
|
|
0240e06 |
+ Linking the Library To GNU Prolog Programs
|
|
|
0240e06 |
+ ------------------------------------------
|
|
|
0240e06 |
+
|
|
|
0240e06 |
+ In order to allow linking GNU Prolog programs to the PPL, the
|
|
|
0240e06 |
+ following files are installed in the directory `<prefix>/lib/ppl',
|
|
|
0240e06 |
+ where <prefix> is the root of your installation (`/usr' or
|
|
|
0240e06 |
+ `/usr/local' in most cases): `ppl_gprolog.pl' contains the required
|
|
|
0240e06 |
+ foreign declarations; `libppl_gprolog.*' contain the executable code
|
|
|
0240e06 |
+ for the GNU Prolog interface in various formats (static library,
|
|
|
0240e06 |
+ shared library, libtool library). If your GNU Prolog program is
|
|
|
0240e06 |
+ constituted by, say, `source1.pl' and `source2.pl' and you want to
|
|
|
0240e06 |
+ create the executable `myprog', your compilation command may look like
|
|
|
0240e06 |
+
|
|
|
0240e06 |
+ gplc -o myprog <prefix>/lib/ppl/ppl_gprolog.pl source1.pl source2.pl \
|
|
|
0240e06 |
+ -L '-L<prefix>/lib/ppl -lppl_gprolog -L<prefix>/lib \
|
|
|
0240e06 |
+ -lppl -lgmpxx -lgmp -lstdc++'
|
|
|
0240e06 |
*** ppl-0.9/interfaces/Prolog/SWI/README.swiprolog 1970-01-01 01:00:00.000000000 +0100
|
|
|
0240e06 |
--- ppl-0.9-patched/interfaces/Prolog/SWI/README.swiprolog 2007-02-18 11:38:09.000000000 +0100
|
|
|
0240e06 |
***************
|
|
|
0240e06 |
*** 0 ****
|
|
|
0240e06 |
--- 1,33 ----
|
|
|
0240e06 |
+ The SWI-Prolog interface to the PPL is available both as a statically
|
|
|
0240e06 |
+ linked module or as a dynamically linked one. Only SWI-Prolog version
|
|
|
0240e06 |
+ 5.6.0 and later versions are supported.
|
|
|
0240e06 |
+
|
|
|
0240e06 |
+
|
|
|
0240e06 |
+ The `ppl_pl' Executable
|
|
|
0240e06 |
+ -----------------------
|
|
|
0240e06 |
+
|
|
|
0240e06 |
+ The `ppl_pl' executable is simply the SWI-Prolog shell with the Parma
|
|
|
0240e06 |
+ Polyhedra Library statically linked: from within `ppl_pl' all the
|
|
|
0240e06 |
+ services of the library are available without further action.
|
|
|
0240e06 |
+
|
|
|
0240e06 |
+
|
|
|
0240e06 |
+ Loading the SWI-Prolog Interface Dynamically
|
|
|
0240e06 |
+ --------------------------------------------
|
|
|
0240e06 |
+
|
|
|
0240e06 |
+ In order to dynamically load the library from SWI-Prolog you should
|
|
|
0240e06 |
+ simply load `<prefix>/lib/ppl/ppl_swiprolog.pl', where <prefix> is the
|
|
|
0240e06 |
+ root of your installation (`/usr' or `/usr/local' in most cases).
|
|
|
0240e06 |
+ This will invoke `ppl_initialize/0' and `ppl_finalize/0'
|
|
|
0240e06 |
+ automatically. Alternatively, you can load the library directly with
|
|
|
0240e06 |
+
|
|
|
0240e06 |
+ :- load_foreign_library('<prefix>/lib/ppl/libppl_swiprolog').
|
|
|
0240e06 |
+
|
|
|
0240e06 |
+ This will call `ppl_initialize/0' automatically. Analogously,
|
|
|
0240e06 |
+
|
|
|
0240e06 |
+ :- unload_foreign_library('<prefix>/lib/ppl/libppl_swiprolog').
|
|
|
0240e06 |
+
|
|
|
0240e06 |
+ will, as part of the unload process, invoke `ppl_finalize/0'.
|
|
|
0240e06 |
+
|
|
|
0240e06 |
+ Notice that, for dynamic linking to work, you should have configured
|
|
|
0240e06 |
+ the library with the `--enable-shared' option (on most platforms this
|
|
|
0240e06 |
+ is the default).
|
|
|
0240e06 |
*** ppl-0.9/interfaces/Prolog/YAP/README.yap 1970-01-01 01:00:00.000000000 +0100
|
|
|
0240e06 |
--- ppl-0.9-patched/interfaces/Prolog/YAP/README.yap 2007-02-18 11:38:21.000000000 +0100
|
|
|
0240e06 |
***************
|
|
|
0240e06 |
*** 0 ****
|
|
|
0240e06 |
--- 1,11 ----
|
|
|
0240e06 |
+ The YAP Prolog interface to the PPL is available as a dynamically
|
|
|
0240e06 |
+ linked module. Only YAP version 5.1.1 and following are supported.
|
|
|
0240e06 |
+
|
|
|
0240e06 |
+ In order to dynamically load the library from YAP you should simply
|
|
|
0240e06 |
+ load `<prefix>/lib/ppl/ppl_yap.pl', where <prefix> is the root of your
|
|
|
0240e06 |
+ installation (`/usr' or `/usr/local' in most cases). This will invoke
|
|
|
0240e06 |
+ `ppl_initialize/0' automatically; it is the programmer's
|
|
|
0240e06 |
+ responsibility to call `ppl_finalize/0' when the PPL library is no
|
|
|
0240e06 |
+ longer needed. Notice that, for dynamic linking to work, you should
|
|
|
0240e06 |
+ have configured the library with the `--enable-shared' option (on most
|
|
|
0240e06 |
+ platforms this is the default).
|
|
|
0240e06 |
*** ppl-0.9/Watchdog/README.doc 1970-01-01 01:00:00.000000000 +0100
|
|
|
0240e06 |
--- ppl-0.9-patched/Watchdog/README.doc 2007-02-18 11:37:34.000000000 +0100
|
|
|
0240e06 |
***************
|
|
|
0240e06 |
*** 0 ****
|
|
|
0240e06 |
--- 1,5 ----
|
|
|
0240e06 |
+ Use the Source, Luke!
|
|
|
0240e06 |
+
|
|
|
0240e06 |
+ Seriously, for this release of the Parma Watchdog Library,
|
|
|
0240e06 |
+ documentation is only available in the sources, in Doxygen format.
|
|
|
0240e06 |
+ Proper manuals will be included in future releases.
|
|
|
0240e06 |
diff -ur ppl-0.9/doc/Makefile.in ppl-0.9-patched/doc/Makefile.in
|
|
|
0240e06 |
--- ppl-0.9/doc/Makefile.in 2006-03-12 09:11:41.000000000 +0100
|
|
|
0240e06 |
+++ ppl-0.9-patched/doc/Makefile.in 2007-06-12 20:41:45.000000000 +0200
|
|
|
0240e06 |
@@ -710,7 +710,7 @@
|
|
|
0240e06 |
for file in $(srcdir)/*.txt $(srcdir)/README.doc; do \
|
|
|
0240e06 |
$(INSTALL_DATA) $$file $(DESTDIR)$(txtdir)/`basename $$file`; \
|
|
|
0240e06 |
done
|
|
|
0240e06 |
- for file in BUGS COPYING CREDITS ChangeLog NEWS README README.configure ; do \
|
|
|
0240e06 |
+ for file in BUGS COPYING CREDITS ChangeLog NEWS README README.configure TODO ; do \
|
|
|
0240e06 |
$(INSTALL_DATA) $(srcdir)/../$$file $(DESTDIR)$(txtdir)/$$file; \
|
|
|
0240e06 |
done
|
|
|
0240e06 |
|
|
|
0240e06 |
@@ -719,7 +719,7 @@
|
|
|
0240e06 |
|
|
|
0240e06 |
uninstall-txt:
|
|
|
0240e06 |
rm -f $(DESTDIR)$(txtdir)/*.txt $(DESTDIR)$(txtdir)/README.doc
|
|
|
0240e06 |
- for file in BUGS COPYING CREDITS ChangeLog NEWS README README.configure ; do \
|
|
|
0240e06 |
+ for file in BUGS COPYING CREDITS ChangeLog NEWS README README.configure TODO ; do \
|
|
|
0240e06 |
rm -f $(DESTDIR)$(txtdir)/$$file; \
|
|
|
0240e06 |
done
|
|
|
0240e06 |
|
|
|
0240e06 |
diff -ur ppl-0.9/doc/definitions.dox ppl-0.9-patched/doc/definitions.dox
|
|
|
0240e06 |
--- ppl-0.9/doc/definitions.dox 2006-02-12 10:13:39.000000000 +0100
|
|
|
0240e06 |
+++ ppl-0.9-patched/doc/definitions.dox 2007-07-02 14:22:03.000000000 +0200
|
|
|
0240e06 |
@@ -2286,7 +2286,7 @@
|
|
|
0240e06 |
\anchor BHRZ03b
|
|
|
0240e06 |
R. Bagnara, P. M. Hill, E. Ricci, and E. Zaffanella.
|
|
|
0240e06 |
Precise widening operators for convex polyhedra.
|
|
|
0240e06 |
- Quaderno 312, Dipartimento di Matematica, Università di Parma,
|
|
|
0240e06 |
+ Quaderno 312, Dipartimento di Matematica, Università di Parma,
|
|
|
0240e06 |
Italy, 2003.
|
|
|
0240e06 |
Available at http://www.cs.unipr.it/Publications/.
|
|
|
0240e06 |
|
|
|
0240e06 |
@@ -2299,7 +2299,7 @@
|
|
|
0240e06 |
R. Bagnara, P. M. Hill, and E. Zaffanella.
|
|
|
0240e06 |
A new encoding and implementation of not necessarily closed convex
|
|
|
0240e06 |
polyhedra.
|
|
|
0240e06 |
- Quaderno 305, Dipartimento di Matematica, Università di Parma,
|
|
|
0240e06 |
+ Quaderno 305, Dipartimento di Matematica, Università di Parma,
|
|
|
0240e06 |
Italy, 2002.
|
|
|
0240e06 |
Available at http://www.cs.unipr.it/Publications/.
|
|
|
0240e06 |
|
|
|
0240e06 |
@@ -2315,8 +2315,8 @@
|
|
|
0240e06 |
the 1st CoLogNet Workshop on Component-based Software Development and
|
|
|
0240e06 |
Implementation Technology for Computational Logic Systems, pages 147-153,
|
|
|
0240e06 |
Madrid, Spain, 2002.
|
|
|
0240e06 |
- Published as TR Number CLIP4/02.0, Universidad Politécnica de
|
|
|
0240e06 |
- Madrid, Facultad de Informática.
|
|
|
0240e06 |
+ Published as TR Number CLIP4/02.0, Universidad Politécnica de
|
|
|
0240e06 |
+ Madrid, Facultad de Informática.
|
|
|
0240e06 |
|
|
|
0240e06 |
|
|
|
0240e06 |
|
|
|
0240e06 |
@@ -2353,7 +2353,7 @@
|
|
|
0240e06 |
\anchor BHZ04
|
|
|
0240e06 |
R. Bagnara, P. M. Hill, and E. Zaffanella.
|
|
|
0240e06 |
Widening operators for powerset domains.
|
|
|
0240e06 |
- Quaderno 349, Dipartimento di Matematica, Università di Parma,
|
|
|
0240e06 |
+ Quaderno 349, Dipartimento di Matematica, Università di Parma,
|
|
|
0240e06 |
Italy, 2004.
|
|
|
0240e06 |
Available at http://www.cs.unipr.it/Publications/.
|
|
|
0240e06 |
|
|
|
0240e06 |
@@ -2365,7 +2365,7 @@
|
|
|
0240e06 |
\anchor BJT99
|
|
|
0240e06 |
F. Besson, T. P. Jensen, and J.-P. Talpin.
|
|
|
0240e06 |
Polyhedral analysis for synchronous languages.
|
|
|
0240e06 |
- In A. Cortesi and G. Filé, editors, Static Analysis:
|
|
|
0240e06 |
+ In A. Cortesi and G. Filé, editors, Static Analysis:
|
|
|
0240e06 |
Proceedings of the 6th International Symposium, volume 1694 of Lecture
|
|
|
0240e06 |
Notes in Computer Science, pages 51-68, Venice, Italy, 1999.
|
|
|
0240e06 |
Springer-Verlag, Berlin.
|
|
|
0240e06 |
@@ -2393,7 +2393,7 @@
|
|
|
0240e06 |
R. Bagnara, E. Ricci, E. Zaffanella, and P. M. Hill.
|
|
|
0240e06 |
Possibly not closed convex polyhedra and the Parma Polyhedra
|
|
|
0240e06 |
Library.
|
|
|
0240e06 |
- Quaderno 286, Dipartimento di Matematica, Università di Parma,
|
|
|
0240e06 |
+ Quaderno 286, Dipartimento di Matematica, Università di Parma,
|
|
|
0240e06 |
Italy, 2002.
|
|
|
0240e06 |
See also \ref BRZH02c "[BRZH02c]". Available at
|
|
|
0240e06 |
http://www.cs.unipr.it/Publications/.
|
|
|
0240e06 |
@@ -2541,7 +2541,7 @@
|
|
|
0240e06 |
E. Gawrilow and M. Joswig.
|
|
|
0240e06 |
<tt>polymake</tt>: a framework for analyzing convex polytopes.
|
|
|
0240e06 |
In G. Kalai and G. M. Ziegler, editors, Polytopes -
|
|
|
0240e06 |
- Combinatorics and Computation, pages 43-74. Birkhäuser, 2000.
|
|
|
0240e06 |
+ Combinatorics and Computation, pages 43-74. Birkhäuser, 2000.
|
|
|
0240e06 |
|
|
|
0240e06 |
|
|
|
0240e06 |
|
|
|
0240e06 |
@@ -2562,10 +2562,10 @@
|
|
|
0240e06 |
|
|
|
0240e06 |
\anchor Hal79
|
|
|
0240e06 |
N. Halbwachs.
|
|
|
0240e06 |
- Détermination Automatique de Relations Linéaires
|
|
|
0240e06 |
- Vérifiées par les Variables d'un Programme.
|
|
|
0240e06 |
- Thèse de 3ème cycle d'informatique,
|
|
|
0240e06 |
- Université scientifique et médicale de Grenoble, Grenoble, France, March
|
|
|
0240e06 |
+ Détermination Automatique de Relations Linéaires
|
|
|
0240e06 |
+ Vérifiées par les Variables d'un Programme.
|
|
|
0240e06 |
+ Thèse de 3ème cycle d'informatique,
|
|
|
0240e06 |
+ Université scientifique et médicale de Grenoble, Grenoble, France, March
|
|
|
0240e06 |
1979.
|
|
|
0240e06 |
|
|
|
0240e06 |
|
|
|
0240e06 |
@@ -2725,7 +2725,7 @@
|
|
|
0240e06 |
F. Masdupuy.
|
|
|
0240e06 |
Array Indices Relational Semantic Analysis Using Rational Cosets
|
|
|
0240e06 |
and Trapezoids.
|
|
|
0240e06 |
- Thèse d'informatique, École Polytechnique, Palaiseau, France,
|
|
|
0240e06 |
+ Thèse d'informatique, École Polytechnique, Palaiseau, France,
|
|
|
0240e06 |
December 1993.
|
|
|
0240e06 |
|
|
|
0240e06 |
|
|
|
0240e06 |
diff -ur ppl-0.9/NEWS ppl-0.9-patched/NEWS
|
|
|
0240e06 |
--- ppl-0.9/NEWS 2006-03-05 18:31:24.000000000 +0100
|
|
|
0240e06 |
+++ ppl-0.9-patched/NEWS 2007-07-02 14:22:29.000000000 +0200
|
|
|
0240e06 |
@@ -1006,10 +1006,10 @@
|
|
|
0240e06 |
of the widenings introduced in
|
|
|
0240e06 |
|
|
|
0240e06 |
N. Halbwachs.
|
|
|
0240e06 |
- Détermination Automatique de Relations Linéaires
|
|
|
0240e06 |
- Vérifiées par les Variables d'un Programme.
|
|
|
0240e06 |
- Thèse de 3ème cicle d'informatique,
|
|
|
0240e06 |
- Université scientifique et médicale de Grenoble,
|
|
|
0240e06 |
+ Détermination Automatique de Relations Linéaires
|
|
|
0240e06 |
+ Vérifiées par les Variables d'un Programme.
|
|
|
0240e06 |
+ Thèse de 3ème cicle d'informatique,
|
|
|
0240e06 |
+ Université scientifique et médicale de Grenoble,
|
|
|
0240e06 |
Grenoble, France, March 1979.
|
|
|
0240e06 |
|
|
|
0240e06 |
and described in
|
|
|
0240e06 |
diff -ur ppl-0.9/TODO ppl-0.9-patched/TODO
|
|
|
0240e06 |
--- ppl-0.9/TODO 2006-03-05 22:50:55.000000000 +0100
|
|
|
0240e06 |
+++ ppl-0.9-patched/TODO 2007-07-02 14:22:40.000000000 +0200
|
|
|
0240e06 |
@@ -37,7 +37,7 @@
|
|
|
0240e06 |
- Reimplement the ask-and-tell generic construction.
|
|
|
0240e06 |
- Suppose we are only interested in integral solutions (as is the
|
|
|
0240e06 |
case, e.g., in most termination analyses). Then cutting-plane methods
|
|
|
0240e06 |
- (Gomory, Chvátal, ...) allow to shrink polyhedra still not losing any
|
|
|
0240e06 |
+ (Gomory, Chvátal, ...) allow to shrink polyhedra still not losing any
|
|
|
0240e06 |
integral solution.
|
|
|
0240e06 |
See http://www.cs.unipr.it/ppl/Documentation/bibliography#NemhauserW88
|
|
|
0240e06 |
|