April 2005 - PPL-devel - BUGSENG Mailman

ppl/src Congruence.inlines.hh Congruence.defs. ...
by Matthew Mundell 15 Apr '05

15 Apr '05

CVSROOT: /cvs/ppl Module name: ppl Branch: grids Changes by: mundell(a)cs.unipr.it 2005-04-15 10:41:10 Modified files: src : Congruence.inlines.hh Congruence.defs.hh Congruence.cc Log message: Add versions of reduced_scalar_product_assign and scalar_product_assign which accept parameters. Add method set_is_equality. In normalize set the inhomogeneous term to the modulus when the coefficients are all zero. Correct the loading of the "m" in ascii_load. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Congruence.inlines.hh.dif… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Congruence.defs.hh.diff?c… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Congruence.cc.diff?cvsroo…

1 0

ppl/tests ppl_test.hh
by Matthew Mundell 15 Apr '05

15 Apr '05

CVSROOT: /cvs/ppl Module name: ppl Branch: grids Changes by: mundell(a)cs.unipr.it 2005-04-15 10:30:48 Modified files: tests : ppl_test.hh Log message: In find_variation_template neaten the failure output, take out the tracing output, and note that `a' must be up to date. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/ppl_test.hh.diff?cvsroo…

1 0

w3ppl/htdocs/Documentation ppl.bib
by Roberto Bagnara 15 Apr '05

15 Apr '05

CVSROOT: /cvs/ppl Module name: w3ppl Changes by: roberto(a)cs.unipr.it 2005-04-15 10:02:39 Modified files: htdocs/Documentation: ppl.bib Log message: Use a double hyphen in page ranges. Use month codes instead of month names. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/w3ppl/htdocs/Documentation/ppl.bi…

1 0

w3ppl/htdocs/Documentation ppl.bib
by Roberto Bagnara 13 Apr '05

13 Apr '05

CVSROOT: /cvs/ppl Module name: w3ppl Changes by: roberto(a)cs.unipr.it 2005-04-13 19:13:20 Modified files: htdocs/Documentation: ppl.bib Log message: Added BagnaraMHZ05TR. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/w3ppl/htdocs/Documentation/ppl.bi…

1 0

w3ppl/htdocs/Documentation ppl.bib
by Roberto Bagnara 13 Apr '05

13 Apr '05

CVSROOT: /cvs/ppl Module name: w3ppl Changes by: roberto(a)cs.unipr.it 2005-04-13 19:02:04 Modified files: htdocs/Documentation: ppl.bib Log message: Mine04 fixed. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/w3ppl/htdocs/Documentation/ppl.bi…

1 0

ppl/Watchdog Time.inlines.hh
by Roberto Bagnara 11 Apr '05

11 Apr '05

CVSROOT: /cvs/ppl Module name: ppl Changes by: roberto(a)cs.unipr.it 2005-04-11 00:52:22 Modified files: Watchdog : Time.inlines.hh Log message: Fixed a bug in Time::operator+=(const Time&). Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/Watchdog/Time.inlines.hh.diff…

1 0

ppl src/BD_Shape.inlines.hh tests/BD_Shape/aff ...
by Roberto Bagnara 10 Apr '05

10 Apr '05

CVSROOT: /cvs/ppl Module name: ppl Changes by: roberto(a)cs.unipr.it 2005-04-10 22:04:11 Modified files: src : BD_Shape.inlines.hh tests/BD_Shape : affineimage8.cc affineimage9.cc affinepreimage5.cc generalizedaffineimage14.cc Log message: Improved methods BD_Shape::affine_image(Variable, const Linear_Expression&, Coefficient_traits::const_reference), BD_Shape::affine_preimage(Variable, const Linear_Expression&, Coefficient_traits::const_reference), and BD_Shape::generalized_affine_image(Variable, Relation_Symbol, const Linear_Expression&, Coefficient_traits::const_reference). 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/tests/BD_Shape/affineimage8.c… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/BD_Shape/affineimage9.c… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/BD_Shape/affinepreimage… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/BD_Shape/generalizedaff…

1 0

ppl/tests ppl_test.hh
by Roberto Bagnara 06 Apr '05

06 Apr '05

CVSROOT: /cvs/ppl Module name: ppl Changes by: roberto(a)cs.unipr.it 2005-04-06 18:08:15 Modified files: tests : ppl_test.hh Log message: Added negate_round_up(). Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/ppl_test.hh.diff?cvsroo…

1 0

ppl/src Polyhedron_public.cc
by Roberto Bagnara 03 Apr '05

03 Apr '05

CVSROOT: /cvs/ppl Module name: ppl Changes by: roberto(a)cs.unipr.it 2005-04-03 17:28:47 Modified files: src : Polyhedron_public.cc Log message: Wrong indentation corrected. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Polyhedron_public.cc.diff…

1 0

ppl README
by Roberto Bagnara 03 Apr '05

03 Apr '05

CVSROOT: /cvs/ppl Module name: ppl Changes by: roberto(a)cs.unipr.it 2005-04-03 17:25:14 Modified files: . : README Log message: Sentence fixed. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/README.diff?cvsroot=ppl&r1=1.…

1 0