November 2001 - PPL-devel - BUGSENG Mailman

ppl/interfaces/Prolog Prolog_interface.dox
by Patricia Hill 08 Nov '01

08 Nov '01

CVSROOT: /cvs/ppl Module name: ppl Changes by: hill(a)cs.unipr.it 2001-11-08 22:23:55 Modified files: interfaces/Prolog: Prolog_interface.dox Log message: More detailed specification of the interface predicates with many examples added. Introduction includes grammar rules and list of some important issues wrt using the PPL in Prolog. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/Prolog_inte…

1 0

ppl/interfaces/Prolog/SICStus clpq.pl
by Patricia Hill 08 Nov '01

08 Nov '01

CVSROOT: /cvs/ppl Module name: ppl Changes by: hill(a)cs.unipr.it 2001-11-08 17:37:36 Modified files: interfaces/Prolog/SICStus: clpq.pl Log message: Each constraint output on a new line. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/SICStus/clp…

1 0

ppl/interfaces/Prolog/SICStus ppl_sicstus.pl
by Patricia Hill 08 Nov '01

08 Nov '01

CVSROOT: /cvs/ppl Module name: ppl Changes by: hill(a)cs.unipr.it 2001-11-08 15:33:00 Modified files: interfaces/Prolog/SICStus: ppl_sicstus.pl Log message: Comment containing documentation removed. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/SICStus/ppl…

1 0

ppl/interfaces/Prolog/SICStus clpq.pl
by Patricia Hill 08 Nov '01

08 Nov '01

CVSROOT: /cvs/ppl Module name: ppl Changes by: hill(a)cs.unipr.it 2001-11-08 15:30:07 Modified files: interfaces/Prolog/SICStus: clpq.pl Log message: The main polyhedron is now deleted when solve(goal) fails. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/SICStus/clp…

1 0

ppl/interfaces/Prolog/SICStus clpq.pl
by Patricia Hill 08 Nov '01

08 Nov '01

CVSROOT: /cvs/ppl Module name: ppl Changes by: hill(a)cs.unipr.it 2001-11-08 12:52:31 Modified files: interfaces/Prolog/SICStus: clpq.pl Log message: Unwanted polyhedra are deleted now when calls to solve/7 fail. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/SICStus/clp…

1 0

ppl/src Matrix.cc
by Roberto Bagnara 08 Nov '01

08 Nov '01

CVSROOT: /cvs/ppl Module name: ppl Changes by: roberto(a)cs.unipr.it 2001-11-08 11:37:18 Modified files: src : Matrix.cc Log message: Matrix::resize_no_copy() now deals with the case where the vector of rows must be reallocated. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Matrix.cc.diff?cvsroot=pp…

1 0

ppl/interfaces/Prolog Prolog_interface.dox
by Patricia Hill 08 Nov '01

08 Nov '01

CVSROOT: /cvs/ppl Module name: ppl Changes by: hill(a)cs.unipr.it 2001-11-08 10:34:01 Modified files: interfaces/Prolog: Prolog_interface.dox Log message: Detailed predicate descriptions drafted for SICStus Prolog. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/Prolog_inte…

1 0

ppl/interfaces/Prolog/SICStus clpq.pl
by Patricia Hill 08 Nov '01

08 Nov '01

CVSROOT: /cvs/ppl Module name: ppl Changes by: hill(a)cs.unipr.it 2001-11-08 08:33:59 Modified files: interfaces/Prolog/SICStus: clpq.pl Log message: Some improvements to the efficiency by replacing calls to member/2 by member_check/2 and by reducing the number of calls to ppl_check_empty. Also, numbervars/3 replaced by numvars/3 defined within clpq.pl. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/SICStus/clp…

1 0

ppl/interfaces/Prolog/SICStus ppl_sicstus.pl
by Patricia Hill 07 Nov '01

07 Nov '01

CVSROOT: /cvs/ppl Module name: ppl Changes by: hill(a)cs.unipr.it 2001-11-07 13:38:24 Modified files: interfaces/Prolog/SICStus: ppl_sicstus.pl Log message: First draft of documentation for ppl_sicstus.pl the interface for Prolog. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/SICStus/ppl…

1 0

ppl/interfaces/Prolog/SICStus clpq.pl
by Patricia Hill 07 Nov '01

07 Nov '01

CVSROOT: /cvs/ppl Module name: ppl Changes by: hill(a)cs.unipr.it 2001-11-07 11:20:56 Modified files: interfaces/Prolog/SICStus: clpq.pl Log message: This version tries to reduce the amount of memory leakage between requests for more solutions and between tests. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/SICStus/clp…

1 0