- PPL-devel - BUGSENG Mailman

ppl/interfaces/Prolog Makefile.am ppl_prolog.o ...
by Roberto Bagnara 01 Mar '02

01 Mar '02

CVSROOT: /cvs/ppl Module name: ppl Changes by: roberto(a)cs.unipr.it 2002-03-01 15:53:39 Modified files: interfaces/Prolog: Makefile.am Added files: interfaces/Prolog: ppl_prolog.outlines.hh Log message: Will try to derive as much Prolog interfaces as possible from this one. 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/Makefile.am…

1 0

ppl/interfaces/Prolog/Ciao ppl_ciao.cc ppl_ciao.pl
by Enea Zaffanella 01 Mar '02

01 Mar '02

CVSROOT: /cvs/ppl Module name: ppl Changes by: zaffanella(a)cs.unipr.it 2002-03-01 14:56:02 Modified files: interfaces/Prolog/Ciao: ppl_ciao.cc ppl_ciao.pl Log message: Ciao only handles integer type `int'. Added placeholders for linker and compiler options. Patches: 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/Ciao/ppl_ci…

1 0

ppl/interfaces/Prolog/Ciao ppl_ciao.cc ppl_ciao.pl
by Enea Zaffanella 01 Mar '02

01 Mar '02

CVSROOT: /cvs/ppl Module name: ppl Changes by: zaffanella(a)cs.unipr.it 2002-03-01 14:20:06 Added files: interfaces/Prolog/Ciao: ppl_ciao.cc ppl_ciao.pl Log message: Put under CVS control. The structure of ppl_ciao.pl is basically there, even if there still are gaps to be filled. ppl_ciao.cc, for the moment, is just a bare copy of the code written for SICStus. Patches: 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/Ciao/ppl_ci…

1 0

ppl/interfaces/Prolog/SWI
by Roberto Bagnara 01 Mar '02

01 Mar '02

CVSROOT: /cvs/ppl Module name: ppl Changes by: roberto(a)cs.unipr.it 2002-03-01 14:07:18 ppl/interfaces/Prolog/SWI Update of /cvs/ppl/ppl/interfaces/Prolog/SWI In directory spartacus.cs.unipr.it:/tmp/cvs-serv14719/SWI Log Message: Directory /cvs/ppl/ppl/interfaces/Prolog/SWI added to the repository

1 0

ppl/src conversion.cc minimize.cc
by Elisa Ricci 01 Mar '02

01 Mar '02

CVSROOT: /cvs/ppl Module name: ppl Branch: positive Changes by: ericci(a)cs.unipr.it 2002-03-01 12:42:14 Modified files: src : conversion.cc minimize.cc Log message: Tried to implement a new method to compute the system of constraints of a positive polyhedron defined by its system of generators: it is controlled by the flag "POS_SIMPLEX_TRICK". 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/minimize.cc.diff?cvsroot=…

1 0

ppl src/conversion.cc src/minimize.cc src/simp ...
by Elisa Ricci 28 Feb '02

28 Feb '02

CVSROOT: /cvs/ppl Module name: ppl Branch: positive Changes by: ericci(a)cs.unipr.it 2002-02-28 17:08:05 Modified files: src : conversion.cc minimize.cc simplify.cc tests : Makefile.am Added files: tests : bug7.cc bug7.dat Log message: We need the equalities that derived from the constraints of positivity of the variables: this resolves "bug6". Added a test that still fails. 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/minimize.cc.diff?cvsroot=… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/simplify.cc.diff?cvsroot=… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/bug7.cc.diff?cvsroot=pp… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/bug7.dat.diff?cvsroot=p… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Makefile.am.diff?cvsroo…

1 0

ppl TODO
by Roberto Bagnara 28 Feb '02

28 Feb '02

CVSROOT: /cvs/ppl Module name: ppl Changes by: roberto(a)cs.unipr.it 2002-02-28 12:44:38 Modified files: . : TODO Log message: Reference added. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/TODO.diff?cvsroot=ppl&r1=1.5&…

1 0

ppl/src Generator.defs.hh Row.defs.hh
by Elisa Ricci 28 Feb '02

28 Feb '02

CVSROOT: /cvs/ppl Module name: ppl Changes by: ericci(a)cs.unipr.it 2002-02-28 08:44:24 Modified files: src : Generator.defs.hh Row.defs.hh Log message: Changed the place of the comment about the inhomogeneous term of a vertex. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Generator.defs.hh.diff?cv… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Row.defs.hh.diff?cvsroot=…

1 0

ppl NEWS
by Roberto Bagnara 27 Feb '02

27 Feb '02

CVSROOT: /cvs/ppl Module name: ppl Changes by: roberto(a)cs.unipr.it 2002-02-27 19:50:53 Modified files: . : NEWS Log message: Better explanations. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/NEWS.diff?cvsroot=ppl&r1=1.13…

1 0

ppl/doc devref-browse.doxyconf-latex.in devref ...
by Roberto Bagnara 27 Feb '02

27 Feb '02

CVSROOT: /cvs/ppl Module name: ppl Changes by: roberto(a)cs.unipr.it 2002-02-27 19:32:34 Modified files: doc : devref-browse.doxyconf-latex.in devref-print.doxyconf-latex.in devref.doxyconf-html.in Log message: Predefine PPL_INTERNAL and PPL_HIDDEN. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/doc/devref-browse.doxyconf-la… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/doc/devref-print.doxyconf-lat… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/doc/devref.doxyconf-html.in.d…

1 0