September 2008 - PPL-devel - BUGSENG Mailman

ppl/tests/Box Makefile.am interval1.cc interva ...
by Roberto Bagnara 13 Sep '08

13 Sep '08

CVSROOT: /cvs/ppl Module name: ppl Changes by: bagnara(a)cs.unipr.it 2008-09-13 22:21:32 Modified files: tests/Box : Makefile.am interval1.cc Removed files: tests/Box : interval2.cc Log message: Generalized and reactivated interval1.cc. Removed now redundant interval2.cc. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Box/Makefile.am.diff?cv… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Box/interval1.cc.diff?c… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Box/interval2.cc.diff?c…

1 0

ppl/interfaces/C ppl_c_version.h.in
by Enea Zaffanella 13 Sep '08

13 Sep '08

CVSROOT: /cvs/ppl Module name: ppl Changes by: zaffanella(a)cs.unipr.it 2008-09-13 21:49:08 Modified files: interfaces/C : ppl_c_version.h.in Log message: Avoid Doxygen error (adding group "version" to itself). Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/C/ppl_c_version.h.…

1 0

ppl/tests/Box Makefile.am refinewithconstraint ...
by Roberto Bagnara 13 Sep '08

13 Sep '08

CVSROOT: /cvs/ppl Module name: ppl Changes by: bagnara(a)cs.unipr.it 2008-09-13 21:23:53 Modified files: tests/Box : Makefile.am refinewithconstraints1.cc Added files: tests/Box : propagateconstraints1.cc Log message: Tests for Box::propagate_constraints() moved from refinewithconstraints1.cc to new file propagateconstraints1.cc. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Box/propagateconstraint… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Box/Makefile.am.diff?cv… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Box/refinewithconstrain…

1 0

ppl/src Box.defs.hh Box.inlines.hh
by Roberto Bagnara 13 Sep '08

13 Sep '08

CVSROOT: /cvs/ppl Module name: ppl Changes by: bagnara(a)cs.unipr.it 2008-09-13 21:22:08 Modified files: src : Box.defs.hh Box.inlines.hh Log message: Added methods void propagate_constraint(const Constraint&) and void propagate_constraints(const Constraint_System&). Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Box.defs.hh.diff?cvsroot=… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Box.inlines.hh.diff?cvsro…

1 0

ppl/tests/Polyhedron refinewithcongruences1.cc
by Enea Zaffanella 13 Sep '08

13 Sep '08

CVSROOT: /cvs/ppl Module name: ppl Changes by: zaffanella(a)cs.unipr.it 2008-09-13 20:50:19 Modified files: tests/Polyhedron: refinewithcongruences1.cc Log message: Corrected the expected result of test05: refining a polyhedron with a trivially inconsistent proper congruence is no longer ignored, so that the polyhedron becomes empty. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Polyhedron/refinewithco…

1 0

ppl/src Polyhedron.defs.hh Polyhedron_public.c ...
by Enea Zaffanella 13 Sep '08

13 Sep '08

CVSROOT: /cvs/ppl Module name: ppl Changes by: zaffanella(a)cs.unipr.it 2008-09-13 20:47:38 Modified files: src : Polyhedron.defs.hh Polyhedron_public.cc Polyhedron_nonpublic.cc Log message: Private helper method refine_no_check() moved to Polyhedron_nonpublic.cc; also, the method now asserts !marked_empty() instead of checking it. In method add_(recycled)_constraint(s), no longer throwing a topology exception if the added strict inequalities are trivially inconsistent. Removed TODO comments from deprecated methods. Corrected several exception messages for the new refine_with_* methods. In several places, prefer refine_no_check() to add_constraint(). Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Polyhedron.defs.hh.diff?c… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Polyhedron_public.cc.diff… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Polyhedron_nonpublic.cc.d…

1 0

ppl/src Polyhedron_widenings.cc Polyhedron_chd ...
by Enea Zaffanella 13 Sep '08

13 Sep '08

CVSROOT: /cvs/ppl Module name: ppl Changes by: zaffanella(a)cs.unipr.it 2008-09-13 20:39:41 Modified files: src : Polyhedron_widenings.cc Polyhedron_chdims.cc Log message: Prefer add_recycled_constraints() to add_constraints(), when possible. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Polyhedron_widenings.cc.d… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Polyhedron_chdims.cc.diff…

1 0

ppl/interfaces/C ppl_c_header.h
by Roberto Bagnara 13 Sep '08

13 Sep '08

CVSROOT: /cvs/ppl Module name: ppl Changes by: bagnara(a)cs.unipr.it 2008-09-13 18:54:00 Modified files: interfaces/C : ppl_c_header.h Log message: Cosmetic improvements. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/C/ppl_c_header.h.d…

1 0

ppl/interfaces/C ppl_interface_generator_c_cc_ ...
by Roberto Bagnara 13 Sep '08

13 Sep '08

CVSROOT: /cvs/ppl Module name: ppl Changes by: bagnara(a)cs.unipr.it 2008-09-13 18:23:57 Modified files: interfaces/C : ppl_interface_generator_c_cc_files.m4 ppl_interface_generator_c_h.m4 ppl_interface_generator_c_hh_files.m4 Log message: Improved the generated comments. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/C/ppl_interface_ge… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/C/ppl_interface_ge… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/C/ppl_interface_ge…

1 0

ppl/interfaces/C Makefile.am
by Roberto Bagnara 13 Sep '08

13 Sep '08

CVSROOT: /cvs/ppl Module name: ppl Changes by: bagnara(a)cs.unipr.it 2008-09-13 17:57:02 Modified files: interfaces/C : Makefile.am Log message: List ppl_c.h in BUILT_SOURCES. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/C/Makefile.am.diff…

1 0