April 2009 Archives by date
Starting: Wed Apr 1 10:42:30 CEST 2009
Ending: Thu Apr 30 22:10:29 CEST 2009
Messages: 354
- [PPL-devel] [GIT] ppl/ppl(master): Updated for PPL 0.10.1.
Roberto Bagnara
- [PPL-devel] [GIT] ppl/ppl(master): New items for PPL 0.11 added. Other items scheduled for PPL 0.11.
Roberto Bagnara
- [PPL-devel] [GIT] ppl/ppl(master): Changes to deal with //FIXME(0.10.1): the following is a bug!
Patricia Hill
- [PPL-devel] [GIT] ppl/ppl(master): Test adapted and fixme removed.
Enea Zaffanella
- [PPL-devel] [GIT] ppl/ppl(master): Revised the implementation for
Patricia Hill
- [PPL-devel] [GIT] ppl/ppl(master): Typo fixed.
Patricia Hill
- [PPL-devel] [GIT] ppl/ppl(master): Adapted test Box/ascii_dump_load1. cc and FIXME removed.
Enea Zaffanella
- [PPL-devel] [Fwd: GNU M4 1.4.13 released (stable)]
Roberto Bagnara
- [PPL-devel] [GIT] ppl/ppl(master): Disabled test19() on the Alpha.
Roberto Bagnara
- [PPL-devel] [GIT] ppl/ppl(master): FIXME resolved.
Roberto Bagnara
- [PPL-devel] [GIT] ppl/ppl(master): Code duplication and useless bitwise manipulation avoided.
Roberto Bagnara
- [PPL-devel] Intel Compiler Help
Patel, Jayesh
- [PPL-devel] make check fails on Freebsd in tests/Box/propagateconstraints2
Tobias Grosser
- [PPL-devel] make check fails on Freebsd in tests/Box/propagateconstraints2
Tobias Grosser
- [PPL-devel] [GIT] ppl/ppl(master): A couple of FIXME postponed to 0.11.
Enea Zaffanella
- [PPL-devel] [GIT] ppl/ppl(master): Another FIXME postponed to 0.11.
Enea Zaffanella
- [PPL-devel] [GIT] ppl/ppl(master): We no longer have FIXME's for 0.10.1.
Enea Zaffanella
- [PPL-devel] [GIT] ppl/ppl(master): Added a couple of items.
Enea Zaffanella
- [PPL-devel] make check fails on Freebsd in tests/Box/propagateconstraints2
Abramo Bagnara
- [PPL-devel] make check fails on Freebsd in tests/Box/propagateconstraints2
Abramo Bagnara
- [PPL-devel] Bugs in OCaml interface
Kenneth MacKenzie
- [PPL-devel] [GIT] ppl/ppl(master): Fixed parallel make.
Abramo Bagnara
- [PPL-devel] [GIT] ppl/ppl(master): Use @mlgmp_dir@ instead of +gmp for the -I option of ocamldoc.
Enea Zaffanella
- [PPL-devel] Bugs in OCaml interface
Enea Zaffanella
- [PPL-devel] make check fails on Freebsd in tests/Box/propagateconstraints2
Tobias Grosser
- [PPL-devel] [GIT] ppl/ppl(master): Added missing uses of AC_REQUIRE; removed a spurious one.
Roberto Bagnara
- [PPL-devel] [GIT] ppl/ppl(master): Work around a bug affecting some versions of <stdio. h>.
Roberto Bagnara
- [PPL-devel] Bugs in OCaml interface
Kenneth MacKenzie
- [PPL-devel] [GIT] ppl/ppl(master): Avoid warning of unused variable space_dim.
Patricia Hill
- [PPL-devel] make check fails on Freebsd in tests/Box/propagateconstraints2
Roberto Bagnara
- [PPL-devel] Bugs in OCaml interface
Enea Zaffanella
- [PPL-devel] make check fails on Freebsd in tests/Box/propagateconstraints2
Tobias Grosser
- [PPL-devel] [GIT] ppl/ppl(master): Fixed a missing initialization bug in Box:: concatenate_assign.
Enea Zaffanella
- [PPL-devel] [GIT] ppl/ppl(master): Do not use the same object to play different roles in the same method call .
Enea Zaffanella
- [PPL-devel] [GIT] ppl/ppl(master): More NEWS items added. Tentative release date set to April 14, 2009.
Roberto Bagnara
- [PPL-devel] [GIT] ppl/ppl(master): Updated for PPL 0.10.1.
Roberto Bagnara
- [PPL-devel] [GIT] ppl/ppl(master): Updated for PWL 0.7.
Roberto Bagnara
- [PPL-devel] make check fails on Freebsd in tests/Box/propagateconstraints2
Roberto Bagnara
- [PPL-devel] make check fails on Freebsd in tests/Box/propagateconstraints2
Tobias Grosser
- [PPL-devel] [GIT] ppl/ppl(master): Disabled a couple of tests on the Alpha.
Roberto Bagnara
- [PPL-devel] [GIT] ppl/ppl(master): Disabled test04() on the Alpha.
Roberto Bagnara
- [PPL-devel] [GIT] ppl/ppl(master): Set LC_COLLATE=C in addition to LANG=C.
Roberto Bagnara
- [PPL-devel] make check fails on Freebsd in tests/Box/propagateconstraints2
Abramo Bagnara
- [PPL-devel] [GIT] ppl/ppl(master): Avoid differences generated by locale.
Abramo Bagnara
- [PPL-devel] simplifying a constraint system?
Basile STARYNKEVITCH
- [PPL-devel] simplifying a constraint system?
Roberto Bagnara
- [PPL-devel] simplifying a constraint system?
Roberto Bagnara
- [PPL-devel] [GIT] ppl/ppl(master): Version number bumped.
Roberto Bagnara
- [PPL-devel] make check fails on Freebsd in tests/Box/propagateconstraints2
Roberto Bagnara
- [PPL-devel] [GIT] ppl/ppl(master): Machinery to generate ChangeLog adapted to Git.
Roberto Bagnara
- [PPL-devel] [GIT] ppl/ppl(master): Updated.
Roberto Bagnara
- [PPL-devel] make check fails on Freebsd in tests/Box/propagateconstraints2
Tobias Grosser
- [PPL-devel] [GIT] ppl/ppl(ppl-0_10-branch): New commits
git at cs.unipr.it
- [PPL-devel] [Fwd: Re: GCC Compile Farm News: 12 architectures now available]
Tobias Grosser
- [PPL-devel] make check fails on Freebsd in tests/Box/propagateconstraints2
Roberto Bagnara
- [PPL-devel] [Fwd: Re: GCC Compile Farm News: 12 architectures now available]
Roberto Bagnara
- [PPL-devel] [GIT] ppl/ppl(master): Disabled test07() on the Alpha.
Roberto Bagnara
- [PPL-devel] First PPL 0.10.1 release candidate
Roberto Bagnara
- [PPL-devel] I have troubles with GCC 4.3.3 installation
Roberto Bagnara
- [PPL-devel] [GIT] ppl/w3ppl(master): Added BandaG09. Used the right kind of dash in other entries.
Roberto Bagnara
- [PPL-devel] [GIT] ppl/w3ppl(master): Added bibtex entry for BagnaraHZ09 ( submitted for publication).
Enea Zaffanella
- [PPL-devel] First PPL 0.10.1 release candidate
Dave Korn
- [PPL-devel] [GIT] ppl/w3ppl(master): Removed snapshots.
Abramo Bagnara
- [PPL-devel] [GIT] ppl/w3ppl(master): Converted to git.
Abramo Bagnara
- [PPL-devel] First PPL 0.10.1 release candidate
Roberto Bagnara
- [PPL-devel] First PPL 0.10.1 release candidate
Dave Korn
- [PPL-devel] First PPL 0.10.1 release candidate
Roberto Bagnara
- [PPL-devel] First PPL 0.10.1 release candidate
Dave Korn
- [PPL-devel] [GIT] ppl/w3ppl(master): Fetch only specified branch and without history.
Abramo Bagnara
- [PPL-devel] [GIT] ppl/w3ppl(master): Converted to git.
Abramo Bagnara
- [PPL-devel] First PPL 0.10.1 release candidate
Dave Korn
- [PPL-devel] [GIT] ppl/w3ppl(master): Added a banner pointing to the software patents . EU petition initiative.
Roberto Bagnara
- [PPL-devel] [GIT] ppl/w3ppl(master): Put under Git control.
Roberto Bagnara
- [PPL-devel] [GIT] ppl/w3ppl(master): Added MoserKK07. Entries sorted. Some specifications of page numbers fixed.
Roberto Bagnara
- [PPL-devel] [GIT] ppl/w3ppl(master): Added a link to the Fink distribution.
Roberto Bagnara
- [PPL-devel] [Fwd: Re: First PPL 0.10.1 release candidate]
Roberto Bagnara
- [PPL-devel] [Fwd: Re: First PPL 0.10.1 release candidate]
Roberto Bagnara
- [PPL-devel] First PPL 0.10.1 release candidate
Dave Korn
- [PPL-devel] [GIT] ppl/w3ppl(master): Mention correction of bugs in the OCaml interface.
Enea Zaffanella
- [PPL-devel] [GIT] ppl/w3ppl(master): Acknowledge the contribution of Kenneth MacKenzie.
Roberto Bagnara
- [PPL-devel] [GIT] ppl/ppl(master): Acknowledge the contribution of Kenneth MacKenzie.
Roberto Bagnara
- [PPL-devel] [GIT] ppl/w3ppl(master): Acknowledge the contribution of AMD. Fixed mistaked of previous commit.
Roberto Bagnara
- [PPL-devel] [GIT] ppl/ppl(master): Acknowledge the contribution of AMD. Fixed mistaked of previous commit.
Roberto Bagnara
- [PPL-devel] [GIT] ppl/w3ppl(master): Acknowledge the contribution of INRIA.
Roberto Bagnara
- [PPL-devel] [GIT] ppl/ppl(master): Acknowledge the contribution of INRIA.
Roberto Bagnara
- [PPL-devel] [GIT] ppl/w3ppl(master): Acknowledge the contribution of HiPEAC.
Roberto Bagnara
- [PPL-devel] [GIT] ppl/ppl(master): Acknowledge the contribution of HiPEAC.
Roberto Bagnara
- [PPL-devel] [GIT] ppl/ppl(master): Mentioned the AIDA 2007 project.
Roberto Bagnara
- [PPL-devel] [GIT] ppl/w3ppl(master): Mentioned the AIDA 2007 project.
Roberto Bagnara
- [PPL-devel] [GIT] ppl/ppl(master): Do not use fma(), fmaf() and fmal() on FreeBSD.
Roberto Bagnara
- [PPL-devel] [GIT] ppl/ppl(master): Version number bumped.
Roberto Bagnara
- [PPL-devel] make check fails on Freebsd in tests/Box/propagateconstraints2
Roberto Bagnara
- [PPL-devel] [GIT] ppl/ppl(master): Only use fmaf(), fma() and fmal() if they are fast.
Roberto Bagnara
- [PPL-devel] [GIT] ppl/ppl(master): Updated.
Roberto Bagnara
- [PPL-devel] [GIT] ppl/ppl(ppl-0_10-branch): Disabled test07() on the Alpha.
Roberto Bagnara
- [PPL-devel] [GIT] ppl/ppl(ppl-0_10-branch): Acknowledge the contribution of INRIA.
Roberto Bagnara
- [PPL-devel] [GIT] ppl/ppl(ppl-0_10-branch): Acknowledge the contribution of AMD. Fixed mistaked of previous commit.
Roberto Bagnara
- [PPL-devel] [GIT] ppl/ppl(ppl-0_10-branch): Acknowledge the contribution of Kenneth MacKenzie.
Roberto Bagnara
- [PPL-devel] [GIT] ppl/ppl(ppl-0_10-branch): Do not use fma(), fmaf() and fmal() on FreeBSD.
Roberto Bagnara
- [PPL-devel] [GIT] ppl/ppl(ppl-0_10-branch): Acknowledge the contribution of HiPEAC.
Roberto Bagnara
- [PPL-devel] [GIT] ppl/ppl(ppl-0_10-branch): Mentioned the AIDA 2007 project.
Roberto Bagnara
- [PPL-devel] [GIT] ppl/ppl(ppl-0_10-branch): Only use fmaf(), fma() and fmal() if they are fast.
Roberto Bagnara
- [PPL-devel] [GIT] ppl/ppl(ppl-0_10-branch): Version number bumped.
Roberto Bagnara
- [PPL-devel] [GIT] ppl/ppl(ppl-0_10-branch): Updated.
Roberto Bagnara
- [PPL-devel] [GIT] ppl/ppl(ppl-0_10-branch): Merge branch 'master' into ppl-0_10-branch
Roberto Bagnara
- [PPL-devel] [GIT] ppl/ppl(master): Fixed reference to CLPQ_TESTS.
Roberto Bagnara
- [PPL-devel] [GIT] ppl/ppl(master): Updated.
Roberto Bagnara
- [PPL-devel] [GIT] ppl/ppl(ppl-0_10-branch): Updated.
Roberto Bagnara
- [PPL-devel] [GIT] ppl/ppl(ppl-0_10-branch): Merge branch 'master' into ppl-0_10-branch
Roberto Bagnara
- [PPL-devel] [GIT] ppl/ppl(ppl-0_10-branch): Fixed reference to CLPQ_TESTS.
Roberto Bagnara
- [PPL-devel] make check fails on Freebsd in tests/Box/propagateconstraints2
Abramo Bagnara
- [PPL-devel] [GIT] ppl/w3ppl(master): Added BagnaraHZ09TRa.
Roberto Bagnara
- [PPL-devel] [GIT] ppl/w3ppl(master): Announce the new paper on exact join detection.
Roberto Bagnara
- [PPL-devel] [GIT] ppl/ppl(master): Updated for PPL 0.10.1.
Roberto Bagnara
- [PPL-devel] [GIT] ppl/ppl(master): Added missing patterns.
Roberto Bagnara
- [PPL-devel] [GIT] ppl/ppl(master): Added missing patterns. Removed obsolete ones.
Roberto Bagnara
- [PPL-devel] [GIT] ppl/w3ppl(master): Added AlbertACGPZ08.
Roberto Bagnara
- [PPL-devel] [GIT] ppl/w3ppl(master): Added YangWGI09. Non-ASCII characters removed.
Roberto Bagnara
- [PPL-devel] [GIT] ppl/w3ppl(master): Added URI for arXiv.
Roberto Bagnara
- [PPL-devel] [GIT] ppl/ppl(master): Bibliography updated.
Roberto Bagnara
- [PPL-devel] [GIT] ppl/ppl(master): Updated.
Roberto Bagnara
- [PPL-devel] [GIT] ppl/ppl(ppl-0_10-branch): Added missing patterns.
Roberto Bagnara
- [PPL-devel] [GIT] ppl/ppl(ppl-0_10-branch): Updated for PPL 0.10.1.
Roberto Bagnara
- [PPL-devel] [GIT] ppl/ppl(ppl-0_10-branch): Updated.
Roberto Bagnara
- [PPL-devel] [GIT] ppl/ppl(ppl-0_10-branch): Bibliography updated.
Roberto Bagnara
- [PPL-devel] [GIT] ppl/ppl(ppl-0_10-branch): Merge branch 'master' into ppl-0_10-branch
Roberto Bagnara
- [PPL-devel] [GIT] ppl/ppl(ppl-0_10-branch): Added missing patterns. Removed obsolete ones.
Roberto Bagnara
- [PPL-devel] [GIT] ppl/ppl(master): Disabled test10() on the Alpha.
Roberto Bagnara
- [PPL-devel] [GIT] ppl/ppl(master): Updated.
Roberto Bagnara
- [PPL-devel] [GIT] ppl/ppl(ppl-0_10-branch): Updated.
Roberto Bagnara
- [PPL-devel] [GIT] ppl/ppl(ppl-0_10-branch): Disabled test10() on the Alpha.
Roberto Bagnara
- [PPL-devel] [GIT] ppl/ppl(ppl-0_10-branch): Merge branch 'master' into ppl-0_10-branch
Roberto Bagnara
- [PPL-devel] [GIT] ppl/w3ppl(master): Updated for PPL 0.10.1.
Roberto Bagnara
- [PPL-devel] [GIT] ppl/ppl(ppl-0_10-branch): Mark ChangeLog.
Roberto Bagnara
- [PPL-devel] [GIT] ppl/ppl(ppl-0_10-branch): Mark ChangeLog.
Roberto Bagnara
- [PPL-devel] [GIT] ppl/ppl(ppl-0_10-branch): Update version.
Roberto Bagnara
- [PPL-devel] [GIT] ppl/w3ppl(master): Several issues fixed.
Roberto Bagnara
- [PPL-devel] [GIT] ppl/w3ppl(master): Unwanted question removed.
Roberto Bagnara
- [PPL-devel] [GIT] ppl/w3ppl(master): Missing parentheses added.
Roberto Bagnara
- [PPL-devel] [GIT] ppl/w3ppl(master): Unwanted command commented out.
Roberto Bagnara
- [PPL-devel] make check fails on Freebsd in tests/Box/propagateconstraints2
Tobias Grosser
- [PPL-devel] [GIT] ppl/w3ppl(master): Corrected a few typos.
Enea Zaffanella
- [PPL-devel] [GIT] ppl/w3ppl(master): Mention the `TeX capacity exceeded' problem in the FAQ.
Enea Zaffanella
- [PPL-devel] [GIT] ppl/ppl(master): Updated to refer to git and to mention possible names of TeX config files.
Enea Zaffanella
- [PPL-devel] [GIT] ppl/w3ppl(master): Synchronized with doc/README.doc.
Enea Zaffanella
- [PPL-devel] [GIT] ppl/ppl(master): Improved.
Roberto Bagnara
- [PPL-devel] [GIT] ppl/w3ppl(master): Put in sync with doc/README.doc.
Enea Zaffanella
- [PPL-devel] Parma Polyhedra Library 0.10.1
Roberto Bagnara
- [PPL-devel] make check fails on Freebsd in tests/Box/propagateconstraints2
Roberto Bagnara
- [PPL-devel] [Fwd: Re: Parma Polyhedra Library 0.10.1]
Roberto Bagnara
- [PPL-devel] Parma Polyhedra Library 0.10.1
Roberto Bagnara
- [PPL-devel] Parma Polyhedra Library 0.10.1
Ralf Wildenhues
- [PPL-devel] [GIT] ppl/ppl(deprecated_0_11_removal): Improved.
Roberto Bagnara
- [PPL-devel] [GIT] ppl/ppl(deprecated_0_11_removal): Initiated the removal of the methods deprecated in PPL 0.10.
Roberto Bagnara
- [PPL-devel] make check -n fails
Ryan Hill
- [PPL-devel] Parma Polyhedra Library 0.10.1
Richard Guenther
- [PPL-devel] [GIT] ppl/ppl(master): Accommodate version 4.3.0 of GMP.
Roberto Bagnara
- [PPL-devel] Parma Polyhedra Library 0.10.1
Roberto Bagnara
- [PPL-devel] [GIT] /home/abagnara/ppl(master): Accommodate version 4.3.0 of GMP.
Roberto Bagnara
- [PPL-devel] [GIT] ppl/ppl(master): Accommodate version 4.3.0 of GMP.
Roberto Bagnara
- [PPL-devel] Parma Polyhedra Library 0.10.1
Roberto Bagnara
- [PPL-devel] [Fwd: Re: Parma Polyhedra Library 0.10.1]
Roberto Bagnara
- [PPL-devel] Parma Polyhedra Library 0.10.1
Richard Guenther
- [PPL-devel] Parma Polyhedra Library 0.10.1
Roberto Bagnara
- [PPL-devel] GMP 4.3.0 released
Roberto Bagnara
- [PPL-devel] GMP 4.3.0 released
Dennis Clarke
- [PPL-devel] GMP 4.3.0 released
Torbjorn Granlund
- [PPL-devel] [GIT] ppl/ppl(master): Libtool -version-info updated for PPL 0.10.2.
Roberto Bagnara
- [PPL-devel] [GIT] ppl/ppl(master): Updated for PPL 0.10.2.
Roberto Bagnara
- [PPL-devel] make check -n fails
Roberto Bagnara
- [PPL-devel] [GIT] ppl/ppl(master): Test program tests/Polyhedron/ memory1 disabled on the zSeries s390x platform.
Roberto Bagnara
- [PPL-devel] [GIT] ppl/w3ppl(master): Updated BagnaraHZ09TRa.
Roberto Bagnara
- [PPL-devel] [GIT] ppl/ppl(master): Updated BHZ09b.
Roberto Bagnara
- [PPL-devel] [GIT] ppl/ppl(master): Added rules so that `make -n' and `make -n check' work.
Roberto Bagnara
- [PPL-devel] [GIT] ppl/w3ppl(master): Reported bugs (including a not-a-PPL-bug fix) affecting version 0.10.1.
Enea Zaffanella
- [PPL-devel] [GIT] ppl/ppl(master): Usage string fixed: ppl_lcdd accepts at most one input file.
Roberto Bagnara
- [PPL-devel] [GIT] ppl/w3ppl(master): Small improvements.
Roberto Bagnara
- [PPL-devel] [GIT] ppl/ppl(master): Added targets to have `make -n dist' work as expected.
Roberto Bagnara
- [PPL-devel] [GIT] ppl/w3ppl(master): Version number bumped.
Roberto Bagnara
- [PPL-devel] [GIT] ppl/w3ppl(master): Added release of 0.10.2 to the news.
Enea Zaffanella
- [PPL-devel] [GIT] ppl/w3ppl(master): Completed commit information for bug correction.
Enea Zaffanella
- [PPL-devel] [GIT] ppl/ppl(master): Updated for PPL 0.10.2.
Roberto Bagnara
- [PPL-devel] [GIT] ppl/ppl(master): Version numbers fixed.
Roberto Bagnara
- [PPL-devel] [GIT] ppl/ppl(master): Updated for PPL 0.10.2.
Roberto Bagnara
- [PPL-devel] [GIT] ppl/ppl(master): Updated.
Roberto Bagnara
- [PPL-devel] Snapshots of PPL 0.10.2 available for testing
Roberto Bagnara
- [PPL-devel] Snapshots of PPL 0.10.2 available for testing
Richard Guenther
- [PPL-devel] [GIT] ppl/ppl(master): Changed `__s390x' to `__s390x__' in conditional exclusion of this test.
Roberto Bagnara
- [PPL-devel] [GIT] ppl/ppl(ppl-0_10-branch): Updated to refer to git and to mention possible names of TeX config files.
Enea Zaffanella
- [PPL-devel] [GIT] ppl/ppl(ppl-0_10-branch): Accommodate version 4.3.0 of GMP.
Roberto Bagnara
- [PPL-devel] [GIT] ppl/ppl(ppl-0_10-branch): Libtool -version-info updated for PPL 0.10. 2.
Roberto Bagnara
- [PPL-devel] [GIT] ppl/ppl(ppl-0_10-branch): Improved.
Roberto Bagnara
- [PPL-devel] [GIT] ppl/ppl(ppl-0_10-branch): Test program tests/Polyhedron/ memory1 disabled on the zSeries s390x platform.
Roberto Bagnara
- [PPL-devel] [GIT] ppl/ppl(ppl-0_10-branch): Updated BHZ09b.
Roberto Bagnara
- [PPL-devel] [GIT] ppl/ppl(ppl-0_10-branch): Updated for PPL 0.10.2.
Roberto Bagnara
- [PPL-devel] [GIT] ppl/ppl(ppl-0_10-branch): Added rules so that `make -n' and `make -n check' work.
Roberto Bagnara
- [PPL-devel] [GIT] ppl/ppl(ppl-0_10-branch): Added targets to have `make -n dist' work as expected.
Roberto Bagnara
- [PPL-devel] [GIT] ppl/ppl(ppl-0_10-branch): Usage string fixed: ppl_lcdd accepts at most one input file.
Roberto Bagnara
- [PPL-devel] [GIT] ppl/ppl(ppl-0_10-branch): Version numbers fixed.
Roberto Bagnara
- [PPL-devel] [GIT] ppl/ppl(ppl-0_10-branch): Updated for PPL 0.10.2.
Roberto Bagnara
- [PPL-devel] [GIT] ppl/ppl(ppl-0_10-branch): Updated for PPL 0.10.2.
Roberto Bagnara
- [PPL-devel] [GIT] ppl/ppl(ppl-0_10-branch): Updated.
Roberto Bagnara
- [PPL-devel] [GIT] ppl/ppl(ppl-0_10-branch): Changed `__s390x' to `__s390x__' in conditional exclusion of this test.
Roberto Bagnara
- [PPL-devel] [GIT] ppl/ppl(ppl-0_10-branch): Merge branch 'master' into ppl-0_10-branch.
Roberto Bagnara
- [PPL-devel] Snapshots of PPL 0.10.2 available for testing
Jack Howarth
- [PPL-devel] Snapshots of PPL 0.10.2 available for testing
Ryan Hill
- [PPL-devel] [GIT] ppl/ppl(deprecated_0_11_removal): Accommodate version 4.3.0 of GMP.
Roberto Bagnara
- [PPL-devel] [GIT] ppl/ppl(deprecated_0_11_removal): Updated for PPL 0.10.2.
Roberto Bagnara
- [PPL-devel] [GIT] ppl/ppl(deprecated_0_11_removal): Libtool -version-info updated for PPL 0.10.2.
Roberto Bagnara
- [PPL-devel] [GIT] ppl/ppl(deprecated_0_11_removal): Test program tests/Polyhedron/ memory1 disabled on the zSeries s390x platform.
Roberto Bagnara
- [PPL-devel] [GIT] ppl/ppl(deprecated_0_11_removal): Usage string fixed: ppl_lcdd accepts at most one input file.
Roberto Bagnara
- [PPL-devel] [GIT] ppl/ppl(deprecated_0_11_removal): Updated BHZ09b.
Roberto Bagnara
- [PPL-devel] [GIT] ppl/ppl(deprecated_0_11_removal): Added rules so that `make -n' and `make -n check' work.
Roberto Bagnara
- [PPL-devel] [GIT] ppl/ppl(deprecated_0_11_removal): Added targets to have `make -n dist ' work as expected.
Roberto Bagnara
- [PPL-devel] [GIT] ppl/ppl(deprecated_0_11_removal): Version numbers fixed.
Roberto Bagnara
- [PPL-devel] [GIT] ppl/ppl(deprecated_0_11_removal): Updated for PPL 0.10.2.
Roberto Bagnara
- [PPL-devel] [GIT] ppl/ppl(deprecated_0_11_removal): Updated for PPL 0.10.2.
Roberto Bagnara
- [PPL-devel] [GIT] ppl/ppl(deprecated_0_11_removal): Updated.
Roberto Bagnara
- [PPL-devel] [GIT] ppl/ppl(deprecated_0_11_removal): Changed `__s390x' to `__s390x__' in conditional exclusion of this test.
Roberto Bagnara
- [PPL-devel] [GIT] ppl/ppl(deprecated_0_11_removal): Merge branch 'master' into deprecated_0_11_removal.
Roberto Bagnara
- [PPL-devel] [GIT] ppl/ppl(deprecated_0_11_removal): Tests adapted to check the " non-and_minimize" versions.
Roberto Bagnara
- [PPL-devel] [GIT] ppl/ppl(deprecated_0_11_removal): More changes related to the removal of the *_and_minimize() methods.
Roberto Bagnara
- [PPL-devel] [GIT] ppl/ppl(deprecated_0_11_removal): No longer use ppl_Polyhedron_add_constraints_and_minimize/2.
Roberto Bagnara
- [PPL-devel] [GIT] ppl/w3ppl(master): Small improvements.
Roberto Bagnara
- [PPL-devel] [GIT] ppl/ppl(ppl-0_10-branch): Mark ChangeLog.
Roberto Bagnara
- [PPL-devel] [GIT] ppl/ppl(ppl-0_10-branch): Update version.
Roberto Bagnara
- [PPL-devel] [GIT] ppl/ppl(ppl-0_10-branch): Mark ChangeLog.
Roberto Bagnara
- [PPL-devel] [GIT] ppl/w3ppl(master): Avoid building everything just to update the web site.
Roberto Bagnara
- [PPL-devel] Parma Polyhedra Library 0.10.2
Roberto Bagnara
- [PPL-devel] [GIT] ppl/w3ppl(master): For Fedora 8, we only RPM packages for version 0. 10.
Roberto Bagnara
- [PPL-devel] [GIT] ppl/ppl(master): Mark package ppl-yap as obsoleting ppl-yap-static.
Roberto Bagnara
- [PPL-devel] [GIT] ppl/ppl(deprecated_0_11_removal): Removed deprecated methods *and_minimize().
Patricia Hill
- [PPL-devel] [GIT] ppl/ppl(deprecated_0_11_removal): Removed tests for the deprecated *and_minimize() predicates.
Patricia Hill
- [PPL-devel] PPL 0.10.2 on Cygwin
Roberto Bagnara
- [PPL-devel] [GIT] ppl/ppl(master): Improved subset_or_equal(const Bit_Row&, const Bit_Row&, bool&).
Roberto Bagnara
- [PPL-devel] [GIT] ppl/ppl(master): Significantly speeded up the construction of `new_satrow'.
Roberto Bagnara
- [PPL-devel] [GIT] ppl/ppl(master): Avoid useless allocations by only adding recycled rows to Bit_Matrix.
Roberto Bagnara
- [PPL-devel] [GIT] ppl/ppl(master): Further improved subset_or_equal(const Bit_Row&, const Bit_Row&, bool&).
Roberto Bagnara
- [PPL-devel] [GIT] ppl/ppl(master): New constructor Bit_Row::Bit_Row(const Bit_Row& y, const Bit_Row& z).
Roberto Bagnara
- [PPL-devel] [GIT] ppl/ppl(master): Size has to be specified in bits.
Abramo Bagnara
- [PPL-devel] [GIT] ppl/ppl(master): Improved set_union(const Bit_Row&, const Bit_Row&, Bit_Row&).
Roberto Bagnara
- [PPL-devel] [GIT] ppl/ppl(master): Merge branch 'master' of ssh://bagnara at git.cs.unipr. it/git/ppl/ppl.
Roberto Bagnara
- [PPL-devel] [GIT] ppl/ppl(master): Added assert to check for possible overflow.
Abramo Bagnara
- [PPL-devel] [GIT] ppl/ppl(master): The exact integer upper bound methods for shapes are now under Git control . The methods are named integer_upper_bound_assign_if_exact; they can only be instantiated if the template parameter T is an integer datatype .
Enea Zaffanella
- [PPL-devel] [GIT] ppl/ppl(master): Bit_Row iterators reimplemented more efficiently.
Roberto Bagnara
- [PPL-devel] [GIT] ppl/ppl(master): This commit was generated by cvs to git conversion to create branch
Roberto Bagnara
- [PPL-devel] [GIT] ppl/ppl(master): Use ASCII only.
Roberto Bagnara
- [PPL-devel] [GIT] ppl/ppl(master): Update version.
Roberto Bagnara
- [PPL-devel] [GIT] ppl/ppl(master): Merge branch 'master' into ppl-0_10-branch
Roberto Bagnara
- [PPL-devel] [GIT] ppl/ppl(master): Merge branch 'master' into ppl-0_10-branch.
Roberto Bagnara
- [PPL-devel] [GIT] ppl/ppl(master): Mark ChangeLog.
Roberto Bagnara
- [PPL-devel] [GIT] ppl/ppl(master): Merge branch 'master' into ppl-0_10-branch
Roberto Bagnara
- [PPL-devel] [GIT] ppl/ppl(master): Merge branch 'master' into ppl-0_10-branch
Roberto Bagnara
- [PPL-devel] [GIT] ppl/ppl(master): Merge branch 'master' into ppl-0_10-branch
Roberto Bagnara
- [PPL-devel] [GIT] ppl/ppl(master): Mark ChangeLog.
Roberto Bagnara
- [PPL-devel] [GIT] ppl/ppl(master): Update version.
Roberto Bagnara
- [PPL-devel] [GIT] ppl/ppl(master): Mark ChangeLog.
Roberto Bagnara
- [PPL-devel] [GIT] ppl/ppl(master): Merge branch 'master' into ppl-0_10-branch.
Roberto Bagnara
- [PPL-devel] [GIT] ppl/ppl(master): Mark ChangeLog.
Roberto Bagnara
- [PPL-devel] [GIT] ppl/ppl(master): Update version.
Roberto Bagnara
- [PPL-devel] [GIT] ppl/ppl(master): Mark ChangeLog.
Roberto Bagnara
- [PPL-devel] [GIT] ppl/ppl(master): Merge branch 'ppl-0_10-branch'
Roberto Bagnara
- [PPL-devel] [GIT] ppl/ppl(master): Initiated the removal of the methods deprecated in PPL 0.10.
Roberto Bagnara
- [PPL-devel] [GIT] ppl/ppl(master): Merge branch 'master' into deprecated_0_11_removal.
Roberto Bagnara
- [PPL-devel] [GIT] ppl/ppl(master): Tests adapted to check the "non-and_minimize" versions.
Roberto Bagnara
- [PPL-devel] [GIT] ppl/ppl(master): More changes related to the removal of the *_and_minimize() methods.
Roberto Bagnara
- [PPL-devel] [GIT] ppl/ppl(master): No longer use ppl_Polyhedron_add_constraints_and_minimize/2.
Roberto Bagnara
- [PPL-devel] [GIT] ppl/ppl(master): Removed deprecated methods *and_minimize().
Patricia Hill
- [PPL-devel] [GIT] ppl/ppl(master): Removed tests for the deprecated *and_minimize() predicates.
Patricia Hill
- [PPL-devel] [GIT] ppl/ppl(master): Merge branch 'deprecated_0_11_removal'
Roberto Bagnara
- [PPL-devel] [GIT] ppl/ppl(master): Version number bumped.
Roberto Bagnara
- [PPL-devel] [GIT] ppl/ppl(master): Mentioned the speed improvements committed today.
Roberto Bagnara
- [PPL-devel] [GIT] ppl/ppl(master): Typos fixed.
Roberto Bagnara
- [PPL-devel] [GIT] ppl/ppl(master): Typos fixed.
Roberto Bagnara
- [PPL-devel] [GIT] ppl/ppl(master): Corrected silly typo in compile-time check.
Enea Zaffanella
- [PPL-devel] GMP 4.3.0 released
Roberto Bagnara
- [PPL-devel] [GIT] ppl/ppl(bounded_arithmetic): Corrected silly typo in compile-time check.
Enea Zaffanella
- [PPL-devel] [GIT] ppl/ppl(bounded_arithmetic): New enumerations Bounded_Integer_Type_Width, Bounded_Integer_Type_Signedness
Roberto Bagnara
- [PPL-devel] [GIT] ppl/ppl(bounded_arithmetic): New file wrap1. cc will contain tests for method Polyhedron::wrap_assign().
Roberto Bagnara
- [PPL-devel] [GIT] ppl/ppl(bounded_arithmetic): Added the declaration and a stub implementation of new method
Roberto Bagnara
- [PPL-devel] [GIT] ppl/w3ppl(master): BagnaraHZ09TRa updated.
Roberto Bagnara
- [PPL-devel] [GIT] ppl/ppl(master): Made the checks for HAVE_FENV_H systems more robust.
Roberto Bagnara
- [PPL-devel] [GIT] ppl/ppl(master): Use of PPL_ARM_CAN_CONTROL_FPU made safer.
Roberto Bagnara
- [PPL-devel] [GIT] ppl/ppl(master): Formatting improved.
Roberto Bagnara
- [PPL-devel] [GIT] ppl/ppl(master): Tests 11 fails with checked-int32 coefficients.
Patricia Hill
- [PPL-devel] [GIT] ppl/ppl(master): Warnings avoided.
Roberto Bagnara
- [PPL-devel] Some troubles I met while building PPL.
Yuriy Taraday
- [PPL-devel] [GIT] ppl/ppl(master): Avoid unused variable warning.
Patricia Hill
- [PPL-devel] [GIT] ppl/ppl(polynomials): New commits
Roberto Bagnara
- [PPL-devel] Some troubles I met while building PPL.
Abramo Bagnara
- [PPL-devel] Some troubles I met while building PPL.
Abramo Bagnara
- [PPL-devel] [Fwd: Re: Some troubles I met while building PPL.]
Abramo Bagnara
- [PPL-devel] Some troubles I met while building PPL.
Abramo Bagnara
- [PPL-devel] [Fwd: Re: Some troubles I met while building PPL.]
Enea Zaffanella
- [PPL-devel] [Fwd: Re: [Fwd: Re: Some troubles I met while building PPL.]]
Enea Zaffanella
- [PPL-devel] [GIT] ppl/ppl(master): Avoid use of anonymous enum.
Abramo Bagnara
- [PPL-devel] [Fwd: Re: Some troubles I met while building PPL.]
Enea Zaffanella
- [PPL-devel] [Fwd: Re: Some troubles I met while building PPL.]
Yuriy Taraday
- [PPL-devel] [Fwd: Re: Some troubles I met while building PPL.]
Enea Zaffanella
- [PPL-devel] [GIT] ppl/ppl(master): Added missing checks.
Abramo Bagnara
- [PPL-devel] [Fwd: GCC 4.4.0 Released]
Roberto Bagnara
- [PPL-devel] [GIT] ppl/ppl(master): Prefer passing jobject, jint and jlong by value.
Enea Zaffanella
- [PPL-devel] [GIT] ppl/ppl(master): Got rid of (unnecessarily involved) method is_null.
Enea Zaffanella
- [PPL-devel] [GIT] ppl/ppl(master): Corrected Java Generator private method void set( Generator).
Enea Zaffanella
- [PPL-devel] [GIT] ppl/ppl(serial): New commits
Roberto Bagnara
- [PPL-devel] [GIT] ppl/ppl(master): Started caching Java field/ method IDs for jni callbacks.
Enea Zaffanella
- [PPL-devel] [GIT] ppl/ppl(master): Caching other Java field/method IDs.
Enea Zaffanella
- [PPL-devel] [GIT] ppl/ppl(master): In Java, avoid useless repeated copies in Coefficient and Linear_Expression.
Enea Zaffanella
- [PPL-devel] [GIT] ppl/ppl(master): Improved jni helper functions set_coefficient, set_generator, set_by_reference.
Enea Zaffanella
- [PPL-devel] [GIT] ppl/ppl(master): Use the ocaml-autoconf macros for configuration of the OCaml interface.
Roberto Bagnara
- [PPL-devel] [GIT] ppl/ppl(master): Use the macros OCAMLC, OCAMLOPT and OCAMLDOC instead of hardcoded names.
Roberto Bagnara
- [PPL-devel] [GIT] ppl/ppl(master): DO_TEST_F now produces a more sensible output.
Roberto Bagnara
- [PPL-devel] [GIT] ppl/ppl(master): Use the macros OCAMLC, OCAMLOPT and OCAMLLIB.
Roberto Bagnara
- [PPL-devel] [GIT] ppl/ppl(master): One obsolete item removed. Other items partially scheduled.
Roberto Bagnara
- [PPL-devel] [GIT] ppl/ppl(master): Started caching jclass objects using JNI global references.
Enea Zaffanella
- [PPL-devel] Check dependency resolution for 64 bit linking
Markus Elfring
- [PPL-devel] Problems with ppl-0.10.2 and g++ 4.4.0 on Open Solaris (x86_64)
Tom Browder
- [PPL-devel] Check dependency resolution for 64 bit linking
Roberto Bagnara
- [PPL-devel] Problems with ppl-0.10.2 and g++ 4.4.0 on Open Solaris (x86_64)
Roberto Bagnara
- [PPL-devel] Problems with ppl-0.10.2 and g++ 4.4.0 on Open Solaris (x86_64)
Tom Browder
- [PPL-devel] [GIT] ppl/ppl(bounded_arithmetic): New commits
Roberto Bagnara
- [PPL-devel] Problems with ppl-0.10.2 and g++ 4.4.0 on Open Solaris (x86_64)
Marc Glisse
- [PPL-devel] Problems with ppl-0.10.2 and g++ 4.4.0 on Open Solaris (x86_64)
Roberto Bagnara
- [PPL-devel] [GIT] ppl/ppl(bounded_arithmetic): The `mul2exp' and `div2exp' functions are now called `mul_2exp' and `div_2exp'.
Roberto Bagnara
- [PPL-devel] [GIT] ppl/ppl(bounded_arithmetic): Added void div_2exp_assign(GMP_Integer&, const GMP_Integer&, unsigned int).
Roberto Bagnara
- [PPL-devel] [GIT] ppl/ppl(bounded_arithmetic): Added void mul_2exp_assign(GMP_Integer&, const GMP_Integer&, unsigned int).
Roberto Bagnara
- [PPL-devel] [GIT] ppl/ppl(bounded_arithmetic): Unused parameter name omitted.
Roberto Bagnara
- [PPL-devel] [GIT] ppl/ppl(bounded_arithmetic): Added missing patterns.
Roberto Bagnara
- [PPL-devel] [GIT] ppl/ppl(bounded_arithmetic): Added missing pattern.
Roberto Bagnara
- [PPL-devel] Check dependency resolution for 64 bit linking
Markus Elfring
- [PPL-devel] [Fwd: Re: Check dependency resolution for 64 bit linking]
Roberto Bagnara
- [PPL-devel] Check dependency resolution for 64 bit linking
Roberto Bagnara
- [PPL-devel] [GIT] ppl/ppl(bounded_arithmetic): Started the implementation of Polyhedron ::wrap_assign().
Roberto Bagnara
- [PPL-devel] Problems with ppl-0.10.2 and g++ 4.4.0 on Open Solaris (x86_64)
Marc Glisse
- [PPL-devel] [GIT] ppl/ppl(master): Fixed a few residual issue in Java interface method ID caching.
Enea Zaffanella
- [PPL-devel] [GIT] ppl/ppl(master): Use LT_PREREQ to ensure a recent-enough version of Libtool is used.
Roberto Bagnara
- [PPL-devel] Check dependency resolution for 64 bit linking
Markus Elfring
- [PPL-devel] Check dependency resolution for 64 bit linking
Roberto Bagnara
- [PPL-devel] [GIT] ppl/ppl(bounded_arithmetic): Added a new parameter `pcs' to Polyhedron::wrap_assign().
Roberto Bagnara
- [PPL-devel] [GIT] ppl/ppl(bounded_arithmetic): In Polyhedron::wrap_assign() handled the case `o == OVERFLOW_UNDEFINED'.
Roberto Bagnara
- [PPL-devel] [GIT] ppl/ppl(master): Fixed a typo causing improper cleaning of Java interface files.
Enea Zaffanella
- [PPL-devel] [GIT] ppl/ppl(bounded_arithmetic): In Polyhedron::wrap_assign() handled the case `o == OVERFLOW_IMPOSSIBLE'.
Roberto Bagnara
- [PPL-devel] Check dependency resolution for 64 bit linking
Markus Elfring
- [PPL-devel] Check dependency resolution for 64 bit linking
Roberto Bagnara
- [PPL-devel] [GIT] ppl/ppl(products): New commits
Roberto Bagnara
- [PPL-devel] [GIT] ppl/w3ppl(master): Added LogozzoF08.
Roberto Bagnara
- [PPL-devel] ppl_io_asprint_* behavior for null pointers?
Basile STARYNKEVITCH
- [PPL-devel] [GIT] ppl/w3ppl(master): Elena graduated!
Roberto Bagnara
- [PPL-devel] [GIT] ppl/w3ppl(master): Old news item removed from the front page.
Roberto Bagnara
- [PPL-devel] [GIT] ppl/w3ppl(master): Updated entry concerning Katy's PhD.
Patricia Hill
- [PPL-devel] [GIT] ppl/ppl(master): Fixed initialization for Java interface ( explicit initialization required).
Enea Zaffanella
- [PPL-devel] [GIT] ppl/ppl(master): Removed obsolete support for grid covering boxes.
Roberto Bagnara
- [PPL-devel] [GIT] ppl/ppl(bounded_arithmetic): New commits
Roberto Bagnara
- [PPL-devel] [GIT] ppl/ppl(master): Useless friend declaration removed.
Roberto Bagnara
Last message date:
Thu Apr 30 22:10:29 CEST 2009
Archived on: Sun Mar 6 09:35:38 CET 2022
This archive was generated by
Pipermail 0.09 (Mailman edition).