November 2006 - PPL-devel - BUGSENG Mailman

ppl/interfaces/Prolog ppl_interface_generator_ ...
by Roberto Bagnara 06 Nov '06

06 Nov '06

CVSROOT: /cvs/ppl Module name: ppl Branch: altnum Changes by: bagnara(a)cs.unipr.it 2006-11-06 17:43:04 Modified files: interfaces/Prolog: ppl_interface_generator_prolog_icc_preamble Log message: Use the new implementation of intervals. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/ppl_interfa…

1 0

ppl/src Interval.defs.hh
by Abramo Bagnara 06 Nov '06

06 Nov '06

CVSROOT: /cvs/ppl Module name: ppl Branch: altnum Changes by: abagnara(a)cs.unipr.it 2006-11-06 16:05:17 Modified files: src : Interval.defs.hh Log message: Added missing argument. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Interval.defs.hh.diff?cvs…

1 0

ppl/src Interval.defs.hh
by Abramo Bagnara 06 Nov '06

06 Nov '06

CVSROOT: /cvs/ppl Module name: ppl Branch: altnum Changes by: abagnara(a)cs.unipr.it 2006-11-06 15:59:39 Modified files: src : Interval.defs.hh Log message: Fixed two typos hard to see. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Interval.defs.hh.diff?cvs…

1 0

ppl/src Interval.defs.hh
by Abramo Bagnara 06 Nov '06

06 Nov '06

CVSROOT: /cvs/ppl Module name: ppl Branch: altnum Changes by: abagnara(a)cs.unipr.it 2006-11-06 15:58:24 Modified files: src : Interval.defs.hh Log message: Added two missing 'combine'. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Interval.defs.hh.diff?cvs…

1 0

ppl/src Interval.defs.hh
by Abramo Bagnara 06 Nov '06

06 Nov '06

CVSROOT: /cvs/ppl Module name: ppl Branch: altnum Changes by: abagnara(a)cs.unipr.it 2006-11-06 15:56:43 Modified files: src : Interval.defs.hh Log message: Added two missing functions invoking methods. Fixed typos. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Interval.defs.hh.diff?cvs…

1 0

ppl/src Boundary.defs.hh Interval.defs.hh Inte ...
by Abramo Bagnara 06 Nov '06

06 Nov '06

CVSROOT: /cvs/ppl Module name: ppl Branch: altnum Changes by: abagnara(a)cs.unipr.it 2006-11-06 15:46:22 Modified files: src : Boundary.defs.hh Interval.defs.hh Interval_Info.defs.hh Log message: Modified properties handling for generic property value. Added normalize_integer(). Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Boundary.defs.hh.diff?cvs… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Interval.defs.hh.diff?cvs… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Interval_Info.defs.hh.dif…

1 0

ppl/src Box.inlines.hh
by Roberto Bagnara 06 Nov '06

06 Nov '06

CVSROOT: /cvs/ppl Module name: ppl Branch: altnum Changes by: bagnara(a)cs.unipr.it 2006-11-06 14:37:50 Modified files: src : Box.inlines.hh Log message: Do not use low-level methods (this seems to expose a bug in the Interval implementation). Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Box.inlines.hh.diff?cvsro…

1 0

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

06 Nov '06

CVSROOT: /cvs/ppl Module name: ppl Changes by: quartieri(a)cs.unipr.it 2006-11-06 12:57:24 Modified files: src : Octagonal_Shape.templates.hh Log message: Replaced some assign_r() with the operator=(). Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Octagonal_Shape.templates…

1 0

ppl src/BD_Shape.templates.hh tests/BD_Shape/M ...
by Elena Mazzi 06 Nov '06

06 Nov '06

CVSROOT: /cvs/ppl Module name: ppl Changes by: mazzi(a)cs.unipr.it 2006-11-06 12:06:06 Modified files: src : BD_Shape.templates.hh tests/BD_Shape : Makefile.am Added files: tests/BD_Shape : boundedaffinepreimage1.cc Log message: Defined a new method: BD_Shape::bounded_affine_preimage() and added some tests on it. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/BD_Shape.templates.hh.dif… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/BD_Shape/boundedaffinep… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/BD_Shape/Makefile.am.di…

1 0

ppl/src BD_Shape.templates.hh
by Elena Mazzi 06 Nov '06

06 Nov '06

CVSROOT: /cvs/ppl Module name: ppl Changes by: mazzi(a)cs.unipr.it 2006-11-06 10:52:58 Modified files: src : BD_Shape.templates.hh Log message: Corrected a bug on bds_hull_assign() when a BDS is minimized. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/BD_Shape.templates.hh.dif…

1 0