March 2002 - 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