October 2006 - PPL-devel - BUGSENG Mailman

ppl/src Checked_Number.defs.hh Checked_Number. ...
by Abramo Bagnara 31 Oct '06

31 Oct '06

CVSROOT: /cvs/ppl Module name: ppl Branch: altnum Changes by: abagnara(a)cs.unipr.it 2006-10-31 09:30:25 Modified files: src : Checked_Number.defs.hh Checked_Number.inlines.hh Rounding_Dir.defs.hh Rounding_Dir.inlines.hh checked_int.inlines.hh checked_mpz.inlines.hh Log message: Check for FPU inexact result only when explicitly requested by the individual functions/operators. 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/Rounding_Dir.defs.hh.diff… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Rounding_Dir.inlines.hh.d… 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 checked_mpq.inlines.hh
by Abramo Bagnara 31 Oct '06

31 Oct '06

CVSROOT: /cvs/ppl Module name: ppl Branch: altnum Changes by: abagnara(a)cs.unipr.it 2006-10-31 09:23:38 Modified files: src : checked_mpq.inlines.hh Log message: Fixed is_int_mpq(). Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/checked_mpq.inlines.hh.di…

1 0

ppl/src MIP_Problem.defs.hh
by Enea Zaffanella 31 Oct '06

31 Oct '06

CVSROOT: /cvs/ppl Module name: ppl Changes by: zaffanella(a)cs.unipr.it 2006-10-31 08:51:38 Modified files: src : MIP_Problem.defs.hh Log message: Avoid a Doxygen warning about an undocumented parameter. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/MIP_Problem.defs.hh.diff?…

1 0

ppl/interfaces/Prolog/tests ppl_interface_gene ...
by Patricia Hill 30 Oct '06

30 Oct '06

CVSROOT: /cvs/ppl Module name: ppl Changes by: hill(a)cs.unipr.it 2006-10-30 18:37:30 Modified files: interfaces/Prolog/tests: ppl_interface_generator_predicate_check_code.m4 Log message: Tests for the affine image and preimage predicates added. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/tests/ppl_i…

1 0

ppl/src Saturation_Matrix.cc Saturation_Matrix ...
by Enea Zaffanella 30 Oct '06

30 Oct '06

1 0

ppl doc/definitions.dox doc/devref.doxyconf-ht ...
by Enea Zaffanella 30 Oct '06

30 Oct '06

1 0

ppl/src Saturation_Row.defs.hh
by Enea Zaffanella 30 Oct '06

30 Oct '06

CVSROOT: /cvs/ppl Module name: ppl Changes by: zaffanella(a)cs.unipr.it 2006-10-30 14:42:50 Modified files: src : Saturation_Row.defs.hh Log message: Added specification for void set_until(unsigned long k); Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Saturation_Row.defs.hh.di…

1 0

ppl/src BD_Shape.defs.hh BD_Shape.templates.hh
by Enea Zaffanella 30 Oct '06

30 Oct '06

CVSROOT: /cvs/ppl Module name: ppl Changes by: zaffanella(a)cs.unipr.it 2006-10-30 12:36:46 Modified files: src : BD_Shape.defs.hh BD_Shape.templates.hh Log message: The redundancy_dbm private data member of BD_Shape is now implemented by using a Saturation_Matrix (instead of a vector of deques of Booleans). Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/BD_Shape.defs.hh.diff?cvs… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/BD_Shape.templates.hh.dif…

1 0

ppl/src Saturation_Matrix.defs.hh Saturation_M ...
by Enea Zaffanella 30 Oct '06

30 Oct '06

CVSROOT: /cvs/ppl Module name: ppl Changes by: zaffanella(a)cs.unipr.it 2006-10-30 12:35:02 Modified files: src : Saturation_Matrix.defs.hh Saturation_Matrix.inlines.hh Saturation_Matrix.cc Log message: Added comparison operators for Saturation_Matrix. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Saturation_Matrix.defs.hh… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Saturation_Matrix.inlines… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Saturation_Matrix.cc.diff…

1 0

ppl/src Octagonal_Shape.templates.hh
by Barbara Quartieri 30 Oct '06

30 Oct '06

CVSROOT: /cvs/ppl Module name: ppl Changes by: quartieri(a)cs.unipr.it 2006-10-30 12:23:41 Modified files: src : Octagonal_Shape.templates.hh Log message: Removed an old FIXME and a provisional implementation of the method external_memory_in_bytes(). Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Octagonal_Shape.templates…

1 0