March 2008 - PPL-devel - BUGSENG Mailman

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

20 Mar '08

CVSROOT: /cvs/ppl Module name: ppl Changes by: hill(a)cs.unipr.it 2008-03-20 12:47:50 Modified files: interfaces : ppl_interface_generator_common_dat.m4 ppl_interface_generator_common_procedure_generators.m4 interfaces/Prolog: ppl_interface_generator_prolog_icc_code.m4 Log message: Added code in the Prolog interface for the refine_with methods. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/ppl_interface_gene… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/ppl_interface_gene… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/ppl_interfa…

1 0

ppl src/Partially_Reduced_Product.defs.hh src/ ...
by Patricia Hill 20 Mar '08

20 Mar '08

CVSROOT: /cvs/ppl Module name: ppl Changes by: hill(a)cs.unipr.it 2008-03-20 10:57:39 Modified files: src : Partially_Reduced_Product.defs.hh Partially_Reduced_Product.inlines.hh tests/Grid : partiallyreducedproduct4.cc Log message: Added refine_with methods to the product domains. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Partially_Reduced_Product… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Partially_Reduced_Product… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Grid/partiallyreducedpr…

1 0

ppl src/Pointset_Powerset.defs.hh src/Pointset ...
by Patricia Hill 20 Mar '08

20 Mar '08

CVSROOT: /cvs/ppl Module name: ppl Changes by: hill(a)cs.unipr.it 2008-03-20 09:09:01 Modified files: src : Pointset_Powerset.defs.hh Pointset_Powerset.templates.hh tests/Polyhedron: pointsetpowerset5.cc Log message: Added refine_with_congruence() and refine_with_congruences(). Tests added for all the refine_with methods for pointset powersets of polyhedra. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Pointset_Powerset.defs.hh… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Pointset_Powerset.templat… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Polyhedron/pointsetpowe…

1 0

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

19 Mar '08

CVSROOT: /cvs/ppl Module name: ppl Changes by: hill(a)cs.unipr.it 2008-03-19 14:47:34 Modified files: interfaces : ppl_interface_generator_common_procedure_generators.m4 interfaces/Prolog/tests: pl_grid_check.pl Log message: Disabled the and_minimize methods for all domains except for the Polyhedron domains. Removed all tests for the and_minimize methods from Prolog/tests/pl_grid_check.pl. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/ppl_interface_gene… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/tests/pl_gr…

1 0

ppl src/Polyhedron.defs.hh src/Polyhedron_publ ...
by Patricia Hill 19 Mar '08

19 Mar '08

1 0

ppl TODO
by Patricia Hill 19 Mar '08

19 Mar '08

CVSROOT: /cvs/ppl Module name: ppl Changes by: hill(a)cs.unipr.it 2008-03-19 08:36:54 Modified files: . : TODO Log message: Revised the geometric descriptors draft documentation for the add and refine_with methods for constraints and congruences. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/TODO.diff?cvsroot=ppl&r1=1.24…

1 0

ppl/tests/Box refinewithconstraints1.cc
by Patricia Hill 19 Mar '08

19 Mar '08

CVSROOT: /cvs/ppl Module name: ppl Changes by: hill(a)cs.unipr.it 2008-03-19 08:25:40 Modified files: tests/Box : refinewithconstraints1.cc Log message: tests 08 and 09 fail with checked-int8 Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Box/refinewithconstrain…

1 0

ppl/src Grid_public.cc
by Patricia Hill 19 Mar '08

19 Mar '08

CVSROOT: /cvs/ppl Module name: ppl Changes by: hill(a)cs.unipr.it 2008-03-19 07:43:08 Modified files: src : Grid_public.cc Log message: Restored implementation of add_constraints(). Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Grid_public.cc.diff?cvsro…

1 0

ppl src/Grid.defs.hh src/Grid.inlines.hh src/G ...
by Patricia Hill 18 Mar '08

18 Mar '08

CVSROOT: /cvs/ppl Module name: ppl Changes by: hill(a)cs.unipr.it 2008-03-18 22:39:23 Modified files: src : Grid.defs.hh Grid.inlines.hh Grid_public.cc tests/Grid : Makefile.am congruences1.cc Added files: tests/Grid : refinewithcongruences1.cc refinewithconstraints1.cc Log message: Added methods refine_with_congruence(), refine_with_congruences(), refine_with_constraint(), refine_with_constraints(). Removed some old redundant (commented out) tests in tests/Grid/congruences1.cc Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Grid.defs.hh.diff?cvsroot… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Grid.inlines.hh.diff?cvsr… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Grid_public.cc.diff?cvsro… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Grid/refinewithcongruen… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Grid/refinewithconstrai… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Grid/Makefile.am.diff?c… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Grid/congruences1.cc.di…

1 0

ppl ./ChangeLog Watchdog/ChangeLog
by Roberto Bagnara 18 Mar '08

18 Mar '08

CVSROOT: /cvs/ppl Module name: ppl Changes by: bagnara(a)cs.unipr.it 2008-03-18 20:58:21 Modified files: . : ChangeLog Watchdog : ChangeLog Log message: Updated. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/ChangeLog.diff?cvsroot=ppl&r1… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/Watchdog/ChangeLog.diff?cvsro…

1 0