October 2002 - PPL-devel - BUGSENG Mailman

ppl ltmain.sh
by Roberto Bagnara 13 Oct '02

13 Oct '02

CVSROOT: /cvs/ppl Module name: ppl Changes by: roberto(a)cs.unipr.it 2002-10-13 22:13:00 Modified files: . : ltmain.sh Log message: Update to the latest version of libtool. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/ltmain.sh.diff?cvsroot=ppl&r1…

1 0

Some numbers about the PPL
by Roberto Bagnara 13 Oct '02

13 Oct '02

PPL numbers generated using 'SLOCCount' by David A. Wheeler: Total Physical Source Lines of Code (SLOC) = 39,222 Development Effort Estimate, Person-Years (Person-Months) = 9.42 (113.09) (Basic COCOMO model, Person-Months = 2.4 * (KSLOC**1.05)) Schedule Estimate, Years (Months) = 1.26 (15.07) (Basic COCOMO model, Months = 2.5 * (person-months**0.38)) Estimated Average Number of Developers (Effort/Schedule) = 7.50 -- Prof. Roberto Bagnara Computer Science Group Department of Mathematics, University of Parma, Italy http://www.cs.unipr.it/~bagnara/ mailto:bagnara@cs.unipr.it

1 0

ppl/src algorithms.hh
by Roberto Bagnara 13 Oct '02

13 Oct '02

CVSROOT: /cvs/ppl Module name: ppl Changes by: roberto(a)cs.unipr.it 2002-10-13 16:36:39 Modified files: src : algorithms.hh Log message: Bug fixed in widening_assign(). Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/algorithms.hh.diff?cvsroo…

1 0

ppl/src Constraint.defs.hh
by Roberto Bagnara 13 Oct '02

13 Oct '02

CVSROOT: /cvs/ppl Module name: ppl Changes by: roberto(a)cs.unipr.it 2002-10-13 16:35:11 Modified files: src : Constraint.defs.hh Log message: We were too eager in converting "<" and ">" to "\<" and "\>" in Doxygen comments: this should not be done within LaTeX formulas. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Constraint.defs.hh.diff?c…

1 0

ppl/src conversion.cc
by Roberto Bagnara 12 Oct '02

12 Oct '02

CVSROOT: /cvs/ppl Module name: ppl Changes by: roberto(a)cs.unipr.it 2002-10-12 22:42:06 Modified files: src : conversion.cc Log message: Comment fixed for Doxygen. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/conversion.cc.diff?cvsroo…

1 0

ppl/tests memory1.cc
by Roberto Bagnara 12 Oct '02

12 Oct '02

CVSROOT: /cvs/ppl Module name: ppl Changes by: roberto(a)cs.unipr.it 2002-10-12 21:47:03 Modified files: tests : memory1.cc Log message: Much improved portability. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/memory1.cc.diff?cvsroot…

1 0

ppl config.h.in configure.ac
by Roberto Bagnara 12 Oct '02

12 Oct '02

CVSROOT: /cvs/ppl Module name: ppl Changes by: roberto(a)cs.unipr.it 2002-10-12 21:20:39 Modified files: . : config.h.in configure.ac Log message: Check for declarations of RLIMIT_DATA, RLIMIT_RSS, RLIMIT_VMEM, RLIMIT_AS in <sys/resource.h>. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/config.h.in.diff?cvsroot=ppl&… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/configure.ac.diff?cvsroot=ppl…

1 0

ppl/src algorithms.hh
by Roberto Bagnara 12 Oct '02

12 Oct '02

CVSROOT: /cvs/ppl Module name: ppl Changes by: roberto(a)cs.unipr.it 2002-10-12 20:42:43 Modified files: src : algorithms.hh Log message: Two serious bugs have been fixed. Other improvements. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/algorithms.hh.diff?cvsroo…

1 0

ppl/src Determinate.defs.hh Determinate.inline ...
by Roberto Bagnara 12 Oct '02

12 Oct '02

CVSROOT: /cvs/ppl Module name: ppl Changes by: roberto(a)cs.unipr.it 2002-10-12 20:40:26 Modified files: src : Determinate.defs.hh Determinate.inlines.hh PowerSet.defs.hh PowerSet.inlines.hh Log message: New default constructor. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Determinate.defs.hh.diff?… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Determinate.inlines.hh.di… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/PowerSet.defs.hh.diff?cvs… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/PowerSet.inlines.hh.diff?…

1 0

ppl doc/definitions.dox src/AskTell.defs.hh sr ...
by Roberto Bagnara 12 Oct '02

12 Oct '02

CVSROOT: /cvs/ppl Module name: ppl Changes by: roberto(a)cs.unipr.it 2002-10-12 14:56:33 Modified files: doc : definitions.dox src : AskTell.defs.hh C_Polyhedron.defs.hh Constraint.defs.hh Determinate.defs.hh NNC_Polyhedron.defs.hh Log message: Fix all but one of the problems reported by the new version of Doxygen. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/doc/definitions.dox.diff?cvsr… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/AskTell.defs.hh.diff?cvsr… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/C_Polyhedron.defs.hh.diff… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Constraint.defs.hh.diff?c… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Determinate.defs.hh.diff?… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/NNC_Polyhedron.defs.hh.di…

1 0