- PPL-devel - BUGSENG Mailman

ppl/tests Makefile.am addconstraint3.cc addgen ...
by Elisa Ricci 14 Oct '02

14 Oct '02

CVSROOT: /cvs/ppl Module name: ppl Changes by: ericci(a)cs.unipr.it 2002-10-14 17:09:51 Modified files: tests : Makefile.am Added files: tests : addconstraint3.cc addgenerator3.cc Log message: Added a test for Polyhedron::add_constraint_and_minimize(c) and a test for Polyhedron::add_generator_and_minimize(g). Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/addconstraint3.cc?cvsro… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/addgenerator3.cc?cvsroo… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Makefile.am.diff?cvsroo…

1 0

ppl ./NEWS interfaces/C/ppl_c.cc interfaces/C/ ...
by Roberto Bagnara 14 Oct '02

14 Oct '02

1 0

w3ppl/htdocs/Credits Credits.raw
by Roberto Bagnara 14 Oct '02

14 Oct '02

CVSROOT: /cvs/ppl Module name: w3ppl Changes by: roberto(a)cs.unipr.it 2002-10-14 14:53:50 Modified files: htdocs/Credits : Credits.raw Log message: Mention that Fred Mesnard helped us to port the PPL to Mac OS X. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/w3ppl/htdocs/Credits/Credits.raw.…

1 0

ppl ./NEWS interfaces/C/ppl_c.cc interfaces/C/ ...
by Roberto Bagnara 14 Oct '02

14 Oct '02

1 0

ppl configure.ac
by Roberto Bagnara 14 Oct '02

14 Oct '02

CVSROOT: /cvs/ppl Module name: ppl Changes by: roberto(a)cs.unipr.it 2002-10-14 12:08:18 Modified files: . : configure.ac Log message: We now require autoconf (at least) 2.54 and automake (at least) 1.7. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/configure.ac.diff?cvsroot=ppl…

1 0

ppl ./configure.ac interfaces/Prolog/SICStus/M ...
by Roberto Bagnara 14 Oct '02

14 Oct '02

CVSROOT: /cvs/ppl Module name: ppl Changes by: roberto(a)cs.unipr.it 2002-10-14 12:06:35 Modified files: . : configure.ac interfaces/Prolog/SICStus: Makefile.am Log message: An hack that was necessary to build the SICStus Prolog interface with SICStus 3.9.0 has been removed, since it prevented us to build on Darwin. Consequently, we now require SICStus 3.9.1 or later version. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/configure.ac.diff?cvsroot=ppl… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/SICStus/Mak…

1 0

w3ppl/htdocs/Documentation bibliography.raw pp ...
by Roberto Bagnara 14 Oct '02

14 Oct '02

CVSROOT: /cvs/ppl Module name: w3ppl Changes by: roberto(a)cs.unipr.it 2002-10-14 09:22:49 Modified files: htdocs/Documentation: bibliography.raw ppl.bib Log message: BessonJT99 added. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/w3ppl/htdocs/Documentation/biblio… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/w3ppl/htdocs/Documentation/ppl.bi…

1 0

ppl configure.ac
by Roberto Bagnara 14 Oct '02

14 Oct '02

CVSROOT: /cvs/ppl Module name: ppl Changes by: roberto(a)cs.unipr.it 2002-10-14 08:07:50 Modified files: . : configure.ac Log message: Bump version number. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/configure.ac.diff?cvsroot=ppl…

1 0

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