April 2003 - PPL-devel - BUGSENG Mailman

ppl/interfaces/Prolog pl_check.pl Ciao/ppl_ciao.pl
by Patricia Hill 14 Apr '03

14 Apr '03

CVSROOT: /cvs/ppl Module name: ppl Changes by: hill(a)cs.unipr.it 2003-04-14 11:39:11 Modified files: interfaces/Prolog: pl_check.pl interfaces/Prolog/Ciao: ppl_ciao.pl Log message: This allows for failure in ciao for timeout_exception_atom when the atom given does not unify with the current value and also for the new_Polyhedron predicates when unifying the new handle with the input value. In order to test this, the tests in pl_check assume that unifying a new handle with value 0 will fail. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/pl_check.pl… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/Ciao/ppl_ci…

1 0

ppl/interfaces/Prolog/XSB expected2
by Roberto Bagnara 13 Apr '03

13 Apr '03

CVSROOT: /cvs/ppl Module name: ppl Changes by: roberto(a)cs.unipr.it 2003-04-13 21:08:29 Modified files: interfaces/Prolog/XSB: expected2 Log message: Adapted to strong normalization. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/XSB/expecte…

1 0

ppl/src ConSys.cc GenSys.cc Matrix.cc Matrix.d ...
by Enea Zaffanella 13 Apr '03

13 Apr '03

CVSROOT: /cvs/ppl Module name: ppl Changes by: zaffanella(a)cs.unipr.it 2003-04-13 13:12:54 Modified files: src : ConSys.cc GenSys.cc Matrix.cc Matrix.defs.hh Row.cc Row.defs.hh simplify.cc Log message: Added a boolean parameter to Matrix::OK() to control whether or not we also want to check for strong normalization of the rows in the matrix. Strong normalization is now checked when this might be useful, i.e., avoiding bare repetitions of the same check. Also added a method Row::check_strongly_normalized() with the obvious semantics. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/ConSys.cc.diff?cvsroot=pp… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/GenSys.cc.diff?cvsroot=pp… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Matrix.cc.diff?cvsroot=pp… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Matrix.defs.hh.diff?cvsro… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Row.cc.diff?cvsroot=ppl&r… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Row.defs.hh.diff?cvsroot=… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/simplify.cc.diff?cvsroot=…

1 0

ppl/interfaces/Prolog/Ciao Makefile.am
by Roberto Bagnara 13 Apr '03

13 Apr '03

CVSROOT: /cvs/ppl Module name: ppl Changes by: roberto(a)cs.unipr.it 2003-04-13 09:32:46 Modified files: interfaces/Prolog/Ciao: Makefile.am Log message: Do not use the GLOBALSTKSIZE kludge for testing with clpq2.pl. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/Ciao/Makefi…

1 0

ppl/interfaces/Prolog/Ciao ppl_ciao.pl
by Roberto Bagnara 13 Apr '03

13 Apr '03

CVSROOT: /cvs/ppl Module name: ppl Changes by: roberto(a)cs.unipr.it 2003-04-13 09:31:59 Modified files: interfaces/Prolog/Ciao: ppl_ciao.pl Log message: Indentation fixed. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/Ciao/ppl_ci…

1 0

ppl/interfaces/Prolog expected2
by Enea Zaffanella 12 Apr '03

12 Apr '03

CVSROOT: /cvs/ppl Module name: ppl Changes by: zaffanella(a)cs.unipr.it 2003-04-12 20:51:46 Modified files: interfaces/Prolog: expected2 Log message: Updated according to the enforcing of strong-normalization. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/expected2.d…

1 0

ppl/src simplify.cc
by Enea Zaffanella 12 Apr '03

12 Apr '03

CVSROOT: /cvs/ppl Module name: ppl Changes by: zaffanella(a)cs.unipr.it 2003-04-12 20:49:58 Modified files: src : simplify.cc Log message: Method Polyhedron::simplify(mat, sat) takes as 1st input argument a well-formed Matrix mat. When a ray-point-inequality is transformed into a line-equality, sign_normalization is applied to enforce strong-normalization. Well-formedness of mat also asserted on exit. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/simplify.cc.diff?cvsroot=…

1 0

ppl/src Matrix.cc
by Enea Zaffanella 12 Apr '03

12 Apr '03

CVSROOT: /cvs/ppl Module name: ppl Changes by: zaffanella(a)cs.unipr.it 2003-04-12 20:46:22 Modified files: src : Matrix.cc Log message: Methods Matrix::gauss() and Matrix::back_substitute() are applied to well-formed matrices and will return well-formed matrices. Corrected a bug in the handling of the sortedness flag in back_substitute(). Method Matrix::OK() now also checks strong normalization of rows. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Matrix.cc.diff?cvsroot=pp…

1 0

ppl/src Row.defs.hh Row.inlines.hh Row.cc
by Enea Zaffanella 12 Apr '03

12 Apr '03

CVSROOT: /cvs/ppl Module name: ppl Changes by: zaffanella(a)cs.unipr.it 2003-04-12 20:43:23 Modified files: src : Row.defs.hh Row.inlines.hh Row.cc Log message: Strong normalization of rows made inline and implemented by calling Row::normalize() and Row::sign_normalize(). Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Row.defs.hh.diff?cvsroot=… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Row.inlines.hh.diff?cvsro… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Row.cc.diff?cvsroot=ppl&r…

1 0

ppl/interfaces/C/lpenum expected
by Roberto Bagnara 11 Apr '03

11 Apr '03

CVSROOT: /cvs/ppl Module name: ppl Changes by: roberto(a)cs.unipr.it 2003-04-11 10:25:03 Modified files: interfaces/C/lpenum: expected Log message: Adapted to strong normalization. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/C/lpenum/expected.…

1 0