June 2002 - PPL-devel - BUGSENG Mailman

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

ppl/src globals.hh
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 16:45:56 Modified files: src : globals.hh Log message: Simpler and more efficient implementation of Parma_Polyhedra_Library::maybe_abandon(). Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/globals.hh.diff?cvsroot=p…

1 0

ppl/src conversion.cc globals.hh
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 16:43:14 Modified files: src : conversion.cc globals.hh Log message: Documentation of `abandon_exponential_computations' changed: we now provide a quite strong guarantee, which is implemented in Polyhedron::conversion(). Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/conversion.cc.diff?cvsroo… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/globals.hh.diff?cvsroot=p…

1 0

ppl src/Polyhedron.defs.hh tests/NNCminimize1. ...
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 15:55:37 Modified files: src : Polyhedron.defs.hh tests : NNCminimize1.cc NNCminimize2.cc NNCminimize3.cc NNCminimize4.cc NNCminimize6.cc Log message: Methods strongly_minimize(), strongly_minimize_constraints() and strongly_minimize_generators() are now private; tests changed to call the public methods minimized_constraints() and minimized_generators(), instead. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Polyhedron.defs.hh.diff?c… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/NNCminimize1.cc.diff?cv… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/NNCminimize2.cc.diff?cv… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/NNCminimize3.cc.diff?cv… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/NNCminimize4.cc.diff?cv… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/NNCminimize6.cc.diff?cv…

1 0