August 2009 Archives by date
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): 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...
Tovrea, George W (US SSA)
- [PPL-devel] Including ppl in a gcc build...
Roberto Bagnara
- [PPL-devel] Including ppl in a gcc build...
Tovrea, George W (US SSA)
- [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
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
Roberto Bagnara
- [PPL-devel] Compiling the PPL Debian package with SWI Prolog support
Israel Herraiz
- [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] Compiling the PPL Debian package with SWI Prolog support
Israel Herraiz
- [PPL-devel] [Fwd: Bug#540083: ppl: Add SWI Prolog support]
Roberto Bagnara
- [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 ...
Roberto Bagnara
- [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...
Roberto Bagnara
- [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] [GIT] ppl/ppl(master): Modified cm_splitter machinery to avoid use of 'read ' shell builtin.
Abramo 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] ppl build error...
Tovrea, George W (US SSA)
- [PPL-devel] [GIT] ppl/w3ppl(master): Improved BagnaraHZ09TCS and BagnaraHZ09FMSD. Added BagnaraHZ09TRb.
Roberto Bagnara
- [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
Roberto Bagnara
- [PPL-devel] Undefined PPL references attempting to build cloog-ppl
Roberto Bagnara
- [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
Roberto Bagnara
- [PPL-devel] Undefined PPL references attempting to build cloog-ppl
Sebastian Pop
- [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
Roberto Bagnara
- [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
P M Hill
- [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
P M Hill
- [PPL-devel] [Bug middle-end/40981] aermod.f90 ICEs on -O2 -fgraphite-identity -floop-strip-mine
Sebastian Pop
- [PPL-devel] [Bug middle-end/40981] aermod.f90 ICEs on -O2 -fgraphite-identity -floop-strip-mine
Roberto Bagnara
- [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
- [PPL-devel] Internal compiler error building ppl on Linux...
Tovrea, George W (US SSA)
- [PPL-devel] Undefined PPL references attempting to build cloog-ppl (fwd)
P M Hill
- [PPL-devel] Internal compiler error building ppl on Linux...
Roberto Bagnara
- [PPL-devel] Undefined PPL references attempting to build cloog-ppl
P M Hill
- [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...
Tovrea, George W (US SSA)
- [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...
Tovrea, George W (US SSA)
- [PPL-devel] configure failing on Linux...
Roberto Bagnara
- [PPL-devel] configure failing on Linux...
Tovrea, George W (US SSA)
- [PPL-devel] configure failing on Linux...
Roberto Bagnara
- [PPL-devel] Undefined PPL references attempting to build cloog-ppl
Tovrea, George W (US SSA)
- [PPL-devel] [GIT] ppl/ppl(pip): New commits
Roberto Bagnara
- [PPL-devel] Undefined PPL references attempting to build cloog-ppl
Roberto Bagnara
- [PPL-devel] gmp-4.3.1 header and library version mismatch
Karl-Werner Beszus
- [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] [Fwd: Re: gmp-4.3.1 header and library version mismatch]
Karl-Werner Beszus
- [PPL-devel] PPL fails to build on SGI
Tovrea, George W (US SSA)
- [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] PPL fails to build on SGI - with config.log.bz2
Tovrea, George W (US SSA)
Last message date:
Mon Aug 31 20:23:50 CEST 2009
Archived on: Sun Mar 6 09:35:41 CET 2022
This archive was generated by
Pipermail 0.09 (Mailman edition).