December 2009 Archives by thread

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

Starting: Wed Dec 2 18:55:54 CET 2009
Ending: Wed Dec 30 19:34:47 CET 2009
Messages: 45

• [PPL-devel] [GIT] ppl/w3ppl(master): Added a link to Fortuna, a model checker for priced probabilistic timed automata.   Roberto Bagnara
• [PPL-devel] [GIT] ppl/w3ppl(master): Link to Julia updated.   Roberto Bagnara
• [PPL-devel] [GIT] ppl/ppl(floating_point): Fixed comments.   Roberto Amadini
• [PPL-devel] [GIT] ppl/ppl(floating_point): Removed redundant code.   Roberto Amadini
• [PPL-devel] remarks compiled during development of Fortuna model checker   Jasper Berendsen
  • [PPL-devel] remarks compiled during development of Fortuna model checker   Enea Zaffanella
• [PPL-devel] [GIT] ppl/ppl(floating_point): Improved test01, ..., test04.   Roberto Amadini
• [PPL-devel] [GIT] ppl/w3ppl(master): Added FagesR09 and JhalaM09.   Roberto Bagnara
• [PPL-devel] [GIT] ppl/ppl(floating_point): Added Linear Form Intervalization on rate limiter test.   Roberto Amadini
• [PPL-devel] CRUX PPC GNU/Linux now includes Parma Polyhedra Library   acrux
  • [PPL-devel] CRUX PPC GNU/Linux now includes Parma Polyhedra Library   Roberto Bagnara
• [PPL-devel] [GIT] ppl/ppl(master): Added support for SWI-Prolog version 5.8 and later.   Roberto Bagnara
• [PPL-devel] [GIT] ppl/ppl(floating_point): New commits   Roberto Bagnara
  • [PPL-devel] [GIT] ppl/ppl(floating_point): New commits   Roberto Bagnara
• [PPL-devel] [GIT] ppl/ppl(master): New commits   Roberto Bagnara
• [PPL-devel] [GIT] ppl/ppl(floating_point): Several corrections in tests and source code .   Roberto Amadini
• [PPL-devel] [GIT] ppl/ppl(master): Several corrections in tests and source code.   Roberto Amadini
• [PPL-devel] [GIT] ppl/ppl(floating_point): Never leave operators at end of line.   Roberto Bagnara
• [PPL-devel] [GIT] ppl/ppl(master): Never leave operators at end of line.   Roberto Bagnara
  • [PPL-devel] [GIT] ppl/ppl(master): Never leave operators at end of line.   Roberto Bagnara
• [PPL-devel] [GIT] ppl/ppl(floating_point): Capture the expected failure due to overflows.   Roberto Bagnara
• [PPL-devel] [GIT] ppl/ppl(master): Capture the expected failure due to overflows.   Roberto Bagnara
• [PPL-devel] [GIT] ppl/ppl(master): Merge branch 'floating_point'   Roberto Bagnara
• [PPL-devel] [GIT] ppl/w3ppl(master): Added Roberto Amadini, Fabio Biselli and Fabio Bossi to the list of contributors.   Roberto Bagnara
• [PPL-devel] [GIT] ppl/ppl(master): Updated.   Roberto Bagnara
• [PPL-devel] [GIT] ppl/ppl(master): Version number bumped.   Roberto Bagnara
  • [PPL-devel] [GIT] ppl/ppl(master): Version number bumped.   Roberto Bagnara
• [PPL-devel] [GIT] ppl/ppl(floating_point): Implemented Box<ITV>:: affine_image on Interval Linear Forms.   Roberto Amadini
• [PPL-devel] [GIT] ppl/ppl(floating_point): Improved Multiplication_Floating_Point_Expression::linearize.   Roberto Amadini
• [PPL-devel] [GIT] ppl/ppl(master): Fixed several bugs.   Roberto Bagnara
• [PPL-devel] [GIT] ppl/ppl(master): Implemented Box<ITV>:: affine_image on Interval Linear Forms.   Roberto Amadini
• [PPL-devel] [GIT] ppl/ppl(master): Improved Multiplication_Floating_Point_Expression:: linearize.   Roberto Amadini
• [PPL-devel] [GIT] ppl/ppl(master): Merge branch 'master' into floating_point   Roberto Bagnara
• [PPL-devel] [GIT] ppl/ppl(master): Use the general assignment and comparison functions.   Roberto Bagnara
• [PPL-devel] [GIT] ppl/ppl(master): Renamed affine_image on Linear Forms into affine_form_image.   Roberto Amadini
• [PPL-devel] [GIT] ppl/ppl(master): Typo fixed.   Roberto Bagnara
• [PPL-devel] [GIT] ppl/ppl(master): Expected failured revised.   Roberto Bagnara
• [PPL-devel] [GIT] ppl/ppl(master): Expected failures revised.   Roberto Bagnara
• [PPL-devel] [GIT] ppl/ppl(master): Use the right assignment operator.   Roberto Bagnara
• [PPL-devel] [GIT] ppl/ppl(master): Correction for platforms where not all floating point types are supported.   Roberto Bagnara
• [PPL-devel] [GIT] ppl/ppl(master): Restore the use of the `win32-dll' Libtool option. Use -no-undefined on all variants of Cygwin and MinGW.   Roberto Bagnara
• [PPL-devel] [GIT] ppl/ppl(master): Document conditionals.   Roberto Bagnara
• [PPL-devel] [GIT] ppl/ppl(master): Support building the Java interface on MinGW.   Roberto Bagnara
• [PPL-devel] [GIT] ppl/ppl(pip): New commits   Roberto Bagnara
• [PPL-devel] Windows, Java interface   Roberto Bagnara

Last message date: Wed Dec 30 19:34:47 CET 2009
Archived on: Sun Mar 6 09:35:42 CET 2022

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