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