June 2012 Archives by thread

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

Starting: Tue Jun 12 11:22:15 CEST 2012
Ending: Fri Jun 29 14:50:58 CEST 2012
Messages: 59

• [PPL-devel] Zobacz najnowsze Oferty Pracy w IT   bagnara at cs.unipr.it
• [PPL-devel] Problem when compiling ppl 0.12.1 on Mac OSX 10.4   Ardillas del Monte
  • [PPL-devel] Problem when compiling ppl 0.12.1 on Mac OSX 10.4   Enea Zaffanella
• [PPL-devel] [GIT] ppl/ppl(master): Fixed copy-and-paste mistake.   Roberto Bagnara
• [PPL-devel] PPL requires a recent version of m4   Jeroen Demeyer
  • [PPL-devel] PPL requires a recent version of m4   Roberto Bagnara
• [PPL-devel] [GIT] ppl/ppl(master): Mentioned a bug corrected.   Enea Zaffanella
• [PPL-devel] [GIT] ppl/ppl(master): Fixed a couple of Doxygen references.   Enea Zaffanella
• [PPL-devel] [GIT] ppl/ppl(master): Message improved.   Roberto Bagnara
• [PPL-devel] [GIT] ppl/ppl(master): Updated.   Roberto Bagnara
  • [PPL-devel] [GIT] ppl/ppl(master): Updated.   Roberto Bagnara
  • [PPL-devel] [GIT] ppl/ppl(master): Updated.   Roberto Bagnara
  • [PPL-devel] [GIT] ppl/ppl(master): Updated.   Roberto Bagnara
  • [PPL-devel] [GIT] ppl/ppl(master): Updated.   Roberto Bagnara
  • [PPL-devel] [GIT] ppl/ppl(master): Updated.   Roberto Bagnara
  • [PPL-devel] [GIT] ppl/ppl(master): Updated.   Roberto Bagnara
  • [PPL-devel] [GIT] ppl/ppl(master): Updated.   Roberto Bagnara
• [PPL-devel] [GIT] ppl/ppl(master): Documentation of restore_pre_PPL_rounding() extended .   Roberto Bagnara
• [PPL-devel] [GIT] ppl/ppl(master): Restore the pre-PPL rounding mode before using libm functions.   Roberto Bagnara
• [PPL-devel] [GIT] ppl/ppl(master): Test restored.   Roberto Bagnara
• [PPL-devel] [GIT] ppl/ppl(master): Long source lines avoided.   Roberto Bagnara
• [PPL-devel] [GIT] ppl/ppl(master): Typo in documentation fixed.   Patricia Hill
• [PPL-devel] [GIT] ppl/ppl(master): Fixed several Doxygen warnings.   Enea Zaffanella
• [PPL-devel] [GIT] ppl/ppl(master): Fixed another couple of Doxygen warnings.   Enea Zaffanella
• [PPL-devel] [GIT] ppl/ppl(master): Removed a couple of typedefs.   Enea Zaffanella
• [PPL-devel] [GIT] ppl/ppl(master): Cater for systems where Watchdog objects are not supported.   Roberto Bagnara
• [PPL-devel] [GIT] ppl/ppl(master): Indentation fixed.   Roberto Bagnara
• [PPL-devel] Question about looping through lattice vertices inside a bounded convex polyhedron   SADOVSKY, ALEXANDER V. (ARC-AFH)
  • [PPL-devel] Question about looping through lattice vertices inside a bounded convex polyhedron   Enea Zaffanella
• [PPL-devel] [GIT] ppl/ppl(master): Version bumped.   Roberto Bagnara
• [PPL-devel] [GIT] ppl/ppl(master): Use macro PPL_DOXYGEN_INCLUDE_IMPLEMENTATION_DETAILS to exclude several   Enea Zaffanella
• [PPL-devel] [GIT] ppl/ppl(master): Fixed fpu rounding set/restore.   Abramo Bagnara
• [PPL-devel] [GIT] ppl/ppl(master): Unconditionally distribute the man page.   Roberto Bagnara
• [PPL-devel] [GIT] ppl/ppl(master): Notes fixed.   Roberto Bagnara
• [PPL-devel] [GIT] ppl/ppl(master): Improved section announcing sparse/ dense row representation adoption.   Enea Zaffanella
• [PPL-devel] [GIT] ppl/ppl(master): Avoid useless namespace closing and reopening.   Enea Zaffanella
• [PPL-devel] [GIT] ppl/ppl(master): Upgraded doxygen configuration files to version 1.8. 1.1.   Enea Zaffanella
• [PPL-devel] [GIT] ppl/ppl(master): Redundant script removed.   Roberto Bagnara
• [PPL-devel] [GIT] ppl/ppl(master): New PPL citations.   Roberto Bagnara
• [PPL-devel] [GIT] ppl/ppl(master): More PPL citations.   Roberto Bagnara
• [PPL-devel] [GIT] ppl/ppl(master): Added a section on README.configure describing dense /sparse row choices.   Enea Zaffanella
• [PPL-devel] ppl/ppl(master): New commits   Roberto Bagnara
• [PPL-devel] [GIT] ppl/ppl(ppl-1_0-branch): Work around a Doxygen bug. Stick to ASCII.   Roberto Bagnara
• [PPL-devel] [GIT] ppl/ppl(ppl-1_0-branch): Updated.   Roberto Bagnara
• [PPL-devel] [GIT] ppl/ppl(master): Added AmatoPS12.   Roberto Bagnara
• [PPL-devel] [GIT] ppl/ppl(master): Spurious blank line removed.   Roberto Bagnara
• [PPL-devel] [GIT] ppl/ppl(ppl-1_0-branch): Mark ChangeLog.   Roberto Bagnara
• [PPL-devel] [GIT] ppl/ppl(ppl-1_0-branch): Update version.   Roberto Bagnara
• [PPL-devel] Accessing constraint systems from Java   Gianluca Amato
  • [PPL-devel] Accessing constraint systems from Java   Enea Zaffanella
• [PPL-devel] Parma Polyhedra Library 1.0   Roberto Bagnara
• [PPL-devel] [GIT] ppl/ppl(master): Typo fixed.   Roberto Bagnara
  • [PPL-devel] [GIT] ppl/ppl(master): Typo fixed.   Roberto Bagnara
• [PPL-devel] [GIT] ppl/ppl(ppl-1_0-branch): Added AmatoPS12.   Roberto Bagnara
• [PPL-devel] [GIT] ppl/ppl(ppl-1_0-branch): Spurious blank line removed.   Roberto Bagnara
• [PPL-devel] [GIT] ppl/ppl(ppl-1_0-branch): Typo fixed.   Roberto Bagnara
  • [PPL-devel] [GIT] ppl/ppl(ppl-1_0-branch): Typo fixed.   Roberto Bagnara
• [PPL-devel] [GIT] ppl/ppl(master): Use std::floor() and std::frexp() instead of floorl( ) and frexpl(), respectively.   Roberto Bagnara
• [PPL-devel] [GIT] ppl/ppl(ppl-1_0-branch): New commits   Roberto Bagnara

Last message date: Fri Jun 29 14:50:58 CEST 2012
Archived on: Sun Mar 6 09:35:47 CET 2022

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