January 2005 - PPL-devel - BUGSENG Mailman

ppl/tests ppl_test.hh
by Abramo Bagnara 31 Jan '05

31 Jan '05

CVSROOT: /cvs/ppl Module name: ppl Changes by: abramo(a)cs.unipr.it 2005-01-31 22:33:38 Modified files: tests : ppl_test.hh Log message: Fixed two typos. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/ppl_test.hh.diff?cvsroo…

1 0

ppl demos/ppl_lcdd/ppl_lcdd.cc interfaces/C/pp ...
by Abramo Bagnara 31 Jan '05

31 Jan '05

1 0

ppl src/Checked_Number.defs.hh src/Checked_Num ...
by Abramo Bagnara 29 Jan '05

29 Jan '05

CVSROOT: /cvs/ppl Module name: ppl Changes by: abramo(a)cs.unipr.it 2005-01-29 09:38:37 Modified files: src : Checked_Number.defs.hh Checked_Number.inlines.hh checked_ext.inlines.hh checked_float.inlines.hh tests : ppl_test.hh Log message: More work to improve performance on extended numbers. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Checked_Number.defs.hh.di… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Checked_Number.inlines.hh… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/checked_ext.inlines.hh.di… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/checked_float.inlines.hh.… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/ppl_test.hh.diff?cvsroo…

1 0

Seminario su analisi di complessita`
by Roberto Bagnara 28 Jan '05

28 Jan '05

[Con preghiera di diffusione e scuse per l'eventuale ricezione di copie multiple. RB] ---------------------------------------------------------------------- Date: Mercoledi`, 2 febbraio 2005 Time: 14:30 Speaker: Pedro Vasconcelos School of Computer Science University of St Andrews North Haugh, St Andrews, UK Title: A Type and Effect System for Cost Equation Synthesis Abstract: We present a static program analysis based on an annotated type system for synthesising size and cost recurrences for a minimal functional notation (simply-typed lambda-calculus with naturals, lists and recursive definitions). The cost recurrences express upper-bound aproximations on the number of beta-reductions in a call-by-value operational semantics. This work is being developed is part of the research in ``Hume'', a functionally-inspired programming language for resource-bounded systems (http://www.hume-lang.org). Place: Sala Riunioni Dipartimento di Matematica Universita` di Parma Via D'Azeglio, 85/A Parma ---------------------------------------------------------------------- -- 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 checked.defs.hh checked.inlines.hh che ...
by Abramo Bagnara 28 Jan '05

28 Jan '05

CVSROOT: /cvs/ppl Module name: ppl Changes by: abramo(a)cs.unipr.it 2005-01-28 12:24:16 Modified files: src : checked.defs.hh checked.inlines.hh checked_ext.inlines.hh checked_int.inlines.hh checked_mpq.inlines.hh checked_mpz.inlines.hh Log message: Attempt to improve performance of extended numbers. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/checked.defs.hh.diff?cvsr… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/checked.inlines.hh.diff?c… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/checked_ext.inlines.hh.di… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/checked_int.inlines.hh.di… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/checked_mpq.inlines.hh.di… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/checked_mpz.inlines.hh.di…

1 0

ppl/tests/Polyhedron Makefile.am
by Roberto Bagnara 28 Jan '05

28 Jan '05

CVSROOT: /cvs/ppl Module name: ppl Changes by: roberto(a)cs.unipr.it 2005-01-28 11:19:03 Modified files: tests/Polyhedron: Makefile.am Log message: Removed ascii_dump_load4 from XFAIL_WITH_INT8_A. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Polyhedron/Makefile.am.…

1 0

ppl/src E_NIT.inlines.hh
by Roberto Bagnara 27 Jan '05

27 Jan '05

CVSROOT: /cvs/ppl Module name: ppl Changes by: roberto(a)cs.unipr.it 2005-01-27 21:53:48 Modified files: src : E_NIT.inlines.hh Log message: Fixed exact_neg(E_NIT<T>& to, const E_NIT<T>& x). Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/E_NIT.inlines.hh.diff?cvs…

1 0

ppl/src E_NIT.defs.hh E_NIT.inlines.hh
by Roberto Bagnara 27 Jan '05

27 Jan '05

CVSROOT: /cvs/ppl Module name: ppl Changes by: roberto(a)cs.unipr.it 2005-01-27 21:35:24 Modified files: src : E_NIT.defs.hh E_NIT.inlines.hh Log message: Added constructor and assignment operator from Plus_Infinity. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/E_NIT.defs.hh.diff?cvsroo… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/E_NIT.inlines.hh.diff?cvs…

1 0

ppl/src Checked_Number.defs.hh Checked_Number. ...
by Abramo Bagnara 27 Jan '05

27 Jan '05

CVSROOT: /cvs/ppl Module name: ppl Changes by: abramo(a)cs.unipr.it 2005-01-27 20:25:58 Modified files: src : Checked_Number.defs.hh Checked_Number.inlines.hh Log message: Added constructors for special values. Added functors to return special values. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Checked_Number.defs.hh.di… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Checked_Number.inlines.hh…

1 0

ppl src/E_NIT.inlines.hh tests/ppl_test.hh
by Roberto Bagnara 27 Jan '05

27 Jan '05

CVSROOT: /cvs/ppl Module name: ppl Changes by: roberto(a)cs.unipr.it 2005-01-27 17:22:56 Modified files: src : E_NIT.inlines.hh tests : ppl_test.hh Log message: Temporarily added a modified interface for E_NIT. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/E_NIT.inlines.hh.diff?cvs… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/ppl_test.hh.diff?cvsroo…

1 0