September 2008 - PPL-devel - BUGSENG Mailman

ppl/interfaces/C ppl_c_header.h ppl_c_implemen ...
by Enea Zaffanella 18 Sep '08

18 Sep '08

CVSROOT: /cvs/ppl Module name: ppl Changes by: zaffanella(a)cs.unipr.it 2008-09-18 08:32:47 Modified files: interfaces/C : ppl_c_header.h ppl_c_implementation_common.defs.hh Log message: Added declaration and (tentative) definition of ascii_load functions: implementation is based on __gnu_cxx::stdio_sync_filebuf. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/C/ppl_c_header.h.d… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/C/ppl_c_implementa…

1 0

ppl/tests/Polyhedron affineimage2.cc
by Enea Zaffanella 18 Sep '08

18 Sep '08

CVSROOT: /cvs/ppl Module name: ppl Changes by: zaffanella(a)cs.unipr.it 2008-09-18 08:05:13 Modified files: tests/Polyhedron: affineimage2.cc Log message: Do not use upper_bound_assign_and_minimize. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Polyhedron/affineimage2…

1 0

ppl/tests BD_Shape/Makefile.am Box/Makefile.am ...
by Roberto Bagnara 18 Sep '08

18 Sep '08

1 0

w3ppl/htdocs/Applications Applications.raw
by Roberto Bagnara 17 Sep '08

17 Sep '08

CVSROOT: /cvs/ppl Module name: w3ppl Changes by: bagnara(a)cs.unipr.it 2008-09-17 18:36:29 Modified files: htdocs/Applications: Applications.raw Log message: Added a link to Pedro Vasconcelos' size and cost analyzer for Core Hume. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/w3ppl/htdocs/Applications/Applica…

1 0

ppl src/Polyhedron.defs.hh src/Polyhedron.inli ...
by Patricia Hill 17 Sep '08

17 Sep '08

CVSROOT: /cvs/ppl Module name: ppl Changes by: hill(a)cs.unipr.it 2008-09-17 17:57:02 Modified files: src : Polyhedron.defs.hh Polyhedron.inlines.hh tests/Polyhedron: polyhull1.cc polyhull2.cc Log message: Removed the method upper_bound_assign_and_minimize(). Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Polyhedron.defs.hh.diff?c… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Polyhedron.inlines.hh.dif… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Polyhedron/polyhull1.cc… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Polyhedron/polyhull2.cc…

1 0

ppl/src Polyhedron.defs.hh
by Patricia Hill 17 Sep '08

17 Sep '08

CVSROOT: /cvs/ppl Module name: ppl Changes by: hill(a)cs.unipr.it 2008-09-17 17:33:00 Modified files: src : Polyhedron.defs.hh Log message: The method topology() is no longer public. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Polyhedron.defs.hh.diff?c…

1 0

ppl/interfaces/Prolog ppl_interface_generator_ ...
by Patricia Hill 17 Sep '08

17 Sep '08

CVSROOT: /cvs/ppl Module name: ppl Changes by: hill(a)cs.unipr.it 2008-09-17 17:30:58 Modified files: interfaces/Prolog: ppl_interface_generator_prolog_cc_code.m4 Log message: Use new function for interfaces to test if the Polyhedron is necessarily closed in the code for ppl_Polyhedron_upper_bound_assign_if_exact/2.. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/ppl_interfa…

1 0

ppl/interfaces/C ppl_interface_generator_c_cc_ ...
by Patricia Hill 17 Sep '08

17 Sep '08

CVSROOT: /cvs/ppl Module name: ppl Changes by: hill(a)cs.unipr.it 2008-09-17 17:16:52 Modified files: interfaces/C : ppl_interface_generator_c_cc_code.m4 ppl_interface_generator_c_h_code.m4 Log message: The headers and the code for upper_bound_assign_if_exact() are now generated and bugs fixed so that they compile. Patches: 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…

1 0

ppl/tests/Polyhedron boundedbhrz03extrapolatio ...
by Roberto Bagnara 17 Sep '08

17 Sep '08

CVSROOT: /cvs/ppl Module name: ppl Changes by: bagnara(a)cs.unipr.it 2008-09-17 17:12:27 Modified files: tests/Polyhedron: boundedbhrz03extrapolation1.cc Log message: Modified test01() so as to restore the original variables' output function. Added test02(). Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Polyhedron/boundedbhrz0…

1 0

ppl TODO
by Roberto Bagnara 17 Sep '08

17 Sep '08

CVSROOT: /cvs/ppl Module name: ppl Changes by: bagnara(a)cs.unipr.it 2008-09-17 16:46:01 Modified files: . : TODO Log message: Added one item for PPL 0.10. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/TODO.diff?cvsroot=ppl&r1=1.26…

1 0