July 2011 Archives by thread

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

Starting: Tue Jul 5 19:17:44 CEST 2011
Ending: Thu Jul 28 09:55:25 CEST 2011
Messages: 50

• [PPL-devel] [GIT] ppl/ppl(bounded_arithmetic): Removed useless instruction.   Alberto Gioia
• [PPL-devel] [GIT] ppl/ppl(bounded_arithmetic): Removed unused functions, and adjusts the source code formatting.   Alberto Gioia
• [PPL-devel] [GIT] ppl/ppl(bounded_arithmetic): Moved file in src/   Alberto Gioia
• [PPL-devel] [GIT] ppl/ppl(bounded_arithmetic): Included pah src/linearize_integer. hh for documentation generation.   Alberto Gioia
• [PPL-devel] [GIT] ppl/ppl(bounded_arithmetic): Added new commands for bitwise operators on intervals and Linear Form.   Alberto Gioia
• [PPL-devel] [GIT] ppl/ppl(bounded_arithmetic): Adjust the formatting code and renamed variables.   Alberto Gioia
• [PPL-devel] [GIT] ppl/ppl(bounded_arithmetic): Adjust the formatting code.   Alberto Gioia
• [PPL-devel] [GIT] ppl/ppl(bounded_arithmetic): Added documentation on Bitwise operators .   Alberto Gioia
• [PPL-devel] [GIT] ppl/ppl(bounded_arithmetic): Corrected documentation.   Alberto Gioia
  • [PPL-devel] [GIT] ppl/ppl(bounded_arithmetic): Corrected documentation.   Alberto Gioia
• [PPL-devel] [GIT] ppl/ppl(bounded_arithmetic): Fixed functions lshift_assign and rshift_assign.   Alberto Gioia
• [PPL-devel] [GIT] ppl/ppl(bounded_arithmetic): Fixed bitwise functions.   Alberto Gioia
• [PPL-devel] [GIT] ppl/ppl(bounded_arithmetic): Fixed noisy output.   Alberto Gioia
• [PPL-devel] Polyhedra formats and ppl_lcdd   Ramakrishna Upadrasta
  • [PPL-devel] Polyhedra formats and ppl_lcdd   Roberto Bagnara
  • [PPL-devel] Polyhedra formats and ppl_lcdd   Enea Zaffanella
• [PPL-devel] [GIT] ppl/w3ppl(master): Links updated.   Roberto Bagnara
• [PPL-devel] #625417 - ppl: ftbfs with gcc-4.6 -Werror - Debian Bug report logs   Roberto Bagnara
• [PPL-devel] MIP or PIP for testing satisfiability of linear arithmetic constraints over the integers   Fred Mesnard
  • [PPL-devel] MIP or PIP for testing satisfiability of linear arithmetic constraints over the integers   Enea Zaffanella
• [PPL-devel] [GIT] ppl/ppl(master): Silenced a couple of gcc warnings.   Enea Zaffanella
• [PPL-devel] Fwd: Re: Polyhedra formats and ppl_lcdd   Roberto Bagnara
• [PPL-devel] [GIT] ppl/ppl(bounded_arithmetic): Deleted white space.   Alberto Gioia
• [PPL-devel] [GIT] ppl/ppl(bounded_arithmetic): Renamed Intero_Interval into Integer_Int_Interval   Alberto Gioia
• [PPL-devel] [GIT] ppl/ppl(bounded_arithmetic): Adjusted documentation and formatting code.   Alberto Gioia
• [PPL-devel] [GIT] ppl/ppl(master): Simplified PPL_DIRTY_TEMP.   Abramo Bagnara
• [PPL-devel] [GIT] ppl/ppl(master): Avoid annoying warnings caused by internal OCaml C code.   Enea Zaffanella
• [PPL-devel] [GIT] ppl/ppl(bounded_arithmetic): Adjust the functions about bitwise operators.   Alberto Gioia
• [PPL-devel] [GIT] ppl/ppl(bounded_arithmetic): Added test files about bitwise operators on integer intervals, then added in Makefile.am files   Alberto Gioia
• [PPL-devel] [GIT] ppl/ppl(bounded_arithmetic): Adjusted sintax for noisy stream.   Alberto Gioia
• [PPL-devel] [GIT] ppl/ppl(bounded_arithmetic): More fixes to the documentation.   Alberto Gioia
• [PPL-devel] [GIT] ppl/ppl(bounded_arithmetic): Other fixes to the documentation.   Alberto Gioia
  • [PPL-devel] [GIT] ppl/ppl(bounded_arithmetic): Other fixes to the documentation.   Alberto Gioia
• [PPL-devel] [GIT] ppl/ppl(bounded_arithmetic): Minor correction.   Alberto Gioia
• [PPL-devel] [GIT] ppl/ppl(bounded_arithmetic): Added implementation of the operator<=.   Alberto Gioia
• [PPL-devel] [GIT] ppl/ppl(bounded_arithmetic): Changed declaration and definition for the left_shift and right_shift operators ,   Alberto Gioia
• [PPL-devel] [GIT] ppl/ppl(bounded_arithmetic): Modified the documentation for rshift_linearize_int rshift_linearize_int function .   Alberto Gioia
• [PPL-devel] [GIT] ppl/ppl(bounded_arithmetic): Other changes to the output noisy.   Alberto Gioia
• [PPL-devel] [GIT] ppl/ppl(bounded_arithmetic): Changed names of parameters of the function of the operator<< and opeartor >>,   Alberto Gioia
• [PPL-devel] [GIT] ppl/ppl(bounded_arithmetic): Added new command for " Linear form arithmetics".   Alberto Gioia
• [PPL-devel] [GIT] ppl/ppl(bounded_arithmetic): Added new control on the second parameter of the operator<< and operator>>   Alberto Gioia
• [PPL-devel] [GIT] ppl/ppl(master): Updated.   Roberto Bagnara
• [PPL-devel] [GIT] ppl/ppl(master): New configure options `--with-gmp=DIR', `--with-gmp-include=DIR' and   Roberto Bagnara
• [PPL-devel] [GIT] ppl/ppl(master): Fixed uses of PPL_HAVE_DECL_GETRUSAGE.   Roberto Bagnara
  • [PPL-devel] [GIT] ppl/ppl(master): Fixed uses of PPL_HAVE_DECL_GETRUSAGE.   Abramo Bagnara
    • [PPL-devel] [GIT] ppl/ppl(master): Fixed uses of PPL_HAVE_DECL_GETRUSAGE.   Abramo Bagnara
    • [PPL-devel] [GIT] ppl/ppl(master): Fixed uses of PPL_HAVE_DECL_GETRUSAGE.   Roberto Bagnara
• [PPL-devel] [GIT] ppl/ppl(master): Make sure the run-time tests for GMP can find GMP' s shared libraries.   Roberto Bagnara
• [PPL-devel] [GIT] ppl/ppl(master): Added environment variable export.   Roberto Bagnara
• [PPL-devel] [GIT] ppl/ppl(master): Make sure we have a declaration of setrlimit() before trying to use it.   Roberto Bagnara

Last message date: Thu Jul 28 09:55:25 CEST 2011
Archived on: Sun Mar 6 09:35:45 CET 2022

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