- PPL-devel - BUGSENG Mailman

ppl/doc definitions.dox ppl.sty
by Enea Zaffanella 06 Jun '02

06 Jun '02

CVSROOT: /cvs/ppl Module name: ppl Changes by: zaffanella(a)cs.unipr.it 2002-06-06 12:46:46 Modified files: doc : definitions.dox ppl.sty Log message: Started rewriting the introduction to the user manual. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/doc/definitions.dox.diff?cvsr… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/doc/ppl.sty.diff?cvsroot=ppl&…

1 0

ppl/interfaces/Prolog Prolog_interface.dox
by Roberto Bagnara 06 Jun '02

06 Jun '02

CVSROOT: /cvs/ppl Module name: ppl Changes by: roberto(a)cs.unipr.it 2002-06-06 10:50:02 Modified files: interfaces/Prolog: Prolog_interface.dox Log message: Explained how to use the library from SICStus Prolog. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/Prolog_inte…

1 0

ppl/src ConSys.defs.hh Constraint.defs.hh Gene ...
by Elisa Ricci 06 Jun '02

06 Jun '02

1 0

ppl/interfaces/Prolog/SWI Makefile.am ppl_pl.c ...
by Roberto Bagnara 05 Jun '02

05 Jun '02

CVSROOT: /cvs/ppl Module name: ppl Changes by: roberto(a)cs.unipr.it 2002-06-05 22:34:23 Modified files: interfaces/Prolog/SWI: Makefile.am Added files: interfaces/Prolog/SWI: ppl_pl.cc Removed files: interfaces/Prolog/SWI: pplpl.cc Log message: Renamed pplpl.cc to ppl_pl.cc. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/SWI/ppl_pl.… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/SWI/Makefil… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/SWI/pplpl.c…

1 0

ppl ppl.spec.in
by Roberto Bagnara 05 Jun '02

05 Jun '02

CVSROOT: /cvs/ppl Module name: ppl Changes by: roberto(a)cs.unipr.it 2002-06-05 22:18:29 Modified files: . : ppl.spec.in Log message: We will build several RPM packages out of our source tree. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/ppl.spec.in.diff?cvsroot=ppl&…

1 0

ppl NEWS
by Roberto Bagnara 05 Jun '02

05 Jun '02

CVSROOT: /cvs/ppl Module name: ppl Changes by: roberto(a)cs.unipr.it 2002-06-05 17:39:45 Modified files: . : NEWS Log message: Added support for timeout-guarded operations. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/NEWS.diff?cvsroot=ppl&r1=1.22…

1 0

ppl/tests Makefile.am watchdog1.cc timings.cc ...
by Roberto Bagnara 05 Jun '02

05 Jun '02

CVSROOT: /cvs/ppl Module name: ppl Changes by: roberto(a)cs.unipr.it 2002-06-05 17:28:18 Modified files: tests : Makefile.am watchdog1.cc Added files: tests : timings.cc timings.hh Log message: When NOISY, watchdog1 prints the time after which the timeout exception has been received. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/timings.cc.diff?cvsroot… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/timings.hh.diff?cvsroot… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Makefile.am.diff?cvsroo… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/watchdog1.cc.diff?cvsro…

1 0

ppl/interfaces/Prolog Prolog_interface.dox
by Patricia Hill 05 Jun '02

05 Jun '02

CVSROOT: /cvs/ppl Module name: ppl Changes by: hill(a)cs.unipr.it 2002-06-05 17:25:18 Modified files: interfaces/Prolog: Prolog_interface.dox Log message: Added documentation for the minimized_constraints and minimized_generators predicates. Removed comments that SWI, GNU, YAP are not yet supported. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/Prolog_inte…

1 0

ppl/interfaces/C ppl_c.cc ppl_c.h
by Enea Zaffanella 05 Jun '02

05 Jun '02

CVSROOT: /cvs/ppl Module name: ppl Changes by: zaffanella(a)cs.unipr.it 2002-06-05 17:12:25 Modified files: interfaces/C : ppl_c.cc ppl_c.h Log message: Added support for minimized_constraints() and minimized_generators() to the C interface. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/C/ppl_c.cc.diff?cv… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/C/ppl_c.h.diff?cvs…

1 0

ppl/interfaces/Prolog ppl_prolog.icc Ciao/ppl_ ...
by Enea Zaffanella 05 Jun '02

05 Jun '02

CVSROOT: /cvs/ppl Module name: ppl Changes by: zaffanella(a)cs.unipr.it 2002-06-05 16:49:46 Modified files: interfaces/Prolog: ppl_prolog.icc interfaces/Prolog/Ciao: ppl_ciao.pl interfaces/Prolog/GNU: ppl_gprolog_sd.pl interfaces/Prolog/SICStus: ppl_sicstus_sd.cc interfaces/Prolog/SWI: ppl_swiprolog.cc interfaces/Prolog/YAP: ppl_yap.cc Log message: All Prolog interfaces now have methods for accessing the minimized constraint and generator systems. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/ppl_prolog.… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/Ciao/ppl_ci… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/GNU/ppl_gpr… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/SICStus/ppl… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/SWI/ppl_swi… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/YAP/ppl_yap…

1 0