May 2002 - PPL-devel - BUGSENG Mailman

ppl/tests Makefile.am NNCminimize5.cc append1. ...
by Enea Zaffanella 22 May '02

22 May '02

1 0

ppl/interfaces C/ppl_c.cc C/ppl_c.h Prolog/Pro ...
by Enea Zaffanella 22 May '02

22 May '02

1 0

ppl/src Polyhedron.cc Polyhedron.defs.hh
by Enea Zaffanella 22 May '02

22 May '02

CVSROOT: /cvs/ppl Module name: ppl Changes by: zaffanella(a)cs.unipr.it 2002-05-22 11:50:44 Modified files: src : Polyhedron.cc Polyhedron.defs.hh Log message: Renamed convex-hull into poly-hull. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Polyhedron.cc.diff?cvsroo… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Polyhedron.defs.hh.diff?c…

1 0

ppl/interfaces/Prolog/SWI Makefile.am
by Roberto Bagnara 22 May '02

22 May '02

CVSROOT: /cvs/ppl Module name: ppl Changes by: roberto(a)cs.unipr.it 2002-05-22 11:32:31 Modified files: interfaces/Prolog/SWI: Makefile.am Log message: Build the SWI Prolog interface only if SWI Prolog is installed. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/SWI/Makefil…

1 0

ppl ./Makefile.am ./configure.ac Watchdog/.cvs ...
by Roberto Bagnara 22 May '02

22 May '02

1 0

ppl/Watchdog
by Roberto Bagnara 22 May '02

22 May '02

CVSROOT: /cvs/ppl Module name: ppl Changes by: roberto(a)cs.unipr.it 2002-05-22 10:58:37 ppl/Watchdog Update of /cvs/ppl/ppl/Watchdog In directory spartacus.cs.unipr.it:/tmp/cvs-serv17594/Watchdog Log Message: Directory /cvs/ppl/ppl/Watchdog added to the repository

1 0

ppl/src Makefile.am globals.cc globals.hh
by Roberto Bagnara 22 May '02

22 May '02

CVSROOT: /cvs/ppl Module name: ppl Changes by: roberto(a)cs.unipr.it 2002-05-22 08:56:53 Modified files: src : Makefile.am globals.cc globals.hh Log message: New timeout mechanisms. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Makefile.am.diff?cvsroot=… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/globals.cc.diff?cvsroot=p… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/globals.hh.diff?cvsroot=p…

1 0

ppl/src Polyhedron.cc
by Roberto Bagnara 22 May '02

22 May '02

CVSROOT: /cvs/ppl Module name: ppl Changes by: roberto(a)cs.unipr.it 2002-05-22 08:29:49 Modified files: src : Polyhedron.cc Log message: Typo fixed. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Polyhedron.cc.diff?cvsroo…

1 0

ppl/src GenSys.cc
by Roberto Bagnara 22 May '02

22 May '02

CVSROOT: /cvs/ppl Module name: ppl Changes by: roberto(a)cs.unipr.it 2002-05-22 08:25:01 Modified files: src : GenSys.cc Log message: Useless emphasis removed. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/GenSys.cc.diff?cvsroot=pp…

1 0

ppl/interfaces/Prolog Makefile.am Ciao/Makefile.am
by Roberto Bagnara 22 May '02

22 May '02

CVSROOT: /cvs/ppl Module name: ppl Changes by: roberto(a)cs.unipr.it 2002-05-22 08:22:38 Modified files: interfaces/Prolog: Makefile.am interfaces/Prolog/Ciao: Makefile.am Log message: Compile also the Ciao Prolog interface, if Ciao Prolog is available. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/Makefile.am… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/Ciao/Makefi…

1 0