August 2004 - PPL-devel - BUGSENG Mailman

ppl/src checked_mpq.inlines.hh checked_mpz.inl ...
by Abramo Bagnara 27 Aug '04

27 Aug '04

CVSROOT: /cvs/ppl Module name: ppl Branch: altnum Changes by: abramo(a)cs.unipr.it 2004-08-27 09:23:34 Modified files: src : checked_mpq.inlines.hh checked_mpz.inlines.hh Log message: Added support for special values. Patches: 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/src checked_int.inlines.hh
by Abramo Bagnara 27 Aug '04

27 Aug '04

CVSROOT: /cvs/ppl Module name: ppl Branch: altnum Changes by: abramo(a)cs.unipr.it 2004-08-27 09:23:00 Modified files: src : checked_int.inlines.hh Log message: Added implementation of extended integers Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/checked_int.inlines.hh.di…

1 0

ppl/src checked_float.inlines.hh
by Abramo Bagnara 27 Aug '04

27 Aug '04

CVSROOT: /cvs/ppl Module name: ppl Branch: altnum Changes by: abramo(a)cs.unipr.it 2004-08-27 09:22:00 Modified files: src : checked_float.inlines.hh Log message: Better implementation of pred/succ. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/checked_float.inlines.hh.…

1 0

ppl/src checked.inlines.hh
by Abramo Bagnara 27 Aug '04

27 Aug '04

CVSROOT: /cvs/ppl Module name: ppl Branch: altnum Changes by: abramo(a)cs.unipr.it 2004-08-27 09:21:18 Modified files: src : checked.inlines.hh Log message: Added extended functions. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/checked.inlines.hh.diff?c…

1 0

ppl/src Makefile.am
by Abramo Bagnara 26 Aug '04

26 Aug '04

CVSROOT: /cvs/ppl Module name: ppl Branch: altnum Changes by: abramo(a)cs.unipr.it 2004-08-26 23:54:37 Modified files: src : Makefile.am Log message: Fixed concatenation order. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Makefile.am.diff?cvsroot=…

1 0

ppl/src Checked_Number.inlines.hh
by Abramo Bagnara 26 Aug '04

26 Aug '04

CVSROOT: /cvs/ppl Module name: ppl Branch: altnum Changes by: abramo(a)cs.unipr.it 2004-08-26 23:53:53 Modified files: src : Checked_Number.inlines.hh Log message: Use Checked::functions Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Checked_Number.inlines.hh…

1 0

ppl/src Checked_Number.defs.hh checked.defs.hh
by Abramo Bagnara 26 Aug '04

26 Aug '04

CVSROOT: /cvs/ppl Module name: ppl Branch: altnum Changes by: abramo(a)cs.unipr.it 2004-08-26 23:52:51 Modified files: src : Checked_Number.defs.hh checked.defs.hh Log message: Added some policy fields. Better specialization infrastructure. 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.defs.hh.diff?cvsr…

1 0

w3ppl/htdocs/Documentation ppl.bib
by Enea Zaffanella 25 Aug '04

25 Aug '04

CVSROOT: /cvs/ppl Module name: w3ppl Changes by: zaffanella(a)cs.unipr.it 2004-08-25 11:33:47 Modified files: htdocs/Documentation: ppl.bib Log message: Integrated the "abstract" of CousotC79. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/w3ppl/htdocs/Documentation/ppl.bi…

1 0

w3ppl/htdocs abstractions.raw
by Enea Zaffanella 24 Aug '04

24 Aug '04

CVSROOT: /cvs/ppl Module name: w3ppl Changes by: zaffanella(a)cs.unipr.it 2004-08-24 12:05:11 Modified files: htdocs : abstractions.raw Log message: Added a few references to the bibliography. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/w3ppl/htdocs/abstractions.raw.dif…

1 0

w3ppl/htdocs/Documentation ppl.bib
by Enea Zaffanella 24 Aug '04

24 Aug '04

CVSROOT: /cvs/ppl Module name: w3ppl Changes by: zaffanella(a)cs.unipr.it 2004-08-24 12:04:34 Modified files: htdocs/Documentation: ppl.bib Log message: Added entries for CousotC76 and CousotC79, with "abstracts" (actually, the first sentences from the introductions) and URLs to PDF versions. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/w3ppl/htdocs/Documentation/ppl.bi…

1 0