December 2004 - PPL-devel - BUGSENG Mailman

ppl/src checked_int.inlines.hh
by Abramo Bagnara 29 Dec '04

29 Dec '04

CVSROOT: /cvs/ppl Module name: ppl Changes by: abramo(a)cs.unipr.it 2004-12-29 14:45:41 Modified files: src : checked_int.inlines.hh Log message: Return overflow Result when Rounding direction is IGNORE. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/checked_int.inlines.hh.di…

1 0

ppl/src checked.defs.hh checked_int.inlines.hh ...
by Abramo Bagnara 29 Dec '04

29 Dec '04

CVSROOT: /cvs/ppl Module name: ppl Changes by: abramo(a)cs.unipr.it 2004-12-29 11:06:43 Modified files: src : checked.defs.hh checked_int.inlines.hh checked_mpz.inlines.hh Log message: Don't compute relation with exact result if choosen rounding direction is IGNORE 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_int.inlines.hh.di… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/checked_mpz.inlines.hh.di…

1 0

ppl/src Result.inlines.hh
by Roberto Bagnara 29 Dec '04

29 Dec '04

CVSROOT: /cvs/ppl Module name: ppl Changes by: roberto(a)cs.unipr.it 2004-12-29 08:24:13 Modified files: src : Result.inlines.hh Log message: Comment fixed. Indentation fixed. Use assert(false) instead of assert(0). Include <cassert>. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Result.inlines.hh.diff?cv…

1 0

ppl/src Result.defs.hh
by Roberto Bagnara 29 Dec '04

29 Dec '04

CVSROOT: /cvs/ppl Module name: ppl Changes by: roberto(a)cs.unipr.it 2004-12-29 08:23:12 Modified files: src : Result.defs.hh Log message: Comment fixed. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Result.defs.hh.diff?cvsro…

1 0

ppl/tests/BD_Shape Makefile.am
by Roberto Bagnara 29 Dec '04

29 Dec '04

CVSROOT: /cvs/ppl Module name: ppl Changes by: roberto(a)cs.unipr.it 2004-12-29 08:12:43 Modified files: tests/BD_Shape : Makefile.am Log message: Added ascii_dump_load1.dat and ascii_dump_load2.dat to MOSTLYCLEANFILES. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/BD_Shape/Makefile.am.di…

1 0

ppl/src BD_Shape.defs.hh
by Roberto Bagnara 29 Dec '04

29 Dec '04

CVSROOT: /cvs/ppl Module name: ppl Changes by: roberto(a)cs.unipr.it 2004-12-29 08:11:56 Modified files: src : BD_Shape.defs.hh Log message: Typo fixed. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/BD_Shape.defs.hh.diff?cvs…

1 0

ppl/src BD_Shape.defs.hh
by Roberto Bagnara 29 Dec '04

29 Dec '04

CVSROOT: /cvs/ppl Module name: ppl Branch: altnum Changes by: roberto(a)cs.unipr.it 2004-12-29 00:22:17 Modified files: src : BD_Shape.defs.hh Log message: Typos fixed. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/BD_Shape.defs.hh.diff?cvs…

1 0

ppl README.configure
by Roberto Bagnara 28 Dec '04

28 Dec '04

CVSROOT: /cvs/ppl Module name: ppl Changes by: roberto(a)cs.unipr.it 2004-12-28 23:28:07 Modified files: . : README.configure Log message: Reflect the fact that the `gmp' option for `--enable-coefficients' has been renamed `mpz'. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/README.configure.diff?cvsroot…

1 0

ppl NEWS
by Roberto Bagnara 28 Dec '04

28 Dec '04

CVSROOT: /cvs/ppl Module name: ppl Changes by: roberto(a)cs.unipr.it 2004-12-28 23:27:00 Modified files: . : NEWS Log message: Mention the fact that one of the possible values for the configuration option `--enable-coefficients' has been renamed from `gmp' to `mpz'. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/NEWS.diff?cvsroot=ppl&r1=1.14…

1 0

ppl ./CREDITS ./configure.ac demos/ppl_lcdd/pp ...
by Roberto Bagnara 28 Dec '04

28 Dec '04

1 0