March 2008 - PPL-devel - BUGSENG Mailman

ppl/Watchdog/doc devref.tex fdl.dox gpl.dox us ...
by Enea Zaffanella 22 Mar '08

22 Mar '08

CVSROOT: /cvs/ppl Module name: ppl Changes by: zaffanella(a)cs.unipr.it 2008-03-22 10:32:55 Modified files: Watchdog/doc : devref.tex fdl.dox gpl.dox user.tex Log message: Properly named page anchors so as to avoid undefined references in the LaTeX documentation. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/Watchdog/doc/devref.tex.diff?… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/Watchdog/doc/fdl.dox.diff?cvs… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/Watchdog/doc/gpl.dox.diff?cvs… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/Watchdog/doc/user.tex.diff?cv…

1 0

ppl/Watchdog/doc devref.doxyconf-html.in devre ...
by Enea Zaffanella 22 Mar '08

22 Mar '08

CVSROOT: /cvs/ppl Module name: ppl Changes by: zaffanella(a)cs.unipr.it 2008-03-22 10:32:03 Modified files: Watchdog/doc : devref.doxyconf-html.in devref.doxyconf-latex.in user.doxyconf-html.in user.doxyconf-latex.in Log message: Doxygen configuration files upgraded. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/Watchdog/doc/devref.doxyconf-… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/Watchdog/doc/devref.doxyconf-… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/Watchdog/doc/user.doxyconf-ht… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/Watchdog/doc/user.doxyconf-la…

1 0

ppl/interfaces/C ppl_interface_generator_c_cc_ ...
by Patricia Hill 21 Mar '08

21 Mar '08

CVSROOT: /cvs/ppl Module name: ppl Changes by: hill(a)cs.unipr.it 2008-03-21 10:24:16 Modified files: interfaces/C : ppl_interface_generator_c_cc_code.m4 ppl_interface_generator_c_h_code.m4 Log message: Removed the now redundant code for add_recycled_..._and_minimize procedures. 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/interfaces/C ppl_interface_generator_c_pro ...
by Patricia Hill 21 Mar '08

21 Mar '08

CVSROOT: /cvs/ppl Module name: ppl Changes by: hill(a)cs.unipr.it 2008-03-21 10:20:53 Modified files: interfaces/C : ppl_interface_generator_c_procedure_generators.m4 Log message: Removed the add_recycled_constraints/congruences_and_minimize from the list of procedures to build. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/C/ppl_interface_ge…

1 0

ppl/src Partially_Reduced_Product.defs.hh Poin ...
by Enea Zaffanella 21 Mar '08

21 Mar '08

CVSROOT: /cvs/ppl Module name: ppl Changes by: zaffanella(a)cs.unipr.it 2008-03-21 09:23:54 Modified files: src : Partially_Reduced_Product.defs.hh Pointset_Powerset.defs.hh Log message: Corrected a couple of typos in the documentation resulting in Doxygen warnings. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Partially_Reduced_Product… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Pointset_Powerset.defs.hh…

1 0

ppl/src Octagonal_Shape.defs.hh Octagonal_Shap ...
by Enea Zaffanella 21 Mar '08

21 Mar '08

CVSROOT: /cvs/ppl Module name: ppl Changes by: zaffanella(a)cs.unipr.it 2008-03-21 09:11:53 Modified files: src : Octagonal_Shape.defs.hh Octagonal_Shape.inlines.hh Octagonal_Shape.templates.hh Log message: Removed eager methods for the addition of constraints/congruences. 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.inlines.h… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Octagonal_Shape.templates…

1 0

ppl/tests/Octagonal_Shape intersection1.cc
by Enea Zaffanella 21 Mar '08

21 Mar '08

CVSROOT: /cvs/ppl Module name: ppl Changes by: zaffanella(a)cs.unipr.it 2008-03-21 09:11:05 Modified files: tests/Octagonal_Shape: intersection1.cc Log message: No longer using eager methods for adding constraints/congruences. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Octagonal_Shape/interse…

1 0

ppl/tests/Octagonal_Shape limitedbhmz05extrapo ...
by Enea Zaffanella 21 Mar '08

21 Mar '08

CVSROOT: /cvs/ppl Module name: ppl Changes by: zaffanella(a)cs.unipr.it 2008-03-21 09:10:29 Modified files: tests/Octagonal_Shape: limitedbhmz05extrapolation1.cc limitedcc76extrapolation1.cc Log message: No longer using eager methods for adding constraints/congruences. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Octagonal_Shape/limited… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Octagonal_Shape/limited…

1 0

ppl/tests/Octagonal_Shape octhull1.cc
by Enea Zaffanella 21 Mar '08

21 Mar '08

CVSROOT: /cvs/ppl Module name: ppl Changes by: zaffanella(a)cs.unipr.it 2008-03-21 09:09:33 Modified files: tests/Octagonal_Shape: octhull1.cc Log message: No longer using eager methods for adding constraints/congruences. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Octagonal_Shape/octhull…

1 0

ppl/tests/Octagonal_Shape containsintegerpoint1.cc
by Enea Zaffanella 21 Mar '08

21 Mar '08

CVSROOT: /cvs/ppl Module name: ppl Changes by: zaffanella(a)cs.unipr.it 2008-03-21 09:08:19 Modified files: tests/Octagonal_Shape: containsintegerpoint1.cc Log message: No longer using eager methods for adding constraints/congruences. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Octagonal_Shape/contain…

1 0