January 2005 - PPL-devel - BUGSENG Mailman

ppl/src Polyhedron.defs.hh
by Roberto Bagnara 13 Jan '05

13 Jan '05

CVSROOT: /cvs/ppl Module name: ppl Changes by: roberto(a)cs.unipr.it 2005-01-13 14:18:55 Modified files: src : Polyhedron.defs.hh Log message: Fixed a couple of sentences. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Polyhedron.defs.hh.diff?c…

1 0

ppl TODO
by Roberto Bagnara 13 Jan '05

13 Jan '05

CVSROOT: /cvs/ppl Module name: ppl Changes by: roberto(a)cs.unipr.it 2005-01-13 14:18:20 Modified files: . : TODO Log message: One more item added. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/TODO.diff?cvsroot=ppl&r1=1.13…

1 0

ppl TODO
by Roberto Bagnara 13 Jan '05

13 Jan '05

CVSROOT: /cvs/ppl Module name: ppl Changes by: roberto(a)cs.unipr.it 2005-01-13 14:04:54 Modified files: . : TODO Log message: Two items added. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/TODO.diff?cvsroot=ppl&r1=1.13…

1 0

w3ppl/htdocs/Download requirements.raw
by Roberto Bagnara 13 Jan '05

13 Jan '05

CVSROOT: /cvs/ppl Module name: w3ppl Changes by: roberto(a)cs.unipr.it 2005-01-13 11:51:02 Modified files: htdocs/Download: requirements.raw Log message: Starting from January 12, 2005, the CVS head version cannot be compiled by versions of GCC prior to 3.4.2. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/w3ppl/htdocs/Download/requirement…

1 0

ppl/src Rounding.defs.hh
by Abramo Bagnara 13 Jan '05

13 Jan '05

CVSROOT: /cvs/ppl Module name: ppl Changes by: abramo(a)cs.unipr.it 2005-01-13 09:26:09 Modified files: src : Rounding.defs.hh Log message: Removed old declarations. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Rounding.defs.hh.diff?cvs…

1 0

ppl/src Rounding.defs.hh
by Abramo Bagnara 12 Jan '05

12 Jan '05

CVSROOT: /cvs/ppl Module name: ppl Changes by: abramo(a)cs.unipr.it 2005-01-12 22:05:24 Modified files: src : Rounding.defs.hh Log message: save & restore are public methods. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Rounding.defs.hh.diff?cvs…

1 0

ppl/src E_NIT.inlines.hh E_Rational.inlines.hh ...
by Abramo Bagnara 12 Jan '05

12 Jan '05

CVSROOT: /cvs/ppl Module name: ppl Changes by: abramo(a)cs.unipr.it 2005-01-12 18:37:43 Modified files: src : E_NIT.inlines.hh E_Rational.inlines.hh Interval.inlines.hh Polyhedron_nonpublic.cc Log message: Use constructor implicitly. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/E_NIT.inlines.hh.diff?cvs… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/E_Rational.inlines.hh.dif… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Interval.inlines.hh.diff?… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Polyhedron_nonpublic.cc.d…

1 0

ppl/src Checked_Number.inlines.hh Checked_Numb ...
by Abramo Bagnara 12 Jan '05

12 Jan '05

CVSROOT: /cvs/ppl Module name: ppl Changes by: abramo(a)cs.unipr.it 2005-01-12 18:36:40 Modified files: src : Checked_Number.inlines.hh Checked_Number.defs.hh Rounding.defs.hh Rounding.inlines.hh Log message: Given access to rounding via Checked_Number class. Patches: 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/Checked_Number.defs.hh.di… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Rounding.defs.hh.diff?cvs… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Rounding.inlines.hh.diff?…

1 0

ppl/src Checked_Number.defs.hh Checked_Number. ...
by Abramo Bagnara 12 Jan '05

12 Jan '05

CVSROOT: /cvs/ppl Module name: ppl Changes by: abramo(a)cs.unipr.it 2005-01-12 14:39:13 Modified files: src : Checked_Number.defs.hh Checked_Number.inlines.hh Checked_Number.types.hh Makefile.am Added files: src : Checked_Number.cc Log message: Moved result handler in policy. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Checked_Number.cc.diff?cv… 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/Checked_Number.types.hh.d… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Makefile.am.diff?cvsroot=…

1 0

ppl/tests/Polyhedron memory2.cc
by Enea Zaffanella 12 Jan '05

12 Jan '05

CVSROOT: /cvs/ppl Module name: ppl Changes by: zaffanella(a)cs.unipr.it 2005-01-12 10:57:50 Modified files: tests/Polyhedron: memory2.cc Log message: The memory leak should be fixed. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Polyhedron/memory2.cc.d…

1 0