March 2008 - PPL-devel - BUGSENG Mailman

w3ppl/htdocs/About About.raw
by Roberto Bagnara 18 Mar '08

18 Mar '08

CVSROOT: /cvs/ppl Module name: w3ppl Changes by: bagnara(a)cs.unipr.it 2008-03-18 20:56:42 Modified files: htdocs/About : About.raw Log message: Reference to Doxygen updated. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/w3ppl/htdocs/About/About.raw.diff…

1 0

w3ppl/htdocs/Links Links.raw
by Roberto Bagnara 18 Mar '08

18 Mar '08

CVSROOT: /cvs/ppl Module name: w3ppl Changes by: bagnara(a)cs.unipr.it 2008-03-18 20:56:00 Modified files: htdocs/Links : Links.raw Log message: The "Software" section is now titled "Other Libraries." New section on the "Tools We Use to Develop the PPL." Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/w3ppl/htdocs/Links/Links.raw.diff…

1 0

ppl src/Box.inlines.hh tests/Box/Makefile.am
by Patricia Hill 18 Mar '08

18 Mar '08

CVSROOT: /cvs/ppl Module name: ppl Changes by: hill(a)cs.unipr.it 2008-03-18 20:26:47 Modified files: src : Box.inlines.hh tests/Box : Makefile.am Log message: Restored code revoved in error. Restored congruences1 test. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Box.inlines.hh.diff?cvsro… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Box/Makefile.am.diff?cv…

1 0

ppl/src Pointset_Powerset.defs.hh
by Roberto Bagnara 18 Mar '08

18 Mar '08

CVSROOT: /cvs/ppl Module name: ppl Changes by: bagnara(a)cs.unipr.it 2008-03-18 20:20:18 Modified files: src : Pointset_Powerset.defs.hh Log message: Two FIXMEs resolved. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Pointset_Powerset.defs.hh…

1 0

ppl/src Pointset_Powerset.defs.hh Pointset_Pow ...
by Roberto Bagnara 18 Mar '08

18 Mar '08

CVSROOT: /cvs/ppl Module name: ppl Changes by: bagnara(a)cs.unipr.it 2008-03-18 20:17:59 Modified files: src : Pointset_Powerset.defs.hh Pointset_Powerset.templates.hh Log message: Methods Pointset_Powerset<PS>::refine(const Constraint&) and Pointset_Powerset<PS>::refine(const Constraint_System&) renamed Pointset_Powerset<PS>::refine_with_constraint(const Constraint&) and Pointset_Powerset<PS>::refine_with_constraints(const Constraint_System&), respectively. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Pointset_Powerset.defs.hh… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Pointset_Powerset.templat…

1 0

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

18 Mar '08

CVSROOT: /cvs/ppl Module name: ppl Changes by: bagnara(a)cs.unipr.it 2008-03-18 20:15:23 Modified files: tests/Box : Makefile.am Log message: Disabled test program congruences1. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Box/Makefile.am.diff?cv…

1 0

ppl/tests/Box membytes1.cc
by Roberto Bagnara 18 Mar '08

18 Mar '08

CVSROOT: /cvs/ppl Module name: ppl Changes by: bagnara(a)cs.unipr.it 2008-03-18 20:10:21 Modified files: tests/Box : membytes1.cc Log message: Invoke refine_with_constraint() instead of the no longer existing refine(). Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Box/membytes1.cc.diff?c…

1 0

ppl src/Box.defs.hh src/Box.inlines.hh tests/B ...
by Roberto Bagnara 18 Mar '08

18 Mar '08

1 0

ppl src/Box.defs.hh src/Box.inlines.hh src/Box ...
by Patricia Hill 18 Mar '08

18 Mar '08

CVSROOT: /cvs/ppl Module name: ppl Changes by: hill(a)cs.unipr.it 2008-03-18 14:54:30 Modified files: src : Box.defs.hh Box.inlines.hh Box.templates.hh tests/Box : Makefile.am Added files: tests/Box : refinewithcongruences1.cc refinewithconstraints1.cc Log message: Added refine_with_constraint(), refine_with_constraints(), refine_with_congruence(), refine_with_congruences() methods to the Box domain. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Box.defs.hh.diff?cvsroot=… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Box.inlines.hh.diff?cvsro… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Box.templates.hh.diff?cvs… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Box/refinewithcongruenc… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Box/refinewithconstrain… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Box/Makefile.am.diff?cv…

1 0

ppl TODO
by Patricia Hill 18 Mar '08

18 Mar '08

CVSROOT: /cvs/ppl Module name: ppl Changes by: hill(a)cs.unipr.it 2008-03-18 14:50:23 Modified files: . : TODO Log message: All the method names in the temporary documentation now preceded by the \p for use in doxygen code. Also, all code here has been enclosed in the \code \endcode environment. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/TODO.diff?cvsroot=ppl&r1=1.23…

1 0