CVSROOT: /cvs/ppl
Module name: ppl
Changes by: roberto(a)cs.unipr.it 2002-05-24 07:26:49
Modified files:
. : Makefile.am
Log message:
If we are building the Watchdog library, make sure it is built
before entering the `tests' directory.
Patches:
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/Makefile.am.diff?cvsroot=ppl&…
CVSROOT: /cvs/ppl
Module name: ppl
Changes by: roberto(a)cs.unipr.it 2002-05-24 07:15:57
Modified files:
interfaces/Prolog: Prolog_interface.dox
Log message:
Be more specific about how to use the library in SICStus Prolog.
Patches:
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/Prolog_inte…
CVSROOT: /cvs/ppl
Module name: ppl
Changes by: roberto(a)cs.unipr.it 2002-05-22 13:24:48
Modified files:
src : conversion.cc
Log message:
Added a call to maybe_abandon(): this is supposed to be called on all the
exponential paths within the library and, in such paths, invocations
to it should be separated from one another by a distance that is bounded
from above by a polynomial of the size of the input to conversion().
Patches:
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/conversion.cc.diff?cvsroo…