August 2003 - PPL-devel - BUGSENG Mailman

ppl TODO
by Roberto Bagnara 22 Aug '03

22 Aug '03

CVSROOT: /cvs/ppl Module name: ppl Changes by: roberto(a)cs.unipr.it 2003-08-22 19:43:20 Modified files: . : TODO Log message: New things to do before releasing PPL 0.6. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/TODO.diff?cvsroot=ppl&r1=1.56…

1 0

ppl/interfaces/C ppl_c.cc ppl_c.h
by Roberto Bagnara 22 Aug '03

22 Aug '03

CVSROOT: /cvs/ppl Module name: ppl Changes by: roberto(a)cs.unipr.it 2003-08-22 19:39:24 Modified files: interfaces/C : ppl_c.cc ppl_c.h Log message: Added ppl_Polyhedron_minimize() and ppl_Polyhedron_minimize(). Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/C/ppl_c.cc.diff?cv… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/C/ppl_c.h.diff?cvs…

1 0

ppl/src Polyhedron.defs.hh
by Roberto Bagnara 22 Aug '03

22 Aug '03

CVSROOT: /cvs/ppl Module name: ppl Changes by: roberto(a)cs.unipr.it 2003-08-22 19:37:26 Modified files: src : Polyhedron.defs.hh Log message: Documentation for Polyhedron::maximize(const LinExpression&, ...) and Polyhedron::minimize(const LinExpression&, ...) revised. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Polyhedron.defs.hh.diff?c…

1 0

ppl/tests Makefile.am max_min1.cc max_min2.cc
by Roberto Bagnara 22 Aug '03

22 Aug '03

CVSROOT: /cvs/ppl Module name: ppl Changes by: roberto(a)cs.unipr.it 2003-08-22 18:37:13 Modified files: tests : Makefile.am Added files: tests : max_min1.cc max_min2.cc Log message: Test Polyhedron::maximize(const LinExpression&, ...) and Polyhedron::minimize(const LinExpression&, ...). Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/max_min1.cc?cvsroot=ppl… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/max_min2.cc?cvsroot=ppl… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Makefile.am.diff?cvsroo…

1 0

ppl/src Polyhedron_nonpublic.cc
by Roberto Bagnara 22 Aug '03

22 Aug '03

CVSROOT: /cvs/ppl Module name: ppl Changes by: roberto(a)cs.unipr.it 2003-08-22 18:36:08 Modified files: src : Polyhedron_nonpublic.cc Log message: Method Polyhedron::max_min() implemented. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Polyhedron_nonpublic.cc.d…

1 0

ppl/src Polyhedron_nonpublic.cc
by Roberto Bagnara 22 Aug '03

22 Aug '03

CVSROOT: /cvs/ppl Module name: ppl Changes by: roberto(a)cs.unipr.it 2003-08-22 13:44:04 Modified files: src : Polyhedron_nonpublic.cc Log message: Avoid useless iterations in Polyhedron::bounds(). Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Polyhedron_nonpublic.cc.d…

1 0

ppl/src Polyhedron.defs.hh Polyhedron.inlines. ...
by Roberto Bagnara 22 Aug '03

22 Aug '03

CVSROOT: /cvs/ppl Module name: ppl Changes by: roberto(a)cs.unipr.it 2003-08-22 13:25:40 Modified files: src : Polyhedron.defs.hh Polyhedron.inlines.hh Polyhedron_nonpublic.cc Log message: Revised specification for the new methods Polyhedron::maximize(const LinExpression&, ...) and Polyhedron::minimize(const LinExpression&, ...). Implementation work started. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Polyhedron.defs.hh.diff?c… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Polyhedron.inlines.hh.dif… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Polyhedron_nonpublic.cc.d…

1 0

ppl/src Generator.cc
by Roberto Bagnara 22 Aug '03

22 Aug '03

CVSROOT: /cvs/ppl Module name: ppl Changes by: roberto(a)cs.unipr.it 2003-08-22 12:40:52 Modified files: src : Generator.cc Log message: Avoid useless calls to std::ostream& std::operator<<(std::ostream& s, ...). Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Generator.cc.diff?cvsroot…

1 0

ppl/src Polyhedron.defs.hh
by Roberto Bagnara 20 Aug '03

20 Aug '03

CVSROOT: /cvs/ppl Module name: ppl Changes by: roberto(a)cs.unipr.it 2003-08-20 21:26:16 Modified files: src : Polyhedron.defs.hh Log message: First tentative declaration for the new maximization and minimization methods. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Polyhedron.defs.hh.diff?c…

1 0

ppl TODO
by Roberto Bagnara 20 Aug '03

20 Aug '03

CVSROOT: /cvs/ppl Module name: ppl Changes by: roberto(a)cs.unipr.it 2003-08-20 16:36:56 Modified files: . : TODO Log message: We must explain very well that iterators can be invalidated by several (actually, almost all) operations, and that use of an invalidated iterator causes undefined behavior. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/TODO.diff?cvsroot=ppl&r1=1.55…

1 0