September 2008 - PPL-devel - BUGSENG Mailman

ppl/src OR_Matrix.templates.hh
by Roberto Bagnara 30 Sep '08

30 Sep '08

CVSROOT: /cvs/ppl Module name: ppl Branch: generalized_streams Changes by: bagnara(a)cs.unipr.it 2008-09-30 12:13:06 Modified files: src : OR_Matrix.templates.hh Log message: Template parameters lists reordered. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/OR_Matrix.templates.hh.di…

1 0

ppl/src Any_Pointset.defs.hh Ask_Tell.defs.hh ...
by Abramo Bagnara 30 Sep '08

30 Sep '08

1 0

ppl/src Constraint.defs.hh Interval.defs.hh In ...
by Roberto Bagnara 30 Sep '08

30 Sep '08

1 0

ppl/src Constraint.inlines.hh Linear_Expressio ...
by Roberto Bagnara 30 Sep '08

30 Sep '08

CVSROOT: /cvs/ppl Module name: ppl Branch: generalized_streams Changes by: bagnara(a)cs.unipr.it 2008-09-30 11:09:23 Modified files: src : Constraint.inlines.hh Linear_Expression.cc Linear_Expression.defs.hh Linear_Expression.inlines.hh Makefile.am globals.defs.hh Added files: src : Linear_Expression.templates.hh Log message: Templatization of input and output methods started. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Linear_Expression.templat… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Constraint.inlines.hh.dif… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Linear_Expression.cc.diff… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Linear_Expression.defs.hh… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Linear_Expression.inlines… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Makefile.am.diff?cvsroot=… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/globals.defs.hh.diff?cvsr…

1 0

ppl/interfaces/Java/tests Makefile.am Parma_Po ...
by Patricia Hill 30 Sep '08

30 Sep '08

CVSROOT: /cvs/ppl Module name: ppl Changes by: hill(a)cs.unipr.it 2008-09-30 11:08:05 Modified files: interfaces/Java/tests: Makefile.am Added files: interfaces/Java/tests: Parma_Polyhedra_Library_test1.java Log message: Added tests for the Parma Polyhedra Library methods. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Java/tests/Parma_P… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Java/tests/Makefil…

1 0

ppl/interfaces/Prolog/GNU README.gprolog
by Patricia Hill 30 Sep '08

30 Sep '08

CVSROOT: /cvs/ppl Module name: ppl Changes by: hill(a)cs.unipr.it 2008-09-30 11:03:55 Modified files: interfaces/Prolog/GNU: README.gprolog Log message: Added a (draft) note on configuring for the GNU Prolog interface. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/GNU/README.…

1 0

ppl/tests/Polyhedron memory1.cc
by Roberto Bagnara 30 Sep '08

30 Sep '08

CVSROOT: /cvs/ppl Module name: ppl Changes by: bagnara(a)cs.unipr.it 2008-09-30 09:56:26 Modified files: tests/Polyhedron: memory1.cc Log message: On the Itanium, this test fails because of the bug reported in // http://www.cs.unipr.it/pipermail/ppl-devel/2008-September/012943.html Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Polyhedron/memory1.cc.d…

1 0

ppl/tests/BD_Shape closure1.cc
by Roberto Bagnara 30 Sep '08

30 Sep '08

CVSROOT: /cvs/ppl Module name: ppl Changes by: bagnara(a)cs.unipr.it 2008-09-30 09:41:01 Modified files: tests/BD_Shape : closure1.cc Log message: Expected results for test02() and test03() fixed. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/BD_Shape/closure1.cc.di…

1 0

ppl/interfaces ppl_interface_generator_common_ ...
by Patricia Hill 30 Sep '08

30 Sep '08

CVSROOT: /cvs/ppl Module name: ppl Changes by: hill(a)cs.unipr.it 2008-09-30 08:25:54 Modified files: interfaces : ppl_interface_generator_common_procedure_generators.m4 interfaces/Java/parma_polyhedra_library: ppl_interface_generator_java_classes_java_code.m4 Log message: Re-enable the approximate_partition method. Correct the m4 generating code for linear_partition and approximate_partition so that the method is only generated when the appropriate powerset domain is in the instantiations.. 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/Java/parma_polyhed…

1 0

ppl/interfaces/Java/tests MIP_Problem_test1.java
by Patricia Hill 30 Sep '08

30 Sep '08

CVSROOT: /cvs/ppl Module name: ppl Changes by: hill(a)cs.unipr.it 2008-09-30 08:14:08 Modified files: interfaces/Java/tests: MIP_Problem_test1.java Log message: Comment corrected. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Java/tests/MIP_Pro…

1 0