April 2006 - PPL-devel - BUGSENG Mailman

ppl src/Octagon.defs.hh src/Octagon.templates. ...
by Elena Mazzi 19 Apr '06

19 Apr '06

1 0

ppl src/Octagon.defs.hh src/Octagon.inlines.hh ...
by Elena Mazzi 19 Apr '06

19 Apr '06

CVSROOT: /cvs/ppl Module name: ppl Branch: octagons Changes by: mazzi(a)cs.unipr.it 2006-04-19 13:21:46 Modified files: src : Octagon.defs.hh Octagon.inlines.hh Octagon.templates.hh tests/Octagon : Makefile.am cc76extrapolation1.cc Removed files: tests/Octagon : cc76extrapolation2.cc cc76extrapolation3.cc cc76extrapolation4.cc cc76extrapolation5.cc Log message: No longer disregard the optional tokens parameter in the CC76_extrapolation_assign() methods. Tests for Octagon::CC76_extrapolation_assign() rewritten according to the new guidelines. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Octagon.defs.hh.diff?cvsr… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Octagon.inlines.hh.diff?c… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Octagon.templates.hh.diff… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Octagon/Makefile.am.dif… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Octagon/cc76extrapolati… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Octagon/cc76extrapolati… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Octagon/cc76extrapolati… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Octagon/cc76extrapolati… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Octagon/cc76extrapolati…

1 0

ppl/src Octagon.templates.hh Octagon.inlines.h ...
by Barbara Quartieri 19 Apr '06

19 Apr '06

CVSROOT: /cvs/ppl Module name: ppl Branch: octagons Changes by: quartieri(a)cs.unipr.it 2006-04-19 12:55:50 Modified files: src : Octagon.templates.hh Octagon.inlines.hh Octagon.defs.hh Log message: Fixed the constructors and some methods. Defined the methods deduce_v_plus_u_bounds() and deduce_u_plus_v_bounds() used by affine_image(). Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Octagon.templates.hh.diff… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Octagon.inlines.hh.diff?c… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Octagon.defs.hh.diff?cvsr…

1 0

ppl/src OR_Matrix.defs.hh OR_Matrix.inlines.hh
by Barbara Quartieri 19 Apr '06

19 Apr '06

CVSROOT: /cvs/ppl Module name: ppl Branch: octagons Changes by: quartieri(a)cs.unipr.it 2006-04-19 12:49:37 Modified files: src : OR_Matrix.defs.hh OR_Matrix.inlines.hh Log message: Replaced the private field 'num_rows_' with the field 'space_dim', that is the dimension of the octagon represented by the OR_Matrix. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/OR_Matrix.defs.hh.diff?cv… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/OR_Matrix.inlines.hh.diff…

1 0

ppl src/Octagon.templates.hh tests/Octagon/Mak ...
by Elena Mazzi 19 Apr '06

19 Apr '06

CVSROOT: /cvs/ppl Module name: ppl Branch: octagons Changes by: mazzi(a)cs.unipr.it 2006-04-19 12:11:56 Modified files: src : Octagon.templates.hh tests/Octagon : Makefile.am cc76narrowing1.cc Removed files: tests/Octagon : cc76narrowing2.cc Log message: Improved Octagon::CC76_narrowing_assign(). Tests for Octagon::CC76_narrowing_assign() rewritten according to the new guidelines. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Octagon.templates.hh.diff… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Octagon/Makefile.am.dif… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Octagon/cc76narrowing1.… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Octagon/cc76narrowing2.…

1 0

ppl/src BD_Shape.templates.hh
by Elena Mazzi 19 Apr '06

19 Apr '06

CVSROOT: /cvs/ppl Module name: ppl Changes by: mazzi(a)cs.unipr.it 2006-04-19 12:05:35 Modified files: src : BD_Shape.templates.hh Log message: Corrected BD_Shape::get_limiting_shape(). Now there's no precision bug in BD_Shape::limited_CC76_extrapolation_assign(). Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/BD_Shape.templates.hh.dif…

1 0

ppl/tests/BD_Shape limitedcc76extrapolation1.cc
by Elena Mazzi 19 Apr '06

19 Apr '06

CVSROOT: /cvs/ppl Module name: ppl Changes by: mazzi(a)cs.unipr.it 2006-04-19 11:54:37 Modified files: tests/BD_Shape : limitedcc76extrapolation1.cc Log message: Corrected test number `6', now it shows a precision bug. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/BD_Shape/limitedcc76ext…

1 0

ppl src/Octagon.templates.hh tests/Octagon/Mak ...
by Elena Mazzi 19 Apr '06

19 Apr '06

1 0

ppl/tests/Octagon Makefile.am bhz03widening1.cc
by Enea Zaffanella 18 Apr '06

18 Apr '06

CVSROOT: /cvs/ppl Module name: ppl Branch: octagons Changes by: zaffanella(a)cs.unipr.it 2006-04-18 23:45:08 Modified files: tests/Octagon : Makefile.am Added files: tests/Octagon : bhz03widening1.cc Log message: Added a test for the BHZ03 widening on a powerset of octagons. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Octagon/bhz03widening1.… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Octagon/Makefile.am.dif…

1 0

ppl/src Octagon.defs.hh Octagon.inlines.hh Oct ...
by Enea Zaffanella 18 Apr '06

18 Apr '06

CVSROOT: /cvs/ppl Module name: ppl Branch: octagons Changes by: zaffanella(a)cs.unipr.it 2006-04-18 23:43:28 Modified files: src : Octagon.defs.hh Octagon.inlines.hh Octagon.templates.hh Log message: Corrected copyright year and address of the FSF. Added method strictly_contains(). Methods poly_hull_assign() and poly_hull_assign_and_minimize() renamed as oct_hull_assign() and oct_hull_assign_and_minimize(). Added method upper_bound_assign(). Added methods oct_hull_assign_if_exact() and upper_bound_assign_if_exact(), both with dummy implementations always returning false. Added method difference_assign(). Added token parameter tp to CH78_widening_assign(), temporarily ignored, so as to allow for using this widening in widen_fun_ref(). Duplicated code for numer_denom() and assign_min() removed: now using numer_denom() and min_assign() as defined in Implementation::BD_Shapes. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Octagon.defs.hh.diff?cvsr… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Octagon.inlines.hh.diff?c… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Octagon.templates.hh.diff…

1 0