December 2005 - PPL-devel - BUGSENG Mailman

ppl ./NEWS interfaces/Prolog/Prolog_interface. ...
by Roberto Bagnara 29 Dec '05

29 Dec '05

CVSROOT: /cvs/ppl Module name: ppl Changes by: bagnara(a)cs.unipr.it 2005-12-29 07:50:09 Modified files: . : NEWS interfaces/Prolog: Prolog_interface.dox m4 : ac_check_swi_prolog.m4 Log message: We now require SWI-Prolog 5.6.0 or later version: the AC_CHECK_SWI_PROLOG macro checks that this requirement is fulfilled. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/NEWS.diff?cvsroot=ppl&r1=1.16… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/Prolog_inte… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/m4/ac_check_swi_prolog.m4.dif…

1 0

ppl/src Row.cc
by Roberto Bagnara 29 Dec '05

29 Dec '05

CVSROOT: /cvs/ppl Module name: ppl Changes by: bagnara(a)cs.unipr.it 2005-12-29 07:44:13 Modified files: src : Row.cc Log message: Avoid shadowing variables (and the consequent compiler warnings). Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Row.cc.diff?cvsroot=ppl&r…

1 0

ppl NEWS
by Enea Zaffanella 28 Dec '05

28 Dec '05

CVSROOT: /cvs/ppl Module name: ppl Changes by: zaffanella(a)cs.unipr.it 2005-12-28 17:39:24 Modified files: . : NEWS Log message: Added an item regarding the implementation of the domain of BD shapes. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/NEWS.diff?cvsroot=ppl&r1=1.16…

1 0

ppl/src LP_Problem.cc LP_Problem.inlines.hh
by Enea Zaffanella 28 Dec '05

28 Dec '05

CVSROOT: /cvs/ppl Module name: ppl Branch: simplex Changes by: zaffanella(a)cs.unipr.it 2005-12-28 17:37:28 Modified files: src : LP_Problem.cc LP_Problem.inlines.hh Log message: Throwing the documented exceptions when appropriate. Method OK() is no longer inlined and now performs some more accurate consistency check. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/LP_Problem.cc.diff?cvsroo… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/LP_Problem.inlines.hh.dif…

1 0

ppl/src LP_Problem.defs.hh
by Enea Zaffanella 28 Dec '05

28 Dec '05

CVSROOT: /cvs/ppl Module name: ppl Branch: simplex Changes by: zaffanella(a)cs.unipr.it 2005-12-28 17:33:47 Modified files: src : LP_Problem.defs.hh Log message: Added documentation about exceptions that should be thrown. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/LP_Problem.defs.hh.diff?c…

1 0

ppl/tests/Polyhedron LP_Problem3.cc
by Andrea Cimino 27 Dec '05

27 Dec '05

CVSROOT: /cvs/ppl Module name: ppl Branch: simplex Changes by: cimino(a)cs.unipr.it 2005-12-27 13:45:55 Modified files: tests/Polyhedron: LP_Problem3.cc Log message: Enabled by mistake NOISY macro: now disabled. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Polyhedron/LP_Problem3.…

1 0

ppl/tests/Polyhedron LP_Problem3.cc
by Andrea Cimino 27 Dec '05

27 Dec '05

CVSROOT: /cvs/ppl Module name: ppl Branch: simplex Changes by: cimino(a)cs.unipr.it 2005-12-27 13:44:21 Modified files: tests/Polyhedron: LP_Problem3.cc Log message: Inserted another challenger: the problem is solved also adding `incrementally' constraints to a Constraint_System and applying the simplex algorithm. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Polyhedron/LP_Problem3.…

1 0

ppl/tests/Polyhedron LP_Problem1.cc LP_Problem3.cc
by Andrea Cimino 25 Dec '05

25 Dec '05

CVSROOT: /cvs/ppl Module name: ppl Branch: simplex Changes by: cimino(a)cs.unipr.it 2005-12-25 13:07:36 Modified files: tests/Polyhedron: LP_Problem1.cc Added files: tests/Polyhedron: LP_Problem3.cc Log message: Added another test to check LP_Problem's incrementality. Avoid useless inclusions. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Polyhedron/LP_Problem3.… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Polyhedron/LP_Problem1.…

1 0

ppl/src BD_Shape.inlines.hh Checked_Number.defs.hh
by Enea Zaffanella 24 Dec '05

24 Dec '05

CVSROOT: /cvs/ppl Module name: ppl Changes by: zaffanella(a)cs.unipr.it 2005-12-24 12:29:41 Modified files: src : BD_Shape.inlines.hh Checked_Number.defs.hh Log message: Two FIXME replaced by corresponding TODO. Minor variable name improvements in generalized_affine_preimage. Splitted too long lines in Checked_Number.defs.hh. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/BD_Shape.inlines.hh.diff?… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Checked_Number.defs.hh.di…

1 0

ppl/src BD_Shape.defs.hh
by Enea Zaffanella 24 Dec '05

24 Dec '05

CVSROOT: /cvs/ppl Module name: ppl Changes by: zaffanella(a)cs.unipr.it 2005-12-24 12:27:51 Modified files: src : BD_Shape.defs.hh Log message: Indentation fixed. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/BD_Shape.defs.hh.diff?cvs…

1 0