August 2004 - PPL-devel - BUGSENG Mailman

ppl/tests bhz03widening4.cc bhz03widening5.cc
by Enea Zaffanella 17 Aug '04

17 Aug '04

CVSROOT: /cvs/ppl Module name: ppl Changes by: zaffanella(a)cs.unipr.it 2004-08-17 21:48:17 Modified files: tests : bhz03widening4.cc bhz03widening5.cc Log message: Corrected to work with the new implementation. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/bhz03widening4.cc.diff?… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/bhz03widening5.cc.diff?…

1 0

ppl/src Makefile.am Polyhedra_PowerSet.defs.hh ...
by Enea Zaffanella 17 Aug '04

17 Aug '04

CVSROOT: /cvs/ppl Module name: ppl Changes by: zaffanella(a)cs.unipr.it 2004-08-17 21:47:01 Modified files: src : Makefile.am Polyhedra_PowerSet.defs.hh Polyhedra_PowerSet.inlines.hh Added files: src : Widening_Function.defs.hh Widening_Function.inlines.hh Widening_Function.types.hh Log message: Factorized a lot of code related to widenings of powersets by using function objects instead of method pointers. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Widening_Function.defs.hh… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Widening_Function.inlines… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Widening_Function.types.h… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Makefile.am.diff?cvsroot=… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Polyhedra_PowerSet.defs.h… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Polyhedra_PowerSet.inline…

1 0

ppl/src Determinate.defs.hh Determinate.inline ...
by Enea Zaffanella 17 Aug '04

17 Aug '04

CVSROOT: /cvs/ppl Module name: ppl Changes by: zaffanella(a)cs.unipr.it 2004-08-17 21:43:47 Modified files: src : Determinate.defs.hh Determinate.inlines.hh algorithms.hh Log message: Improved a little bit the docuemntation for the Determinate construction. Removed a few seemingly useless methods. The polyhedron() methods renamed as element(). 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/algorithms.hh.diff?cvsroo…

1 0

ppl/src checked_mpq.inlines.hh
by Abramo Bagnara 17 Aug '04

17 Aug '04

CVSROOT: /cvs/ppl Module name: ppl Branch: altnum Changes by: abramo(a)cs.unipr.it 2004-08-17 19:43:05 Modified files: src : checked_mpq.inlines.hh Log message: Fixed unhandled native integer type behaviour. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/checked_mpq.inlines.hh.di…

1 0

ppl/src checked_mpz.inlines.hh
by Abramo Bagnara 17 Aug '04

17 Aug '04

CVSROOT: /cvs/ppl Module name: ppl Branch: altnum Changes by: abramo(a)cs.unipr.it 2004-08-17 19:39:59 Modified files: src : checked_mpz.inlines.hh Log message: Fixed unhandled native integer type behaviour. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/checked_mpz.inlines.hh.di…

1 0

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

17 Aug '04

CVSROOT: /cvs/ppl Module name: ppl Branch: altnum Changes by: abramo(a)cs.unipr.it 2004-08-17 19:33:53 Modified files: src : Makefile.am Log message: Added Limits.hh Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Makefile.am.diff?cvsroot=…

1 0

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

17 Aug '04

CVSROOT: /cvs/ppl Module name: ppl Branch: altnum Changes by: abramo(a)cs.unipr.it 2004-08-17 19:33:07 Modified files: src : checked_float.inlines.hh Log message: Fixed float96_t format oddities. Cleaned code. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/checked_float.inlines.hh.…

1 0

ppl/src checked_int.inlines.hh
by Abramo Bagnara 17 Aug '04

17 Aug '04

CVSROOT: /cvs/ppl Module name: ppl Branch: altnum Changes by: abramo(a)cs.unipr.it 2004-08-17 19:32:17 Modified files: src : checked_int.inlines.hh Log message: Fixed unhandled native integer type behaviour. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/checked_int.inlines.hh.di…

1 0

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

17 Aug '04

CVSROOT: /cvs/ppl Module name: ppl Branch: altnum Changes by: abramo(a)cs.unipr.it 2004-08-17 19:31:27 Modified files: src : Checked_Number.defs.hh Checked_Number.inlines.hh checked.defs.hh Added files: src : Limits.hh Log message: Fixed unhandled native integer type behaviour. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Limits.hh?cvsroot=ppl&onl… 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.defs.hh.diff?cvsr…

1 0

ppl/doc gpl.txt
by Roberto Bagnara 17 Aug '04

17 Aug '04

CVSROOT: /cvs/ppl Module name: ppl Changes by: roberto(a)cs.unipr.it 2004-08-17 17:05:02 Modified files: doc : gpl.txt Log message: Spacing fixed. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/doc/gpl.txt.diff?cvsroot=ppl&…

1 0