June 2009 Archives by date

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

Starting: Mon Jun 1 16:34:15 CEST 2009
Ending: Tue Jun 30 11:10:46 CEST 2009
Messages: 62

• [PPL-devel] a proposal for the FAQs   Peter Pein
• [PPL-devel] [GIT] ppl/w3ppl(master): Added a new item on the list of causes that may prevent detection of GMP.   Roberto Bagnara
• [PPL-devel] a proposal for the FAQs   Roberto Bagnara
• [PPL-devel] doxygen & bibliography   Roberto Bagnara
• [PPL-devel] [GIT] ppl/ppl(master): Interface for Java class Linear_Expression_Times improved.   Enea Zaffanella
• [PPL-devel] [GIT] ppl/ppl(master): In the Java tests, be more systematic in the use of method free().   Enea Zaffanella
• [PPL-devel] [Fwd: GCC 4.5.0 Status Report (2009-06-04)]   Roberto Bagnara
• [PPL-devel] [GIT] ppl/ppl(floating_point): Test test02() overflows with 16 bit checked integers.   Enea Zaffanella
• [PPL-devel] [GIT] ppl/ppl(floating_point): Interface for Java class Linear_Expression_Times improved.   Enea Zaffanella
• [PPL-devel] [GIT] ppl/ppl(floating_point): In the Java tests, be more systematic in the use of method free().   Enea Zaffanella
• [PPL-devel] [GIT] ppl/ppl(master): Avoid unused variable warning when assertions are not enabled.   Patricia Hill
• [PPL-devel] FreeBSD package   Tobias Grosser
• [PPL-devel] [GIT] ppl/ppl(master): Add -lgcov to extra_libraries when configuring with coverage enabled.   Enea Zaffanella
• [PPL-devel] [GIT] ppl/ppl(master): Added explanation on the use of lcov to produce coverage information.   Enea Zaffanella
• [PPL-devel] FreeBSD package   Roberto Bagnara
• [PPL-devel] [GIT] ppl/w3ppl(master): Announce the new bug tracking system.   Roberto Bagnara
• [PPL-devel] [GIT] ppl/w3ppl(master): Anchors fixed.   Roberto Bagnara
• [PPL-devel] [GIT] ppl/w3ppl(master): Banner removed.   Roberto Bagnara
• [PPL-devel] [GIT] ppl/ppl(master): Typos fixed.   Roberto Bagnara
• [PPL-devel] [GIT] ppl/ppl(master): Using the bug tracking system is now the recommended way to report PPL issues .   Roberto Bagnara
• [PPL-devel] [GIT] ppl/w3ppl(master): Minor improvements to English.   Patricia Hill
• [PPL-devel] [GIT] ppl/ppl(pip): Corrected silly typo in compile-time check.   Enea Zaffanella
• [PPL-devel] [GIT] ppl/ppl(pip): Blatantly ripped from MIP_Problem.*.hh.   Roberto Bagnara
• [PPL-devel] [GIT] ppl/ppl(pip): Got rid of objective function and optimization mode.   Enea Zaffanella
• [PPL-devel] [GIT] ppl/ppl(pip): Got rid of objective function and optimization mode.   Enea Zaffanella
• [PPL-devel] [GIT] ppl/ppl(pip): Added draft PIP_Tree implementation.   Abramo Bagnara
• [PPL-devel] [GIT] ppl/ppl(pip): Added comments and more infrastructure.   Roberto Bagnara
• [PPL-devel] [GIT] ppl/ppl(pip): More comments added. Some fields renamed.   Roberto Bagnara
• [PPL-devel] [GIT] ppl/ppl(pip): Initial draft fo rinterface improved.   Enea Zaffanella
• [PPL-devel] [GIT] ppl/ppl(pip): Added constructors and comments.   Roberto Bagnara
• [PPL-devel] [GIT] ppl/ppl(pip): Include "globals.defs.hh"   Roberto Bagnara
• [PPL-devel] [GIT] ppl/ppl(pip): Include "PIP_Tree.defs.hh".   Roberto Bagnara
• [PPL-devel] [GIT] ppl/ppl(pip): Added accessors of PIP_Solution_Node. Other improvements.   Roberto Bagnara
• [PPL-devel] [GIT] ppl/ppl(pip): Fixed typo.   Abramo Bagnara
• [PPL-devel] [GIT] ppl/ppl(pip): Added implementation of child accessors.   Abramo Bagnara
• [PPL-devel] Matlab interface of PPL   Truong Nghiem
• [PPL-devel] [GIT] ppl/ppl(master): Added proof of concept for Python interface.   Abramo Bagnara
• [PPL-devel] Z-polytopes in PPL   Michael Classen
• [PPL-devel] Z-polytopes in PPL   P M Hill
• [PPL-devel] [GIT] ppl/ppl(master): The `gprolog' and `yap' packages are not available on the sparc64 and   Roberto Bagnara
• [PPL-devel] [GIT] ppl/ppl(pip): The `gprolog' and `yap' packages are not available on the sparc64 and   Roberto Bagnara
• [PPL-devel] [GIT] ppl/ppl(pip): Added proof of concept for Python interface.   Abramo Bagnara
• [PPL-devel] [GIT] ppl/ppl(pip): Space dimensions cannot change status: they are either vars or parameters.   Enea Zaffanella
• [PPL-devel] PPL Library capabilities   Michael Kalugin
• [PPL-devel] Matlab interface of PPL   Roberto Bagnara
• [PPL-devel] [GIT] ppl/w3ppl(master): Added RizkBFS09.   Roberto Bagnara
• [PPL-devel] [GIT] ppl/w3ppl(master): URL added.   Roberto Bagnara
• [PPL-devel] PPL Library capabilities   P M Hill
• [PPL-devel] [GIT] ppl/w3ppl(master): A few typos in the instructions for the use of git fixed.   Patricia Hill
• [PPL-devel] Compiling ppl-0.10.2 on Solaris Express   Alan Pae
• [PPL-devel] Compiling ppl-0.10.2 on Solaris Express   Roberto Bagnara
• [PPL-devel] Compiling ppl-0.10.2 on Solaris Express   Alan Pae
• [PPL-devel] Compiling ppl-0.10.2 on Solaris Express   Roberto Bagnara
• [PPL-devel] Compiling ppl-0.10.2 on Solaris Express   Alan Pae
• [PPL-devel] Compiling ppl-0.10.2 on Solaris Express   Alan Pae
• [PPL-devel] Compiling ppl-0.10.2 on Solaris Express   Roberto Bagnara
• [PPL-devel] Z-polytopes in PPL   Michael Classen
• [PPL-devel] Compiling ppl-0.10.2 on Solaris Express   alanpae at ilkda.com
• [PPL-devel] Compiling ppl-0.10.2 on Solaris Express   Roberto Bagnara
• [PPL-devel] Compiling ppl-0.10.2 on Solaris Express   Roberto Bagnara
• [PPL-devel] Compiling ppl-0.10.2 on Solaris Express   alanpae at ilkda.com
• [PPL-devel] Z-polytopes in PPL   Michael Classen

Last message date: Tue Jun 30 11:10:46 CEST 2009
Archived on: Fri Jan 20 18:10:34 CET 2012

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