March 2005 - PPL-devel - BUGSENG Mailman

ppl/src BD_Shape.defs.hh
by Roberto Bagnara 25 Mar '05

25 Mar '05

CVSROOT: /cvs/ppl Module name: ppl Changes by: roberto(a)cs.unipr.it 2005-03-25 10:00:53 Modified files: src : BD_Shape.defs.hh Log message: The documentation of generalized_affine_image(Variable, Relation_Symbol, Linear_Expression&, const Coefficient&); is now consistent with the documentation. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/BD_Shape.defs.hh.diff?cvs…

1 0

ppl/src BD_Shape.inlines.hh
by Roberto Bagnara 25 Mar '05

25 Mar '05

CVSROOT: /cvs/ppl Module name: ppl Changes by: roberto(a)cs.unipr.it 2005-03-25 09:55:39 Modified files: src : BD_Shape.inlines.hh Log message: Comments of affine_preimage(Variable, Linear_Expression&, const Coefficient&) somewhat cleaned up. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/BD_Shape.inlines.hh.diff?…

1 0

ppl/src BD_Shape.defs.hh
by Roberto Bagnara 25 Mar '05

25 Mar '05

CVSROOT: /cvs/ppl Module name: ppl Changes by: roberto(a)cs.unipr.it 2005-03-25 09:36:19 Modified files: src : BD_Shape.defs.hh Log message: The documentation of affine_preimage(Variable, Linear_Expression&, const Coefficient&) is now consistent with the documentation. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/BD_Shape.defs.hh.diff?cvs…

1 0

ppl/src BD_Shape.inlines.hh
by Roberto Bagnara 25 Mar '05

25 Mar '05

CVSROOT: /cvs/ppl Module name: ppl Changes by: roberto(a)cs.unipr.it 2005-03-25 09:34:16 Modified files: src : BD_Shape.inlines.hh Log message: Comments of affine_image(Variable, Linear_Expression&, const Coefficient&) somewhat cleaned up. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/BD_Shape.inlines.hh.diff?…

1 0

ppl/src BD_Shape.defs.hh
by Roberto Bagnara 25 Mar '05

25 Mar '05

CVSROOT: /cvs/ppl Module name: ppl Changes by: roberto(a)cs.unipr.it 2005-03-25 09:26:46 Modified files: src : BD_Shape.defs.hh Log message: File comment fixed. The documentation of affine_image(Variable, Linear_Expression&, const Coefficient&) is now consistent with the documentation. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/BD_Shape.defs.hh.diff?cvs…

1 0

w3ppl/htdocs/Documentation ppl_citations.bib
by Roberto Bagnara 24 Mar '05

24 Mar '05

CVSROOT: /cvs/ppl Module name: w3ppl Changes by: roberto(a)cs.unipr.it 2005-03-24 11:45:27 Modified files: htdocs/Documentation: ppl_citations.bib Log message: Added page numbers to Frehse05. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/w3ppl/htdocs/Documentation/ppl_ci…

1 0

ppl/interfaces/Prolog Prolog_interface.dox
by Patricia Hill 24 Mar '05

24 Mar '05

CVSROOT: /cvs/ppl Module name: ppl Changes by: hill(a)cs.unipr.it 2005-03-24 11:29:33 Modified files: interfaces/Prolog: Prolog_interface.dox Log message: Comments concerning the widening and extrapolation predicates changed so as to state explicitly that the polyhedron referenced by the 1st handle must contain the polyhedron referenced by the second handle. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/Prolog_inte…

1 0

ppl/src Checked_Number.defs.hh Checked_Number. ...
by Abramo Bagnara 24 Mar '05

24 Mar '05

CVSROOT: /cvs/ppl Module name: ppl Changes by: abramo(a)cs.unipr.it 2005-03-24 09:48:12 Modified files: src : Checked_Number.defs.hh Checked_Number.inlines.hh Rounding.defs.hh Log message: Permit rounding default direction different from CURRENT. Added Checked_Number methods to save/restore rounding mode. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Checked_Number.defs.hh.di… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Checked_Number.inlines.hh… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Rounding.defs.hh.diff?cvs…

1 0

ppl/src Checked_Number.defs.hh Checked_Number. ...
by Abramo Bagnara 23 Mar '05

23 Mar '05

CVSROOT: /cvs/ppl Module name: ppl Changes by: abramo(a)cs.unipr.it 2005-03-23 19:21:05 Modified files: src : Checked_Number.defs.hh Checked_Number.inlines.hh checked_float.inlines.hh checked_int.inlines.hh checked_mpq.inlines.hh checked_mpz.inlines.hh checked_numeric_limits.hh Log message: Added explicit 'signed' to integral types. Fixed set_special for mpz and mpq. Use always extended assignment for Checked_Number. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Checked_Number.defs.hh.di… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Checked_Number.inlines.hh… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/checked_float.inlines.hh.… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/checked_int.inlines.hh.di… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/checked_mpq.inlines.hh.di… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/checked_mpz.inlines.hh.di… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/checked_numeric_limits.hh…

1 0

ppl/tests/Polyhedron Makefile.am
by Roberto Bagnara 22 Mar '05

22 Mar '05

CVSROOT: /cvs/ppl Module name: ppl Changes by: roberto(a)cs.unipr.it 2005-03-22 20:54:19 Modified files: tests/Polyhedron: Makefile.am Log message: Programs boundedh79extrapolation1 and nnc_boundedh79extrapolation1 removed from XFAIL_WITH_INT8 and added to XFAIL_WITH_INT8_A. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Polyhedron/Makefile.am.…

1 0