August 2008 - PPL-devel - BUGSENG Mailman

ppl/tests/Polyhedron interspreservenlarge1.cc
by Enea Zaffanella 18 Aug '08

18 Aug '08

CVSROOT: /cvs/ppl Module name: ppl Changes by: zaffanella(a)cs.unipr.it 2008-08-18 12:15:16 Modified files: tests/Polyhedron: interspreservenlarge1.cc Log message: Added new test for zero-dim polyhedra. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Polyhedron/interspreser…

1 0

ppl/src Polyhedron_public.cc
by Enea Zaffanella 18 Aug '08

18 Aug '08

CVSROOT: /cvs/ppl Module name: ppl Changes by: zaffanella(a)cs.unipr.it 2008-08-18 12:13:01 Modified files: src : Polyhedron_public.cc Log message: Corrected new method intersection_preserving_enlarge_assign wrt the handling of zero-dimensional polyhedra. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Polyhedron_public.cc.diff…

1 0

ppl/interfaces ppl_interface_generator_common_ ...
by Patricia Hill 18 Aug '08

18 Aug '08

CVSROOT: /cvs/ppl Module name: ppl Changes by: hill(a)cs.unipr.it 2008-08-18 11:21:33 Modified files: interfaces : ppl_interface_generator_common_dat.m4 interfaces/OCaml/tests: test1.ml Log message: Enable the new method intersection_preserving_enlarge_assign(y) in all the interfaces for all domains except the products. Token test added to OCaml/tests/test1.ml for this method. 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/OCaml/tests/test1.…

1 0

ppl/interfaces/Prolog Makefile.am Ciao/ppl_cia ...
by Patricia Hill 18 Aug '08

18 Aug '08

CVSROOT: /cvs/ppl Module name: ppl Changes by: hill(a)cs.unipr.it 2008-08-18 10:43:15 Modified files: interfaces/Prolog: Makefile.am interfaces/Prolog/Ciao: ppl_ciao.cc interfaces/Prolog/GNU: ppl_gprolog_sd.cc interfaces/Prolog/SICStus: ppl_interface_generator_sicstus_sd_cc.m4 interfaces/Prolog/SWI: ppl_interface_generator_swiprolog_cc.m4 interfaces/Prolog/XSB: ppl_interface_generator_xsb_cc.m4 interfaces/Prolog/YAP: ppl_interface_generator_yap_cc.m4 Added files: interfaces/Prolog: ppl_interface_generator_prolog_icc_files.m4 Removed files: interfaces/Prolog: ppl_interface_generator_prolog_icc.m4 Log message: Instead of generating the Prolog interface C++ file ppl_prolog.icc we now generate ppl_prolog_main.icc and a separate file for each generated domain. 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/Makefile.am… 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/Ciao/ppl_ci… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/GNU/ppl_gpr… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/SICStus/ppl… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/SWI/ppl_int… 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/YAP/ppl_int…

1 0

ppl/src BD_Shape.defs.hh BD_Shape.templates.hh ...
by Roberto Bagnara 18 Aug '08

18 Aug '08

1 0

ppl/tests/Polyhedron Makefile.am
by Roberto Bagnara 18 Aug '08

18 Aug '08

CVSROOT: /cvs/ppl Module name: ppl Changes by: bagnara(a)cs.unipr.it 2008-08-18 09:15:28 Modified files: tests/Polyhedron: Makefile.am Log message: Removed interspreservenlarge1 and nnc_interspreservenlarge1 from XFAIL_TESTS. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Polyhedron/Makefile.am.…

1 0

ppl/src Polyhedron_public.cc
by Enea Zaffanella 18 Aug '08

18 Aug '08

CVSROOT: /cvs/ppl Module name: ppl Changes by: zaffanella(a)cs.unipr.it 2008-08-18 09:08:54 Modified files: src : Polyhedron_public.cc Log message: Fixed sortedness and low-level constraints issues in method intersection_preserving_enlarge_assign. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Polyhedron_public.cc.diff…

1 0

ppl/interfaces ppl_interface_generator_common_ ...
by Patricia Hill 18 Aug '08

18 Aug '08

CVSROOT: /cvs/ppl Module name: ppl Changes by: hill(a)cs.unipr.it 2008-08-18 08:39:24 Modified files: interfaces : ppl_interface_generator_common_dat.m4 interfaces/OCaml/tests: test1.ml interfaces/Prolog/tests: ppl_interface_generator_predicate_check_code.m4 Log message: Enabled affine_dimension() and is_topologically_closed() for all domains including the powerset and product domains. Minor change to OCaml/tests/test1.ml in preparation for generating the file. 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/OCaml/tests/test1.… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/tests/ppl_i…

1 0

ppl/tests/Box topclosed1.cc
by Patricia Hill 18 Aug '08

18 Aug '08

CVSROOT: /cvs/ppl Module name: ppl Changes by: hill(a)cs.unipr.it 2008-08-18 08:03:33 Modified files: tests/Box : topclosed1.cc Log message: Improved tests - better coverage and comments. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Box/topclosed1.cc.diff?…

1 0

ppl src/Polyhedron_public.cc tests/Polyhedron/ ...
by Roberto Bagnara 17 Aug '08

17 Aug '08

CVSROOT: /cvs/ppl Module name: ppl Changes by: bagnara(a)cs.unipr.it 2008-08-17 18:38:12 Modified files: src : Polyhedron_public.cc tests/Polyhedron: Makefile.am Log message: A more optimized version of Polyhedron::intersection_preserving_enlarge_assign(const Polyhedron&), currently causing assertion violations. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Polyhedron_public.cc.diff… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Polyhedron/Makefile.am.…

1 0