September 2008 - PPL-devel - BUGSENG Mailman

ppl/interfaces/C Makefile.am
by Roberto Bagnara 13 Sep '08

13 Sep '08

CVSROOT: /cvs/ppl Module name: ppl Changes by: bagnara(a)cs.unipr.it 2008-09-13 17:47:38 Modified files: interfaces/C : Makefile.am Log message: Correctly use the *CLEANFILES variables. Use a stamp to produce the domain-dependent C++ implementation files. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/C/Makefile.am.diff…

1 0

ppl/interfaces/C ppl_c_header.h
by Roberto Bagnara 13 Sep '08

13 Sep '08

CVSROOT: /cvs/ppl Module name: ppl Changes by: bagnara(a)cs.unipr.it 2008-09-13 16:47:16 Added files: interfaces/C : ppl_c_header.h Log message: This is the main file used to build ppl_c.h. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/C/ppl_c_header.h?c…

1 0

ppl STANDARDS
by Roberto Bagnara 13 Sep '08

13 Sep '08

CVSROOT: /cvs/ppl Module name: ppl Changes by: bagnara(a)cs.unipr.it 2008-09-13 16:44:55 Modified files: . : STANDARDS Log message: Added a section about "Standards for Writing the Makefile.am Files". Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/STANDARDS.diff?cvsroot=ppl&r1…

1 0

ppl/src Polyhedron.defs.hh Polyhedron.inlines.hh
by Enea Zaffanella 13 Sep '08

13 Sep '08

CVSROOT: /cvs/ppl Module name: ppl Changes by: zaffanella(a)cs.unipr.it 2008-09-13 16:36:03 Modified files: src : Polyhedron.defs.hh Polyhedron.inlines.hh Log message: Get rid of methods add_grid_generator(s). 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…

1 0

ppl/src Makefile.am
by Roberto Bagnara 13 Sep '08

13 Sep '08

CVSROOT: /cvs/ppl Module name: ppl Changes by: bagnara(a)cs.unipr.it 2008-09-13 16:33:35 Modified files: src : Makefile.am Log message: The Any_Pointset class is not ready for distribution: make sure we do not distribute it by mistake. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Makefile.am.diff?cvsroot=…

1 0

ppl ./configure.ac interfaces/C/Makefile.am in ...
by Roberto Bagnara 13 Sep '08

13 Sep '08

CVSROOT: /cvs/ppl Module name: ppl Changes by: bagnara(a)cs.unipr.it 2008-09-13 16:32:07 Modified files: . : configure.ac interfaces/C : Makefile.am ppl_interface_generator_c_cc_files.m4 ppl_interface_generator_c_hh_files.m4 Added files: interfaces/C : ppl_c_implementation_common.cc ppl_c_implementation_common.defs.hh ppl_c_implementation_common.inlines.hh Removed files: interfaces/C : ppl_c_implementation.cc ppl_c_implementation.defs.hh ppl_c_implementation.inlines.hh Log message: More code reorganization in the C interface. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/configure.ac.diff?cvsroot=ppl… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/C/ppl_c_implementa… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/C/ppl_c_implementa… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/C/ppl_c_implementa… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/C/Makefile.am.diff… 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/C/ppl_c_implementa… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/C/ppl_c_implementa… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/C/ppl_c_implementa…

1 0

ppl/tests/Grid addconstraint1.cc addconstraint ...
by Enea Zaffanella 13 Sep '08

13 Sep '08

CVSROOT: /cvs/ppl Module name: ppl Changes by: zaffanella(a)cs.unipr.it 2008-09-13 15:53:18 Modified files: tests/Grid : addconstraint1.cc addconstraints1.cc Log message: Corrected a couple of tests to comply with the new specification of add_constraint(s). Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Grid/addconstraint1.cc.… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Grid/addconstraints1.cc…

1 0

ppl/src Grid.defs.hh Grid.inlines.hh Grid_nonp ...
by Enea Zaffanella 13 Sep '08

13 Sep '08

CVSROOT: /cvs/ppl Module name: ppl Changes by: zaffanella(a)cs.unipr.it 2008-09-13 15:52:09 Modified files: src : Grid.defs.hh Grid.inlines.hh Grid_nonpublic.cc Grid_public.cc Log message: Added private helper methods add_constraint/congruence_no_check and refine_no_check. Adapted to new semantics whereby refining will ignore nontrivial inequalities, whereas adding will throw. 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.inlines.hh.diff?cvsr… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Grid_nonpublic.cc.diff?cv… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Grid_public.cc.diff?cvsro…

1 0

ppl/src Grid_chdims.cc
by Enea Zaffanella 13 Sep '08

13 Sep '08

CVSROOT: /cvs/ppl Module name: ppl Changes by: zaffanella(a)cs.unipr.it 2008-09-13 15:50:21 Modified files: src : Grid_chdims.cc Log message: Prefer add_recycle_* to simple add_*. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Grid_chdims.cc.diff?cvsro…

1 0

ppl/src Grid_widenings.cc
by Enea Zaffanella 13 Sep '08

13 Sep '08

CVSROOT: /cvs/ppl Module name: ppl Changes by: zaffanella(a)cs.unipr.it 2008-09-13 15:42:53 Modified files: src : Grid_widenings.cc Log message: When possible, prefer add_recycled_congruences to add_congruences. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Grid_widenings.cc.diff?cv…

1 0