November 2008 Archives by thread

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

Starting: Sat Nov 1 08:54:08 CET 2008
Ending: Sun Nov 30 21:13:26 CET 2008
Messages: 253

• [PPL-devel] ppl/fedora ppl.spec   Roberto Bagnara
• [PPL-devel] ppl/src Partially_Reduced_Product.defs.hh Poin ...   Enea Zaffanella
• [PPL-devel] ppl demos/ppl_lcdd/ppl_lcdd.1 demos/ppl_lpsol/ ...   Roberto Bagnara
• [PPL-devel] ppl/doc user-foreign-language-interface.doxyco ...   Enea Zaffanella
• [PPL-devel] ppl/fedora ppl.spec   Roberto Bagnara
• [PPL-devel] ppl/interfaces/Java/jni Makefile.am   Roberto Bagnara
• [PPL-devel] ppl/fedora ppl.spec   Roberto Bagnara
• [PPL-devel] ppl/Watchdog/doc user.doxyconf-html.in user.do ...   Roberto Bagnara
• [PPL-devel] ppl/interfaces/Prolog/YAP Makefile.am   Roberto Bagnara
• [PPL-devel] ppl/fedora ppl.spec   Roberto Bagnara
• [PPL-devel] ppl/interfaces/Java/jni Makefile.am   Enea Zaffanella
• [PPL-devel] ppl/interfaces/Prolog Ciao/Makefile.am GNU/Mak ...   Enea Zaffanella
• [PPL-devel] ppl/fedora ppl.spec   Roberto Bagnara
• [PPL-devel] ppl ./README Watchdog/README   Roberto Bagnara
• [PPL-devel] ppl demos/ppl_lcdd/ppl_lcdd.1 demos/ppl_lpsol/ ...   Roberto Bagnara
• [PPL-devel] ppl/doc Makefile.am   Enea Zaffanella
• [PPL-devel] ppl TODO   Roberto Bagnara
• [PPL-devel] ppl/fedora ppl.spec   Roberto Bagnara
• [PPL-devel] ppl/fedora ppl.spec   Roberto Bagnara
• [PPL-devel] w3ppl/htdocs/Download Download.raw   Roberto Bagnara
• [PPL-devel] w3ppl/htdocs/Applications Applications.raw   Roberto Bagnara
• [PPL-devel] w3ppl/htdocs/Applications Applications.raw   Roberto Bagnara
• [PPL-devel] w3ppl/htdocs/Applications Applications.raw   Roberto Bagnara
• [PPL-devel] w3ppl/htdocs/Applications Applications.raw   Roberto Bagnara
• [PPL-devel] w3ppl/htdocs/Download Download.raw   Enea Zaffanella
• [PPL-devel] w3ppl/htdocs/Credits Credits.raw   Roberto Bagnara
• [PPL-devel] w3ppl/htdocs ppl.raw   Patricia Hill
• [PPL-devel] ppl CREDITS   Roberto Bagnara
• [PPL-devel] w3ppl/htdocs abstractions.raw   Patricia Hill
• [PPL-devel] w3ppl/htdocs details.raw   Patricia Hill
• [PPL-devel] w3ppl/htdocs/Credits Credits.raw   Roberto Bagnara
• [PPL-devel] w3ppl/htdocs/Applications Applications.raw   Roberto Bagnara
• [PPL-devel] w3ppl/htdocs/Download Download.raw   Enea Zaffanella
• [PPL-devel] w3ppl/htdocs FAQ.raw   Roberto Bagnara
• [PPL-devel] ppl/interfaces/Prolog/SWI Makefile.am README.s ...   Roberto Bagnara
• [PPL-devel] ppl/interfaces/Prolog/SWI Makefile.am   Roberto Bagnara
• [PPL-devel] ppl/interfaces/Prolog/GNU Makefile.am README.g ...   Roberto Bagnara
• [PPL-devel] ppl/doc ppl.sty   Roberto Bagnara
• [PPL-devel] ppl/src Grid.templates.hh   Roberto Bagnara
• [PPL-devel] ppl CREDITS   Patricia Hill
• [PPL-devel] w3ppl/htdocs/Credits Credits.raw   Patricia Hill
• [PPL-devel] ppl/interfaces/Prolog/GNU README.gprolog   Patricia Hill
• [PPL-devel] ppl/interfaces/Prolog/GNU README.gprolog   Roberto Bagnara
• [PPL-devel] [Fwd: GCC 4.4.0 Status Report (2008-11-01)]   Roberto Bagnara
• [PPL-devel] [Fwd: Re: Plans to package MLGMP?]   Roberto Bagnara
• [PPL-devel] ppl CREDITS   Roberto Bagnara
• [PPL-devel] w3ppl/htdocs/Credits Credits.raw   Roberto Bagnara
• [PPL-devel] ppl TODO   Roberto Bagnara
• [PPL-devel] ppl/interfaces/OCaml/tests test1.ml   Roberto Bagnara
• [PPL-devel] ppl NEWS   Roberto Bagnara
• [PPL-devel] w3ppl/htdocs FAQ.raw   Roberto Bagnara
• [PPL-devel] ppl NEWS   Patricia Hill
• [PPL-devel] ppl README.configure   Patricia Hill
• [PPL-devel] ppl INSTALL   Patricia Hill
• [PPL-devel] little compilation bug   David Monniaux
  • [PPL-devel] little compilation bug   Roberto Bagnara
• [PPL-devel] ppl/Watchdog INSTALL   Patricia Hill
• [PPL-devel] ppl README.arm   Patricia Hill
• [PPL-devel] w3ppl/htdocs/Credits Credits.raw   Roberto Bagnara
• [PPL-devel] ppl CREDITS   Roberto Bagnara
• [PPL-devel] w3ppl/htdocs/Credits Credits.raw   Roberto Bagnara
• [PPL-devel] ppl ./INSTALL Watchdog/INSTALL   Roberto Bagnara
• [PPL-devel] ppl/src BD_Shape.defs.hh   Enea Zaffanella
• [PPL-devel] ppl/src BD_Shape.defs.hh Octagonal_Shape.defs.hh   Enea Zaffanella
• [PPL-devel] ppl/src Box.defs.hh Octagonal_Shape.defs.hh   Enea Zaffanella
• [PPL-devel] ppl/src Grid.defs.hh   Enea Zaffanella
• [PPL-devel] w3ppl/htdocs/Credits Credits.raw   Roberto Bagnara
• [PPL-devel] ppl/doc Makefile.am   Enea Zaffanella
• [PPL-devel] ppl CREDITS   Roberto Bagnara
• [PPL-devel] w3ppl/htdocs/Credits Credits.raw   Roberto Bagnara
• [PPL-devel] ppl CREDITS   Roberto Bagnara
• [PPL-devel] w3ppl/htdocs/Credits Credits.raw   Roberto Bagnara
• [PPL-devel] ppl configure.ac   Roberto Bagnara
• [PPL-devel] ppl/src version.cc   Roberto Bagnara
• [PPL-devel] w3ppl/htdocs/Applications Applications.raw   Roberto Bagnara
• [PPL-devel] ppl/doc Makefile.am   Enea Zaffanella
• [PPL-devel] w3ppl/htdocs/Links Links.raw   Roberto Bagnara
• [PPL-devel] ppl/src version.cc   Roberto Bagnara
• [PPL-devel] ppl CREDITS   Roberto Bagnara
• [PPL-devel] w3ppl/htdocs/Credits Credits.raw   Roberto Bagnara
• [PPL-devel] w3ppl/htdocs/About About.raw   Roberto Bagnara
• [PPL-devel] w3ppl/htdocs/Credits Credits.raw   Enea Zaffanella
• [PPL-devel] w3ppl/htdocs/About About.raw   Roberto Bagnara
• [PPL-devel] ppl CREDITS   Enea Zaffanella
• [PPL-devel] w3ppl/htdocs/Credits Credits.raw   Enea Zaffanella
• [PPL-devel] ppl CREDITS   Enea Zaffanella
• [PPL-devel] w3ppl/htdocs/Download cvs.raw   Roberto Bagnara
• [PPL-devel] w3ppl/htdocs/Download cvs.raw   Roberto Bagnara
• [PPL-devel] w3ppl/htdocs/Download cvs.raw   Roberto Bagnara
• [PPL-devel] w3ppl/htdocs ppl.raw   Enea Zaffanella
• [PPL-devel] w3ppl/htdocs/Documentation Documentation.raw h ...   Enea Zaffanella
• [PPL-devel] ppl/src Poly_Con_Relation.defs.hh Poly_Gen_Rel ...   Roberto Bagnara
• [PPL-devel] ppl/interfaces interfaced_boxes.hh marked_poin ...   Roberto Bagnara
• [PPL-devel] ppl NEWS   Roberto Bagnara
• [PPL-devel] ppl ./README ./configure.ac doc/Makefile.am do ...   Enea Zaffanella
• [PPL-devel] w3ppl/htdocs/Credits Credits.raw   Patricia Hill
• [PPL-devel] ppl CREDITS   Patricia Hill
• [PPL-devel] w3ppl/htdocs/About About.raw   Patricia Hill
• [PPL-devel] w3ppl/htdocs/About About.raw   Patricia Hill
• [PPL-devel] ppl ./ChangeLog Watchdog/ChangeLog   Roberto Bagnara
• [PPL-devel] PPL 0.10 release branch created   Roberto Bagnara
• [PPL-devel] ppl/Watchdog ChangeLog   Roberto Bagnara
• [PPL-devel] ppl ChangeLog   Roberto Bagnara
• [PPL-devel] ppl configure.ac   Roberto Bagnara
• [PPL-devel] ppl TODO   Roberto Bagnara
• [PPL-devel] ppl TODO   Roberto Bagnara
• [PPL-devel] w3ppl/bin ppl_release   Roberto Bagnara
• [PPL-devel] ppl/Watchdog ChangeLog   Roberto Bagnara
• [PPL-devel] ppl ChangeLog   Roberto Bagnara
• [PPL-devel] ppl configure.ac   Roberto Bagnara
• [PPL-devel] w3ppl/bin update_web_site   Roberto Bagnara
• [PPL-devel] w3ppl/htdocs news.raw ppl.raw   Roberto Bagnara
• [PPL-devel] w3ppl/htdocs news.raw ppl.raw   Roberto Bagnara
• [PPL-devel] ppl/fedora ppl.spec   Roberto Bagnara
• [PPL-devel] ppl/devtools print_nonascii_lines   Roberto Bagnara
• [PPL-devel] w3ppl/htdocs/templates macros.tmpl   Roberto Bagnara
• [PPL-devel] w3ppl/htdocs FAQ.raw   Enea Zaffanella
• [PPL-devel] w3ppl/htdocs/Download Download.raw   Patricia Hill
• [PPL-devel] w3ppl/htdocs portability.raw   Roberto Bagnara
• [PPL-devel] w3ppl/htdocs/Download cvs.raw   Patricia Hill
• [PPL-devel] w3ppl/htdocs FAQ.raw   Enea Zaffanella
• [PPL-devel] Parma Polyhedra Library 0.10   Roberto Bagnara
• [PPL-devel] w3ppl/htdocs/Documentation Documentation.raw   Patricia Hill
• [PPL-devel] ppl/fedora ppl.spec   Roberto Bagnara
• [PPL-devel] make ; make distclean is not idempotent   Michael Tautschnig
  • [PPL-devel] make ; make distclean is not idempotent   Enea Zaffanella
• [PPL-devel] ppl/src Makefile.am   Enea Zaffanella
• [PPL-devel] ppl doc/Makefile.am Watchdog/doc/Makefile.am   Enea Zaffanella
• [PPL-devel] ppl/devtools print_nonascii_lines   Roberto Bagnara
• [PPL-devel] ppl/tests BD_Shape/Makefile.am Box/Makefile.am ...   Enea Zaffanella
• [PPL-devel] ppl NEWS STANDARDS   Roberto Bagnara
• [PPL-devel] ppl/devtools print_nonascii_lines   Abramo Bagnara
• [PPL-devel] ppl configure.ac   Roberto Bagnara
• [PPL-devel] ppl NEWS   Roberto Bagnara
• [PPL-devel] ppl ./TODO demos/ppl_lcdd/ppl_lcdd.1 demos/ppl ...   Roberto Bagnara
• [PPL-devel] ppl/tests/Polyhedron memory1.cc   Roberto Bagnara
• [PPL-devel] ppl ./TODO doc/libppl.3 tests/Polyhedron/memor ...   Roberto Bagnara
• [PPL-devel] ppl ./TODO src/BD_Shape.templates.hh src/Box.i ...   Roberto Bagnara
• [PPL-devel] w3ppl/htdocs/Download Download.raw   Enea Zaffanella
• [PPL-devel] ppl ./TODO interfaces/ppl_interface_generator_ ...   Patricia Hill
• [PPL-devel] ppl/tests/Box ascii_dump_load1.cc empty1.cc re ...   Roberto Bagnara
• [PPL-devel] ppl/src globals.defs.hh globals.inlines.hh sim ...   Roberto Bagnara
• [PPL-devel] ppl/src OR_Matrix.inlines.hh   Roberto Bagnara
• [PPL-devel] ppl/src simplify.cc   Roberto Bagnara
• [PPL-devel] ppl/src DB_Row.inlines.hh Row.inlines.hh   Roberto Bagnara
• [PPL-devel] ppl NEWS   Roberto Bagnara
• [PPL-devel] ppl/src checked.inlines.hh   Roberto Bagnara
• [PPL-devel] ppl/src checked.defs.hh checked_float.inlines. ...   Roberto Bagnara
• [PPL-devel] ppl/src Checked_Number.inlines.hh   Roberto Bagnara
• [PPL-devel] ppl/src checked.defs.hh   Roberto Bagnara
• [PPL-devel] ppl/src checked.defs.hh checked.inlines.hh   Roberto Bagnara
• [PPL-devel] ppl/src checked_int.inlines.hh   Roberto Bagnara
• [PPL-devel] ppl/src Rounding_Dir.inlines.hh fpu-c99.inline ...   Roberto Bagnara
• [PPL-devel] ppl/src checked.defs.hh   Roberto Bagnara
• [PPL-devel] ppl/src Boundary.defs.hh Interval.defs.hh Inte ...   Roberto Bagnara
• [PPL-devel] ppl/src Checked_Number.defs.hh Float.defs.hh c ...   Roberto Bagnara
• [PPL-devel] ppl/src Checked_Number.inlines.hh   Roberto Bagnara
• [PPL-devel] ppl/src checked.inlines.hh   Roberto Bagnara
• [PPL-devel] ppl interfaces/Java/jni/ppl_interface_generato ...   Roberto Bagnara
• [PPL-devel] ppl ./NEWS src/globals.defs.hh   Roberto Bagnara
• [PPL-devel] ppl/interfaces/OCaml OCaml_interface.dox   Enea Zaffanella
• [PPL-devel] ppl/interfaces ppl_interface_generator_common_ ...   Enea Zaffanella
• [PPL-devel] ppl/src Pointset_Powerset.templates.hh   Roberto Bagnara
• [PPL-devel] ppl/src Partially_Reduced_Product.templates.hh   Roberto Bagnara
• [PPL-devel] ppl interfaces/Prolog/SWI/swi_efli.cc src/BD_S ...   Roberto Bagnara
• [PPL-devel] ppl/interfaces ppl_interface_generator_common. ...   Patricia Hill
• [PPL-devel] ppl/src Grid.defs.hh Grid.templates.hh Grid_co ...   Patricia Hill
• [PPL-devel] ppl/m4 ac_check_swi_prolog.m4   Roberto Bagnara
• [PPL-devel] ppl/tests BD_Shape/Makefile.am Box/Makefile.am ...   Patricia Hill
• [PPL-devel] ppl/tests/Powerset Makefile.am   Roberto Bagnara
• [PPL-devel] ppl/interfaces/Java/jni Makefile.am   Roberto Bagnara
• [PPL-devel] w3ppl/htdocs news.raw ppl.raw   Patricia Hill
• [PPL-devel] ppl/tests Box/Makefile.am Polyhedron/polydiffe ...   Patricia Hill
• [PPL-devel] ppl/tests/Powerset Makefile.am   Patricia Hill
• [PPL-devel] ppl/tests/MIP_Problem Makefile.am   Enea Zaffanella
• [PPL-devel] ppl/tests/Polyhedron Makefile.am   Enea Zaffanella
• [PPL-devel] ppl NEWS   Roberto Bagnara
• [PPL-devel] w3ppl/htdocs/Download requirements.raw   Roberto Bagnara
• [PPL-devel] ppl/src Polyhedron_public.cc   Enea Zaffanella
• [PPL-devel] ppl tests/Polyhedron/containsintegerpoint1.cc ...   Patricia Hill
• [PPL-devel] ppl interfaces/Prolog/tests/ppl_interface_gene ...   Patricia Hill
• [PPL-devel] ppl/src Polyhedron_public.cc   Enea Zaffanella
• [PPL-devel] ppl NEWS   Enea Zaffanella
• [PPL-devel] w3ppl/htdocs/Bugs Bugs.raw archive.raw   Enea Zaffanella
• [PPL-devel] ppl src/Partially_Reduced_Product.defs.hh src/ ...   Patricia Hill
• [PPL-devel] ppl src/Partially_Reduced_Product.defs.hh src/ ...   Patricia Hill
• [PPL-devel] ppl/src Partially_Reduced_Product.defs.hh Part ...   Patricia Hill
• [PPL-devel] w3ppl/htdocs/Documentation ppl.bib   Roberto Bagnara
• [PPL-devel] w3ppl/htdocs/Documentation ppl_citations.bib   Roberto Bagnara
• [PPL-devel] ppl/src Polyhedron_public.cc   Enea Zaffanella
• [PPL-devel] ppl/src Partially_Reduced_Product.inlines.hh   Patricia Hill
• [PPL-devel] ppl TODO   Roberto Bagnara
• [PPL-devel] ppl src/Partially_Reduced_Product.inlines.hh t ...   Patricia Hill
• [PPL-devel] ppl NEWS   Patricia Hill
• [PPL-devel] w3ppl/htdocs/Bugs Bugs.raw   Patricia Hill
• [PPL-devel] w3ppl/htdocs/Bugs Bugs.raw archive.raw   Patricia Hill
• [PPL-devel] w3ppl/htdocs/Bugs Bugs.raw archive.raw   Patricia Hill
• [PPL-devel] ppl/src Partially_Reduced_Product.templates.hh   Patricia Hill
• [PPL-devel] ppl configure.ac   Enea Zaffanella
• [PPL-devel] ppl/interfaces/OCaml ppl_interface_generator_o ...   Enea Zaffanella
• [PPL-devel] ppl/interfaces/OCaml Makefile.am   Enea Zaffanella
• [PPL-devel] ppl/interfaces/OCaml/tests Makefile.am   Enea Zaffanella
• [PPL-devel] w3ppl/htdocs/Bugs Bugs.raw archive.raw   Enea Zaffanella
• [PPL-devel] ppl/src BD_Shape.inlines.hh Octagonal_Shape.in ...   Roberto Bagnara
• [PPL-devel] ppl/interfaces/OCaml Makefile.am tests/Makefile.am   Enea Zaffanella
• [PPL-devel] ppl/interfaces/OCaml Makefile.am   Enea Zaffanella
• [PPL-devel] ppl/interfaces/OCaml README.ocaml   Enea Zaffanella
• [PPL-devel] ppl NEWS TODO   Enea Zaffanella
• [PPL-devel] ppl/interfaces/OCaml Makefile.am tests/Makefile.am   Enea Zaffanella
• [PPL-devel] ppl/interfaces/OCaml/tests Makefile.am   Enea Zaffanella
• [PPL-devel] ppl/tests/Polyhedron simplifyusingcontext1.cc   Enea Zaffanella
• [PPL-devel] ppl src/Partially_Reduced_Product.defs.hh src/ ...   Patricia Hill
• [PPL-devel] ppl/tests/Grid bounds1.cc maxmin1.cc   Patricia Hill
• [PPL-devel] ppl/src Grid_nonpublic.cc   Patricia Hill
• [PPL-devel] ppl NEWS   Patricia Hill
• [PPL-devel] w3ppl/htdocs/Bugs Bugs.raw archive.raw   Patricia Hill
• [PPL-devel] ppl src/Box.templates.hh src/Grid_Generator.de ...   Patricia Hill
• [PPL-devel] ppl/tests/Polyhedron Makefile.am polyhullifexa ...   Enea Zaffanella
• [PPL-devel] ppl/src Polyhedron.defs.hh Polyhedron_nonpublic.cc   Enea Zaffanella
• [PPL-devel] ppl/src C_Polyhedron.cc   Enea Zaffanella
• [PPL-devel] w3ppl/htdocs/Documentation ppl.bib   Enea Zaffanella
• [PPL-devel] ppl/src Box.templates.hh   Patricia Hill
• [PPL-devel] ppl/src Polyhedron.defs.hh Polyhedron_nonpublic.cc   Enea Zaffanella
• [PPL-devel] ppl/src NNC_Polyhedron.cc   Enea Zaffanella
• [PPL-devel] ppl/tests/Polyhedron polyhullifexact1.cc   Enea Zaffanella
• [PPL-devel] ppl/tests/Polyhedron Makefile.am polyhullifexa ...   Enea Zaffanella
• [PPL-devel] ppl/src Bit_Row.inlines.hh   Roberto Bagnara
• [PPL-devel] ppl/tests/Powerset difference1.cc   Enea Zaffanella
• [PPL-devel] ppl/src BD_Shape.defs.hh   Enea Zaffanella
• [PPL-devel] ppl/src Octagonal_Shape.defs.hh   Enea Zaffanella
• [PPL-devel] ppl/src Octagonal_Shape.templates.hh   Enea Zaffanella
• [PPL-devel] ppl/src BD_Shape.templates.hh   Enea Zaffanella
• [PPL-devel] ppl/src Box.inlines.hh   Enea Zaffanella
• [PPL-devel] ppl/src Box.defs.hh   Enea Zaffanella
• [PPL-devel] ppl/src Polyhedron_nonpublic.cc   Enea Zaffanella
• [PPL-devel] w3ppl/htdocs ppl.raw   Patricia Hill
• [PPL-devel] ppl/tests/BD_Shape Makefile.am upperboundifexa ...   Enea Zaffanella
• [PPL-devel] ppl/src BD_Shape.defs.hh BD_Shape.inlines.hh B ...   Enea Zaffanella
• [PPL-devel] w3ppl/htdocs news.raw ppl.raw   Patricia Hill
• [PPL-devel] ppl/tests/Polyhedron polyhullifexact1.cc   Enea Zaffanella
• [PPL-devel] ppl/tests/Polyhedron Makefile.am bgp99extrapol ...   Enea Zaffanella
• [PPL-devel] ppl/src Scalar_Products.cc   Roberto Bagnara
• [PPL-devel] ppl/src Polyhedron_nonpublic.cc   Enea Zaffanella
• [PPL-devel] ppl/src MIP_Problem.cc   Enea Zaffanella
• [PPL-devel] fixup doc behavior   Mike Frysinger
  • [PPL-devel] fixup doc behavior   Roberto Bagnara
• [PPL-devel] ppl configure.ac   Roberto Bagnara
• [PPL-devel] w3ppl/htdocs/Download Download.raw   Roberto Bagnara
• [PPL-devel] w3ppl/htdocs/Download Download.raw   Roberto Bagnara
• [PPL-devel] w3ppl/htdocs/Download Download.raw   Roberto Bagnara
• [PPL-devel] w3ppl/htdocs/Download Download.raw   Enea Zaffanella
• [PPL-devel] w3ppl/htdocs/Download Download.raw   Enea Zaffanella
• [PPL-devel] ppl/Watchdog configure.ac   Roberto Bagnara

Last message date: Sun Nov 30 21:13:26 CET 2008
Archived on: Fri Jan 20 18:10:31 CET 2012

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