November 2006 - PPL-devel - BUGSENG Mailman

ppl/src Pointset_Powerset.defs.hh
by Enea Zaffanella 27 Nov '06

27 Nov '06

CVSROOT: /cvs/ppl Module name: ppl Changes by: zaffanella(a)cs.unipr.it 2006-11-27 15:23:27 Modified files: src : Pointset_Powerset.defs.hh Log message: Little adjustments to the documentation: prefer "disjuncts" to "polyhedra" when talking about elements of a Pointset_Powerset. Added declarations for the Pointset_Powerset<Grid> specializations of methods poly_difference_assign() and geometrically_covers(). Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Pointset_Powerset.defs.hh…

1 0

ppl/src checked.inlines.hh
by Abramo Bagnara 27 Nov '06

27 Nov '06

CVSROOT: /cvs/ppl Module name: ppl Branch: altnum Changes by: abagnara(a)cs.unipr.it 2006-11-27 15:12:07 Modified files: src : checked.inlines.hh Log message: Moved #include compiler.hh. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/checked.inlines.hh.diff?c…

1 0

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

27 Nov '06

CVSROOT: /cvs/ppl Module name: ppl Branch: altnum Changes by: abagnara(a)cs.unipr.it 2006-11-27 15:11:58 Modified files: src : checked.defs.hh Log message: Moved #include compiler.hh. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/checked.defs.hh.diff?cvsr…

1 0

ppl/src Rational_Box.hh
by Abramo Bagnara 27 Nov '06

27 Nov '06

CVSROOT: /cvs/ppl Module name: ppl Branch: altnum Changes by: abagnara(a)cs.unipr.it 2006-11-27 15:04:25 Modified files: src : Rational_Box.hh Log message: Some fixes to conform to new implementation. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Rational_Box.hh.diff?cvsr…

1 0

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

27 Nov '06

CVSROOT: /cvs/ppl Module name: ppl Branch: altnum Changes by: abagnara(a)cs.unipr.it 2006-11-27 14:23:39 Modified files: src : Boundary.defs.hh Interval.defs.hh Interval_Info.defs.hh Log message: Shiny new implementation of intervals with support for generic restrictions. 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 checked.defs.hh checked_float.inlines. ...
by Abramo Bagnara 27 Nov '06

27 Nov '06

CVSROOT: /cvs/ppl Module name: ppl Branch: altnum Changes by: abagnara(a)cs.unipr.it 2006-11-27 14:22:37 Modified files: src : checked.defs.hh checked_float.inlines.hh checked.inlines.hh checked_int.inlines.hh checked_mpq.inlines.hh checked_mpz.inlines.hh Log message: Added Checked_Supports template. Some name cleaning according to STANDARDS. 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_float.inlines.hh.… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/checked.inlines.hh.diff?c… 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 Checked_Number.defs.hh Checked_Number. ...
by Abramo Bagnara 27 Nov '06

27 Nov '06

CVSROOT: /cvs/ppl Module name: ppl Branch: altnum Changes by: abagnara(a)cs.unipr.it 2006-11-27 14:21:31 Modified files: src : Checked_Number.defs.hh Checked_Number.inlines.hh Log message: Added some missing Enable_If. 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 compiler.hh
by Abramo Bagnara 27 Nov '06

27 Nov '06

CVSROOT: /cvs/ppl Module name: ppl Branch: altnum Changes by: abagnara(a)cs.unipr.it 2006-11-27 14:20:44 Modified files: src : compiler.hh Log message: Removed some macros. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/compiler.hh.diff?cvsroot=…

1 0

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

27 Nov '06

CVSROOT: /cvs/ppl Module name: ppl Changes by: quartieri(a)cs.unipr.it 2006-11-27 13:52:08 Modified files: src : Octagonal_Shape.templates.hh tests/Octagonal_Shape: constraints1.cc relatwithgen1.cc Log message: Corrected two bugs: one in relation_with() and another in add_constraint(). Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Octagonal_Shape.templates… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Octagonal_Shape/constra… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Octagonal_Shape/relatwi…

1 0

ppl/interfaces ppl_interface_generator_common_ ...
by Patricia Hill 27 Nov '06

27 Nov '06

CVSROOT: /cvs/ppl Module name: ppl Changes by: hill(a)cs.unipr.it 2006-11-27 13:21:36 Modified files: interfaces : ppl_interface_generator_common_dat.m4 interfaces/Prolog/tests: ppl_interface_generator_predicate_check_code.m4 Log message: Temporarily disable poly_difference for powersets where the elements are not Polyhedra. Corrected a bug in the test code.. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/ppl_interface_gene… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/tests/ppl_i…

1 0