September 2008 - PPL-devel - BUGSENG Mailman

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

12 Sep '08

CVSROOT: /cvs/ppl Module name: ppl Changes by: bagnara(a)cs.unipr.it 2008-09-12 18:45:46 Modified files: interfaces/C : Makefile.am ppl_c_implementation.cc ppl_c_implementation.defs.hh ppl_c_implementation.inlines.hh Log message: Code reorganized. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/C/Makefile.am.diff… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/C/ppl_c_implementa… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/C/ppl_c_implementa… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/C/ppl_c_implementa…

1 0

ppl/src Octagonal_Shape.defs.hh Octagonal_Shap ...
by Enea Zaffanella 12 Sep '08

12 Sep '08

CVSROOT: /cvs/ppl Module name: ppl Changes by: zaffanella(a)cs.unipr.it 2008-09-12 17:55:53 Modified files: src : Octagonal_Shape.defs.hh Octagonal_Shape.inlines.hh Octagonal_Shape.templates.hh Log message: Adapted methods add_constraint/congruences and constructors so as to throw exceptions if faced with something that is nontrivial and not octagonal. Also improved the precision of conversion constructors. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Octagonal_Shape.defs.hh.d… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Octagonal_Shape.inlines.h… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Octagonal_Shape.templates…

1 0

ppl/src Box.templates.hh
by Enea Zaffanella 12 Sep '08

12 Sep '08

CVSROOT: /cvs/ppl Module name: ppl Changes by: zaffanella(a)cs.unipr.it 2008-09-12 17:50:33 Modified files: src : Box.templates.hh Log message: Simplified implementation of teh constructor of a Box from a product domain. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Box.templates.hh.diff?cvs…

1 0

ppl/tests/Octagonal_Shape congruences1.cc memb ...
by Enea Zaffanella 12 Sep '08

12 Sep '08

CVSROOT: /cvs/ppl Module name: ppl Changes by: zaffanella(a)cs.unipr.it 2008-09-12 17:41:33 Modified files: tests/Octagonal_Shape: congruences1.cc membytes1.cc octhull1.cc Log message: Adapted to the new specification of add_constraint/congruence. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Octagonal_Shape/congrue… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Octagonal_Shape/membyte… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Octagonal_Shape/octhull…

1 0

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

12 Sep '08

CVSROOT: /cvs/ppl Module name: ppl Changes by: bagnara(a)cs.unipr.it 2008-09-12 15:49:38 Modified files: interfaces/C : ppl_interface_generator_c_cc_files.m4 Log message: Amended to include "ppl_c_implementation.defs.hh". Patches: 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 12 Sep '08

12 Sep '08

CVSROOT: /cvs/ppl Module name: ppl Changes by: bagnara(a)cs.unipr.it 2008-09-12 15:49:26 Modified files: interfaces/C : Makefile.am Log message: Updated the libppl_c_la_* variables. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/C/Makefile.am.diff…

1 0

ppl/interfaces/C ppl_c_implementation.defs.hh ...
by Roberto Bagnara 12 Sep '08

12 Sep '08

CVSROOT: /cvs/ppl Module name: ppl Changes by: bagnara(a)cs.unipr.it 2008-09-12 15:45:20 Added files: interfaces/C : ppl_c_implementation.defs.hh ppl_c_implementation.inlines.hh ppl_c_implementation.cc Log message: New files containing the domain-independent part of the C interface implementation. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/C/ppl_c_implementa… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/C/ppl_c_implementa… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/C/ppl_c_implementa…

1 0

ppl/tests/Box pointsetpowerset2.cc unconstrain1.cc
by Enea Zaffanella 12 Sep '08

12 Sep '08

CVSROOT: /cvs/ppl Module name: ppl Changes by: zaffanella(a)cs.unipr.it 2008-09-12 14:05:28 Modified files: tests/Box : pointsetpowerset2.cc unconstrain1.cc Log message: Fixed a couple of tests. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Box/pointsetpowerset2.c… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Box/unconstrain1.cc.dif…

1 0

ppl/src Box.templates.hh
by Enea Zaffanella 12 Sep '08

12 Sep '08

CVSROOT: /cvs/ppl Module name: ppl Changes by: zaffanella(a)cs.unipr.it 2008-09-12 13:05:59 Modified files: src : Box.templates.hh Log message: Old implementation for refine_no_check renamed propagate_constraint_no_check. Provided new implementation that just does a syntactic refinement. Avoid code repetitions by calling add_interval_constraint_no_check. When building a Box from a Polyhedron in polynomial time, use the method refine_with_constraints() applied to a simplified copy of the constraints of the polyhedron. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Box.templates.hh.diff?cvs…

1 0

ppl/src Box.inlines.hh Box.defs.hh
by Enea Zaffanella 12 Sep '08

12 Sep '08

CVSROOT: /cvs/ppl Module name: ppl Changes by: zaffanella(a)cs.unipr.it 2008-09-12 13:02:35 Modified files: src : Box.inlines.hh Box.defs.hh Log message: Added new (private) method add_interval_constraint_no_check, to be used when adding or refining after having checked that the constraint is a non-trivial interval constraint. Removed the comments for several private methods: they had a FIXME, but were anyway misleading; they now have a WRITE ME. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Box.inlines.hh.diff?cvsro… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Box.defs.hh.diff?cvsroot=…

1 0