October 2008 - PPL-devel - BUGSENG Mailman

w3ppl/htdocs/Download Download.raw
by Enea Zaffanella 29 Oct '08

29 Oct '08

CVSROOT: /cvs/ppl Module name: w3ppl Changes by: zaffanella(a)cs.unipr.it 2008-10-29 10:53:53 Modified files: htdocs/Download: Download.raw Log message: Further simplified the index at the top of the page. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/w3ppl/htdocs/Download/Download.ra…

1 0

w3ppl/htdocs/Bugs Bugs.raw
by Enea Zaffanella 29 Oct '08

29 Oct '08

CVSROOT: /cvs/ppl Module name: w3ppl Changes by: zaffanella(a)cs.unipr.it 2008-10-29 10:53:26 Modified files: htdocs/Bugs : Bugs.raw Log message: The pre-release has no known bugs. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/w3ppl/htdocs/Bugs/Bugs.raw.diff?c…

1 0

ppl CREDITS
by Enea Zaffanella 29 Oct '08

29 Oct '08

CVSROOT: /cvs/ppl Module name: ppl Changes by: zaffanella(a)cs.unipr.it 2008-10-29 10:46:40 Modified files: . : CREDITS Log message: Spurious comma removed. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/CREDITS.diff?cvsroot=ppl&r1=1…

1 0

w3ppl/htdocs/About About.raw
by Patricia Hill 29 Oct '08

29 Oct '08

CVSROOT: /cvs/ppl Module name: w3ppl Changes by: hill(a)cs.unipr.it 2008-10-29 09:20:17 Modified files: htdocs/About : About.raw Log message: Partly updated. Markers "*****NEEDS UPDATING*****" added where appropriate. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/w3ppl/htdocs/About/About.raw.diff…

1 0

ppl/doc libppl.3 libppl_c.3
by Enea Zaffanella 28 Oct '08

28 Oct '08

CVSROOT: /cvs/ppl Module name: ppl Changes by: zaffanella(a)cs.unipr.it 2008-10-28 20:07:51 Modified files: doc : libppl.3 libppl_c.3 Log message: In the C interface man page, mention the introduction and use of functions ppl_restore_pre_PPL_rounding() and ppl_set_rounding_for_PPL(). Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/doc/libppl.3.diff?cvsroot=ppl… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/doc/libppl_c.3.diff?cvsroot=p…

1 0

w3ppl/htdocs/Credits Credits.raw
by Patricia Hill 28 Oct '08

28 Oct '08

CVSROOT: /cvs/ppl Module name: w3ppl Changes by: hill(a)cs.unipr.it 2008-10-28 18:34:55 Modified files: htdocs/Credits : Credits.raw Log message: Bugs fixed. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/w3ppl/htdocs/Credits/Credits.raw.…

1 0

w3ppl/htdocs/Download Download.raw
by Enea Zaffanella 28 Oct '08

28 Oct '08

CVSROOT: /cvs/ppl Module name: w3ppl Changes by: zaffanella(a)cs.unipr.it 2008-10-28 18:28:46 Modified files: htdocs/Download: Download.raw Log message: Simplified the index at the top of the page. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/w3ppl/htdocs/Download/Download.ra…

1 0

w3ppl/htdocs/Documentation how_to_get_it.raw
by Enea Zaffanella 28 Oct '08

28 Oct '08

CVSROOT: /cvs/ppl Module name: w3ppl Changes by: zaffanella(a)cs.unipr.it 2008-10-28 18:26:15 Modified files: htdocs/Documentation: how_to_get_it.raw Log message: Updated to reflect the new structuring of documentation. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/w3ppl/htdocs/Documentation/how_to…

1 0

ppl ./NEWS doc/libppl.3
by Roberto Bagnara 28 Oct '08

28 Oct '08

CVSROOT: /cvs/ppl Module name: ppl Changes by: bagnara(a)cs.unipr.it 2008-10-28 18:15:09 Modified files: . : NEWS doc : libppl.3 Log message: Mention the introduction and use of the functions restore_pre_PPL_rounding(), set_rounding_for_PPL(), and of their counterparts in all the language interfaces. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/NEWS.diff?cvsroot=ppl&r1=1.26… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/doc/libppl.3.diff?cvsroot=ppl…

1 0

ppl demos/ppl_lcdd/ppl_lcdd.cc demos/ppl_lpsol ...
by Roberto Bagnara 28 Oct '08

28 Oct '08

CVSROOT: /cvs/ppl Module name: ppl Changes by: bagnara(a)cs.unipr.it 2008-10-28 16:08:20 Modified files: demos/ppl_lcdd : ppl_lcdd.cc demos/ppl_lpsol: ppl_lpsol.c doc : libppl.3 src : Init.cc tests/Polyhedron: memory1.cc memory2.cc Log message: The C function name `set_GMP_memory_allocation_functions()' was breaking our namespace promise: renamed `ppl_set_GMP_memory_allocation_functions()'. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/demos/ppl_lcdd/ppl_lcdd.cc.di… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/demos/ppl_lpsol/ppl_lpsol.c.d… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/doc/libppl.3.diff?cvsroot=ppl… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Init.cc.diff?cvsroot=ppl&… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Polyhedron/memory1.cc.d… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Polyhedron/memory2.cc.d…

1 0