December 2005 - PPL-devel - BUGSENG Mailman

ppl/src Grid_chdims.cc
by Matthew Mundell 23 Dec '05

23 Dec '05

CVSROOT: /cvs/ppl Module name: ppl Branch: grids Changes by: mundell(a)cs.unipr.it 2005-12-23 14:38:20 Modified files: src : Grid_chdims.cc Log message: Add a query about using the congruence system in remove_space_dimensions. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Grid_chdims.cc.diff?cvsro…

1 0

ppl NEWS
by Roberto Bagnara 23 Dec '05

23 Dec '05

CVSROOT: /cvs/ppl Module name: ppl Changes by: bagnara(a)cs.unipr.it 2005-12-23 11:36:30 Modified files: . : NEWS Log message: Our tentative release date for PPL 0.8 is January 20, 2006. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/NEWS.diff?cvsroot=ppl&r1=1.16…

1 0

ppl TODO
by Roberto Bagnara 23 Dec '05

23 Dec '05

CVSROOT: /cvs/ppl Module name: ppl Changes by: bagnara(a)cs.unipr.it 2005-12-23 11:34:43 Modified files: . : TODO Log message: Two items moved from PPL 0.8 to PPL 0.9. Added one more item to PPL 0.9. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/TODO.diff?cvsroot=ppl&r1=1.16…

1 0

ppl/tests/BD_Shape generalizedaffinepreimage1. ...
by Enea Zaffanella 23 Dec '05

23 Dec '05

CVSROOT: /cvs/ppl Module name: ppl Changes by: zaffanella(a)cs.unipr.it 2005-12-23 10:55:57 Modified files: tests/BD_Shape : generalizedaffinepreimage1.cc generalizedaffinepreimage2.cc Log message: Avoid using useless explicit constructors for Linear_Expression. Maximum allowed distances updated to reflect the approximations incurred by integer coefficient types. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/BD_Shape/generalizedaff… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/BD_Shape/generalizedaff…

1 0

ppl/src BD_Shape.inlines.hh
by Enea Zaffanella 23 Dec '05

23 Dec '05

CVSROOT: /cvs/ppl Module name: ppl Changes by: zaffanella(a)cs.unipr.it 2005-12-23 10:54:07 Modified files: src : BD_Shape.inlines.hh Log message: Minor improvements in the comments of generalized_affine_preimage. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/BD_Shape.inlines.hh.diff?…

1 0

ppl/interfaces/Prolog Prolog_interface.dox
by Enea Zaffanella 23 Dec '05

23 Dec '05

CVSROOT: /cvs/ppl Module name: ppl Branch: simplex Changes by: zaffanella(a)cs.unipr.it 2005-12-23 09:38:46 Modified files: interfaces/Prolog: Prolog_interface.dox Log message: Added the list of predicates related to the new PPL object LP_Problem. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/Prolog_inte…

1 0

ppl/interfaces/Prolog exceptions.hh ppl_prolog ...
by Enea Zaffanella 22 Dec '05

22 Dec '05

CVSROOT: /cvs/ppl Module name: ppl Branch: simplex Changes by: zaffanella(a)cs.unipr.it 2005-12-22 20:53:07 Modified files: interfaces/Prolog: exceptions.hh ppl_prolog.icc interfaces/Prolog/SWI: ppl_swiprolog.cc interfaces/Prolog/tests: pl_check.pl Log message: Drafted the (SWI) Prolog interface for class LP_Problem. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/exceptions.… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/ppl_prolog.… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/SWI/ppl_swi… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/tests/pl_ch…

1 0

ppl/tests/Grid relations2.cc
by Matthew Mundell 22 Dec '05

22 Dec '05

CVSROOT: /cvs/ppl Module name: ppl Branch: grids Changes by: mundell(a)cs.unipr.it 2005-12-22 20:01:42 Modified files: tests/Grid : relations2.cc Log message: Add test10 to test13, which test grids with divisors that are greater than one. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Grid/relations2.cc.diff…

1 0

ppl/src Grid_public.cc
by Matthew Mundell 22 Dec '05

22 Dec '05

CVSROOT: /cvs/ppl Module name: ppl Branch: grids Changes by: mundell(a)cs.unipr.it 2005-12-22 20:00:01 Modified files: src : Grid_public.cc Log message: Account for the divisor in the parameter case of relation_with(g) by modulating the scalar product by the product of the parameter divisor and the modulus, instead of by just the modulus. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Grid_public.cc.diff?cvsro…

1 0

ppl/interfaces/C ppl_c.cc ppl_c.h.in
by Enea Zaffanella 22 Dec '05

22 Dec '05

CVSROOT: /cvs/ppl Module name: ppl Branch: simplex Changes by: zaffanella(a)cs.unipr.it 2005-12-22 17:50:47 Modified files: interfaces/C : ppl_c.cc ppl_c.h.in Log message: Added the encoding of domain_error. The changes in the LP_Problem interface reflected here. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/C/ppl_c.cc.diff?cv… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/C/ppl_c.h.in.diff?…

1 0