August 2009 Archives by author

• Messages sorted by: [ thread ] [ subject ] [ date ]
• More info on this list...

Starting: Sun Aug 2 18:51:25 CEST 2009
Ending: Mon Aug 31 20:23:50 CEST 2009
Messages: 87

• [PPL-devel] [GIT] ppl/ppl(master): Modified cm_splitter machinery to avoid use of 'read ' shell builtin.   Abramo Bagnara
• [PPL-devel] [GIT] ppl/ppl(master): Do not add -lm to LDADD for *randphull1.   Roberto Bagnara
• [PPL-devel] [GIT] ppl/ppl(master): Do not link with -lm here.   Roberto Bagnara
• [PPL-devel] [GIT] ppl/ppl(master): Use AC_SEARCH_LIBS to detect whether -lm must be provided to the linker.   Roberto Bagnara
• [PPL-devel] [GIT] ppl/ppl(master): Version number bumped.   Roberto Bagnara
• [PPL-devel] [GIT] ppl/w3ppl(master): BagnaraHZ09TCS updated.   Roberto Bagnara
• [PPL-devel] [GIT] ppl/w3ppl(master): Typo fixed.   Roberto Bagnara
• [PPL-devel] Including ppl in a gcc build...   Roberto Bagnara
• [PPL-devel] [GIT] ppl/ppl(master): Checks reordered.   Roberto Bagnara
• [PPL-devel] [GIT] ppl/ppl(master): Removed useless, temporary addition of -lm to LIBS.   Roberto Bagnara
• [PPL-devel] Compiling the PPL Debian package with SWI Prolog support   Roberto Bagnara
• [PPL-devel] [GIT] ppl/ppl(master): Make sure a definition for member/2 and append/ 3 is available.   Roberto Bagnara
• [PPL-devel] Compiling the PPL Debian package with SWI Prolog support   Roberto Bagnara
• [PPL-devel] [Fwd: Bug#540083: ppl: Add SWI Prolog support]   Roberto Bagnara
• [PPL-devel] ppl fails to complete configure ...   Roberto Bagnara
• [PPL-devel] ppl build error...   Roberto Bagnara
• [PPL-devel] [GIT] ppl/ppl(master): Useless, commented-out inclusion removed.   Roberto Bagnara
• [PPL-devel] [GIT] ppl/ppl(master): Version number bumped.   Roberto Bagnara
• [PPL-devel] ppl build error...   Roberto Bagnara
• [PPL-devel] [GIT] ppl/w3ppl(master): Improved BagnaraHZ09TCS and BagnaraHZ09FMSD. Added BagnaraHZ09TRb.   Roberto Bagnara
• [PPL-devel] Undefined PPL references attempting to build cloog-ppl   Roberto Bagnara
• [PPL-devel] Undefined PPL references attempting to build cloog-ppl   Roberto Bagnara
• [PPL-devel] Undefined PPL references attempting to build cloog-ppl   Roberto Bagnara
• [PPL-devel] Undefined PPL references attempting to build cloog-ppl   Roberto Bagnara
• [PPL-devel] [Bug middle-end/40981] aermod.f90 ICEs on -O2 -fgraphite-identity -floop-strip-mine   Roberto Bagnara
• [PPL-devel] Internal compiler error building ppl on Linux...   Roberto Bagnara
• [PPL-devel] [GIT] ppl/ppl(floating_point): New commits   Roberto Bagnara
• [PPL-devel] [GIT] ppl/ppl(floating_point): Do not use std::swap(): use Linear_Expression::swap() instead.   Roberto Bagnara
• [PPL-devel] [GIT] ppl/ppl(floating_point): Added missing inclusion of <iostream>.   Roberto Bagnara
• [PPL-devel] [GIT] ppl/ppl(floating_point): Added a preliminary implementation of class Linear_Form.   Roberto Bagnara
• [PPL-devel] [GIT] ppl/ppl(floating_point): Implemented Linear_Form:: external_memory_in_bytes() and Linear_Form::external_memory_in_bytes().   Roberto Bagnara
• [PPL-devel] [GIT] ppl/ppl(floating_point): Started adjusting the documentation.   Roberto Bagnara
• [PPL-devel] configure failing on Linux...   Roberto Bagnara
• [PPL-devel] [GIT] ppl/ppl(floating_point): Several corrections and improvements.   Roberto Bagnara
• [PPL-devel] configure failing on Linux...   Roberto Bagnara
• [PPL-devel] configure failing on Linux...   Roberto Bagnara
• [PPL-devel] [GIT] ppl/ppl(pip): New commits   Roberto Bagnara
• [PPL-devel] Undefined PPL references attempting to build cloog-ppl   Roberto Bagnara
• [PPL-devel] [GIT] ppl/ppl(pip): Typo fixed.   Roberto Bagnara
• [PPL-devel] gmp-4.3.1 header and library version mismatch   Roberto Bagnara
• [PPL-devel] [Fwd: Re: gmp-4.3.1 header and library version mismatch]   Roberto Bagnara
• [PPL-devel] [Fwd: Re: gmp-4.3.1 header and library version mismatch]   Roberto Bagnara
• [PPL-devel] PPL fails to build on SGI   Roberto Bagnara
• [PPL-devel] PPL fails to build on SGI - with config.log.bz2   Roberto Bagnara
• [PPL-devel] gmp-4.3.1 header and library version mismatch   Karl-Werner Beszus
• [PPL-devel] [Fwd: Re: gmp-4.3.1 header and library version mismatch]   Karl-Werner Beszus
• [PPL-devel] Compiling the PPL Debian package with SWI Prolog support   Israel Herraiz
• [PPL-devel] Compiling the PPL Debian package with SWI Prolog support   Israel Herraiz
• [PPL-devel] Compiling the PPL Debian package with SWI Prolog support   Israel Herraiz
• [PPL-devel] Compiling the PPL Debian package with SWI Prolog support   Israel Herraiz
• [PPL-devel] Undefined PPL references attempting to build cloog-ppl   P M Hill
• [PPL-devel] Undefined PPL references attempting to build cloog-ppl   P M Hill
• [PPL-devel] Undefined PPL references attempting to build cloog-ppl (fwd)   P M Hill
• [PPL-devel] Undefined PPL references attempting to build cloog-ppl   P M Hill
• [PPL-devel] Undefined PPL references attempting to build cloog-ppl   Sebastian Pop
• [PPL-devel] [Bug middle-end/40981] aermod.f90 ICEs on -O2 -fgraphite-identity -floop-strip-mine   Sebastian Pop
• [PPL-devel] Including ppl in a gcc build...   Tovrea, George W (US SSA)
• [PPL-devel] Including ppl in a gcc build...   Tovrea, George W (US SSA)
• [PPL-devel] ppl fails to complete configure ...   Tovrea, George W (US SSA)
• [PPL-devel] ppl fails to complete configure ...   Tovrea, George W (US SSA)
• [PPL-devel] ppl fails to complete configure ...   Tovrea, George W (US SSA)
• [PPL-devel] ppl fails to complete configure ...   Tovrea, George W (US SSA)
• [PPL-devel] ppl fails to complete configure ...   Tovrea, George W (US SSA)
• [PPL-devel] ppl build error...   Tovrea, George W (US SSA)
• [PPL-devel] ppl build error...   Tovrea, George W (US SSA)
• [PPL-devel] ppl build error...   Tovrea, George W (US SSA)
• [PPL-devel] Undefined PPL references attempting to build cloog-ppl   Tovrea, George W (US SSA)
• [PPL-devel] Undefined PPL references attempting to build cloog-ppl   Tovrea, George W (US SSA)
• [PPL-devel] Undefined PPL references attempting to build cloog-ppl   Tovrea, George W (US SSA)
• [PPL-devel] Undefined PPL references attempting to build cloog-ppl   Tovrea, George W (US SSA)
• [PPL-devel] Undefined PPL references attempting to build cloog-ppl   Tovrea, George W (US SSA)
• [PPL-devel] Internal compiler error building ppl on Linux...   Tovrea, George W (US SSA)
• [PPL-devel] configure failing on Linux...   Tovrea, George W (US SSA)
• [PPL-devel] configure failing on Linux...   Tovrea, George W (US SSA)
• [PPL-devel] configure failing on Linux...   Tovrea, George W (US SSA)
• [PPL-devel] Undefined PPL references attempting to build cloog-ppl   Tovrea, George W (US SSA)
• [PPL-devel] PPL fails to build on SGI   Tovrea, George W (US SSA)
• [PPL-devel] PPL fails to build on SGI - with config.log.bz2   Tovrea, George W (US SSA)
• [PPL-devel] [GIT] ppl/ppl(master): Corrected implementation of NNC_Polyhedron:: upper_bound_assign_if_exact().   Enea Zaffanella
• [PPL-devel] [GIT] ppl/ppl(master): Mention a bug that was recently corrected.   Enea Zaffanella
• [PPL-devel] [GIT] ppl/w3ppl(master): Mention bug correction for NNC_Polyhedron:: poly_hull_assign_if_exact().   Enea Zaffanella
• [PPL-devel] [Bug middle-end/40981] aermod.f90 ICEs on -O2 -fgraphite-identity -floop-strip-mine   Enea Zaffanella
• [PPL-devel] [GIT] ppl/ppl(master): Corrected a few expected results in Powerset/maxmin1 .cc.   Enea Zaffanella
• [PPL-devel] [GIT] ppl/ppl(master): Corrected a bug in Pointset_Powerset methods minimize() and maximize().   Enea Zaffanella
• [PPL-devel] [GIT] ppl/ppl(master): Indentation fixed.   Enea Zaffanella
• [PPL-devel] [GIT] ppl/w3ppl(master): Mention correction of bug affecting Pointset_Powerset max/min-imize.   Enea Zaffanella
• [PPL-devel] [GIT] ppl/ppl(master): Mention correction of bug in Pointset_Powerset maximize/minimize methods.   Enea Zaffanella

Last message date: Mon Aug 31 20:23:50 CEST 2009
Archived on: Sun Mar 6 09:35:41 CET 2022

• Messages sorted by: [ thread ] [ subject ] [ date ]
• More info on this list...