Commit Verlauf

Autor SHA1 Nachricht Datum
  Corentin Salingue ac86a4ad2c Add missing free vor 8 Jahren
  Corentin Salingue eb0605aaa8 improve info message vor 8 Jahren
  Corentin Salingue 6ae8786e01 display unsigned not int vor 8 Jahren
  Corentin Salingue a78b9d2b98 Merge from trunk vor 8 Jahren
  Samuel Thibault c1b913a2b2 Try to redruce on the state of an empty list vor 8 Jahren
  Samuel Thibault 05bfe97196 clearer macro names, add iterations vor 8 Jahren
  Olivier Aumage 950d269178 use assumed-size instead of assumed-shape arrays for native fortran API, for better backward compatibility vor 8 Jahren
  Samuel Thibault 3fff4c9f5f commit missing changes vor 8 Jahren
  Samuel Thibault defd69333a generalize running model-checking tests vor 8 Jahren
  Samuel Thibault 00042d3039 Fix build from starpu with old simgrid: BUILDING_STARPU is only for the lib vor 8 Jahren
  Samuel Thibault b83f2454f2 Add copyright vor 8 Jahren
  Samuel Thibault d56020e400 Allow to use several lists to check that the model-checker discovers that's independent vor 8 Jahren
  Samuel Thibault 6379d50511 Fix detection of simgrid-mc tool vor 8 Jahren
  Samuel Thibault b5d53106f7 Fix build with old simgrids vor 8 Jahren
  Samuel Thibault 85ab8748c5 do not enable mpi checks by default when simgrid support is enabled, since it requires static linking which is too expensive for being a default vor 8 Jahren
  Samuel Thibault e15ca34bbb Add --enable-simgrid-mc to selectively enable the model checker vor 8 Jahren
  Nathalie Furmento 444461c75a doc: improve name for chapitre title vor 8 Jahren
  Samuel Thibault bf08b7ae24 document how to play with model checker vor 8 Jahren
  Samuel Thibault 6383fe8b36 Test a reasonably large case vor 8 Jahren
  Samuel Thibault d8991796b2 Run model checking during make check vor 8 Jahren
  Samuel Thibault e9056e542d make it possible to run mpi cholesky in simgrid mode vor 8 Jahren
  Samuel Thibault eff6fdad8d do not trust modular heft schedulers yet vor 8 Jahren
  Samuel Thibault 7ce5e53c22 ship files needed for testing simgrid-mpi vor 8 Jahren
  Samuel Thibault 619208913a Disable tests failing with simgrid 3.14 vor 8 Jahren
  Samuel Thibault 789b098faa avoid crashes when running smpi with shared libraries vor 8 Jahren
  Samuel Thibault 6b59adcc2f Allow mpi tests in simgrid mode vor 8 Jahren
  Samuel Thibault 580d61dae1 don't enable state reduction by default, it's too costly vor 8 Jahren
  Samuel Thibault 5339d76f3a Prevent random number generation from diverging, by making threads always get the same values vor 8 Jahren
  Nathalie Furmento 5b37f9329b doc: fixes to follow coding style vor 8 Jahren
  Nathalie Furmento 1f5c14e5e2 tests/model-checking: add copyright and fix coding style vor 8 Jahren