March 2003 - PPL-devel - BUGSENG Mailman

ppl/doc definitions.dox
by Enea Zaffanella 12 Mar '03

12 Mar '03

CVSROOT: /cvs/ppl Module name: ppl Changes by: zaffanella(a)cs.unipr.it 2003-03-12 19:51:35 Modified files: doc : definitions.dox Log message: Another attempt at specifying the space-dimensions remapping operator. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/doc/definitions.dox.diff?cvsr…

1 0

ppl/interfaces/Prolog YAP/Makefile.am expected ...
by Roberto Bagnara 12 Mar '03

12 Mar '03

CVSROOT: /cvs/ppl Module name: ppl Changes by: roberto(a)cs.unipr.it 2003-03-12 19:47:44 Modified files: interfaces/Prolog/YAP: Makefile.am Added files: interfaces/Prolog: expected3 interfaces/Prolog/YAP: yap_pl_check.pl Log message: A first attempt at integrating `pl_check.pl' into the regression testing mechanism. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/expected3?c… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/YAP/yap_pl_… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/YAP/Makefil…

1 0

ppl/doc user-browse.doxyconf-latex.in user-pri ...
by Enea Zaffanella 12 Mar '03

12 Mar '03

CVSROOT: /cvs/ppl Module name: ppl Changes by: zaffanella(a)cs.unipr.it 2003-03-12 19:44:00 Modified files: doc : user-browse.doxyconf-latex.in user-print.doxyconf-latex.in user.doxyconf-html.in Log message: Hide the listing of friend compounds in the user documentation. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/doc/user-browse.doxyconf-late… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/doc/user-print.doxyconf-latex… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/doc/user.doxyconf-html.in.dif…

1 0

ppl/interfaces/Prolog pl_check.pl
by Patricia Hill 12 Mar '03

12 Mar '03

CVSROOT: /cvs/ppl Module name: ppl Changes by: hill(a)cs.unipr.it 2003-03-12 16:23:59 Modified files: interfaces/Prolog: pl_check.pl Log message: Removed the "and_minimize" from the code for the "checks" predicate. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/pl_check.pl…

1 0

ppl/src Polyhedron.cc
by Enea Zaffanella 12 Mar '03

12 Mar '03

CVSROOT: /cvs/ppl Module name: ppl Changes by: zaffanella(a)cs.unipr.it 2003-03-12 13:00:25 Modified files: src : Polyhedron.cc Log message: Corrected a bug in Polyhedron::add_genrators() whereby a generator system was wrongly declared sorted after the inclusion of pending rows. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Polyhedron.cc.diff?cvsroo…

1 0

ppl/interfaces/Prolog/GNU ppl_gprolog.pl
by Patricia Hill 12 Mar '03

12 Mar '03

CVSROOT: /cvs/ppl Module name: ppl Changes by: hill(a)cs.unipr.it 2003-03-12 10:35:31 Modified files: interfaces/Prolog/GNU: ppl_gprolog.pl Log message: Added missing definitions and corrected a bug. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/GNU/ppl_gpr…

1 0

ppl/tests Makefile.am addgenerators13.cc
by Roberto Bagnara 12 Mar '03

12 Mar '03

CVSROOT: /cvs/ppl Module name: ppl Changes by: roberto(a)cs.unipr.it 2003-03-12 08:49:44 Modified files: tests : Makefile.am Added files: tests : addgenerators13.cc Log message: New test exhibiting a bug triggered by an invocation to Polyhedron::add_generators().. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/addgenerators13.cc?cvsr… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Makefile.am.diff?cvsroo…

1 0

ppl/interfaces/Prolog pl_check.pl
by Patricia Hill 12 Mar '03

12 Mar '03

CVSROOT: /cvs/ppl Module name: ppl Changes by: hill(a)cs.unipr.it 2003-03-12 08:29:52 Modified files: interfaces/Prolog: pl_check.pl Log message: In many cases, predicates that are intended to cause Prolog failure in certain specified situations now tested more thoroughly. Unnecessary uses of "and_minimize" removed. Other general improvements. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/pl_check.pl…

1 0

ppl/interfaces/Prolog Prolog_interface.dox
by Roberto Bagnara 11 Mar '03

11 Mar '03

CVSROOT: /cvs/ppl Module name: ppl Changes by: roberto(a)cs.unipr.it 2003-03-11 20:10:49 Modified files: interfaces/Prolog: Prolog_interface.dox Log message: Mention that we support only YAP version 4.4 or later and Ciao Prolog 1.9 #44 or later. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/Prolog_inte…

1 0

ppl/interfaces/Prolog ppl_prolog.icc
by Roberto Bagnara 11 Mar '03

11 Mar '03

CVSROOT: /cvs/ppl Module name: ppl Changes by: roberto(a)cs.unipr.it 2003-03-11 19:50:44 Modified files: interfaces/Prolog: ppl_prolog.icc Log message: Now all the *_and_minimize/2 predicates fail if the resulting polyhedron is empty. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/ppl_prolog.…

1 0