January 2008 - PPL-devel - BUGSENG Mailman

ppl/interfaces/Prolog ppl_interface_generator_ ...
by Patricia Hill 16 Jan '08

16 Jan '08

CVSROOT: /cvs/ppl Module name: ppl Changes by: hill(a)cs.unipr.it 2008-01-16 21:56:56 Modified files: interfaces/Prolog: ppl_interface_generator_prolog_dat.m4 interfaces/Prolog/tests: ppl_interface_generator_predicate_check_code.m4 Log message: Now allow for ppl_Pointset_Powerset_..._equals_ppl_Pointset_Powerset_..._ in the Prolog interface. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/ppl_interfa… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/tests/ppl_i…

1 0

ppl/interfaces/Prolog ppl_interface_generator_ ...
by Patricia Hill 16 Jan '08

16 Jan '08

CVSROOT: /cvs/ppl Module name: ppl Changes by: hill(a)cs.unipr.it 2008-01-16 21:04:00 Modified files: interfaces/Prolog: ppl_interface_generator_prolog_dat.m4 Log message: Now the interfaces can support bounds_from_above/below() and maximize/minimize for the powerset domain. Also added support for bounds_from_above/below() for bd shapes and octagonal shapes in Prolog. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/ppl_interfa…

1 0

ppl src/Pointset_Powerset.defs.hh src/Pointset ...
by Patricia Hill 16 Jan '08

16 Jan '08

CVSROOT: /cvs/ppl Module name: ppl Changes by: hill(a)cs.unipr.it 2008-01-16 17:13:25 Modified files: src : Pointset_Powerset.defs.hh Pointset_Powerset.templates.hh tests/Polyhedron: Makefile.am Added files: tests/Polyhedron: pointsetpowerset4.cc Log message: For the powerset domains, added methods: bounds_from_above(), bounds_from_below(), maximize() and minimize() - both with and without returning the point. Tests added to check these. 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… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Polyhedron/Makefile.am.…

1 0

ppl src/Pointset_Powerset.defs.hh src/Pointset ...
by Patricia Hill 16 Jan '08

16 Jan '08

CVSROOT: /cvs/ppl Module name: ppl Changes by: hill(a)cs.unipr.it 2008-01-16 09:09:56 Modified files: src : Pointset_Powerset.defs.hh Pointset_Powerset.templates.hh tests/Polyhedron: pointsetpowerset3.cc Log message: Added to the powerset domain methods is_discrete() and is_disjoint_from(). 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 15 Jan '08

15 Jan '08

CVSROOT: /cvs/ppl Module name: ppl Changes by: hill(a)cs.unipr.it 2008-01-15 17:49:57 Modified files: interfaces : ppl_interface_generator_common_dat.m4 interfaces/Prolog: ppl_interface_generator_prolog_dat.m4 Log message: Added the is_empty(), is_universe(), is_topologically_closed() and is_bounded() for powersets to the Prolog interfaces. 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/ppl_interfa…

1 0

ppl src/Pointset_Powerset.defs.hh src/Pointset ...
by Patricia Hill 15 Jan '08

15 Jan '08

CVSROOT: /cvs/ppl Module name: ppl Changes by: hill(a)cs.unipr.it 2008-01-15 15:57:48 Modified files: src : Pointset_Powerset.defs.hh Pointset_Powerset.templates.hh tests/Polyhedron: Makefile.am Added files: tests/Polyhedron: pointsetpowerset3.cc Log message: Added to the pointset powerset domain tests is_empty() is_universe() is_topologically_closed() and is_bounded(). Tests for these also added. Note: in the code for is_universe() there are the 2 FIXME comments: // FIXME: this is not the most efficient implementation. // FIXME: this is buggy when PS is not an abstraction of NNC_Polyhedron. 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… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Polyhedron/Makefile.am.…

1 0

ppl/src Grid.defs.hh Grid_chdims.cc Grid_nonpu ...
by Patricia Hill 15 Jan '08

15 Jan '08

CVSROOT: /cvs/ppl Module name: ppl Changes by: hill(a)cs.unipr.it 2008-01-15 13:23:02 Modified files: src : Grid.defs.hh Grid_chdims.cc Grid_nonpublic.cc Grid_public.cc Log message: Replaced bad coding style in Boolean expressions by a more readable style. Also update_congruences() now returns void and not bool. 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_chdims.cc.diff?cvsro… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Grid_nonpublic.cc.diff?cv… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Grid_public.cc.diff?cvsro…

1 0

ppl/interfaces ppl_interface_generator_common_ ...
by Patricia Hill 15 Jan '08

15 Jan '08

CVSROOT: /cvs/ppl Module name: ppl Changes by: hill(a)cs.unipr.it 2008-01-15 10:18:55 Modified files: interfaces : ppl_interface_generator_common_dat.m4 interfaces/Prolog/tests: ppl_interface_generator_predicate_check_code.m4 Log message: Support for minimized representations added. 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/ppl_i…

1 0

ppl/src Grid_public.cc
by Patricia Hill 15 Jan '08

15 Jan '08

CVSROOT: /cvs/ppl Module name: ppl Changes by: hill(a)cs.unipr.it 2008-01-15 10:02:18 Modified files: src : Grid_public.cc Log message: Change to correct the bug in minimized_congruences(). Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Grid_public.cc.diff?cvsro…

1 0

ppl/tests/Grid mincongruences1.cc
by Patricia Hill 15 Jan '08

15 Jan '08

CVSROOT: /cvs/ppl Module name: ppl Changes by: hill(a)cs.unipr.it 2008-01-15 09:59:59 Modified files: tests/Grid : mincongruences1.cc Log message: Changed test04 to show a bug: an extra OK() test shows that after minimized_congruences(), the grid is not ok. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Grid/mincongruences1.cc…

1 0