January 2006 - PPL-devel - BUGSENG Mailman

ppl/Watchdog NEWS
by Matthew Mundell 14 Jan '06

14 Jan '06

CVSROOT: /cvs/ppl Module name: ppl Changes by: mundell(a)cs.unipr.it 2006-01-14 15:48:55 Modified files: Watchdog : NEWS Log message: Add detail to the 0.5 Time entry. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/Watchdog/NEWS.diff?cvsroot=pp…

1 0

ppl/Watchdog NEWS
by Matthew Mundell 14 Jan '06

14 Jan '06

CVSROOT: /cvs/ppl Module name: ppl Changes by: mundell(a)cs.unipr.it 2006-01-14 15:37:24 Modified files: Watchdog : NEWS Log message: Update 0.8 entries from ChangeLog. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/Watchdog/NEWS.diff?cvsroot=pp…

1 0

ppl/tests/Polyhedron numberinput1.cc
by Roberto Bagnara 14 Jan '06

14 Jan '06

CVSROOT: /cvs/ppl Module name: ppl Changes by: bagnara(a)cs.unipr.it 2006-01-14 14:45:09 Modified files: tests/Polyhedron: numberinput1.cc Log message: Added three new tests. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Polyhedron/numberinput1…

1 0

ppl/interfaces/C ppl_c.cc
by Roberto Bagnara 14 Jan '06

14 Jan '06

CVSROOT: /cvs/ppl Module name: ppl Changes by: bagnara(a)cs.unipr.it 2006-01-14 14:28:50 Modified files: interfaces/C : ppl_c.cc Log message: Two FIXMEs resolved. Be consistent in the use of assign_r(). Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/C/ppl_c.cc.diff?cv…

1 0

ppl/interfaces/C ppl_c.h.in
by Roberto Bagnara 14 Jan '06

14 Jan '06

CVSROOT: /cvs/ppl Module name: ppl Changes by: bagnara(a)cs.unipr.it 2006-01-14 14:28:26 Modified files: interfaces/C : ppl_c.h.in Log message: Typo fixed. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/C/ppl_c.h.in.diff?…

1 0

ppl NEWS
by Matthew Mundell 14 Jan '06

14 Jan '06

CVSROOT: /cvs/ppl Module name: ppl Changes by: mundell(a)cs.unipr.it 2006-01-14 14:12:36 Modified files: . : NEWS Log message: Update 0.8 entries from ChangeLog. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/NEWS.diff?cvsroot=ppl&r1=1.17…

1 0

ppl/src Powerset.defs.hh Powerset.inlines.hh
by Enea Zaffanella 14 Jan '06

14 Jan '06

CVSROOT: /cvs/ppl Module name: ppl Changes by: zaffanella(a)cs.unipr.it 2006-01-14 13:49:35 Modified files: src : Powerset.defs.hh Powerset.inlines.hh Log message: Iterators for Powerset renamed as omega_iterator and omega_const_iterator. Added corresponding typedefs for the previous naming and documented the typedefs. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Powerset.defs.hh.diff?cvs… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Powerset.inlines.hh.diff?…

1 0

ppl/src Checked_Number.defs.hh
by Abramo Bagnara 14 Jan '06

14 Jan '06

CVSROOT: /cvs/ppl Module name: ppl Changes by: abagnara(a)cs.unipr.it 2006-01-14 13:48:14 Modified files: src : Checked_Number.defs.hh Log message: Added empty fractional to formal syntax. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Checked_Number.defs.hh.di…

1 0

ppl src/checked.cc tests/Polyhedron/numberinpu ...
by Abramo Bagnara 14 Jan '06

14 Jan '06

CVSROOT: /cvs/ppl Module name: ppl Changes by: abagnara(a)cs.unipr.it 2006-01-14 13:38:03 Modified files: src : checked.cc tests/Polyhedron: numberinput1.cc Log message: Allow empty fractional part. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/checked.cc.diff?cvsroot=p… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Polyhedron/numberinput1…

1 0

ppl/src Checked_Number.defs.hh
by Roberto Bagnara 14 Jan '06

14 Jan '06

CVSROOT: /cvs/ppl Module name: ppl Changes by: bagnara(a)cs.unipr.it 2006-01-14 12:19:11 Modified files: src : Checked_Number.defs.hh Log message: Completed a draft documentation for Result input(std::istream& is, Checked_Number<T, Policy>& x, Rounding_Dir dir). Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Checked_Number.defs.hh.di…

1 0