April 2008 - PPL-devel - BUGSENG Mailman

ppl/src Grid.defs.hh
by Enea Zaffanella 24 Apr '08

24 Apr '08

CVSROOT: /cvs/ppl Module name: ppl Changes by: zaffanella(a)cs.unipr.it 2008-04-24 08:36:06 Modified files: src : Grid.defs.hh Log message: Minor improvements in documentation: do not refer to `reduced' congruence systems since it is undefined terminology at the user level. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Grid.defs.hh.diff?cvsroot…

1 0

ppl/src BD_Shape.defs.hh
by Enea Zaffanella 24 Apr '08

24 Apr '08

CVSROOT: /cvs/ppl Module name: ppl Changes by: zaffanella(a)cs.unipr.it 2008-04-24 08:29:45 Modified files: src : BD_Shape.defs.hh Log message: Minor fix in the indentation of the documentation. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/BD_Shape.defs.hh.diff?cvs…

1 0

ppl/interfaces ppl_interface_generator_common_ ...
by Patricia Hill 23 Apr '08

23 Apr '08

CVSROOT: /cvs/ppl Module name: ppl Changes by: hill(a)cs.unipr.it 2008-04-23 16:21:25 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 ppl_java_common.cc interfaces/Java/ppl_java: ppl_interface_generator_java_classes_java_code.m4 interfaces/Java/tests: ppl_interface_generator_java_test_java_code.m4 interfaces/OCaml: ppl_interface_generator_ocaml_cc_code.m4 ppl_interface_generator_ocaml_ml_code.m4 ppl_interface_generator_ocaml_mli_code.m4 interfaces/Prolog: ppl_interface_generator_prolog_icc_code.m4 interfaces/Prolog/tests: ppl_interface_generator_predicate_check_code.m4 ppl_predicate_check_common.pl Log message: Added to all the interfaces the unconstrain() procedure. Added (except to the C interface which already had it) the constrains() procedure. Added to the Prolog interface the option of building from a friend with complexity specified. Tests added for all new code in the Prolog and Java 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/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/jni/ppl_java_… 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/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/Prolog/ppl_interfa… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/tests/ppl_i… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/tests/ppl_p…

1 0

ppl/tests BD_Shape/pointsetpowerset1.cc Octago ...
by Patricia Hill 23 Apr '08

23 Apr '08

CVSROOT: /cvs/ppl Module name: ppl Changes by: hill(a)cs.unipr.it 2008-04-23 12:20:38 Modified files: tests/BD_Shape : pointsetpowerset1.cc tests/Octagonal_Shape: pointsetpowerset1.cc Log message: Revised the distances from the exact values in test 03. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/BD_Shape/pointsetpowers… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Octagonal_Shape/pointse…

1 0

ppl/tests BD_Shape/pointsetpowerset1.cc Box/po ...
by Roberto Bagnara 23 Apr '08

23 Apr '08

1 0

ppl/tests/Octagonal_Shape Makefile.am
by Patricia Hill 22 Apr '08

22 Apr '08

CVSROOT: /cvs/ppl Module name: ppl Changes by: hill(a)cs.unipr.it 2008-04-22 19:50:37 Modified files: tests/Octagonal_Shape: Makefile.am Log message: Type corrected. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Octagonal_Shape/Makefil…

1 0

ppl/tests/BD_Shape pointsetpowerset1.cc
by Patricia Hill 22 Apr '08

22 Apr '08

CVSROOT: /cvs/ppl Module name: ppl Changes by: hill(a)cs.unipr.it 2008-04-22 17:38:59 Modified files: tests/BD_Shape : pointsetpowerset1.cc Log message: Allow for non-integral numbers using check_result(). Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/BD_Shape/pointsetpowers…

1 0

ppl/tests/Octagonal_Shape pointsetpowerset1.cc
by Patricia Hill 22 Apr '08

22 Apr '08

CVSROOT: /cvs/ppl Module name: ppl Changes by: hill(a)cs.unipr.it 2008-04-22 17:21:18 Modified files: tests/Octagonal_Shape: pointsetpowerset1.cc Log message: Allow for non integral results using check_results() on the disjuncts. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Octagonal_Shape/pointse…

1 0

ppl ./NEWS src/Pointset_Powerset.cc src/Points ...
by Patricia Hill 22 Apr '08

22 Apr '08

1 0

ppl/src NNC_Polyhedron.defs.hh
by Enea Zaffanella 22 Apr '08

22 Apr '08

CVSROOT: /cvs/ppl Module name: ppl Changes by: zaffanella(a)cs.unipr.it 2008-04-22 11:53:05 Modified files: src : NNC_Polyhedron.defs.hh Log message: Properly order the list of parameters of NNC_Polyhedron(grid, complexity) in the doxygen documentation. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/NNC_Polyhedron.defs.hh.di…

1 0