June 2011 Archives by subject

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

Starting: Mon Jun 6 10:22:11 CEST 2011
Ending: Tue Jun 28 19:09:26 CEST 2011
Messages: 43

• [PPL-devel] 'Reply to' header issue   rafael ff1
• [PPL-devel] 'Reply to' header issue   Roberto Bagnara
• [PPL-devel] [doko at debian.org: Bug#625417: ppl: ftbfs with gcc-4.6 -Werror]   Michael Tautschnig
• [PPL-devel] [GIT] ppl/ppl(bounded_arithmetic): Added declaration and definition of the functions for bitwise operators applied to Linear_Form .   Alberto Gioia
• [PPL-devel] [GIT] ppl/ppl(bounded_arithmetic): Added definition for Intero_Interval, Integer_Linear_Form, and Integer_Interval_Abstract_Store.   Alberto Gioia
• [PPL-devel] [GIT] ppl/ppl(bounded_arithmetic): Added definition of inline functions for bitwise operators.   Alberto Gioia
• [PPL-devel] [GIT] ppl/ppl(bounded_arithmetic): Added definitions of the functions for operators Bitwise.   Alberto Gioia
• [PPL-devel] [GIT] ppl/ppl(bounded_arithmetic): Added test files linearize_int.cc   Alberto Gioia
• [PPL-devel] [GIT] ppl/ppl(bounded_arithmetic): Added the definition of the class Int_Constant<C_Expr>, defined on a Intero_Interval.   Alberto Gioia
• [PPL-devel] [GIT] ppl/ppl(bounded_arithmetic): Adjusted definition of the class Test_Oracle after new definition for the class Oracle .   Alberto Gioia
• [PPL-devel] [GIT] ppl/ppl(bounded_arithmetic): Adjusted definition of the class Test_Oracle, after new definition for class Oracle.   Alberto Gioia
• [PPL-devel] [GIT] ppl/ppl(bounded_arithmetic): Changed names of variables.   Alberto Gioia
• [PPL-devel] [GIT] ppl/ppl(bounded_arithmetic): New test file for the linearization of expressions of bitwise operators.   Alberto Gioia
• [PPL-devel] [GIT] ppl/ppl(bounded_arithmetic): Removed unnecessary and incorrect file.   Alberto Gioia
• [PPL-devel] [GIT] ppl/ppl(bounded_arithmetic): Removed useless code.   Alberto Gioia
• [PPL-devel] [GIT] ppl/ppl(bounded_arithmetic): This file includes the linearization functions for classical arithmetic, and bitwise operators.   Alberto Gioia
• [PPL-devel] [GIT] ppl/ppl(master): Added missing quotes.   Abramo Bagnara
• [PPL-devel] [GIT] ppl/ppl(master): Avoid another warning.   Abramo Bagnara
• [PPL-devel] [GIT] ppl/ppl(master): Avoid another warning.   Abramo Bagnara
• [PPL-devel] [GIT] ppl/ppl(master): Fixed some warnings.   Abramo Bagnara
• [PPL-devel] [GIT] ppl/ppl(master): Fixed some warnings.   Anthony Foiani
• [PPL-devel] [GIT] ppl/ppl(master): Make sure the PDF documentation is fully built before extracting the PostScript documentation .   Roberto Bagnara
• [PPL-devel] [GIT] ppl/ppl(master): New configuration option `--disable-documentation'.   Roberto Bagnara
• [PPL-devel] [GIT] ppl/ppl(master): Removed another unused variable.   Abramo Bagnara
• [PPL-devel] [GIT] ppl/ppl(master): Silenced gcc warning.   Abramo Bagnara
• [PPL-devel] [GIT] ppl/ppl(master): Silenced gcc warnings.   Abramo Bagnara
• [PPL-devel] [GIT] ppl/ppl(master): Silenced gcc warnings.   Abramo Bagnara
• [PPL-devel] [GIT] ppl/ppl(master): Silenced gcc warnings.   Anthony Foiani
• [PPL-devel] [GIT] ppl/ppl(master): Silenced gcc warnings.   Abramo Bagnara
• [PPL-devel] Feasibility of Octagons in PPL   Ramakrishna Upadrasta
• [PPL-devel] Feasibility of Octagons in PPL   Roberto Bagnara
• [PPL-devel] Feasibility of Octagons in PPL   Ramakrishna Upadrasta
• [PPL-devel] Feasibility of Octagons in PPL   Roberto Bagnara
• [PPL-devel] Fwd: Re: ppl-java on Ubuntu 11.04   Roberto Bagnara
• [PPL-devel] Fwd: Re: ppl-java on Ubuntu 11.04   Enea Zaffanella
• [PPL-devel] Fwd: Re: Widening operation in Powerset   Roberto Bagnara
• [PPL-devel] Fwd: Re: Widening operation in Powerset   Roberto Bagnara
• [PPL-devel] PPL installation problems   Adrien Champion
• [PPL-devel] PPL installation problems   Enea Zaffanella
• [PPL-devel] ppl-java on Ubuntu 11.04   Rémi Delmas
• [PPL-devel] ppl-java on Ubuntu 11.04   Roberto Bagnara
• [PPL-devel] Widening operation in Powerset   Gokul Ramaswamy
• [PPL-devel] Widening operation in Powerset   Roberto Bagnara

Last message date: Tue Jun 28 19:09:26 CEST 2011
Archived on: Fri Jan 20 18:10:40 CET 2012

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