Logo AND Algorithmique Numérique Distribuée
Public GIT Repository
projects / simgrid.git / history
? search:
summary | shortlog | log | commit | commitdiff | tree
first ⋅ prev ⋅ next
model-checker : update tesh
[simgrid.git] / src /
2014-06-11 Paul BédarideNo rpath in libsimgird-java and libsurf-java tree | commitdiff
2014-06-11 Paul BédarideNetwork::shareResourcesFull revival tree | commitdiff
2014-06-11 degommeactivate tests using resized and handle some corner... tree | commitdiff
2014-06-11 scastelliImplementation of MPI_Type_create_resized tree | commitdiff
2014-06-10 degommeadd missing prototype tree | commitdiff
2014-06-10 scastelliWe should'nt allow the use of uncommited datatypes... tree | commitdiff
2014-06-10 degommetorus should provide better results if latency is taken... tree | commitdiff
2014-06-05 Gabriel CoronaRemove comment which has not been accurate for a long... tree | commitdiff
2014-06-05 Arnaud GierschRemove temporary files. tree | commitdiff
2014-06-05 Arnaud GierschChange non-portable echo -e for printf. tree | commitdiff
2014-06-05 Arnaud GierschTypo. tree | commitdiff
2014-06-04 scastelliWell, that happens sometime (bad merge) tree | commitdiff
2014-06-04 scastelliMerge branch 'master' of git+ssh://scm.gforge.inria... tree | commitdiff
2014-06-04 scastelliSome minor documentation fixes tree | commitdiff
2014-06-04 scastelliAdd version notes to smpiXXX scripts tree | commitdiff
2014-06-04 degommeKill f2c. Finally. I hope. tree | commitdiff
2014-06-04 degommemake smpiff behave like smpif90, so we don't use f2c... tree | commitdiff
2014-06-04 degommePrivatization : switch data segments when copying insid... tree | commitdiff
2014-06-04 Takahiro Hirofuchifix spell and remove trailing space tree | commitdiff
2014-06-04 scastelliIndentation tree | commitdiff
2014-06-04 Marion Guthmullermodel-checker : use new variable _sg_mc_liveness instea... tree | commitdiff
2014-06-04 Marion Guthmullermodel-checker : remove useless debug message and add... tree | commitdiff
2014-06-04 Marion Guthmullermodel-checker : compare the pid of enabled processes... tree | commitdiff
2014-06-04 Takahiro HirofuchiMerge branch 'master' of scm.gforge.inria.fr:/gitroot... tree | commitdiff
2014-06-04 scastelliIs seems as right as before, only shorter tree | commitdiff
2014-06-04 scastelliSome documentation to NetworkModel. tree | commitdiff
2014-06-04 Marion Guthmullermodel-checker : fix backtracking with comm determinism... tree | commitdiff
2014-06-03 Martin Quinsonmore informative error message tree | commitdiff
2014-06-03 Marion Guthmullermodel-checker : comment erroneous ignore (not completel... tree | commitdiff
2014-06-03 Marion Guthmullermodel-checker : use the right heap tree | commitdiff
2014-06-03 Marion Guthmullermodel-checker : reword debug message tree | commitdiff
2014-06-03 Marion Guthmullermodel-checker : mc_dpor.c -> mc_safety.c tree | commitdiff
2014-06-03 Marion Guthmullermodel-checker : remove useless ignore tree | commitdiff
2014-06-03 Arnaud GierschAdd FIXME. tree | commitdiff
2014-06-02 Arnaud GierschMake xbt_free a function-like macro. tree | commitdiff
2014-05-31 Arnaud GierschAdd FIXME. tree | commitdiff
2014-05-30 suterchange the dict in which parsed properties are stored... tree | commitdiff
2014-05-30 Marion Guthmullermodel-checker : fix comm determinism detection mechanisms tree | commitdiff
2014-05-30 suterchased tabs while looking for a leak tree | commitdiff
2014-05-30 Marion Guthmullermodel-checker : forget file tree | commitdiff
2014-05-30 Marion Guthmullermodel-checker : cleanups, refactoring and apply indent... tree | commitdiff
2014-05-30 suterremove cruft tree | commitdiff
2014-05-30 suterleak-- tree | commitdiff
2014-05-30 suterreplace sprintf by bprintf tree | commitdiff
2014-05-30 Pierre VeyreMakes file identifier unique in MSG file lib tree | commitdiff
2014-05-30 Marion Guthmullermodel-checker : cosmetics in log message tree | commitdiff
2014-05-30 suterremove useless function. private info is already freed... tree | commitdiff
2014-05-30 Marion Guthmullermodel-checker : improve error message tree | commitdiff
2014-05-30 Stéphane CastelliVery minor removal of unnecessary comments tree | commitdiff
2014-05-28 Paul BédarideFix bug windows msg-file tree | commitdiff
2014-05-28 Augustin DegommeMerge branch 'master' of git+ssh://scm.gforge.inria... tree | commitdiff
2014-05-28 Stéphane Castellidoc++ tree | commitdiff
2014-05-28 Stéphane Castellileak-- tree | commitdiff
2014-05-27 Martin Quinsonone more line of doc tree | commitdiff
2014-05-27 Martin QuinsonMerge branch 'master' of scm.gforge.inria.fr:/gitroot... tree | commitdiff
2014-05-27 sutercomment a part that leads to suspect behaviors. write... tree | commitdiff
2014-05-27 suterunlink can be a remote operation too. tree | commitdiff
2014-05-27 suterprinting path and not fullpath tree | commitdiff
2014-05-27 suterbummer, no file descriptor yest in open function tree | commitdiff
2014-05-27 sutermore information in debug mode tree | commitdiff
2014-05-27 suterupdating the MSG vision of file size when writing tree | commitdiff
2014-05-27 suterseek back to the beginning of the file to be sure that... tree | commitdiff
2014-05-27 sutercommit the output of simcalls.py too tree | commitdiff
2014-05-27 suterchanging type of offset parameter in file_seek from... tree | commitdiff
2014-05-27 Stéphane CastelliMerge branch 'master' of git+ssh://scm.gforge.inria... tree | commitdiff
2014-05-27 Stéphane CastelliLoopback links properly added to fat trees. tree | commitdiff
2014-05-27 Stéphane CastelliAdd limiter and loopback link support in fat trees tree | commitdiff
2014-05-27 Arnaud GierschConnect new log category. tree | commitdiff
2014-05-27 Pierre VeyreDocumentation ++ tree | commitdiff
2014-05-27 Augustin Degommeadd rule to handle case where we want a route to router... tree | commitdiff
2014-05-27 Augustin Degommefix error message tree | commitdiff
2014-05-26 Gabriel Corona[mc] Temporary fix for smpi_process_finalize leading... tree | commitdiff
2014-05-26 Gabriel CoronaMerge branch 'master' into mc tree | commitdiff
2014-05-26 Stéphane CastelliFix a compilation error regarding logging and strings... tree | commitdiff
2014-05-26 Stéphane CastelliLots of bugfixes for the fat trees, it should at least... tree | commitdiff
2014-05-26 Stéphane Castellismall cosmetics to AsClusterFatTree::generateDotFile() tree | commitdiff
2014-05-26 Stéphane CastelliFix some bugs in fat trees tree | commitdiff
2014-05-24 Martin Quinsonmake the xbt_os_time module public tree | commitdiff
2014-05-24 Martin Quinsonupdate the comments of that file tree | commitdiff
2014-05-23 suterleak-- tree | commitdiff
2014-05-23 suterallow several hosts to open the same file simultaneously tree | commitdiff
2014-05-23 suterThrow an exception only when it's really not implemented tree | commitdiff
2014-05-22 Gabriel CoronaRevert "[mmalloc] Use mremap to expand heaps (heap... tree | commitdiff
2014-05-21 Arnaud GierschAdd some words about %e fore spaces in logs. tree | commitdiff
2014-05-21 Martin QuinsonWhen the parameter parser is jammed, display the full... tree | commitdiff
2014-05-21 Martin Quinsonadd some doc about the trap I just felt into tree | commitdiff
2014-05-20 Arnaud GierschFree previously set process data. tree | commitdiff
2014-05-20 Arnaud GierschFree smpi_instances. tree | commitdiff
2014-05-20 Arnaud GierschFree powerPeak which is unused here. tree | commitdiff
2014-05-20 Arnaud GierschSkip simcall when HAVE_TRACING. tree | commitdiff
2014-05-20 Arnaud GierschCosmetics: reuse already defined variable. tree | commitdiff
2014-05-20 Arnaud Gierschtask->counter is initialized only when HAVE_TRACING. tree | commitdiff
2014-05-19 Paul BédarideUse boost::intrusive in CpuTi tree | commitdiff
2014-05-18 Martin Quinsonfurther document the parmap mess. Next step should... tree | commitdiff
2014-05-18 Martin Quinsongreatly improve the documentation of the parallel execu... tree | commitdiff
2014-05-18 Martin Quinsonprevious version was initializing retval=0 and then... tree | commitdiff
2014-05-16 degommemove a declaration. Should fix compilation bug on MacOS X . tree | commitdiff
2014-05-16 degommeFix compil without tracing, which was broken multiple... tree | commitdiff
2014-05-16 Gabriel CoronaMerge branch 'mc_without_ksm' into mc tree | commitdiff
2014-05-16 Paul BédarideRevert "Replace xbt_heap by boost::heap::fibonacci_heap" tree | commitdiff
next
Clone of SimGrid repository with local patches