March 2009 Archives by thread

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

Starting: Sun Mar 1 16:15:22 CET 2009
Ending: Tue Mar 31 22:37:25 CEST 2009
Messages: 233

• [PPL-devel] Bug#517659: ppl - FTBFS: Missuse of buildd resources   Roberto Bagnara
  • [PPL-devel] Bug#517659: ppl - FTBFS: Missuse of buildd resources   Michael Tautschnig
    • [PPL-devel] Bug#517659: ppl - FTBFS: Missuse of buildd resources   Julien Cristau
      • [PPL-devel] Bug#517659: ppl - FTBFS: Missuse of buildd resources   Luk Claes
• [PPL-devel] simple configure issues?   Koornstra, Reinoud
  • [PPL-devel] simple configure issues?   Roberto Bagnara
• [PPL-devel] Problems with test suite on alpha   Michael Tautschnig
  • [PPL-devel] Problems with test suite on alpha   Roberto Bagnara
    • [PPL-devel] Problems with test suite on alpha   Michael Tautschnig
• [PPL-devel] Could you add git commit ids to to bug fixes?   Michael Tautschnig
  • [PPL-devel] Could you add git commit ids to to bug fixes?   Roberto Bagnara
• [PPL-devel] [GIT] ppl/w3ppl(master): Corrected anchor name.   Enea Zaffanella
• [PPL-devel] PPL broken for Canadian-cross builds   Joseph S. Myers
  • [PPL-devel] PPL broken for Canadian-cross builds   Roberto Bagnara
    • [PPL-devel] PPL broken for Canadian-cross builds   Joseph S. Myers
      • [PPL-devel] PPL broken for Canadian-cross builds   Roberto Bagnara
      • [PPL-devel] PPL broken for Canadian-cross builds   Joseph S. Myers
      • [PPL-devel] PPL broken for Canadian-cross builds   Roberto Bagnara
      • [PPL-devel] PPL broken for Canadian-cross builds   Joseph S. Myers
      • [PPL-devel] PPL broken for Canadian-cross builds   Sebastian Pop
• [PPL-devel] PPL "tutorial" and C <-> C++ dictionnary   Basile STARYNKEVITCH
  • [PPL-devel] PPL "tutorial" and C <-> C++ dictionnary   Enea Zaffanella
• [PPL-devel] client data for ppl_io_set_variable_output_function?   Basile STARYNKEVITCH
  • [PPL-devel] client data for ppl_io_set_variable_output_function?   Enea Zaffanella
    • [PPL-devel] client data for ppl_io_set_variable_output_function?   Basile STARYNKEVITCH
• [PPL-devel] [GIT] ppl/ppl(master): AC_RUN_IFELSE invocations now have a safe action for cross-compiling.   Roberto Bagnara
• [PPL-devel] [GIT] ppl/ppl(master): Avoid using obsolete Autoconf macros.   Roberto Bagnara
• [PPL-devel] [GIT] ppl/ppl(master): Pattern `*~' added. Patterns sorted.   Roberto Bagnara
• [PPL-devel] [GIT] ppl/w3ppl(master): Spurious colons (`:') removed.   Roberto Bagnara
• [PPL-devel] [GIT] ppl/ppl(master): Got rid of AX_PREFIX_CONFIG_H.   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(master): Version number bumped.   Roberto Bagnara
• [PPL-devel] [GIT] ppl/ppl(master): pretty_print. * contain helper datatypes and functions for pretty printing.   Enea Zaffanella
• [PPL-devel] [GIT] ppl/ppl(master): Added files pretty_print.*.   Enea Zaffanella
• [PPL-devel] [GIT] ppl/ppl(master): Minimum Autoconf version brought back to 2.61.   Roberto Bagnara
• [PPL-devel] [GIT] ppl/ppl(master): Fixed typo.   Abramo Bagnara
• [PPL-devel] [GIT] ppl/ppl(master): Added callback based streambufs.   Abramo Bagnara
• [PPL-devel] [GIT] ppl/ppl(master): Two non-urgent FIXMEs better documented.   Roberto Bagnara
• [PPL-devel] [GIT] ppl/ppl(master): Selected the items that should be done for 0.10.1: postponed the others.   Roberto Bagnara
• [PPL-devel] [GIT] ppl/ppl(master): The C interface now provides functions of the form   Roberto Bagnara
  • [PPL-devel] [GIT] ppl/ppl(master): The C interface now provides functions of the form   Basile STARYNKEVITCH
  • [PPL-devel] [GIT] ppl/ppl(master): The C interface now provides functions of the form   Roberto Bagnara
• [PPL-devel] [GIT] ppl/ppl(master): Typo fixed.   Roberto Bagnara
  • [PPL-devel] [GIT] ppl/ppl(master): Typo fixed.   Roberto Bagnara
• [PPL-devel] [GIT] ppl/ppl(master): Added a new helper function for the wrapping of lines.   Roberto Bagnara
• [PPL-devel] [GIT] ppl/ppl(master): Added the new pretty print functionality to Java, OCaml and Prolog interfaces.   Enea Zaffanella
• [PPL-devel] [GIT] ppl/ppl(master): Destructor of abstract class Write_Function has to be virtual.   Enea Zaffanella
• [PPL-devel] [GIT] ppl/ppl(master): New machinery to create ppl-config.h and pwl-config. h.   Roberto Bagnara
• [PPL-devel] [GIT] ppl/ppl(master): Rewritted test01(). Added test02().   Roberto Bagnara
• [PPL-devel] [GIT] ppl/ppl(master): Test program renamed.   Roberto Bagnara
• [PPL-devel] [GIT] ppl/ppl(master): Reworded misleading comment.   Enea Zaffanella
• [PPL-devel] [GIT] ppl/ppl(master): Corrected a bug in the interfacing of drop_disjunct for Java, Ocaml and Prolog.   Enea Zaffanella
• [PPL-devel] [GIT] ppl/ppl(master): Mention the bug fixed with Commit: 6a6734db48e2ca605dfc27ce5f1a923eb867ed25   Enea Zaffanella
• [PPL-devel] [GIT] ppl/ppl(master): FIXME resolved. Fixed a bug in Linear_Expression( Variable v, Variable w).   Roberto Bagnara
• [PPL-devel] [GIT] ppl/w3ppl(master): Mention the bug affecting drop_disjunct in some language interfaces.   Enea Zaffanella
• [PPL-devel] [GIT] ppl/w3ppl(master): Translate .cvsignore files into .gitignore files.   Enea Zaffanella
• [PPL-devel] [GIT] ppl/w3ppl(master): Get rid of no longer needed .cvsignore files.   Enea Zaffanella
• [PPL-devel] [GIT] ppl/ppl(master): Dealt with a FIXME related to variable names.   Enea Zaffanella
• [PPL-devel] [GIT] ppl/ppl(master): Three FIXMEs related to Linear_Expression resolved.   Enea Zaffanella
• [PPL-devel] [GIT] ppl/ppl(master): Improved functions and methods to build linear expressions.   Roberto Bagnara
• [PPL-devel] [GIT] ppl/ppl(master): Added a test for operator-(var, expr) and operator-( expr, var).   Enea Zaffanella
• [PPL-devel] [GIT] ppl/ppl(master): Tightened the machinery used to generate the configuration headers.   Roberto Bagnara
• [PPL-devel] [GIT] ppl/ppl(master): Updated to reflect the new way `ppl_lpsol' is invoked.   Roberto Bagnara
• [PPL-devel] [GIT] ppl/ppl(master): Use consistent parameter names in helper function wrap.   Enea Zaffanella
• [PPL-devel] [GIT] ppl/ppl(master): Little formatting improvement.   Roberto Bagnara
• [PPL-devel] [GIT] ppl/ppl(master): Obsolete FIXME removed.   Roberto Bagnara
• [PPL-devel] [GIT] ppl/ppl(master): Add dependencies between HTML manuals for parallel builds.   Enea Zaffanella
• [PPL-devel] [GIT] ppl/ppl(master): Added filtered streams. Implemented format filter.   Abramo Bagnara
• [PPL-devel] [GIT] ppl/ppl(master): Added write functions for native types.   Abramo Bagnara
• [PPL-devel] [GIT] ppl/ppl(master): Added ppl_io_ostream_buffer_clear function.   Abramo Bagnara
• [PPL-devel] [GIT] ppl/ppl(master): Fixed a bug ( that is inconsequential for the current code base).   Roberto Bagnara
• [PPL-devel] [GIT] ppl/ppl(master): Readability improvements.   Roberto Bagnara
• [PPL-devel] [GIT] ppl/ppl(master): Separated wrap before from wrap after. Bug fixes.   Abramo Bagnara
• [PPL-devel] [GIT] ppl/ppl(master): Added a test.   Enea Zaffanella
• [PPL-devel] [GIT] ppl/ppl(master): Bug fix: ostringstream.str() returns a temporary.   Abramo Bagnara
• [PPL-devel] [GIT] ppl/ppl(master): Better name.   Abramo Bagnara
• [PPL-devel] [GIT] ppl/ppl(formatted_output): Better name.   Abramo Bagnara
  • [PPL-devel] [GIT] ppl/ppl(formatted_output): Better name.   Abramo Bagnara
• [PPL-devel] [GIT] ppl/ppl(formatted_output): Started the installation of the new formatted output machinery.   Roberto Bagnara
• [PPL-devel] [GIT] ppl/ppl(formatted_output): Done some cleaning.   Roberto Bagnara
• [PPL-devel] [GIT] ppl/ppl(master): Started the installation of the new formatted output machinery.   Roberto Bagnara
• [PPL-devel] [GIT] ppl/ppl(formatted_output): Some fixes.   Abramo Bagnara
• [PPL-devel] [GIT] ppl/ppl(formatted_output): Added repeated char for left and right margin.   Abramo Bagnara
• [PPL-devel] [GIT] ppl/ppl(master): Done some cleaning.   Roberto Bagnara
• [PPL-devel] [GIT] ppl/ppl(master): Some fixes.   Abramo Bagnara
• [PPL-devel] [GIT] ppl/ppl(master): Added repeated char for left and right margin.   Abramo Bagnara
• [PPL-devel] [GIT] ppl/ppl(master): Build restored.   Roberto Bagnara
• [PPL-devel] [GIT] ppl/ppl(master): Added some more infrastructure. Variables renamed.   Roberto Bagnara
• [PPL-devel] [GIT] ppl/ppl(master): Synchronized with the Fedora repository.   Roberto Bagnara
• [PPL-devel] [GIT] ppl/ppl(master): There are no GNU Prolog packages available on ia64: disable the GNU Prolog   Roberto Bagnara
• [PPL-devel] [GIT] ppl/ppl(master): Explained the `--disable-ppl_lcdd' and `--disable-ppl_lcdd' configure   Roberto Bagnara
• [PPL-devel] [GIT] ppl/ppl(master): Test test17() shows a bug in method Octagonal_Shape: :affine_image().   Enea Zaffanella
• [PPL-devel] [GIT] ppl/ppl(master): Cleaned C streams implementation.   Abramo Bagnara
• [PPL-devel] [GIT] ppl/ppl(master): Corrected bug affecting method Octagonal_Shape:: affine_image().   Enea Zaffanella
• [PPL-devel] [GIT] ppl/ppl(master): Fixed indentation.   Abramo Bagnara
  • [PPL-devel] [GIT] ppl/ppl(master): Fixed indentation.   Roberto Bagnara
• [PPL-devel] [GIT] ppl/ppl(master): Fixed comment.   Abramo Bagnara
• [PPL-devel] [GIT] ppl/w3ppl(master): Mention the bug corrected on Octagonal_Shape<T>:: affine_image().   Enea Zaffanella
• [PPL-devel] [GIT] ppl/ppl(master): Mention the bug corrected for method Octagonal_Shape <T>::affine_image().   Enea Zaffanella
• [PPL-devel] [GIT] ppl/ppl(master): Fixed file names.   Abramo Bagnara
• [PPL-devel] [GIT] ppl/ppl(master): Improved the actions of AC_RUN_IFELSE when cross-compiling.   Roberto Bagnara
• [PPL-devel] [GIT] ppl/ppl(master): Reduced DIMENSION to 100.   Roberto Bagnara
• [PPL-devel] [GIT] ppl/ppl(master): Exception handling is broken in GCC on the Alpha: commented out some tests.   Roberto Bagnara
• [PPL-devel] Bugs in OCaml interface   Kenneth MacKenzie
  • [PPL-devel] Bugs in OCaml interface   Roberto Bagnara
  • [PPL-devel] Bugs in OCaml interface   Roberto Bagnara
  • [PPL-devel] Bugs in OCaml interface   Enea Zaffanella
• [PPL-devel] [GIT] ppl/ppl(prova):   Patricia M. Hill
  • [PPL-devel] [GIT] ppl/ppl(prova):   Abramo Bagnara
• [PPL-devel] [GIT] ppl/ppl(prova): Added repeated char for left and right margin.   Abramo Bagnara
• [PPL-devel] [GIT] ppl/ppl(master): Where the result type is unit, the type returned by C++ must   Patricia Hill
• [PPL-devel] [GIT] ppl/ppl(master): TODO item   Patricia Hill
• [PPL-devel] [GIT] ppl/ppl(master): Implemented Octagonal_Shape:: simplify_using_context_assign().   Enea Zaffanella
• [PPL-devel] [GIT] ppl/ppl(master): Disable more tests that fail on the Alpha due to a GCC bug.   Roberto Bagnara
• [PPL-devel] [GIT] ppl/ppl(master): Do not enable the Prolog interfaces by default in the release tarballs.   Roberto Bagnara
• [PPL-devel] [GIT] ppl/ppl(master): Merge branch 'master' of ssh://bagnara at git.cs.unipr. it/git/ppl/ppl   Roberto Bagnara
  • [PPL-devel] [GIT] ppl/ppl(master): Merge branch 'master' of ssh://bagnara at git.cs.unipr. it/git/ppl/ppl   Roberto Bagnara
• [PPL-devel] [GIT] ppl/ppl(master): Depend on PPL_CAN_CONTROL_FPU.   Roberto Bagnara
• [PPL-devel] [GIT] ppl/ppl(master): Properly use PPL_FPMATH_MAY_USE_387 and PPL_FPMATH_MAY_USE_SSE.   Roberto Bagnara
• [PPL-devel] [GIT] ppl/ppl(master): Better parameters for formatted output.   Abramo Bagnara
• [PPL-devel] [GIT] ppl/ppl(master): We can infer the possibility to control the CPU even when cross-compiling.   Roberto Bagnara
• [PPL-devel] [GIT] ppl/ppl(master): Added checks for the availability of `siginfo_t'.   Roberto Bagnara
• [PPL-devel] [GIT] ppl/ppl(master): Support systems that do not define `siginfo_t'.   Roberto Bagnara
• [PPL-devel] pointer "ownership" in the C API?   Basile Starynkevitch
  • [PPL-devel] pointer "ownership" in the C API?   Roberto Bagnara
  • [PPL-devel] pointer "ownership" in the C API?   Enea Zaffanella
    • [PPL-devel] pointer "ownership" in the C API?   Basile STARYNKEVITCH
• [PPL-devel] [GIT] ppl/ppl(master): Fixed a bug where the tokens for widening were not being updated.   Patricia Hill
• [PPL-devel] [GIT] ppl/ppl(master): Report on two bugs fixed in the OCaml interface.   Patricia Hill
• [PPL-devel] [GIT] ppl/ppl(master): Tests have to be done unconditionally.   Abramo Bagnara
• [PPL-devel] [GIT] ppl/ppl(master): Fixed several garbage collecting issues in the OCaml interface.   Enea Zaffanella
• [PPL-devel] [GIT] ppl/ppl(master): Added several missing functions to the OCaml interface.   Enea Zaffanella
• [PPL-devel] [GIT] ppl/ppl(master): Fixed the formatting of do-while loops.   Roberto Bagnara
• [PPL-devel] [GIT] ppl/ppl(master): Spurious spaces removed.   Roberto Bagnara
  • [PPL-devel] [GIT] ppl/ppl(master): Spurious spaces removed.   Roberto Bagnara
• [PPL-devel] [GIT] ppl/ppl(master): ascii_load() methods now perform more stringent checks on the input.   Roberto Bagnara
• [PPL-devel] [GIT] ppl/ppl(master): Missing else branch added.   Roberto Bagnara
• [PPL-devel] [GIT] ppl/ppl(master): Fixed make check.   Abramo Bagnara
• [PPL-devel] [GIT] ppl/ppl(master): Updated to 2008-12-31.   Roberto Bagnara
• [PPL-devel] [GIT] ppl/ppl(master): Renamed and frozen: the ChangeLog-2001-2008 should never be changed again.   Roberto Bagnara
• [PPL-devel] [GIT] ppl/ppl(master): Change logs covering the changes made in the CVS repository in 2009.   Roberto Bagnara
• [PPL-devel] [GIT] ppl/ppl(master): Get rid of pretty_printing stuff. A string wrapping function is made   Abramo Bagnara
  • [PPL-devel] [GIT] ppl/ppl(master): Get rid of pretty_printing stuff. A string wrapping function is made   Basile STARYNKEVITCH
    • [PPL-devel] [GIT] ppl/ppl(master): Get rid of pretty_printing stuff. A string wrapping function is made   Roberto Bagnara
    • [PPL-devel] [GIT] ppl/ppl(master): Get rid of pretty_printing stuff. A string wrapping function is made   Roberto Bagnara
• [PPL-devel] [GIT] ppl/ppl(master): The `ppl_lcdd' program can now be built and checked with cross-compilation.   Roberto Bagnara
• [PPL-devel] [GIT] ppl/ppl(master): Man pages updated.   Roberto Bagnara
• [PPL-devel] [GIT] ppl/ppl(master): Moved ppl_io_wrap_string documentation.   Abramo Bagnara
• [PPL-devel] [GIT] ppl/ppl(master): Fixed parameter name.   Abramo Bagnara
• [PPL-devel] [GIT] ppl/ppl(master): A couple of minor corrections.   Enea Zaffanella
• [PPL-devel] [GIT] ppl/ppl(master): Comments improved.   Roberto Bagnara
• [PPL-devel] [GIT] ppl/ppl(master): Minor code readability improvements.   Roberto Bagnara
• [PPL-devel] [GIT] ppl/ppl(master): The `ppl_lpsol' program can now be built and checked with cross-compilation.   Roberto Bagnara
• [PPL-devel] [GIT] ppl/ppl(master): Detect MinGW, defining the HOST_OS_MINGW Automake conditional.   Roberto Bagnara
• [PPL-devel] [GIT] ppl/ppl(master): Allow testing under MinGW.   Roberto Bagnara
• [PPL-devel] [GIT] ppl/ppl(master): Include <stdlib.h> instead of <malloc.h>.   Roberto Bagnara
• [PPL-devel] [GIT] ppl/ppl(master): Tweak for MinGW. Force the use of the C++ compiler for linking.   Roberto Bagnara
• [PPL-devel] [GIT] ppl/ppl(master): Avoid abuse of mpz_divexact.   Abramo Bagnara
• [PPL-devel] [GIT] ppl/ppl(master): Disabled failing test.   Abramo Bagnara
• [PPL-devel] [GIT] ppl/ppl(master): Uuse the PPL_CXX_*_BINARY_FORMAT macros.   Roberto Bagnara
• [PPL-devel] [GIT] ppl/ppl(master): Avoid unrequested call to mpz_divisible_p.   Abramo Bagnara
• [PPL-devel] [GIT] ppl/ppl(master): Documented rational sqrt precision and implemented a more precise variant for numbers < 1.   Abramo Bagnara
• [PPL-devel] [GIT] ppl/ppl(master): Documented ROUND_NOT_NEEDED FIXME.   Abramo Bagnara
• [PPL-devel] [GIT] ppl/ppl(master): These efficiency related FIXME' s are not scheduled for 0.10.1   Abramo Bagnara
• [PPL-devel] [GIT] ppl/ppl(master): Parameterized test05().   Roberto Bagnara
• [PPL-devel] [GIT] ppl/ppl(master): Fixed and reactivated test05().   Roberto Bagnara
• [PPL-devel] [GIT] ppl/ppl(master): Removed useless functions.   Abramo Bagnara
• [PPL-devel] [GIT] ppl/ppl(master): Improved the semantics of the --enable-watchdog configure option.   Roberto Bagnara
• [PPL-devel] [GIT] ppl/ppl(master): Change logs updated.   Roberto Bagnara
• [PPL-devel] [GIT] ppl/ppl(master): Done item removed.   Roberto Bagnara
• [PPL-devel] [GIT] ppl/ppl(master): Some systems do not have <strings.h>.   Roberto Bagnara
• [PPL-devel] [GIT] ppl/ppl(master): Try to accommodate non-GNU implementations of `getopt()'.   Roberto Bagnara
• [PPL-devel] [GIT] ppl/ppl(master): Remove unimplemented and unused functions.   Abramo Bagnara
• [PPL-devel] [GIT] ppl/ppl(master): Try to accommodate more non-GNU implementations of `getopt()'.   Roberto Bagnara
• [PPL-devel] [GIT] ppl/ppl(master): Disable these tests on the Alpha.   Roberto Bagnara
• [PPL-devel] [GIT] ppl/ppl(master): Improved the OCaml interfacing of PPL dimensions and coefficients.   Enea Zaffanella
• [PPL-devel] [GIT] ppl/ppl(master): Temporary workaround to force linking with C++.   Roberto Bagnara
• [PPL-devel] [GIT] ppl/ppl(master): Moved changelogs and PostScript and PDF versions of the GPL to the   Roberto Bagnara
• [PPL-devel] [GIT] ppl/ppl(master): Added string wrapping helper function to OCaml interface.   Enea Zaffanella
• [PPL-devel] [GIT] ppl/ppl(master): Avoid spurious vertical space in the documentation.   Enea Zaffanella
• [PPL-devel] [GIT] ppl/ppl(master): Minor improvement to documentation.   Enea Zaffanella
• [PPL-devel] [GIT] ppl/ppl(master): Restore parallelized tests.   Abramo Bagnara
• [PPL-devel] [GIT] ppl/ppl(master): Revert "Restore parallelized tests."   Abramo Bagnara
• [PPL-devel] [GIT] ppl/ppl(master): Fixed restore of parallelized tests.   Abramo Bagnara
• [PPL-devel] [PATCH] Pass MAKE environment to run_tests script   Tobias Grosser
• [PPL-devel] [GIT] ppl/ppl(master): Improvements to the OCaml and Prolog interface documentation.   Enea Zaffanella
• [PPL-devel] [GIT] ppl/ppl(master): Added timeout functions to the OCaml interface.   Enea Zaffanella
• [PPL-devel] [GIT] ppl/ppl(master): Moved TODO items to their place.   Enea Zaffanella
• [PPL-devel] make check fails on Freebsd in tests/Box/propagateconstraints2   Tobias Grosser
  • [PPL-devel] make check fails on Freebsd in tests/Box/propagateconstraints2   Roberto Bagnara
  • [PPL-devel] make check fails on Freebsd in tests/Box/propagateconstraints2   Abramo Bagnara
  • [PPL-devel] make check fails on Freebsd in tests/Box/propagateconstraints2   Abramo Bagnara
• [PPL-devel] [GIT] ppl/ppl(master): Helper OCaml interface function renamed for consistency.   Enea Zaffanella
• [PPL-devel] Intel Compiler Help   Roberto Bagnara
• [PPL-devel] [GIT] ppl/ppl(master): Added wrap_string.   Abramo Bagnara
• [PPL-devel] [GIT] ppl/ppl(master): Fix.   Abramo Bagnara
• [PPL-devel] [GIT] ppl/ppl(master): Fix2.   Abramo Bagnara
• [PPL-devel] [GIT] ppl/ppl(master): Added java.   Abramo Bagnara
• [PPL-devel] [GIT] ppl/ppl(master): Added test.   Abramo Bagnara
• [PPL-devel] [GIT] ppl/ppl(master): Added file.   Abramo Bagnara
  • [PPL-devel] [GIT] ppl/ppl(master): Added file.   Abramo Bagnara
• [PPL-devel] [GIT] ppl/ppl(master): Reverted bogus commits.   Abramo Bagnara
• [PPL-devel] [GIT] ppl/ppl(master): Added wrap_string to java interface.   Abramo Bagnara
• [PPL-devel] [GIT] ppl/ppl(master): Consider switching to MLGMPIDL for the OCaml interface.   Roberto Bagnara
• [PPL-devel] [GIT] ppl/ppl(master): Warn about the GCC bug affecting exception handling on the Alpha.   Roberto Bagnara
• [PPL-devel] [GIT] ppl/ppl(master): Let OCaml tests also link with the pwl library, if configured.   Enea Zaffanella
• [PPL-devel] [GIT] ppl/ppl(master): Decided that it is not worth renaming PPL_OUTPUT_TEMPLATE_DEFINITIONS.   Roberto Bagnara
• [PPL-devel] [GIT] ppl/ppl(master): Obsolete FIXME removed: methods Box:: refine_* were fixed long ago.   Roberto Bagnara
• [PPL-devel] [GIT] ppl/ppl(master): Removed the tag "(0.10.1)" from a FIXME unrelated to with PPL 0.10.1.   Roberto Bagnara
• [PPL-devel] [GIT] ppl/ppl(master): Register PPL_timeout_exception in the OCaml interface.   Enea Zaffanella
• [PPL-devel] [GIT] ppl/ppl(master): Avoid redefining NDEBUG.   Roberto Bagnara
• [PPL-devel] [GIT] ppl/ppl(master): Include "ppl_c.h".   Roberto Bagnara
• [PPL-devel] [GIT] ppl/ppl(master): Include "ppl_c_test.h" instead of "ppl_c.h".   Roberto Bagnara
• [PPL-devel] [GIT] ppl/ppl(master): Fixed *_CPPFLAGS variables.   Roberto Bagnara
• [PPL-devel] [GIT] ppl/ppl(master): Disable test19() on the Alpha.   Roberto Bagnara
• [PPL-devel] [GIT] ppl/w3ppl(master): Explained how to anonymously clone the repository via the HTTP protocol.   Roberto Bagnara
• [PPL-devel] [GIT] ppl/w3ppl(master): Typo fixed.   Roberto Bagnara
• [PPL-devel] [GIT] ppl/ppl(master): Added one item for PPL 0.11.   Roberto Bagnara
• [PPL-devel] [GIT] ppl/ppl(master): Register OCaml interface exceptions; added a few tests.   Enea Zaffanella
• [PPL-devel] [GIT] ppl/ppl(master): Version number bumped. The name of the program is Autoconf.   Roberto Bagnara
• [PPL-devel] [GIT] ppl/ppl(master): Disabled some tests on the Alpha.   Roberto Bagnara
• [PPL-devel] [GIT] ppl/w3ppl(master): Obsolete note removed.   Roberto Bagnara
• [PPL-devel] [GIT] ppl/ppl(master): Removed two FIXME(0.10.1) s which have been checked and   Patricia Hill
• [PPL-devel] relocation R_X86_64_32S against `Yap_REGS' can not be used   Roberto Bagnara
• [PPL-devel] [GIT] ppl/ppl(master): Fixed run_tests make.   Abramo Bagnara
• [PPL-devel] [GIT] ppl/ppl(master): Postponed FIXME.   Abramo Bagnara
  • [PPL-devel] [GIT] ppl/ppl(master): Postponed FIXME.   Abramo Bagnara
• [PPL-devel] [GIT] ppl/ppl(master): Added TODO item.   Abramo Bagnara
• [PPL-devel] [GIT] ppl/ppl(master): Removed FIXME and documented the default value.   Abramo Bagnara
• [PPL-devel] [GIT] ppl/ppl(master): Disabled one more test on the Alpha.   Roberto Bagnara
• [PPL-devel] [GIT] ppl/ppl(master): Indentation fixed.   Roberto Bagnara
• [PPL-devel] [GIT] ppl/ppl(master): Made ascii_load more restrictive.   Abramo Bagnara

Last message date: Tue Mar 31 22:37:25 CEST 2009
Archived on: Sun Mar 6 09:35:37 CET 2022

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