Logo AND Algorithmique Numérique Distribuée

Public GIT Repository
model-checker : fix dichotomic search and insertion for visited states
[simgrid.git] / buildtools /
2012-12-20 Martin Quinsonmake MSG_config public, document it, and implement...
2012-12-20 Paul BédarideMove module tracing into corresponding modules
2012-12-20 Arnaud GierschLink with -ldl when using dlsym.
2012-12-20 Martin Quinsonmark as advanced some options that are useless to the...
2012-12-19 Martin Quinsoncosmetics
2012-12-19 Martin Quinsonforgot the test file
2012-12-19 Martin Quinsonuse system malloc for the raw heap if GNU ld is used
2012-12-18 Arnaud GierschAdd -Wall to CMAKE_Fortran_FLAGS, unless enable_compile...
2012-12-18 suteradd test_sd_avail.tesh to the list
2012-12-18 Arnaud GierschAvoid to compile files when they're not needed.
2012-12-18 Arnaud GierschThis file does not belong to TRACING_SRC; define SIMGRI...
2012-12-18 Arnaud GierschReally remove deleted file.
2012-12-18 Martin Quinsonrefresh the README, and re-add it to the archives
2012-12-18 Paul BédarideMerge branch 'master' of git+ssh://scm.gforge.inria...
2012-12-17 Paul BédarideMerge branch 'master' of git+ssh://scm.gforge.inria...
2012-12-17 Paul BédarideRestructure config headers
2012-12-17 Paul BédarideMerge branch 'master' of git+ssh://scm.gforge.inria...
2012-12-17 Paul BédarideMove config from surf to simgrid
2012-12-16 Marion Guthmullermodel-checker : remove tesh bugged2 (too long with...
2012-12-12 Paul BédarideAdd ctest2junit.xsl for jenkins
2012-12-11 Arnaud GierschFile simgrid_modules.png is automatically generated.
2012-12-11 Arnaud GierschAdd rule to generate png files from DOC_FIGS.
2012-12-11 Arnaud GierschSort list, and add missing file output.goal.pdf.
2012-12-11 Arnaud GierschEnable tracing for Nightly_memCheck too.
2012-12-11 Arnaud GierschDefine target before using it.
2012-12-11 Arnaud GierschEnable smpi for Nightly_memCheck.
2012-12-08 Martin Quinsondoc: rename involved into contributing, and write a...
2012-12-08 Martin Quinsonthe ref guide is not separated anymore
2012-12-08 Martin Quinsonno need to declare twice the list of files that must...
2012-12-07 Martin Quinsontake care of the generation of doc/doxygen/logcategorie...
2012-12-07 Martin Quinsonfix the 'sync-gforge-doc' target
2012-12-06 Martin QuinsonFix a bunch of errors on make dist due to the recent...
2012-12-06 Martin Quinsonsort the elements of this file so that it becomes reada...
2012-12-06 Martin Quinsonmerge the refguide into the documentation
2012-12-06 Martin Quinsonmerge the insider manual into the main one
2012-12-06 Martin Quinsonmove the user manual one layer higher, so that all...
2012-12-06 Martin Quinsonadding slides to the documentation was not wise from me
2012-12-06 Martin Quinsonstart refunding the userguide
2012-12-06 Paul BédarideMerge branch 'master' of git+ssh://scm.gforge.inria...
2012-12-06 Marion Guthmullermodel-checker : liveness model-checking works only...
2012-12-05 Martin Quinsonwe need that files to compile on windows
2012-12-03 Arnaud GierschActivate memcheck tests for smpi-replay.
2012-12-03 Arnaud GierschMake generate_memcheck_tests.pl handle command "mkfile".
2012-12-03 Arnaud GierschSet valgrind option --track-origins=no, to make it...
2012-12-03 Arnaud GierschMake tests work when building out of the sources.
2012-12-02 Marion Guthmullermodel-checker : fix tesh name
2012-11-30 Augustin Degommeadd support of smpif90 file
2012-11-30 shensheiMerge ../simgrid
2012-11-29 Arnaud GierschEnable memcheck for smpi tests too.
2012-11-29 Arnaud GierschMake valgrind skip commands from /usr/bin/ and /bin/.
2012-11-29 Arnaud GierschCosmetics: test ucontexts before raw contexts.
2012-11-29 Arnaud GierschAdd missing guards.
2012-11-28 Maximiliano GeierRemove unused tesh (copied from sendrecv), add a real...
2012-11-28 Maximiliano GeierRenamed project to chainsend to avoid confusion
2012-11-28 Maximiliano GeierInitial implementation of kadeploy look-alike
2012-11-27 Arnaud GierschTypo + kill useless empty lines.
2012-11-26 Arnaud GierschRemove unused test program.
2012-11-25 Martin Quinsondon't polute my disk with your crappy test files
2012-11-23 Arnaud GierschMerge XBT_SG_SRC with XBT_SRC, and fix make dist.
2012-11-23 Arnaud GierschRe-add file (wrongly removed).
2012-11-23 Augustin Degommefix distcheck to handle mpich-test
2012-11-23 Arnaud GierschMerge branch 'killgraskill'
2012-11-23 Arnaud GierschKill more references to GRAS.
2012-11-23 Arnaud GierschRename gras_config to internal_config.
2012-11-23 Arnaud GierschKill xbt_dynar_dopar().
2012-11-23 Martin Quinsontry to fix 'make dist' after GRAS murder (SMPI test...
2012-11-22 Arnaud GierschRemove further references to gras in buildtools/.
2012-11-22 Arnaud GierschRemove references to amok in builtools/.
2012-11-22 Arnaud GierschThese tests don't exist anymore.
2012-11-22 Arnaud GierschRemove more references to gras.
2012-11-22 Arnaud GierschAdd missing files to build.
2012-11-22 Arnaud GierschKill gras_modinter.h.
2012-11-22 Martin Quinsonfirst try at killing GRAS -- does not compile yet
2012-11-22 paul bedarideMerge branch 'master' of git+ssh://scm.gforge.inria...
2012-11-21 Augustin Degommethere was a mistake that prevented examples dir from...
2012-11-20 Marion Guthmullermodel-checker : new tesh for snapshot comparison tests
2012-11-18 Marion Guthmullermodel-checker : add tesh for bugged1_liveness and chord...
2012-11-15 Arnaud GierschDo memchecks with tracing=on, now that it's enabled...
2012-11-15 Martin Quinsondisplay on configuration output whether the mallocators...
2012-11-15 Martin Quinsonturn off the mallocators during the memory check
2012-11-14 Arnaud GierschRemove unsupported flags when Clang is used.
2012-11-14 Arnaud GierschAlso print CMAKE_xxx_COMPILER_ID.
2012-11-12 Arnaud GierschWrite the add_test(...) so that they are compatible...
2012-11-12 Arnaud GierschProtect string with quotes.
2012-11-12 Arnaud GierschUse options compatible with older versions of git.
2012-11-12 Arnaud GierschIf several remotes are set, arbitrarily use the first...
2012-11-04 degommeadd a tesh file and test for two already existing tests...
2012-10-31 navarroMerge branch 'master' of git+ssh://scm.gforge.inria...
2012-10-31 navarroAdd an example of generated pdf from simgrid scalability
2012-10-31 Augustin Degommedo not fail when building smpi without f2c, as it is...
2012-10-31 navarroReused mem check in pipol
2012-10-31 navarroMerge branch 'master' of git+ssh://scm.gforge.inria...
2012-10-31 navarroRemove all navarro into source of pipol
2012-10-30 navarroCorrect way to use CTestCustom.cmake
2012-10-30 Augustin Degommeadd changes to previous commit on ctest
2012-10-30 Augustin Degommeadd a CMakeCustom.cmake file, which is automatically...
2012-10-30 navarroCosmetics
2012-10-30 navarroUpdate target sync-pipol
2012-10-30 navarroAdd a new target for update pipol scripts
2012-10-30 navarroComsetics. Replace exec_program by execute_process