January 2005 - PPL-devel - BUGSENG Mailman

ppl/src checked_ext.inlines.hh
by Abramo Bagnara 25 Jan '05

25 Jan '05

CVSROOT: /cvs/ppl Module name: ppl Changes by: abramo(a)cs.unipr.it 2005-01-25 18:22:43 Modified files: src : checked_ext.inlines.hh Log message: Fixed +inf text representation. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/checked_ext.inlines.hh.di…

1 0

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

25 Jan '05

CVSROOT: /cvs/ppl Module name: ppl Changes by: abramo(a)cs.unipr.it 2005-01-25 18:22:07 Modified files: src : Rounding.defs.hh Rounding.inlines.hh Log message: Faster versions for use inside library. Patches: 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.cc Checked_Number.defs. ...
by Abramo Bagnara 25 Jan '05

25 Jan '05

CVSROOT: /cvs/ppl Module name: ppl Changes by: abramo(a)cs.unipr.it 2005-01-25 18:21:24 Modified files: src : Checked_Number.cc Checked_Number.defs.hh Checked_Number.inlines.hh Log message: Better support for extended numbers. 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…

1 0

ppl/tests/Polyhedron memory2.cc
by Roberto Bagnara 25 Jan '05

25 Jan '05

CVSROOT: /cvs/ppl Module name: ppl Changes by: roberto(a)cs.unipr.it 2005-01-25 11:23:57 Modified files: tests/Polyhedron: memory2.cc Log message: Be quiet. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Polyhedron/memory2.cc.d…

1 0

w3ppl/htdocs performance.raw
by Roberto Bagnara 25 Jan '05

25 Jan '05

CVSROOT: /cvs/ppl Module name: w3ppl Changes by: roberto(a)cs.unipr.it 2005-01-25 08:15:26 Modified files: htdocs : performance.raw Log message: Typo fixed. Specify that `pd' is now maintained by David Bremner. Be more consistent in referring to libraries. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/w3ppl/htdocs/performance.raw.diff…

1 0

ppl/src checked_float.inlines.hh
by Roberto Bagnara 24 Jan '05

24 Jan '05

CVSROOT: /cvs/ppl Module name: ppl Changes by: roberto(a)cs.unipr.it 2005-01-24 22:34:44 Modified files: src : checked_float.inlines.hh Log message: Temporary workaround to allow compilation on systems not providing fma(), fmaf() or fmal(). Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/checked_float.inlines.hh.…

1 0

ppl/demos/ppl_lpsol ppl_lpsol.c
by Roberto Bagnara 24 Jan '05

24 Jan '05

CVSROOT: /cvs/ppl Module name: ppl Changes by: roberto(a)cs.unipr.it 2005-01-24 22:32:42 Modified files: demos/ppl_lpsol: ppl_lpsol.c Log message: No longer use GLPK's obsolete functions lpx_get_obj_c0() and lpx_get_col_coef(). Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/demos/ppl_lpsol/ppl_lpsol.c.d…

1 0

w3ppl/htdocs ppl.raw
by Roberto Bagnara 24 Jan '05

24 Jan '05

CVSROOT: /cvs/ppl Module name: w3ppl Changes by: roberto(a)cs.unipr.it 2005-01-24 18:18:19 Modified files: htdocs : ppl.raw Log message: Provide links to the pages about portability and performance. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/w3ppl/htdocs/ppl.raw.diff?cvsroot…

1 0

w3ppl/htdocs performance.raw
by Roberto Bagnara 24 Jan '05

24 Jan '05

CVSROOT: /cvs/ppl Module name: w3ppl Changes by: roberto(a)cs.unipr.it 2005-01-24 18:08:40 Modified files: htdocs : performance.raw Log message: Wrong date fixed. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/w3ppl/htdocs/performance.raw.diff…

1 0

w3ppl/htdocs/MailingLists MailingLists.raw
by Roberto Bagnara 24 Jan '05

24 Jan '05

CVSROOT: /cvs/ppl Module name: w3ppl Changes by: roberto(a)cs.unipr.it 2005-01-24 18:08:04 Modified files: htdocs/MailingLists: MailingLists.raw Log message: Section about SPAM revised. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/w3ppl/htdocs/MailingLists/Mailing…

1 0