June 2002 - PPL-devel - BUGSENG Mailman

ppl/src BoundingBox.defs.hh BoundingBox.inline ...
by Roberto Bagnara 16 Jun '02

16 Jun '02

1 0

ppl/src Row.inlines.hh SatRow.inlines.hh
by Roberto Bagnara 16 Jun '02

16 Jun '02

CVSROOT: /cvs/ppl Module name: ppl Changes by: roberto(a)cs.unipr.it 2002-06-16 16:51:57 Modified files: src : Row.inlines.hh SatRow.inlines.hh Log message: Fully qualify `vector' as `std::vector'. Patches: 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/SatRow.inlines.hh.diff?cv…

1 0

ppl/interfaces/C ppl_c.cc
by Roberto Bagnara 16 Jun '02

16 Jun '02

CVSROOT: /cvs/ppl Module name: ppl Changes by: roberto(a)cs.unipr.it 2002-06-16 16:49:08 Modified files: interfaces/C : ppl_c.cc Log message: Include <stdexcept>. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/C/ppl_c.cc.diff?cv…

1 0

ppl/src C_Polyhedron.cc
by Roberto Bagnara 16 Jun '02

16 Jun '02

CVSROOT: /cvs/ppl Module name: ppl Changes by: roberto(a)cs.unipr.it 2002-06-16 16:46:53 Modified files: src : C_Polyhedron.cc Log message: Include <stdexcept>. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/C_Polyhedron.cc.diff?cvsr…

1 0

ppl/src Generator.inlines.hh Integer.inlines.h ...
by Roberto Bagnara 16 Jun '02

16 Jun '02

CVSROOT: /cvs/ppl Module name: ppl Changes by: roberto(a)cs.unipr.it 2002-06-16 16:45:37 Modified files: src : Generator.inlines.hh Integer.inlines.hh LinExpression.defs.hh LinExpression.inlines.hh Log message: Remove unnecessary include files and add some necessary one. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Generator.inlines.hh.diff… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Integer.inlines.hh.diff?c… 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/LinExpression.inlines.hh.…

1 0

ppl/src BoundingBox.inlines.hh C_Polyhedron.in ...
by Roberto Bagnara 16 Jun '02

16 Jun '02

1 0

ppl/src ConSys.defs.hh GenSys.defs.hh LinExpre ...
by Roberto Bagnara 16 Jun '02

16 Jun '02

CVSROOT: /cvs/ppl Module name: ppl Changes by: roberto(a)cs.unipr.it 2002-06-16 16:17:53 Modified files: src : ConSys.defs.hh GenSys.defs.hh LinExpression.defs.hh Matrix.defs.hh Variable.defs.hh Log message: Avoid being pedantic when commenting constructors. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/ConSys.defs.hh.diff?cvsro… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/GenSys.defs.hh.diff?cvsro… 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/Matrix.defs.hh.diff?cvsro… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Variable.defs.hh.diff?cvs…

1 0

ppl/src ConSys.defs.hh GenSys.defs.hh
by Roberto Bagnara 16 Jun '02

16 Jun '02

CVSROOT: /cvs/ppl Module name: ppl Changes by: roberto(a)cs.unipr.it 2002-06-16 15:56:09 Modified files: src : ConSys.defs.hh GenSys.defs.hh Log message: All the OK() methods must be public. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/ConSys.defs.hh.diff?cvsro… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/GenSys.defs.hh.diff?cvsro…

1 0

ppl doc/devref-browse.doxyconf-latex.in doc/de ...
by Roberto Bagnara 16 Jun '02

16 Jun '02

1 0

ppl/interfaces/Prolog/SICStus Makefile.am sp_c ...
by Roberto Bagnara 16 Jun '02

16 Jun '02

CVSROOT: /cvs/ppl Module name: ppl Changes by: roberto(a)cs.unipr.it 2002-06-16 15:40:10 Modified files: interfaces/Prolog/SICStus: Makefile.am sp_clpq.pl Log message: Simplify `make check' in the SICStus directory and solve a `make distcheck' problem. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/SICStus/Mak… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/SICStus/sp_…

1 0