March 2008 - PPL-devel - BUGSENG Mailman

ppl src/Box.templates.hh tests/Box/relations3.cc
by Patricia Hill 06 Mar '08

06 Mar '08

CVSROOT: /cvs/ppl Module name: ppl Changes by: hill(a)cs.unipr.it 2008-03-06 22:29:57 Modified files: src : Box.templates.hh tests/Box : relations3.cc Log message: Fixed a bug in the interval_relation() when the relation is an equality. Test added that showed this bug. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Box.templates.hh.diff?cvs… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Box/relations3.cc.diff?…

1 0

ppl src/Octagonal_Shape.defs.hh src/Octagonal_ ...
by Patricia Hill 06 Mar '08

06 Mar '08

CVSROOT: /cvs/ppl Module name: ppl Changes by: hill(a)cs.unipr.it 2008-03-06 16:06:45 Modified files: src : Octagonal_Shape.defs.hh Octagonal_Shape.templates.hh tests/BD_Shape : relations4.cc tests/Octagonal_Shape: Makefile.am Added files: tests/Octagonal_Shape: relatwithcons3.cc Log message: In the Octagon domain, the relation_with() for a constraint now finds the relation with a non-octagonal difference constraint. Comment in Octagonal.defs.hh for relation_with() wrt this updated. Tests add to test this change. All tabs replaced by spaces in Octagonal.defs.hh and Octagonal_Shape.templates.hh The (if noisy) generated output in tests/BD_Shape/relations4.cc corrected. 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.templates… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/BD_Shape/relations4.cc.… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Octagonal_Shape/relatwi… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Octagonal_Shape/Makefil…

1 0

ppl/src BD_Shape.defs.hh BD_Shape.templates.hh
by Patricia Hill 06 Mar '08

06 Mar '08

CVSROOT: /cvs/ppl Module name: ppl Changes by: hill(a)cs.unipr.it 2008-03-06 15:21:38 Modified files: src : BD_Shape.defs.hh BD_Shape.templates.hh Log message: Removed/replaced all tabs. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/BD_Shape.defs.hh.diff?cvs… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/BD_Shape.templates.hh.dif…

1 0

ppl/src BD_Shape.templates.hh
by Patricia Hill 06 Mar '08

06 Mar '08

CVSROOT: /cvs/ppl Module name: ppl Changes by: hill(a)cs.unipr.it 2008-03-06 14:54:20 Modified files: src : BD_Shape.templates.hh Log message: Two comment lines added. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/BD_Shape.templates.hh.dif…

1 0

ppl src/BD_Shape.defs.hh src/BD_Shape.template ...
by Patricia Hill 06 Mar '08

06 Mar '08

CVSROOT: /cvs/ppl Module name: ppl Changes by: hill(a)cs.unipr.it 2008-03-06 13:26:39 Modified files: src : BD_Shape.defs.hh BD_Shape.templates.hh tests/BD_Shape : Makefile.am relations2.cc relations3.cc Added files: tests/BD_Shape : relations4.cc Log message: relation_with() for a constraint can now handle any constraint even if it is not a bounded difference. Comment in BD_Shape.defs.hh for this method updated. Tests added to check this (and existing tests to check exceptions revised). Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/BD_Shape.defs.hh.diff?cvs… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/BD_Shape.templates.hh.dif… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/BD_Shape/relations4.cc.… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/BD_Shape/Makefile.am.di… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/BD_Shape/relations2.cc.… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/BD_Shape/relations3.cc.…

1 0

ppl/interfaces ppl_interface_generator_common_ ...
by Patricia Hill 06 Mar '08

06 Mar '08

CVSROOT: /cvs/ppl Module name: ppl Changes by: hill(a)cs.unipr.it 2008-03-06 08:33:42 Modified files: interfaces : ppl_interface_generator_common_procedure_generators.m4 Log message: Enabled intersection_assign_and_minimize for all the Box domains, powersets with a Box domain as a disjunct and products with a Box domain as a component. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/ppl_interface_gene…

1 0

ppl/interfaces ppl_interface_generator_common_ ...
by Patricia Hill 06 Mar '08

06 Mar '08

CVSROOT: /cvs/ppl Module name: ppl Changes by: hill(a)cs.unipr.it 2008-03-06 08:00:33 Modified files: interfaces : ppl_interface_generator_common_procedure_generators.m4 Log message: In all the interfaces, the bounded_affine_image, generalized_affine_image, generalized_affine_image_lhs_rhs procedures are enabled now for: all the Box domains, powersets with a Box domain as its disjunct and products with a Box domain as a component. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/ppl_interface_gene…

1 0

ppl ./configure.ac Watchdog/configure.ac
by Roberto Bagnara 05 Mar '08

05 Mar '08

CVSROOT: /cvs/ppl Module name: ppl Changes by: bagnara(a)cs.unipr.it 2008-03-05 22:00:53 Modified files: . : configure.ac Watchdog : configure.ac Log message: Use the new style macro to initialize Libtool. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/configure.ac.diff?cvsroot=ppl… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/Watchdog/configure.ac.diff?cv…

1 0

ppl ./ltmain.sh Watchdog/ltmain.sh Watchdog/m4 ...
by Roberto Bagnara 05 Mar '08

05 Mar '08

CVSROOT: /cvs/ppl Module name: ppl Changes by: bagnara(a)cs.unipr.it 2008-03-05 21:49:36 Modified files: . : ltmain.sh Watchdog : ltmain.sh Watchdog/m4 : libtool.m4 m4 : libtool.m4 Log message: Updated to the CVS HEAD version of Libtool: this seems to solve the problems we experienced since the switch to Libtool 2.2. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/ltmain.sh.diff?cvsroot=ppl&r1… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/Watchdog/ltmain.sh.diff?cvsro… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/Watchdog/m4/libtool.m4.diff?c… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/m4/libtool.m4.diff?cvsroot=pp…

1 0

ppl src/Box.defs.hh src/Box.inlines.hh tests/B ...
by Patricia Hill 03 Mar '08

03 Mar '08

CVSROOT: /cvs/ppl Module name: ppl Changes by: hill(a)cs.unipr.it 2008-03-03 13:08:38 Modified files: src : Box.defs.hh Box.inlines.hh tests/Box : intersection1.cc Log message: Added method intersection_assign_and_minimize() needed for uniformity with other domains in the PPL. 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… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Box/intersection1.cc.di…

1 0