November 2005 - PPL-devel - BUGSENG Mailman

ppl/src checked_mpq.inlines.hh
by Abramo Bagnara 07 Nov '05

07 Nov '05

CVSROOT: /cvs/ppl Module name: ppl Changes by: abramo(a)cs.unipr.it 2005-11-07 16:27:07 Modified files: src : checked_mpq.inlines.hh Log message: Added add_mul and sub_mul. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/checked_mpq.inlines.hh.di…

1 0

ppl/tests/Grid addconstraints1.cc
by Matthew Mundell 07 Nov '05

07 Nov '05

CVSROOT: /cvs/ppl Module name: ppl Branch: grids Changes by: mundell(a)cs.unipr.it 2005-11-07 14:35:54 Modified files: tests/Grid : addconstraints1.cc Log message: Add test8, for add_congruences(cs). Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Grid/addconstraints1.cc…

1 0

ppl src/Grid_public.cc src/Grid.defs.hh ./TODO
by Matthew Mundell 07 Nov '05

07 Nov '05

CVSROOT: /cvs/ppl Module name: ppl Branch: grids Changes by: mundell(a)cs.unipr.it 2005-11-07 14:35:09 Modified files: src : Grid_public.cc Grid.defs.hh . : TODO Log message: Add add_congruences(cs). In add_congruences_and_minimize(cs) add the congruences with add_recycled_congruences_and_minimize. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Grid_public.cc.diff?cvsro… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Grid.defs.hh.diff?cvsroot… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/TODO.diff?cvsroot=ppl&only_wi…

1 0

ppl/src Congruence_System.defs.hh
by Matthew Mundell 07 Nov '05

07 Nov '05

CVSROOT: /cvs/ppl Module name: ppl Branch: grids Changes by: mundell(a)cs.unipr.it 2005-11-07 12:04:12 Modified files: src : Congruence_System.defs.hh Log message: Narrow a comment. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Congruence_System.defs.hh…

1 0

ppl/tests/Grid Makefile.am griddifference1
by Matthew Mundell 07 Nov '05

07 Nov '05

CVSROOT: /cvs/ppl Module name: ppl Branch: grids Changes by: mundell(a)cs.unipr.it 2005-11-07 12:01:39 Modified files: tests/Grid : Makefile.am Added files: tests/Grid : griddifference1 Log message: Add maxmin1, which tests Grid::maximize(le&, ...) and Grid::minimize(le&, ...). Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Grid/griddifference1?cv… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Grid/Makefile.am.diff?c…

1 0

ppl/tests/Grid bounds1.cc
by Matthew Mundell 07 Nov '05

07 Nov '05

CVSROOT: /cvs/ppl Module name: ppl Branch: grids Changes by: mundell(a)cs.unipr.it 2005-11-07 11:59:46 Modified files: tests/Grid : bounds1.cc Log message: Match expected values to updated method behaviour. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Grid/bounds1.cc.diff?cv…

1 0

ppl src/Grid_nonpublic.cc src/Grid.inlines.hh ...
by Matthew Mundell 07 Nov '05

07 Nov '05

CVSROOT: /cvs/ppl Module name: ppl Branch: grids Changes by: mundell(a)cs.unipr.it 2005-11-07 11:58:48 Modified files: src : Grid_nonpublic.cc Grid.inlines.hh Grid.defs.hh . : TODO Log message: Separate parameters with semicolons in descriptions. Add minimize and maximize methods. Match the behaviours of bounds_from_above and bounds_from_below to the Polyhedron versions. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Grid_nonpublic.cc.diff?cv… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Grid.inlines.hh.diff?cvsr… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Grid.defs.hh.diff?cvsroot… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/TODO.diff?cvsroot=ppl&only_wi…

1 0

[Fwd: [Bug 319219] Spurious space inserted after inlined math formulae.]
by Enea Zaffanella 06 Nov '05

06 Nov '05

Do not reply to this via email (we are currently unable to handle email responses and they get discarded). You can add comments to this bug at http://bugzilla.gnome.org/show_bug.cgi?id=319219 doxygen | general | Ver: 1.4.x Dimitri van Heesch changed: What |Removed |Added ---------------------------------------------------------------------------- Status|UNCONFIRMED |ASSIGNED everconfirmed|0 |1 ------- Additional Comments From Dimitri van Heesch 2005-11-06 16:08 ------- Confirmed. Should be fixed in the next CVS update. ------- You are receiving this mail because: ------- You reported the bug.

1 0

[Fwd: [Bug 319219] Spurious space inserted after inlined math formulae.]
by Enea Zaffanella 06 Nov '05

06 Nov '05

1 0

ppl doc/definitions.dox interfaces/C/ppl_c.h.i ...
by Roberto Bagnara 05 Nov '05

05 Nov '05

CVSROOT: /cvs/ppl Module name: ppl Changes by: roberto(a)cs.unipr.it 2005-11-05 17:30:49 Modified files: doc : definitions.dox interfaces/C : ppl_c.h.in interfaces/Prolog: Prolog_interface.dox src : BD_Shape.defs.hh Constraint_System.defs.hh Determinate.defs.hh Polyhedra_Powerset.defs.hh Polyhedron.defs.hh Log message: In definitions.doc we were bricolating our own sectioning with <B> and </B> tags. Started using Doxygen's \subsection command. Started using label names that are easily obtained from the section or subsection title. This is less likely to generate conflicts, but a better scheme must be devised that can work across the entire library's documentation. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/doc/definitions.dox.diff?cvsr… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/C/ppl_c.h.in.diff?… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/Prolog_inte… 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/Constraint_System.defs.hh… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Determinate.defs.hh.diff?… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Polyhedra_Powerset.defs.h… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Polyhedron.defs.hh.diff?c…

1 0