December 2005 - PPL-devel - BUGSENG Mailman

ppl/interfaces/C ppl_c.h.in ppl_c.cc
by Enea Zaffanella 06 Dec '05

06 Dec '05

CVSROOT: /cvs/ppl Module name: ppl Branch: simplex Changes by: zaffanella(a)cs.unipr.it 2005-12-06 16:25:28 Modified files: interfaces/C : ppl_c.h.in ppl_c.cc Log message: Added tentative interface for the LP_Problem class. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/C/ppl_c.h.in.diff?… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/C/ppl_c.cc.diff?cv…

1 0

ppl/src globals.types.hh Constraint_System.def ...
by Enea Zaffanella 06 Dec '05

06 Dec '05

CVSROOT: /cvs/ppl Module name: ppl Branch: simplex Changes by: zaffanella(a)cs.unipr.it 2005-12-06 16:24:33 Modified files: src : globals.types.hh Constraint_System.defs.hh simplex.cc Log message: Enumeration Optimization_Kind renamed as Optimization_Mode. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/globals.types.hh.diff?cvs… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Constraint_System.defs.hh… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/simplex.cc.diff?cvsroot=p…

1 0

ppl/doc devref.doxyconf-html.in
by Andrea Cimino 06 Dec '05

06 Dec '05

CVSROOT: /cvs/ppl Module name: ppl Branch: simplex Changes by: cimino(a)cs.unipr.it 2005-12-06 13:24:45 Modified files: doc : devref.doxyconf-html.in Log message: Modified to produce PPL::LP_Problem documentation. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/doc/devref.doxyconf-html.in.d…

1 0

ppl ./ChangeLog Watchdog/ChangeLog
by Roberto Bagnara 05 Dec '05

05 Dec '05

CVSROOT: /cvs/ppl Module name: ppl Changes by: bagnara(a)cs.unipr.it 2005-12-05 22:01:04 Modified files: . : ChangeLog Watchdog : ChangeLog Log message: Updated. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/ChangeLog.diff?cvsroot=ppl&r1… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/Watchdog/ChangeLog.diff?cvsro…

1 0

ppl/tests/BD_Shape limitedCH78extrapolation1.cc
by Enea Zaffanella 05 Dec '05

05 Dec '05

CVSROOT: /cvs/ppl Module name: ppl Changes by: zaffanella(a)cs.unipr.it 2005-12-05 20:44:58 Modified files: tests/BD_Shape : limitedCH78extrapolation1.cc Log message: Changed so as to rflect the improved precision of the widening. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/BD_Shape/limitedCH78ext…

1 0

ppl/src BD_Shape.inlines.hh
by Enea Zaffanella 05 Dec '05

05 Dec '05

CVSROOT: /cvs/ppl Module name: ppl Changes by: zaffanella(a)cs.unipr.it 2005-12-05 19:42:51 Modified files: src : BD_Shape.inlines.hh Log message: Corrected trivial errors in calls to function that became a method. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/BD_Shape.inlines.hh.diff?…

1 0

ppl/interfaces/C ppl_c.h.in
by Enea Zaffanella 05 Dec '05

05 Dec '05

CVSROOT: /cvs/ppl Module name: ppl Changes by: zaffanella(a)cs.unipr.it 2005-12-05 19:09:42 Modified files: interfaces/C : ppl_c.h.in Log message: Corrected references to the manual. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/C/ppl_c.h.in.diff?…

1 0

ppl/tests/BD_Shape ch78widening6.cc ch78wideni ...
by Enea Zaffanella 05 Dec '05

05 Dec '05

CVSROOT: /cvs/ppl Module name: ppl Changes by: zaffanella(a)cs.unipr.it 2005-12-05 19:08:53 Modified files: tests/BD_Shape : ch78widening6.cc ch78widening8.cc Log message: The known results updated to reflect the increased precision of the widening operator. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/BD_Shape/ch78widening6.… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/BD_Shape/ch78widening8.…

1 0

ppl/src BD_Shape.inlines.hh
by Enea Zaffanella 05 Dec '05

05 Dec '05

CVSROOT: /cvs/ppl Module name: ppl Changes by: zaffanella(a)cs.unipr.it 2005-12-05 19:07:55 Modified files: src : BD_Shape.inlines.hh Log message: The operator CH78_widening_assign() is now implemented as specified in the SAS paper BHMZ05, returning immediately if there has been a change in the affine dimension of the arguments, so that it is well-defined on the domain of BDSs. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/BD_Shape.inlines.hh.diff?…

1 0

ppl/src BD_Shape.defs.hh
by Enea Zaffanella 05 Dec '05

05 Dec '05

CVSROOT: /cvs/ppl Module name: ppl Changes by: zaffanella(a)cs.unipr.it 2005-12-05 19:06:14 Modified files: src : BD_Shape.defs.hh Log message: Corrected references to the documentation. Do escape < and > when writing doxygen documentation. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/BD_Shape.defs.hh.diff?cvs…

1 0