March 2002 - PPL-devel - BUGSENG Mailman

ppl/doc devref-browse.doxyconf-latex.in devref ...
by Enea Zaffanella 11 Mar '02

11 Mar '02

CVSROOT: /cvs/ppl Module name: ppl Changes by: zaffanella(a)cs.unipr.it 2002-03-11 00:54:15 Modified files: doc : devref-browse.doxyconf-latex.in devref-print.doxyconf-latex.in devref.doxyconf-html.in Log message: Added the newer (and old ones too) source files to the INPUT tag. Turned on the STRIP_CODE_COMMENTS flag, to avoid outputting dosygen comments in the devref detailed comments for enumerations (e.g., Generator::Type). Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/doc/devref-browse.doxyconf-la… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/doc/devref-print.doxyconf-lat… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/doc/devref.doxyconf-html.in.d…

1 0

ppl/src ConSys.cc LinExpression.defs.hh Polyhe ...
by Roberto Bagnara 10 Mar '02

10 Mar '02

CVSROOT: /cvs/ppl Module name: ppl Changes by: roberto(a)cs.unipr.it 2002-03-10 21:27:01 Modified files: src : ConSys.cc LinExpression.defs.hh Polyhedron.cc Log message: Just formatting. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/ConSys.cc.diff?cvsroot=pp… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/LinExpression.defs.hh.dif… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Polyhedron.cc.diff?cvsroo…

1 0

ppl/src Row.cc Row.defs.hh
by Roberto Bagnara 10 Mar '02

10 Mar '02

CVSROOT: /cvs/ppl Module name: ppl Changes by: roberto(a)cs.unipr.it 2002-03-10 21:14:46 Modified files: src : Row.cc Row.defs.hh Log message: Avoid the creation of temporaries in operator*(const Row& x, const Row& y). This results in a speedup of at least 3%. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Row.cc.diff?cvsroot=ppl&r… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Row.defs.hh.diff?cvsroot=…

1 0

ppl/src ConSys.cc GenSys.cc
by Roberto Bagnara 10 Mar '02

10 Mar '02

CVSROOT: /cvs/ppl Module name: ppl Changes by: roberto(a)cs.unipr.it 2002-03-10 16:08:15 Modified files: src : ConSys.cc GenSys.cc Log message: Missing full-stops added. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/ConSys.cc.diff?cvsroot=pp… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/GenSys.cc.diff?cvsroot=pp…

1 0

ppl/src ConSys.cc GenSys.cc
by Roberto Bagnara 10 Mar '02

10 Mar '02

CVSROOT: /cvs/ppl Module name: ppl Changes by: roberto(a)cs.unipr.it 2002-03-10 16:05:32 Modified files: src : ConSys.cc GenSys.cc Log message: ConSys::affine_preimage() and GenSys::affine_image() shortened and slightly optimized. Moreover, each contained a wrong assertion. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/ConSys.cc.diff?cvsroot=pp… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/GenSys.cc.diff?cvsroot=pp…

1 0

ppl/src ConSys.cc
by Roberto Bagnara 10 Mar '02

10 Mar '02

CVSROOT: /cvs/ppl Module name: ppl Changes by: roberto(a)cs.unipr.it 2002-03-10 15:27:44 Modified files: src : ConSys.cc Log message: Avoid a useless temporary in ConSys::affine_preimage(). Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/ConSys.cc.diff?cvsroot=pp…

1 0

ppl/src ConSys.cc ConSys.defs.hh ConSys.inline ...
by Roberto Bagnara 10 Mar '02

10 Mar '02

1 0

ppl configure.ac
by Roberto Bagnara 10 Mar '02

10 Mar '02

CVSROOT: /cvs/ppl Module name: ppl Changes by: roberto(a)cs.unipr.it 2002-03-10 13:26:36 Modified files: . : configure.ac Log message: The configure options --with-cflags and --with-cxxflags now add more compiler options (as opposed to replace them). In addition the --with-cflags options was simply broken. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/configure.ac.diff?cvsroot=ppl…

1 0

ppl/interfaces/Prolog/SWI ppl_swiprolog.cc
by Roberto Bagnara 10 Mar '02

10 Mar '02

CVSROOT: /cvs/ppl Module name: ppl Changes by: roberto(a)cs.unipr.it 2002-03-10 13:24:35 Modified files: interfaces/Prolog/SWI: ppl_swiprolog.cc Log message: Assertion fixed. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/SWI/ppl_swi…

1 0

ppl/src Constraint.cc Generator.cc
by Enea Zaffanella 10 Mar '02

10 Mar '02

CVSROOT: /cvs/ppl Module name: ppl Changes by: zaffanella(a)cs.unipr.it 2002-03-10 00:55:31 Modified files: src : Constraint.cc Generator.cc Log message: Useless namespace qualification in argument was causing a doxygen warning. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Constraint.cc.diff?cvsroo… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Generator.cc.diff?cvsroot…

1 0