January 2008 - PPL-devel - BUGSENG Mailman

ppl/interfaces/Prolog Ciao/Makefile.am SICStus ...
by Patricia Hill 18 Jan '08

18 Jan '08

CVSROOT: /cvs/ppl Module name: ppl Changes by: hill(a)cs.unipr.it 2008-01-18 12:03:50 Modified files: interfaces/Prolog/Ciao: Makefile.am interfaces/Prolog/SICStus: sp_predicate_check.pl interfaces/Prolog/SWI: swi_predicate_check.pl interfaces/Prolog/XSB: ppl_interface_generator_xsb_predicate_check_P.m4 interfaces/Prolog/tests: ppl_interface_generator_predicate_check_pl.m4 Log message: Enable make predicate_check_test for Ciao. To do this, the ":- include ppl_predicate_check_common." directive has to be in the generated file ppl_predicate_check.pl For this reason, the corresponding directives in swi_predicate_check.pl and SICStus/sp_predicate_check.pl have been removed. For XSB, the include directive is not supported as is and instead a "#include" must be used. Changes made for XSB to handle this. Warning messages given by the Ciao system when compiling the generated file ppl_predicate_check.pl need further investigation but the test in Ciao succeeds. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/Ciao/Makefi… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/SICStus/sp_… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/SWI/swi_pre… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/XSB/ppl_int… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/tests/ppl_i…

1 0

ppl instchk.hh
by Patricia Hill 18 Jan '08

18 Jan '08

CVSROOT: /cvs/ppl Module name: ppl Changes by: hill(a)cs.unipr.it 2008-01-18 11:01:03 Modified files: . : instchk.hh Log message: The instantiation options "C_Polyhedron" and "NNC_Polyhedron" made invalid. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/instchk.hh.diff?cvsroot=ppl&r…

1 0

ppl/interfaces/Prolog SICStus/Makefile.am SICS ...
by Patricia Hill 18 Jan '08

18 Jan '08

CVSROOT: /cvs/ppl Module name: ppl Changes by: hill(a)cs.unipr.it 2008-01-18 10:50:29 Modified files: interfaces/Prolog/SICStus: Makefile.am sp_predicate_check.pl interfaces/Prolog/SWI: Makefile.am interfaces/Prolog/XSB: Makefile.am ppl_interface_generator_xsb_predicate_check_P.m4 Log message: The Prolog systems SWI, SICStus and XSB all allow for the toplevel command "make predicate_check_test" to check the generated ppl_prolog.icc code for the chosen set of instantiations. Note that XSB cannot manage more than three instantiations (eg "Polyhedron@Grid@Pointset_Powerset<C_Polyhedron>") at any one time. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/SICStus/Mak… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/SICStus/sp_… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/SWI/Makefil… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/XSB/Makefil… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/XSB/ppl_int…

1 0

ppl ./instchk.hh interfaces/ppl_interface_gene ...
by Patricia Hill 18 Jan '08

18 Jan '08

CVSROOT: /cvs/ppl Module name: ppl Changes by: hill(a)cs.unipr.it 2008-01-18 10:45:30 Modified files: . : instchk.hh interfaces : ppl_interface_generator_common_dat.m4 Log message: The instantiations for the powerset domains when the disjunct is a polyhedron is changed and now the topology must be explicit. Ie., the configuration instantiations option Pointset_Powerset<Polyhedron> is disabled but instead Pointset_Powerset<C_Polyhedron> and Pointset_Powerset<NNC_Polyhedron> are both enabled. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/instchk.hh.diff?cvsroot=ppl&r… 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 17 Jan '08

17 Jan '08

CVSROOT: /cvs/ppl Module name: ppl Changes by: hill(a)cs.unipr.it 2008-01-17 16:02:37 Modified files: interfaces : ppl_interface_generator_common_dat.m4 interfaces/Prolog: ppl_interface_generator_prolog_dat.m4 interfaces/Prolog/tests: ppl_predicate_check_common.pl src : Pointset_Powerset.defs.hh Pointset_Powerset.templates.hh tests/Polyhedron: Makefile.am Added files: tests/Polyhedron: pointsetpowerset5.cc Log message: For the powerset domains, added methods for relation_with() for constraint, congruence and generator to all the interfaces. In the interfaces, also enable the grids to have relation_with() for a generator. 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… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/tests/ppl_p… 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 interfaces/ppl_interface_generator_common_ ...
by Patricia Hill 17 Jan '08

17 Jan '08

CVSROOT: /cvs/ppl Module name: ppl Changes by: hill(a)cs.unipr.it 2008-01-17 13:18:46 Modified files: interfaces : ppl_interface_generator_common_dat.m4 src : Pointset_Powerset.defs.hh Pointset_Powerset.templates.hh tests/Polyhedron: pointsetpowerset4.cc Log message: For the powerset domain, the method topological_closure_assign() added to all the 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/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 17 Jan '08

17 Jan '08

CVSROOT: /cvs/ppl Module name: ppl Changes by: hill(a)cs.unipr.it 2008-01-17 12:23:02 Modified files: interfaces : ppl_interface_generator_common_dat.m4 interfaces/Prolog: ppl_interface_generator_prolog_dat.m4 interfaces/Prolog/tests: ppl_interface_generator_predicate_check_code.m4 Log message: Now allow for several more predicates for the powerset domain. In particular all the recent additions in the main C++ interface are now included in the Prolog interface. 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… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/tests/ppl_i…

1 0

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

17 Jan '08

CVSROOT: /cvs/ppl Module name: ppl Changes by: hill(a)cs.unipr.it 2008-01-17 11:48:40 Modified files: src : Pointset_Powerset.defs.hh Pointset_Powerset.inlines.hh Pointset_Powerset.templates.hh tests/Polyhedron: pointsetpowerset4.cc Log message: For the powerset domain, added methods intersection_assign_and_minimize(), contains() and strictly_contains() with appropriate tests. 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.inlines… 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 src/Pointset_Powerset.defs.hh src/Pointset ...
by Patricia Hill 17 Jan '08

17 Jan '08

CVSROOT: /cvs/ppl Module name: ppl Changes by: hill(a)cs.unipr.it 2008-01-17 09:32:53 Modified files: src : Pointset_Powerset.defs.hh Pointset_Powerset.templates.hh tests/Polyhedron: pointsetpowerset4.cc Log message: For the powerset domain, added methods add_congruence(), add_congruence_and_minimize(), add_congruences() and add_congruences_and_minimize() with tests. 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 src/Pointset_Powerset.templates.hh tests/P ...
by Patricia Hill 17 Jan '08

17 Jan '08

CVSROOT: /cvs/ppl Module name: ppl Changes by: hill(a)cs.unipr.it 2008-01-17 08:47:14 Modified files: src : Pointset_Powerset.templates.hh tests/Polyhedron: pointsetpowerset4.cc Log message: Fixed some bugs in code for maximize() and minimize() for the powerset domains and improved the tests. Patches: 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