August 2008 - PPL-devel - BUGSENG Mailman

ppl/interfaces/OCaml ppl_interface_generator_o ...
by Roberto Bagnara 14 Aug '08

14 Aug '08

CVSROOT: /cvs/ppl Module name: ppl Changes by: bagnara(a)cs.unipr.it 2008-08-14 20:22:46 Modified files: interfaces/OCaml: ppl_interface_generator_ocaml_cc_code.m4 ppl_ocaml_globals.cc interfaces/OCaml/tests: Makefile.am Log message: Removed forgotten debug print statements. Removed useless file inclusions, namespace directives, and test functions. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/OCaml/ppl_interfac… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/OCaml/ppl_ocaml_gl… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/OCaml/tests/Makefi…

1 0

ppl configure.ac
by Roberto Bagnara 14 Aug '08

14 Aug '08

CVSROOT: /cvs/ppl Module name: ppl Changes by: bagnara(a)cs.unipr.it 2008-08-14 20:03:30 Modified files: . : configure.ac Log message: Version number bumped. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/configure.ac.diff?cvsroot=ppl…

1 0

ppl/interfaces/OCaml/tests Makefile.am
by Roberto Bagnara 14 Aug '08

14 Aug '08

CVSROOT: /cvs/ppl Module name: ppl Changes by: bagnara(a)cs.unipr.it 2008-08-14 20:03:16 Modified files: interfaces/OCaml/tests: Makefile.am Log message: Link options fixed. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/OCaml/tests/Makefi…

1 0

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

14 Aug '08

CVSROOT: /cvs/ppl Module name: ppl Changes by: hill(a)cs.unipr.it 2008-08-14 19:08:45 Modified files: interfaces : ppl_interface_generator_common_procedure_generators.m4 interfaces/Prolog/tests: ppl_interface_generator_predicate_check_code.m4 Log message: Now enabled constrains, unconstrain_space_dimension and unconstrain_space_dimensions for all simple domains ie Polyhedra, Grids, Octagonal_Shapes, BD_Shapes, and Boxes M4 code for generating tests for the different domains added to the Prolog tests directory. 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.defs.hh Grid_public.cc
by Enea Zaffanella 14 Aug '08

14 Aug '08

CVSROOT: /cvs/ppl Module name: ppl Changes by: zaffanella(a)cs.unipr.it 2008-08-14 16:56:35 Modified files: src : Grid.defs.hh Grid_public.cc Log message: Drafted implementation of method bool constrains(Variable var) const; 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_public.cc.diff?cvsro…

1 0

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

14 Aug '08

CVSROOT: /cvs/ppl Module name: ppl Changes by: hill(a)cs.unipr.it 2008-08-14 16:23:38 Modified files: interfaces : ppl_interface_generator_common_procedure_generators.m4 interfaces/C : ppl_interface_generator_c_cc_code.m4 ppl_interface_generator_c_h_code.m4 interfaces/Java/jni: ppl_interface_generator_java_ppl_java_classes_cc_code.m4 interfaces/Java/ppl_java: ppl_interface_generator_java_classes_java_code.m4 interfaces/Java/tests: ppl_interface_generator_java_test_java_code.m4 ppl_java_tests_common interfaces/OCaml: ppl_interface_generator_ocaml_cc_code.m4 ppl_interface_generator_ocaml_ml_code.m4 ppl_interface_generator_ocaml_mli_code.m4 interfaces/OCaml/tests: test1.ml interfaces/Prolog: ppl_interface_generator_prolog_icc_code.m4 interfaces/Prolog/tests: pl_check.pl Log message: Added constrains, unconstrain_space_dimension and unconstrain_space_dimensions for the Polyhedron domain to all the interfaces. Tests added for OCaml, Java and Prolog. 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/C/ppl_interface_ge… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/C/ppl_interface_ge… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Java/jni/ppl_inter… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Java/ppl_java/ppl_… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Java/tests/ppl_int… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Java/tests/ppl_jav… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/OCaml/ppl_interfac… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/OCaml/ppl_interfac… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/OCaml/ppl_interfac… 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/ppl_interfa… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/tests/pl_ch…

1 0

ppl/tests/Box Makefile.am constrains1.cc
by Enea Zaffanella 14 Aug '08

14 Aug '08

CVSROOT: /cvs/ppl Module name: ppl Changes by: zaffanella(a)cs.unipr.it 2008-08-14 16:09:35 Modified files: tests/Box : Makefile.am Added files: tests/Box : constrains1.cc Log message: Added test for method constrains(). Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Box/constrains1.cc?cvsr… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Box/Makefile.am.diff?cv…

1 0

ppl/src Box.defs.hh Box.templates.hh
by Enea Zaffanella 14 Aug '08

14 Aug '08

CVSROOT: /cvs/ppl Module name: ppl Changes by: zaffanella(a)cs.unipr.it 2008-08-14 16:09:08 Modified files: src : Box.defs.hh Box.templates.hh Log message: Drfated implementation for method bool constrains(Variable var) const; 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.templates.hh.diff?cvs…

1 0

ppl/tests/Octagonal_Shape Makefile.am constrai ...
by Enea Zaffanella 14 Aug '08

14 Aug '08

CVSROOT: /cvs/ppl Module name: ppl Changes by: zaffanella(a)cs.unipr.it 2008-08-14 15:13:43 Modified files: tests/Octagonal_Shape: Makefile.am Added files: tests/Octagonal_Shape: constrains1.cc Log message: Added test for new method constrains(). Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Octagonal_Shape/constra… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Octagonal_Shape/Makefil…

1 0

ppl/src Octagonal_Shape.defs.hh Octagonal_Shap ...
by Enea Zaffanella 14 Aug '08

14 Aug '08

CVSROOT: /cvs/ppl Module name: ppl Changes by: zaffanella(a)cs.unipr.it 2008-08-14 15:13:10 Modified files: src : Octagonal_Shape.defs.hh Octagonal_Shape.templates.hh Log message: Drafted implementation for method bool constrains(Variable var) const; 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…

1 0