March 2003 - PPL-devel - BUGSENG Mailman

ppl/interfaces/Prolog Prolog_interface.dox pl_ ...
by Patricia Hill 25 Mar '03

25 Mar '03

CVSROOT: /cvs/ppl Module name: ppl Changes by: hill(a)cs.unipr.it 2003-03-25 18:00:45 Modified files: interfaces/Prolog: Prolog_interface.dox pl_check.pl Log message: The documentation for the relations_with predicates corrected. The tests for the relations_with predicates improved. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/Prolog_inte… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/pl_check.pl…

1 0

ppl/src Polyhedron.inlines.hh
by Enea Zaffanella 25 Mar '03

25 Mar '03

CVSROOT: /cvs/ppl Module name: ppl Changes by: zaffanella(a)cs.unipr.it 2003-03-25 11:45:23 Modified files: src : Polyhedron.inlines.hh Log message: Inline functions should be *defined* before they are used. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Polyhedron.inlines.hh.dif…

1 0

w3ppl/htdocs/Credits Credits.raw
by Roberto Bagnara 24 Mar '03

24 Mar '03

CVSROOT: /cvs/ppl Module name: w3ppl Changes by: roberto(a)cs.unipr.it 2003-03-24 10:17:58 Modified files: htdocs/Credits : Credits.raw Log message: Point to the CoVer home page. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/w3ppl/htdocs/Credits/Credits.raw.…

1 0

ppl/interfaces/Prolog pl_check.pl
by Patricia Hill 19 Mar '03

19 Mar '03

CVSROOT: /cvs/ppl Module name: ppl Changes by: hill(a)cs.unipr.it 2003-03-19 09:49:10 Modified files: interfaces/Prolog: pl_check.pl Log message: All tests now test both c and nnc polyhedra. Some more checks on the interface incorporated into these tests. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/pl_check.pl…

1 0

ppl/tests permute.cc
by Patricia Hill 19 Mar '03

19 Mar '03

CVSROOT: /cvs/ppl Module name: ppl Changes by: hill(a)cs.unipr.it 2003-03-19 08:02:13 Modified files: tests : permute.cc Log message: Avoid unnecessary calls to append_size_rel. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/permute.cc.diff?cvsroot…

1 0

ppl/tests permute.cc
by Patricia Hill 19 Mar '03

19 Mar '03

CVSROOT: /cvs/ppl Module name: ppl Changes by: hill(a)cs.unipr.it 2003-03-19 07:42:48 Modified files: tests : permute.cc Log message: Bug fixed Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/permute.cc.diff?cvsroot…

1 0

ppl/src SatRow.defs.hh
by Enea Zaffanella 18 Mar '03

18 Mar '03

CVSROOT: /cvs/ppl Module name: ppl Changes by: zaffanella(a)cs.unipr.it 2003-03-18 15:57:30 Modified files: src : SatRow.defs.hh Log message: Added Doxygen comment to class SatRow. Avoiding commenting friend declarations. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/SatRow.defs.hh.diff?cvsro…

1 0

ppl/src Row.defs.hh
by Enea Zaffanella 18 Mar '03

18 Mar '03

CVSROOT: /cvs/ppl Module name: ppl Changes by: zaffanella(a)cs.unipr.it 2003-03-18 15:56:17 Modified files: src : Row.defs.hh Log message: Added doxygen comment to class Row::Impl. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Row.defs.hh.diff?cvsroot=…

1 0

ppl/doc devref-browse.doxyconf-latex.in devref ...
by Enea Zaffanella 18 Mar '03

18 Mar '03

CVSROOT: /cvs/ppl Module name: ppl Changes by: zaffanella(a)cs.unipr.it 2003-03-18 12:41:48 Modified files: doc : devref-browse.doxyconf-latex.in devref.doxyconf-html.in devref-print.doxyconf-latex.in Log message: Added input file version.hh. 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.doxyconf-html.in.d… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/doc/devref-print.doxyconf-lat…

1 0

ppl/src Constraint.inlines.hh Row.cc Row.defs. ...
by Enea Zaffanella 18 Mar '03

18 Mar '03

CVSROOT: /cvs/ppl Module name: ppl Changes by: zaffanella(a)cs.unipr.it 2003-03-18 11:37:21 Modified files: src : Constraint.inlines.hh Row.cc Row.defs.hh Row.inlines.hh SatMatrix.defs.hh SatMatrix.inlines.hh SatRow.defs.hh SatRow.inlines.hh Log message: As suggested in our STANDARDS file, let all Doxygen comments be centralized before methods declarations in file *.defs.hh. In class Row, be careful to use the same parameter naming in declarations and definitions. For Row and SatRow, let std::iter_swap be declared in *.defs.hh. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Constraint.inlines.hh.dif… 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=… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Row.inlines.hh.diff?cvsro… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/SatMatrix.defs.hh.diff?cv… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/SatMatrix.inlines.hh.diff… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/SatRow.defs.hh.diff?cvsro… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/SatRow.inlines.hh.diff?cv…

1 0