Commit History

Author SHA1 Message Date
  Samuel Thibault e15ca34bbb Add --enable-simgrid-mc to selectively enable the model checker 8 years ago
  Samuel Thibault 13bfbabc80 Allow to disable glpk usage 8 years ago
  Samuel Thibault d51c021306 Do not avoid passing -ccbin when it is not supported, nvcc does not use the option blindly any more. Let nvcc pick up its preferred compiler alone, in most cases that is preferred. Introduce instead a NVCC_CC environment variable when one really wants to override this. 8 years ago
  Samuel Thibault 9ec78f8163 Remove the --enable-paje-condelet-details configure option: vite r1430 has been released more than two years ago, it's even in Debian Jessie, so we can assume people have it on their desktop machine 8 years ago
  Nathalie Furmento 0867e93cb4 merge branches/mpi_engine@18351: mpi: code cleaning 8 years ago
  Nathalie Furmento 8c53b48112 mpi: new configure option --enable-mpi-pedantic-isend (disabled by default) to acquire data in STARPU_RW (instead of STARPU_R) before performing MPI_Isend call 8 years ago
  Corentin Salingue 74882f89bc add more pieces to the doc for the MPI master-slave 8 years ago
  Corentin Salingue 5d3f3a018a Update doc with MPI Master-Slave support + fix visibility of 2 sections in MPI doc 8 years ago
  Samuel Thibault c48739839a "undocument" --enable-mpi-progression-hook 8 years ago
  Nathalie Furmento 3bd9664c1c doc: rename files to have a html documentation generated with the correct order 8 years ago