September 2005 - PPL-devel - BUGSENG Mailman

ppl/src Native_Integer.types.hh
by Roberto Bagnara 18 Sep '05

18 Sep '05

CVSROOT: /cvs/ppl Module name: ppl Changes by: roberto(a)cs.unipr.it 2005-09-18 18:27:05 Modified files: src : Native_Integer.types.hh Log message: The specializations of Coefficient_traits_template for native integers are now differentiated the same way as for checked integers. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Native_Integer.types.hh.d…

1 0

ppl/src Checked_Number.types.hh Coefficient.ty ...
by Roberto Bagnara 18 Sep '05

18 Sep '05

CVSROOT: /cvs/ppl Module name: ppl Changes by: roberto(a)cs.unipr.it 2005-09-18 18:23:01 Modified files: src : Checked_Number.types.hh Coefficient.types.hh GMP_Integer.types.hh Native_Integer.types.hh Log message: Treat the three basic coefficient types (GMP, checked and native) the same way, as far as the specialization of Coefficient_traits_template is concerned. Patches: 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/Coefficient.types.hh.diff… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/GMP_Integer.types.hh.diff… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Native_Integer.types.hh.d…

1 0

w3ppl/htdocs/Documentation ppl.bib
by Roberto Bagnara 18 Sep '05

18 Sep '05

CVSROOT: /cvs/ppl Module name: w3ppl Changes by: roberto(a)cs.unipr.it 2005-09-18 17:28:03 Modified files: htdocs/Documentation: ppl.bib Log message: Ancourt91th completed. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/w3ppl/htdocs/Documentation/ppl.bi…

1 0

FC4's GCC version 4.0.1-4.fc4 miscompiles the PPL on i386
by Roberto Bagnara 18 Sep '05

18 Sep '05

After almost two days of struggle, it is now certain: the version of GCC that, at the moment of writing this message, is the standard one in Fedora Core 4/i386 miscompiles the PPL, at least at -O2 or greater optimization level. The problem can be seen by compiling tests/Polyhedron/relations17.cc: at -O2 and above the machine instruction movl $2, 4 is generated, and this will of course cause a segmentation fault. At -O1 the right instruction, i.e., movl $2, 4(%eax) is generated. Many thanks to Abramo who found that "smoking gun". Luckily, the problem seems not to be present in the prerelease of GCC 4.0.2 of September 13th. Cheers, Roberto -- Prof. Roberto Bagnara Computer Science Group Department of Mathematics, University of Parma, Italy http://www.cs.unipr.it/~bagnara/ mailto:bagnara@cs.unipr.it

1 0

w3ppl/htdocs/Download cvs.raw
by Roberto Bagnara 18 Sep '05

18 Sep '05

CVSROOT: /cvs/ppl Module name: w3ppl Changes by: roberto(a)cs.unipr.it 2005-09-18 10:33:11 Modified files: htdocs/Download: cvs.raw Log message: Links to www.cvshome.org updated. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/w3ppl/htdocs/Download/cvs.raw.dif…

1 0

ppl CREDITS TODO
by Roberto Bagnara 18 Sep '05

18 Sep '05

CVSROOT: /cvs/ppl Module name: ppl Changes by: roberto(a)cs.unipr.it 2005-09-18 10:30:05 Modified files: . : CREDITS TODO Log message: Two links fixed. All the others need to be checked. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/CREDITS.diff?cvsroot=ppl&r1=1… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/TODO.diff?cvsroot=ppl&r1=1.14…

1 0

w3ppl/htdocs/Download Download.raw requirement ...
by Roberto Bagnara 18 Sep '05

18 Sep '05

CVSROOT: /cvs/ppl Module name: w3ppl Changes by: roberto(a)cs.unipr.it 2005-09-18 10:12:12 Modified files: htdocs/Download: Download.raw requirements.raw Log message: More links fixed. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/w3ppl/htdocs/Download/Download.ra… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/w3ppl/htdocs/Download/requirement…

1 0

w3ppl/htdocs About/About.raw Credits/Credits.r ...
by Roberto Bagnara 18 Sep '05

18 Sep '05

CVSROOT: /cvs/ppl Module name: w3ppl Changes by: roberto(a)cs.unipr.it 2005-09-18 10:04:59 Modified files: htdocs/About : About.raw htdocs/Credits : Credits.raw htdocs/Documentation: Documentation.raw ppl.bib htdocs/Applications: Applications.raw htdocs/Links : Links.raw htdocs/MailingLists: MailingLists.raw Log message: Fixed many broken or redirected links. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/w3ppl/htdocs/About/About.raw.diff… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/w3ppl/htdocs/Credits/Credits.raw.… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/w3ppl/htdocs/Documentation/Docume… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/w3ppl/htdocs/Documentation/ppl.bi… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/w3ppl/htdocs/Applications/Applica… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/w3ppl/htdocs/Links/Links.raw.diff… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/w3ppl/htdocs/MailingLists/Mailing…

1 0

w3ppl/htdocs/Documentation BagnaraHRZ05SCP.pdf
by Roberto Bagnara 18 Sep '05

18 Sep '05

CVSROOT: /cvs/ppl Module name: w3ppl Changes by: roberto(a)cs.unipr.it 2005-09-18 10:00:18 Added files: htdocs/Documentation: BagnaraHRZ05SCP.pdf Log message: Put under CVS control. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/w3ppl/htdocs/Documentation/Bagnar…

1 0

w3ppl/htdocs/Applications Applications.raw
by Roberto Bagnara 18 Sep '05

18 Sep '05

CVSROOT: /cvs/ppl Module name: w3ppl Changes by: roberto(a)cs.unipr.it 2005-09-18 08:57:06 Modified files: htdocs/Applications: Applications.raw Log message: Link to SPHIN updated (http://www.uwgb.edu/songh/sphin/ disappeared overnight). Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/w3ppl/htdocs/Applications/Applica…

1 0