February 2006 Archives by subject

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

Starting: Wed Feb 1 01:04:28 CET 2006
Ending: Tue Feb 28 23:13:50 CET 2006
Messages: 245

• [PPL-devel] Re: [Yap-users] Big problems with not-so-big numbers   Vitor Santos Costa
• [PPL-devel] C interface   Lambert Simon
• [PPL-devel] C interface   Roberto Bagnara
• [PPL-devel] Confusion about "space dimension"   Enea Zaffanella
• [PPL-devel] Confusion about "space dimension"   Roberto Bagnara
• [PPL-devel] Confusion about "space dimension"   P M Hill
• [PPL-devel] ppl ./configure.ac ./instchk.hh interfaces/Pro ...   Roberto Bagnara
• [PPL-devel] ppl ./configure.ac demos/ppl_lcdd/Makefile.am ...   Roberto Bagnara
• [PPL-devel] ppl ./configure.ac src/checked_float.inlines.hh   Roberto Bagnara
• [PPL-devel] ppl ./configure.ac src/Init.cc src/fpu-none.in ...   Roberto Bagnara
• [PPL-devel] ppl ./NEWS src/Saturation_Row.cc   Roberto Bagnara
• [PPL-devel] ppl ./TODO src/Grid.defs.hh src/Grid_public.cc ...   Patricia Hill
• [PPL-devel] ppl ./TODO src/Polyhedron_nonpublic.cc   Roberto Bagnara
• [PPL-devel] ppl configure.ac   Roberto Bagnara
• [PPL-devel] ppl configure.ac   Roberto Bagnara
• [PPL-devel] ppl configure.ac   Roberto Bagnara
• [PPL-devel] ppl configure.ac   Roberto Bagnara
• [PPL-devel] ppl configure.ac   Roberto Bagnara
• [PPL-devel] ppl configure.ac   Roberto Bagnara
• [PPL-devel] ppl configure.ac   Roberto Bagnara
• [PPL-devel] ppl configure.ac   Roberto Bagnara
• [PPL-devel] ppl configure.ac   Roberto Bagnara
• [PPL-devel] ppl configure.ac   Roberto Bagnara
• [PPL-devel] ppl configure.ac   Roberto Bagnara
• [PPL-devel] ppl configure.ac   Roberto Bagnara
• [PPL-devel] ppl configure.ac   Roberto Bagnara
• [PPL-devel] ppl configure.ac   Roberto Bagnara
• [PPL-devel] ppl debian/libppl-pwl.copyright.in debian/libp ...   Roberto Bagnara
• [PPL-devel] ppl demos/ppl_lcdd/ppl_lcdd.cc interfaces/C/pp ...   Roberto Bagnara
• [PPL-devel] ppl demos/ppl_lpsol/ppl_lpsol.c src/LP_Problem ...   Enea Zaffanella
• [PPL-devel] ppl doc/devref.doxyconf-html.in doc/devref.dox ...   Roberto Bagnara
• [PPL-devel] ppl NEWS   Roberto Bagnara
• [PPL-devel] ppl NEWS   Roberto Bagnara
• [PPL-devel] ppl src/Grid.defs.hh doc/definitions.dox   Patricia Hill
• [PPL-devel] ppl src/Makefile.am tests/BD_Shape/Makefile.am ...   Roberto Bagnara
• [PPL-devel] ppl STANDARDS   Roberto Bagnara
• [PPL-devel] ppl TODO   Roberto Bagnara
• [PPL-devel] ppl TODO   Roberto Bagnara
• [PPL-devel] ppl TODO   Roberto Bagnara
• [PPL-devel] ppl TODO   Andrea Cimino
• [PPL-devel] PPL usage with cygwin for "Abstract Model Interpretation"   Roberto Bagnara
• [PPL-devel] PPL usage with cygwin for "Abstract Model Interpretation"   Ernst Sassen
• [PPL-devel] ppl Watchdog/src/.cvsignore Watchdog/src/Makef ...   Roberto Bagnara
• [PPL-devel] ppl Watchdog/src/Makefile.am src/Makefile.am   Roberto Bagnara
• [PPL-devel] ppl Watchdog/utils/.cvsignore debian/.cvsignor ...   Roberto Bagnara
• [PPL-devel] ppl/debian README   Matthew Mundell
• [PPL-devel] ppl/demos ppl_lcdd/Makefile.am ppl_lpsol/Makef ...   Roberto Bagnara
• [PPL-devel] ppl/doc definitions.dox   Patricia Hill
• [PPL-devel] ppl/doc devref.doxyconf-html.in user.doxyconf- ...   Roberto Bagnara
• [PPL-devel] ppl/doc Makefile.am   Roberto Bagnara
• [PPL-devel] ppl/doc Makefile.am   Roberto Bagnara
• [PPL-devel] ppl/doc Makefile.am   Roberto Bagnara
• [PPL-devel] ppl/doc Makefile.am   Roberto Bagnara
• [PPL-devel] ppl/doc ppl.sty   Patricia Hill
• [PPL-devel] ppl/interfaces/C ppl_c.cc   Roberto Bagnara
• [PPL-devel] ppl/interfaces/Prolog/Ciao Makefile.am   Roberto Bagnara
• [PPL-devel] ppl/interfaces/Prolog/GNU Makefile.am   Roberto Bagnara
• [PPL-devel] ppl/interfaces/Prolog/GNU Makefile.am   Roberto Bagnara
• [PPL-devel] ppl/interfaces/Prolog/SICStus .cvsignore   Roberto Bagnara
• [PPL-devel] ppl/interfaces/Prolog/SICStus Makefile.am   Roberto Bagnara
• [PPL-devel] ppl/interfaces/Prolog/SICStus Makefile.am   Roberto Bagnara
• [PPL-devel] ppl/interfaces/Prolog/SICStus Makefile.am   Roberto Bagnara
• [PPL-devel] ppl/interfaces/Prolog/SWI Makefile.am   Roberto Bagnara
• [PPL-devel] ppl/interfaces/Prolog/YAP Makefile.am   Roberto Bagnara
• [PPL-devel] ppl/m4 ac_check_fpu_control.m4   Roberto Bagnara
• [PPL-devel] ppl/m4 ac_check_fpu_control.m4   Roberto Bagnara
• [PPL-devel] ppl/m4 ac_cxx_float128_binary_format.m4   Roberto Bagnara
• [PPL-devel] ppl/m4 ac_cxx_float128_binary_format.m4   Roberto Bagnara
• [PPL-devel] ppl/m4 ac_cxx_float128_binary_format.m4   Roberto Bagnara
• [PPL-devel] ppl/m4 ac_cxx_float128_binary_format.m4   Roberto Bagnara
• [PPL-devel] ppl/m4 ac_cxx_float128_binary_format.m4 ac_cxx ...   Roberto Bagnara
• [PPL-devel] ppl/m4 ac_cxx_float32_binary_format.m4   Roberto Bagnara
• [PPL-devel] ppl/m4 ac_cxx_float32_binary_format.m4 ac_cxx_ ...   Roberto Bagnara
• [PPL-devel] ppl/m4 ac_cxx_float64_binary_format.m4   Roberto Bagnara
• [PPL-devel] ppl/m4 ac_cxx_float64_binary_format.m4   Roberto Bagnara
• [PPL-devel] ppl/m4 ac_cxx_float96_binary_format.m4   Roberto Bagnara
• [PPL-devel] ppl/m4 ac_cxx_float96_binary_format.m4   Roberto Bagnara
• [PPL-devel] ppl/m4 Makefile.am   Roberto Bagnara
• [PPL-devel] ppl/sicstus/segmentation violation   Samir Genaim
• [PPL-devel] ppl/src BD_Shape.defs.hh BD_Shape.templates.hh   Enea Zaffanella
• [PPL-devel] ppl/src BD_Shape.templates.hh   Roberto Bagnara
• [PPL-devel] ppl/src checked_float.inlines.hh   Abramo Bagnara
• [PPL-devel] ppl/src checked_float.inlines.hh   Roberto Bagnara
• [PPL-devel] ppl/src checked_float.inlines.hh   Roberto Bagnara
• [PPL-devel] ppl/src checked_float.inlines.hh   Roberto Bagnara
• [PPL-devel] ppl/src checked_float.inlines.hh   Roberto Bagnara
• [PPL-devel] ppl/src checked_int.inlines.hh   Roberto Bagnara
• [PPL-devel] ppl/src checked_mpq.inlines.hh   Roberto Bagnara
• [PPL-devel] ppl/src checked_mpz.inlines.hh   Roberto Bagnara
• [PPL-devel] ppl/src checked_mpz.inlines.hh   Roberto Bagnara
• [PPL-devel] ppl/src Checked_Number.defs.hh checked.defs.hh ...   Abramo Bagnara
• [PPL-devel] ppl/src Checked_Number.defs.hh Checked_Number. ...   Abramo Bagnara
• [PPL-devel] ppl/src Checked_Number.defs.hh Checked_Number. ...   Abramo Bagnara
• [PPL-devel] ppl/src Checked_Number.defs.hh Checked_Number. ...   Abramo Bagnara
• [PPL-devel] ppl/src Checked_Number.defs.hh Checked_Number. ...   Roberto Bagnara
• [PPL-devel] ppl/src Checked_Number.defs.hh GMP_Integer.def ...   Roberto Bagnara
• [PPL-devel] ppl/src Checked_Number.inlines.hh   Abramo Bagnara
• [PPL-devel] ppl/src Checked_Number.inlines.hh   Abramo Bagnara
• [PPL-devel] ppl/src Congruence.defs.hh Congruence_System.d ...   Enea Zaffanella
• [PPL-devel] ppl/src Congruence.inlines.hh   Roberto Bagnara
• [PPL-devel] ppl/src Congruence_System.cc   Patricia Hill
• [PPL-devel] ppl/src Congruence_System.cc Grid_Generator_Sy ...   Patricia Hill
• [PPL-devel] ppl/src Congruence_System.cc Grid_public.cc   Patricia Hill
• [PPL-devel] ppl/src Constraint.cc H79_Certificate.inlines. ...   Roberto Bagnara
• [PPL-devel] ppl/src DB_Row.inlines.hh   Roberto Bagnara
• [PPL-devel] ppl/src Float.inlines.hh   Roberto Bagnara
• [PPL-devel] ppl/src Float.inlines.hh   Abramo Bagnara
• [PPL-devel] ppl/src Float.inlines.hh   Abramo Bagnara
• [PPL-devel] ppl/src Float.inlines.hh   Roberto Bagnara
• [PPL-devel] ppl/src Float.inlines.hh checked_float.inlines ...   Abramo Bagnara
• [PPL-devel] ppl/src Float.inlines.hh checked_int.inlines.hh   Abramo Bagnara
• [PPL-devel] ppl/src float.types.hh   Roberto Bagnara
• [PPL-devel] ppl/src float.types.hh   Roberto Bagnara
• [PPL-devel] ppl/src fpu-c99.inlines.hh   Roberto Bagnara
• [PPL-devel] ppl/src fpu-c99.inlines.hh   Roberto Bagnara
• [PPL-devel] ppl/src fpu-ia32.inlines.hh   Roberto Bagnara
• [PPL-devel] ppl/src fpu-ia32.inlines.hh   Abramo Bagnara
• [PPL-devel] ppl/src fpu-ia32.inlines.hh   Roberto Bagnara
• [PPL-devel] ppl/src fpu-sparc.inlines.hh   Roberto Bagnara
• [PPL-devel] ppl/src fpu-sparc.inlines.hh   Roberto Bagnara
• [PPL-devel] ppl/src fpu-sparc.inlines.hh   Roberto Bagnara
• [PPL-devel] ppl/src fpu-sparc.inlines.hh fpu.types.hh   Roberto Bagnara
• [PPL-devel] ppl/src fpu.defs.hh   Roberto Bagnara
• [PPL-devel] ppl/src fpu.defs.hh   Roberto Bagnara
• [PPL-devel] ppl/src fpu.defs.hh   Roberto Bagnara
• [PPL-devel] ppl/src Generator.defs.hh LP_Problem.cc LP_Pro ...   Andrea Cimino
• [PPL-devel] ppl/src GMP_Integer.defs.hh   Enea Zaffanella
• [PPL-devel] ppl/src Grid.templates.hh   Patricia Hill
• [PPL-devel] ppl/src Grid_Generator.defs.hh   Patricia Hill
• [PPL-devel] ppl/src Grid_nonpublic.cc   Patricia Hill
• [PPL-devel] ppl/src Grid_public.cc   Roberto Bagnara
• [PPL-devel] ppl/src Init.cc   Roberto Bagnara
• [PPL-devel] ppl/src Init.cc checked.cc checked_mpq.inlines.hh   Roberto Bagnara
• [PPL-devel] ppl/src Init.cc checked.cc checked_mpq.inlines.hh   Roberto Bagnara
• [PPL-devel] ppl/src Init.cc Init.defs.hh   Roberto Bagnara
• [PPL-devel] ppl/src Linear_Expression.defs.hh Linear_Expre ...   Roberto Bagnara
• [PPL-devel] ppl/src Linear_Expression.defs.hh Linear_Expre ...   Roberto Bagnara
• [PPL-devel] ppl/src LP_Problem.cc   Andrea Cimino
• [PPL-devel] ppl/src LP_Problem.cc   Andrea Cimino
• [PPL-devel] ppl/src LP_Problem.cc   Andrea Cimino
• [PPL-devel] ppl/src LP_Problem.cc   Andrea Cimino
• [PPL-devel] ppl/src LP_Problem.cc   Andrea Cimino
• [PPL-devel] ppl/src LP_Problem.cc   Andrea Cimino
• [PPL-devel] ppl/src LP_Problem.cc LP_Problem.defs.hh   Andrea Cimino
• [PPL-devel] ppl/src LP_Problem.cc LP_Problem.defs.hh   Andrea Cimino
• [PPL-devel] ppl/src LP_Problem.defs.hh LP_Problem.cc   Andrea Cimino
• [PPL-devel] ppl/src Makefile.am   Roberto Bagnara
• [PPL-devel] ppl/src Makefile.am fpu-c99.inlines.hh fpu-ia3 ...   Roberto Bagnara
• [PPL-devel] ppl/src Polyhedra_Powerset.inlines.hh   Enea Zaffanella
• [PPL-devel] ppl/src Polyhedra_Powerset.inlines.hh   Enea Zaffanella
• [PPL-devel] ppl/src ppl-config.cc.in   Roberto Bagnara
• [PPL-devel] ppl/tests BD_Shape/addspacedims5.cc BD_Shape/a ...   Roberto Bagnara
• [PPL-devel] ppl/tests Grid/Makefile.am Polyhedron/Makefile ...   Roberto Bagnara
• [PPL-devel] ppl/tests Makefile.am Partial_Function.cc Part ...   Roberto Bagnara
• [PPL-devel] ppl/tests Makefile.am ppl_test.cc ppl_test.hh ...   Roberto Bagnara
• [PPL-devel] ppl/tests Makefile.am ppl_test.hh print.cc pri ...   Roberto Bagnara
• [PPL-devel] ppl/tests ppl_test.cc   Roberto Bagnara
• [PPL-devel] ppl/tests ppl_test.cc   Roberto Bagnara
• [PPL-devel] ppl/tests ppl_test.hh   Roberto Bagnara
• [PPL-devel] ppl/tests ppl_test.hh   Patricia Hill
• [PPL-devel] ppl/tests ppl_test.hh   Roberto Bagnara
• [PPL-devel] ppl/tests ppl_test.hh Grid/Makefile.am   Patricia Hill
• [PPL-devel] ppl/tests ppl_test.hh Polyhedron/bhrz03widenin ...   Roberto Bagnara
• [PPL-devel] ppl/tests print.cc print.hh   Roberto Bagnara
• [PPL-devel] ppl/tests print.cc print.hh   Roberto Bagnara
• [PPL-devel] ppl/tests print.cc print.hh Grid/Makefile.am G ...   Patricia Hill
• [PPL-devel] ppl/tests print.hh   Roberto Bagnara
• [PPL-devel] ppl/tests print.hh   Roberto Bagnara
• [PPL-devel] ppl/tests print.hh   Roberto Bagnara
• [PPL-devel] ppl/tests print.hh   Roberto Bagnara
• [PPL-devel] ppl/tests print.hh print.cc   Patricia Hill
• [PPL-devel] ppl/tests valgrind_suppressions   Roberto Bagnara
• [PPL-devel] ppl/tests/BD_Shape addconstraints1.cc addspace ...   Enea Zaffanella
• [PPL-devel] ppl/tests/BD_Shape addconstraints1.cc addspace ...   Roberto Bagnara
• [PPL-devel] ppl/tests/BD_Shape addspacedims2.cc   Roberto Bagnara
• [PPL-devel] ppl/tests/BD_Shape affineimage8.cc   Roberto Bagnara
• [PPL-devel] ppl/tests/BD_Shape affineimage8.cc affineimage ...   Enea Zaffanella
• [PPL-devel] ppl/tests/BD_Shape generalizedaffineimage6.cc   Enea Zaffanella
• [PPL-devel] ppl/tests/BD_Shape generalizedaffinepreimage1.cc   Roberto Bagnara
• [PPL-devel] ppl/tests/BD_Shape generalizedaffinepreimage2.cc   Enea Zaffanella
• [PPL-devel] ppl/tests/BD_Shape Makefile.am   Roberto Bagnara
• [PPL-devel] ppl/tests/BD_Shape Makefile.am addconstraints1 ...   Roberto Bagnara
• [PPL-devel] ppl/tests/BD_Shape Makefile.am generalizedaffi ...   Roberto Bagnara
• [PPL-devel] ppl/tests/BD_Shape Makefile.am run_tests   Roberto Bagnara
• [PPL-devel] ppl/tests/BD_Shape maxspacedim.cc   Roberto Bagnara
• [PPL-devel] ppl/tests/BD_Shape run_tests   Roberto Bagnara
• [PPL-devel] ppl/tests/BD_Shape run_tests   Roberto Bagnara
• [PPL-devel] ppl/tests/Grid addcongruence1.cc   Patricia Hill
• [PPL-devel] ppl/tests/Grid addcongruence1.cc   Roberto Bagnara
• [PPL-devel] ppl/tests/Grid addcongruence1.cc addcongruence ...   Patricia Hill
• [PPL-devel] ppl/tests/Grid affinedim1.cc bounded1.cc bound ...   Roberto Bagnara
• [PPL-devel] ppl/tests/Grid affineimage1.cc grid1.cc grid2. ...   Patricia Hill
• [PPL-devel] ppl/tests/Grid affineimage2.cc   Roberto Bagnara
• [PPL-devel] ppl/tests/Grid asciidumpload1.cc bounded1.cc b ...   Patricia Hill
• [PPL-devel] ppl/tests/Grid bhz03widening1.cc   Patricia Hill
• [PPL-devel] ppl/tests/Grid discrete1.cc disjoint1.cc equal ...   Patricia Hill
• [PPL-devel] ppl/tests/Grid equals1.cc   Patricia Hill
• [PPL-devel] ppl/tests/Grid generalizedaffinepreimage1.cc g ...   Patricia Hill
• [PPL-devel] ppl/tests/Grid generators1.cc   Patricia Hill
• [PPL-devel] ppl/tests/Grid isuniverse1.cc certificate1.cc   Matthew Mundell
• [PPL-devel] ppl/tests/Grid Makefile.am   Matthew Mundell
• [PPL-devel] ppl/tests/Grid Makefile.am   Roberto Bagnara
• [PPL-devel] ppl/tests/Grid Makefile.am   Roberto Bagnara
• [PPL-devel] ppl/tests/Grid Makefile.am   Roberto Bagnara
• [PPL-devel] ppl/tests/Grid Makefile.am   Roberto Bagnara
• [PPL-devel] ppl/tests/Grid Makefile.am addcongruences1.cc ...   Patricia Hill
• [PPL-devel] ppl/tests/Grid Makefile.am affineimage1.cc gri ...   Patricia Hill
• [PPL-devel] ppl/tests/Grid Makefile.am affineimage1_16.cc   Patricia Hill
• [PPL-devel] ppl/tests/Grid Makefile.am affineimage2.cc aff ...   Patricia Hill
• [PPL-devel] ppl/tests/Grid mapspacedims1.cc   Roberto Bagnara
• [PPL-devel] ppl/tests/Polyhedron addcongruence1.cc addcong ...   Enea Zaffanella
• [PPL-devel] ppl/tests/Polyhedron addcongruences1.cc   Roberto Bagnara
• [PPL-devel] ppl/tests/Polyhedron addcongruences1.cc   Enea Zaffanella
• [PPL-devel] ppl/tests/Polyhedron addcongruences1.cc Makefi ...   Enea Zaffanella
• [PPL-devel] ppl/tests/Polyhedron addconstraint1.cc addcons ...   Enea Zaffanella
• [PPL-devel] ppl/tests/Polyhedron addconstraint3.cc addgene ...   Roberto Bagnara
• [PPL-devel] ppl/tests/Polyhedron addgenerator1.cc addgener ...   Enea Zaffanella
• [PPL-devel] ppl/tests/Polyhedron addspacedims1.cc addspace ...   Enea Zaffanella
• [PPL-devel] ppl/tests/Polyhedron affineimage2.cc   Enea Zaffanella
• [PPL-devel] ppl/tests/Polyhedron affinepreimage1.cc Makefi ...   Enea Zaffanella
• [PPL-devel] ppl/tests/Polyhedron affinetrans.cc   Enea Zaffanella
• [PPL-devel] ppl/tests/Polyhedron bgp99extrapolation1.cc Ma ...   Enea Zaffanella
• [PPL-devel] ppl/tests/Polyhedron bhrz03widening1.cc bhrz03 ...   Enea Zaffanella
• [PPL-devel] ppl/tests/Polyhedron bounded1.cc   Enea Zaffanella
• [PPL-devel] ppl/tests/Polyhedron boundingbox1.cc boundingb ...   Enea Zaffanella
• [PPL-devel] ppl/tests/Polyhedron boundingbox4.cc boundingb ...   Enea Zaffanella
• [PPL-devel] ppl/tests/Polyhedron concatenate1.cc Makefile. ...   Enea Zaffanella
• [PPL-devel] ppl/tests/Polyhedron LP_Problem3.cc   Enea Zaffanella
• [PPL-devel] ppl/tests/Polyhedron LP_Problem3.cc addcongrue ...   Roberto Bagnara
• [PPL-devel] ppl/tests/Polyhedron LP_Problem3.cc lpproblem1 ...   Roberto Bagnara
• [PPL-devel] ppl/tests/Polyhedron Makefile.am   Roberto Bagnara
• [PPL-devel] ppl/tests/Polyhedron Makefile.am   Enea Zaffanella
• [PPL-devel] ppl/tests/Polyhedron Makefile.am   Roberto Bagnara
• [PPL-devel] ppl/tests/Polyhedron Makefile.am   Enea Zaffanella
• [PPL-devel] ppl/tests/Polyhedron Makefile.am   Enea Zaffanella
• [PPL-devel] ppl/tests/Polyhedron Makefile.am affineimage1. ...   Enea Zaffanella
• [PPL-devel] ppl/tests/Polyhedron Makefile.am nncminimize2.cc   Roberto Bagnara
• [PPL-devel] ppl/tests/Polyhedron memory1.cc   Roberto Bagnara
• [PPL-devel] ppl/tests/Polyhedron nncminimize1.cc NNCminimi ...   Enea Zaffanella
• [PPL-devel] ppl/tests/Polyhedron nncminimize2.cc   Roberto Bagnara
• [PPL-devel] ppl/tests/Polyhedron nncminimize2.cc   Roberto Bagnara
• [PPL-devel] ppl/tests/Polyhedron numberinput1.cc   Roberto Bagnara
• [PPL-devel] ppl/tests/Polyhedron randphull1.cc   Roberto Bagnara
• [PPL-devel] w3ppl/htdocs/Bugs Bugs.raw   Roberto Bagnara
• [PPL-devel] w3ppl/htdocs/Links Links.raw   Roberto Bagnara

Last message date: Tue Feb 28 23:13:50 CET 2006
Archived on: Fri Jan 20 18:10:21 CET 2012

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