Logo AND Algorithmique Numérique Distribuée

Public GIT Repository
you cannot use the ISP testsuite without model-checking
[simgrid.git] / teshsuite / smpi / isp / umpire / CMakeLists.txt
2015-10-14 Martin Quinsonyou cannot use the ISP testsuite without model-checking
2015-10-13 Martin QuinsonMerge branch 'S4U'
2015-10-11 Martin Quinsonfix make distcheck, as usual
2015-10-09 Martin QuinsonMerge branch 'master' of github.com:mquinson/simgrid
2015-10-09 Martin QuinsonMerge branch 'master' of scm.gforge.inria.fr:/gitroot...
2015-10-09 Gabriel CoronaFix ISP test classification
2015-10-06 Martin Quinsonadd the ISP/UMPIRE tests to the dist in any case
2015-10-04 Martin Quinson[MC] ensure that the main ISP/Umpire tests are activated
2015-08-31 Martin QuinsonMerge branch 'master' of scm.gforge.inria.fr:/gitroot...
2015-08-31 Martin Quinsondon't tell 165 times that we need CMAKE v2.6
2015-02-18 Arnaud LegrandMerge branch 'master' of git+ssh://scm.gforge.inria...
2015-02-12 Gabriel CoronaMerge master into mc-process
2015-01-06 Martin QuinsonMerge branch 'master' of scm.gforge.inria.fr:/gitroot...
2015-01-05 Augustin DegommeChange include order for smpi tests/examples to avoid...
2014-08-28 Adrien LebreMerge branch 'master' of git+ssh://scm.gforge.inria...
2014-08-25 Gabriel Corona[mc] ISP tests integration