December 2004 - PPL-devel - BUGSENG Mailman

ppl/src BD_Shape.inlines.hh
by Roberto Bagnara 28 Dec '04

28 Dec '04

CVSROOT: /cvs/ppl Module name: ppl Branch: altnum Changes by: roberto(a)cs.unipr.it 2004-12-28 17:38:14 Modified files: src : BD_Shape.inlines.hh Log message: New implementation for BD_Shape<T>::relation_with(const Generator& g). Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/BD_Shape.inlines.hh.diff?…

1 0

ppl/tests/BD_Shape affinepreimage1.cc
by Roberto Bagnara 28 Dec '04

28 Dec '04

CVSROOT: /cvs/ppl Module name: ppl Branch: altnum Changes by: roberto(a)cs.unipr.it 2004-12-28 17:09:07 Modified files: tests/BD_Shape : affinepreimage1.cc Log message: Typo fixed. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/BD_Shape/affinepreimage…

1 0

ppl src/BDS_Status.idefs.hh src/BDS_Status.inl ...
by Roberto Bagnara 28 Dec '04

28 Dec '04

1 0

ppl/src Makefile.am
by Roberto Bagnara 28 Dec '04

28 Dec '04

CVSROOT: /cvs/ppl Module name: ppl Branch: altnum Changes by: roberto(a)cs.unipr.it 2004-12-28 17:04:05 Modified files: src : Makefile.am Log message: Deal correctly with nested include files. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Makefile.am.diff?cvsroot=…

1 0

ppl/src BD_Shape.inlines.hh
by Roberto Bagnara 28 Dec '04

28 Dec '04

CVSROOT: /cvs/ppl Module name: ppl Branch: altnum Changes by: roberto(a)cs.unipr.it 2004-12-28 17:03:45 Modified files: src : BD_Shape.inlines.hh Log message: Added the required template function min_assign(T& x, const T& y). Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/BD_Shape.inlines.hh.diff?…

1 0

ppl/src checked.defs.hh checked_ext.inlines.hh ...
by Abramo Bagnara 28 Dec '04

28 Dec '04

CVSROOT: /cvs/ppl Module name: ppl Branch: altnum Changes by: abramo(a)cs.unipr.it 2004-12-28 16:51:01 Modified files: src : checked.defs.hh checked_ext.inlines.hh checked_float.inlines.hh checked_int.inlines.hh checked_mpq.inlines.hh checked_mpz.inlines.hh Log message: Changed lowlevel set_special to return Result info. 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_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/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/src E_NIT.inlines.hh
by Abramo Bagnara 28 Dec '04

28 Dec '04

CVSROOT: /cvs/ppl Module name: ppl Branch: altnum Changes by: abramo(a)cs.unipr.it 2004-12-28 16:28:32 Modified files: src : E_NIT.inlines.hh Log message: Added missing rounding argument. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/E_NIT.inlines.hh.diff?cvs…

1 0

ppl/src checked.defs.hh
by Abramo Bagnara 28 Dec '04

28 Dec '04

CVSROOT: /cvs/ppl Module name: ppl Branch: altnum Changes by: abramo(a)cs.unipr.it 2004-12-28 16:21:31 Modified files: src : checked.defs.hh Log message: Documentation fix. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/checked.defs.hh.diff?cvsr…

1 0

ppl/src Checked_Number.defs.hh Checked_Number. ...
by Abramo Bagnara 28 Dec '04

28 Dec '04

CVSROOT: /cvs/ppl Module name: ppl Branch: altnum Changes by: abramo(a)cs.unipr.it 2004-12-28 16:19:25 Modified files: src : Checked_Number.defs.hh Checked_Number.inlines.hh Log message: Transformed helper function in static method. 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 checked_ext.inlines.hh
by Abramo Bagnara 28 Dec '04

28 Dec '04

CVSROOT: /cvs/ppl Module name: ppl Branch: altnum Changes by: abramo(a)cs.unipr.it 2004-12-28 16:18:26 Modified files: src : checked_ext.inlines.hh Log message: Removed useless function. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/checked_ext.inlines.hh.di…

1 0