November 2001 - PPL-devel - BUGSENG Mailman

ppl/interfaces/Prolog/SICStus ppl_sicstus.cc
by Roberto Bagnara 12 Nov '01

12 Nov '01

CVSROOT: /cvs/ppl Module name: ppl Changes by: roberto(a)cs.unipr.it 2001-11-12 22:31:21 Modified files: interfaces/Prolog/SICStus: ppl_sicstus.cc Log message: When compiled with run-time assertions switched on, the interface now checks that the Prolog caller is not messing around with Polyhedron's addresses. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/SICStus/ppl…

1 0

ppl/interfaces/Prolog/SICStus clpq.pl
by Roberto Bagnara 12 Nov '01

12 Nov '01

CVSROOT: /cvs/ppl Module name: ppl Changes by: roberto(a)cs.unipr.it 2001-11-12 17:42:03 Modified files: interfaces/Prolog/SICStus: clpq.pl Log message: Use ppl_add_constraints_and_minimize/2 instead of adding one constraint at a time and then checking for emptiness. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/SICStus/clp…

1 0

ppl/interfaces/Prolog/SICStus ppl_sicstus.cc p ...
by Roberto Bagnara 12 Nov '01

12 Nov '01

CVSROOT: /cvs/ppl Module name: ppl Changes by: roberto(a)cs.unipr.it 2001-11-12 17:41:06 Modified files: interfaces/Prolog/SICStus: ppl_sicstus.cc ppl_sicstus.pl Log message: New interface predicate ppl_add_constraints_and_minimize/2. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/SICStus/ppl… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/SICStus/ppl…

1 0

ppl/interfaces/Prolog/SICStus clpq.pl
by Roberto Bagnara 12 Nov '01

12 Nov '01

CVSROOT: /cvs/ppl Module name: ppl Changes by: roberto(a)cs.unipr.it 2001-11-12 16:57:34 Modified files: interfaces/Prolog/SICStus: clpq.pl Log message: Fixed bug in read_clauses/1: now unit clauses are read correctly. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/SICStus/clp…

1 0

ppl/interfaces/Prolog/SICStus clpq.pl
by Roberto Bagnara 12 Nov '01

12 Nov '01

CVSROOT: /cvs/ppl Module name: ppl Changes by: roberto(a)cs.unipr.it 2001-11-12 16:48:13 Modified files: interfaces/Prolog/SICStus: clpq.pl Log message: The meta-interpreter core has been rewritten. Computed answer constraints are also output in a readable way with variables named as in the original goal. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/SICStus/clp…

1 0

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

12 Nov '01

CVSROOT: /cvs/ppl Module name: ppl Changes by: hill(a)cs.unipr.it 2001-11-12 16:44:41 Modified files: interfaces/Prolog: Prolog_interface.dox Log message: General improvements throughout the file. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/Prolog_inte…

1 0

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

12 Nov '01

CVSROOT: /cvs/ppl Module name: ppl Changes by: hill(a)cs.unipr.it 2001-11-12 09:23:05 Modified files: interfaces/Prolog: Prolog_interface.dox Log message: A linear expression for defining constraints or generators can only have integer coefficients. Therefore division by a number is not allowed and option removed from the grammar rules. Also a number can multiply a PPL variable but not an arbitrary linear expression. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/Prolog_inte…

1 0

ppl config.guess config.sub
by Roberto Bagnara 11 Nov '01

11 Nov '01

CVSROOT: /cvs/ppl Module name: ppl Changes by: roberto(a)cs.unipr.it 2001-11-11 18:19:10 Modified files: . : config.guess config.sub Log message: Updated. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/config.guess.diff?cvsroot=ppl… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/config.sub.diff?cvsroot=ppl&r…

1 0

ppl/interfaces/Prolog/SICStus Makefile.am
by Roberto Bagnara 11 Nov '01

11 Nov '01

CVSROOT: /cvs/ppl Module name: ppl Changes by: roberto(a)cs.unipr.it 2001-11-11 18:18:39 Modified files: interfaces/Prolog/SICStus: Makefile.am Log message: Missing dependency added: pplsp depends on the library. Do not assume `.' is in PATH. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/SICStus/Mak…

1 0

ppl/src Constraint.defs.hh Constraint.inlines. ...
by Roberto Bagnara 11 Nov '01

11 Nov '01

CVSROOT: /cvs/ppl Module name: ppl Changes by: roberto(a)cs.unipr.it 2001-11-11 17:31:04 Modified files: src : Constraint.defs.hh Constraint.inlines.hh Generator.defs.hh Generator.inlines.hh Row.defs.hh Log message: std::swap() specialized both for Constraint and Generator. Less verbose comments for such a simple operation. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Constraint.defs.hh.diff?c… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Constraint.inlines.hh.dif… 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/Generator.inlines.hh.diff… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Row.defs.hh.diff?cvsroot=…

1 0