August 2003 - PPL-devel - BUGSENG Mailman

ppl/interfaces/C/lpenum lpenum.c
by Roberto Bagnara 25 Aug '03

25 Aug '03

CVSROOT: /cvs/ppl Module name: ppl Changes by: roberto(a)cs.unipr.it 2003-08-25 00:02:25 Modified files: interfaces/C/lpenum: lpenum.c Log message: Use the "%g" format to print doubles (not "%f"). Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/C/lpenum/lpenum.c.…

1 0

ppl/interfaces/C/lpenum lpenum.c
by Roberto Bagnara 24 Aug '03

24 Aug '03

CVSROOT: /cvs/ppl Module name: ppl Changes by: roberto(a)cs.unipr.it 2003-08-24 23:40:59 Modified files: interfaces/C/lpenum: lpenum.c Log message: Scale the optimum value of the appropriate factor. Give more precise information when in verbose mode. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/C/lpenum/lpenum.c.…

1 0

ppl/interfaces/C/lpenum lpenum.c
by Roberto Bagnara 24 Aug '03

24 Aug '03

CVSROOT: /cvs/ppl Module name: ppl Changes by: roberto(a)cs.unipr.it 2003-08-24 19:38:09 Modified files: interfaces/C/lpenum: lpenum.c Log message: We were not checking for unboundedness in minimization problems. Check also the return code from ppl_Polyhedron_maximize() and ppl_Polyhedron_minimize(). Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/C/lpenum/lpenum.c.…

1 0

ppl/tests powersetwidening1.cc
by Roberto Bagnara 24 Aug '03

24 Aug '03

CVSROOT: /cvs/ppl Module name: ppl Changes by: roberto(a)cs.unipr.it 2003-08-24 17:45:35 Modified files: tests : powersetwidening1.cc Log message: 20 iterations are enough. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/powersetwidening1.cc.di…

1 0

ppl/tests powersetwidening1.cc
by Enea Zaffanella 24 Aug '03

24 Aug '03

CVSROOT: /cvs/ppl Module name: ppl Changes by: zaffanella(a)cs.unipr.it 2003-08-24 17:21:08 Modified files: tests : powersetwidening1.cc Log message: Corrected the affine image transformation. Made the test silent. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/powersetwidening1.cc.di…

1 0

ppl/interfaces/C/lpenum lpenum.c
by Roberto Bagnara 24 Aug '03

24 Aug '03

CVSROOT: /cvs/ppl Module name: ppl Changes by: roberto(a)cs.unipr.it 2003-08-24 14:21:06 Modified files: interfaces/C/lpenum: lpenum.c Log message: Use ppl_Polyhedron_maximize() and ppl_Polyhedron_minimize(). Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/C/lpenum/lpenum.c.…

1 0

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

24 Aug '03

CVSROOT: /cvs/ppl Module name: ppl Changes by: roberto(a)cs.unipr.it 2003-08-24 14:20:40 Modified files: interfaces/C : ppl_c.cc ppl_c.h Log message: Revised interface for ppl_Polyhedron_maximize() 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 src/Polyhedron.inli ...
by Roberto Bagnara 24 Aug '03

24 Aug '03

CVSROOT: /cvs/ppl Module name: ppl Changes by: roberto(a)cs.unipr.it 2003-08-24 14:18:53 Modified files: src : Polyhedron.defs.hh Polyhedron.inlines.hh Polyhedron_nonpublic.cc tests : max_min1.cc max_min2.cc Log message: Revised interface for Polyhedron::maximize() and Polyhedron::minimize(). 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… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/max_min1.cc.diff?cvsroo… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/max_min2.cc.diff?cvsroo…

1 0

ppl NEWS
by Roberto Bagnara 24 Aug '03

24 Aug '03

CVSROOT: /cvs/ppl Module name: ppl Changes by: roberto(a)cs.unipr.it 2003-08-24 13:56:36 Modified files: . : NEWS Log message: Section on bugfixes added for PPL 0.6. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/NEWS.diff?cvsroot=ppl&r1=1.79…

1 0

ppl ./NEWS src/LinExpression.defs.hh src/LinEx ...
by Roberto Bagnara 24 Aug '03

24 Aug '03

CVSROOT: /cvs/ppl Module name: ppl Changes by: roberto(a)cs.unipr.it 2003-08-24 13:52:47 Modified files: . : NEWS src : LinExpression.defs.hh LinExpression.cc Log message: New output operator in namespace IO_Operators: std::ostream& operator<<(std::ostream&, const LinExpression&). Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/NEWS.diff?cvsroot=ppl&r1=1.78… 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.cc.diff?cvs…

1 0