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 : restore while statement for bugged1_liveness example
[simgrid.git] / src / msg /
2013-06-13 degommeMerge branch 'master' of git+ssh://scm.gforge.inria... tree | commitdiff
2013-06-12 Jonathan Rouzaud... Merge branch 'master' of git+ssh://scm.gforge.inria... tree | commitdiff
2013-06-12 suterfurther simplification of the storage API, keep size... tree | commitdiff
2013-06-11 Paul BédarideAdd msg As getModel and GetHosts tree | commitdiff
2013-06-11 Paul BédarideAccess AS hierarchy at Msg layer tree | commitdiff
2013-06-11 sutersimplify the simcall stack for file unlink tree | commitdiff
2013-06-11 sutercleaning step: uniform naming (stream to fd) + some... tree | commitdiff
2013-06-11 suterget rid of "mode" parameter in the open file function... tree | commitdiff
2013-06-07 sutersimpler version of simcall to get the file of a file tree | commitdiff
2013-06-06 LionelMerge branch 'master' of git+ssh://scm.gforge.inria... tree | commitdiff
2013-06-06 suterfp => fd (for file descriptor) tree | commitdiff
2013-06-06 suterWow, I wrote a simcall! 11 files to modify to do a... tree | commitdiff
2013-06-06 suteradd a function to retrieve the size of an msg_file_t tree | commitdiff
2013-06-06 Martin QuinsonMake semaphores visible from MSG tree | commitdiff
2013-06-05 suterSimplify the way files are described. Get rid of the... tree | commitdiff
2013-06-05 Martin Quinsonbig fat warning to avoid an issue that Lionel encountered tree | commitdiff
2013-04-15 Jonathan Rouzaud... Merge branch 'master' of git+ssh://scm.gforge.inria... tree | commitdiff
2013-03-27 Martin Quinsonfix for windows -- not sure if it's still mandatory... tree | commitdiff
2013-02-19 Augustin DegommeMerge branch 'master' of git+ssh://scm.gforge.inria... tree | commitdiff
2013-02-18 Arnaud GierschRemove declarations for nonexistent functions or variables. tree | commitdiff
2013-02-14 Arnaud GierschUse xbt_XXX_is_empty() instead of testing xbt_XXX_lengt... tree | commitdiff
2013-02-14 Jonathan Rouzaud... New version of recv/irecv with bounded rate tree | commitdiff
2013-02-14 Jonathan Rouzaud... Remove commented code from surf_routing_cluster tree | commitdiff
2013-02-13 Augustin DegommeMerge branch 'master' of git+ssh://scm.gforge.inria... tree | commitdiff
2013-02-13 Arnaud GierschTypos: binded -> bound. tree | commitdiff
2013-02-12 Jonathan Rouzaud... Merge branch 'master' of git+ssh://scm.gforge.inria... tree | commitdiff
2013-02-12 Jonathan Rouzaud... Bounded receive tree | commitdiff
2013-02-11 Augustin DegommeMerge branch 'master' of git+ssh://scm.gforge.inria... tree | commitdiff
2013-02-06 Arnaud GierschCorrectly restart all processes on VM reboot. tree | commitdiff
2013-02-06 Arnaud GierschFix memory leak. tree | commitdiff
2013-02-05 Arnaud GierschMerge branch 'v3_9_x' tree | commitdiff
2013-02-04 Arnaud GierschInitialize variable. tree | commitdiff
2013-02-03 Arnaud GierschRename getline as xbt_getline. tree | commitdiff
2013-02-03 Arnaud GierschDon't let exceptions pass through the MSG layer. tree | commitdiff
2013-01-30 Arnaud GierschIncorporate simgrid-java in simgrid-java/. tree | commitdiff
2013-01-30 Paul BédarideMerge branch 'master' of git+ssh://scm.gforge.inria... tree | commitdiff
2013-01-30 Arnaud GierschMerge branch 'v3_9_x' tree | commitdiff
2013-01-30 Arnaud GierschMerge remote-tracking branch 'github/master' tree | commitdiff
2013-01-30 Paul BédarideMake MSG use SIMIX pids tree | commitdiff
2013-01-30 Jonathan Rouzaud... Merge branch 'master' of git+ssh://scm.gforge.inria... tree | commitdiff
2013-01-30 Arnaud GierschMerge branch 'v3_9_x' tree | commitdiff
2013-01-30 Jonathan Rouzaud... Add MSG_task_set_data_size function tree | commitdiff
2013-01-30 Arnaud GierschMerge branch 'v3_9_x' tree | commitdiff
2013-01-29 Arnaud GierschMerge branch 'v3_9_x' tree | commitdiff
2013-01-29 Jonathan Rouzaud... Merge branch 'master' of git+ssh://scm.gforge.inria... tree | commitdiff
2013-01-29 Jonathan Rouzaud... Add dsend_bounded send_with_timeout_bounded tree | commitdiff
2013-01-29 Arnaud GierschMerge branch 'v3_9_x' tree | commitdiff
2013-01-29 Jonathan Rouzaud... Merge branch 'master' of git+ssh://scm.gforge.inria... tree | commitdiff
2013-01-29 Jonathan Rouzaud... Add MSG_task_isend_bounded tree | commitdiff
2013-01-23 Paul BédarideRemove MSG_load_platform_script and SD_load_environment... tree | commitdiff
2013-01-21 Paul BédarideAll hosts types fusion to xbt_dictelm_t tree | commitdiff
2013-01-17 Arnaud GierschMerge branch 'master' into vmtrace tree | commitdiff
2013-01-17 Arnaud GierschMerge branch 'vmtrace' again (don't try to undersatand... tree | commitdiff
2013-01-17 Arnaud GierschMerge branch 'master' into vmtrace tree | commitdiff
2013-01-16 Jonathan Rouzaud... Merge with master tree | commitdiff
2012-12-21 Paul BédarideRevert "make MSG_comm_waitany use dynar" tree | commitdiff
2012-12-20 Paul Bédaridemake MSG_comm_waitany use dynar tree | commitdiff
2012-12-20 Martin Quinsonmake MSG_config public, document it, and implement... tree | commitdiff
2012-12-20 Paul BédarideMove module tracing into corresponding modules tree | commitdiff
2012-12-17 Paul BédarideMerge branch 'master' of git+ssh://scm.gforge.inria... tree | commitdiff
2012-12-17 Paul BédarideMove config from surf to simgrid tree | commitdiff
2012-12-11 Arnaud GierschRemove/add a few includes. tree | commitdiff
2012-12-11 Arnaud GierschRevert "I'm so glad that this line is useless" tree | commitdiff
2012-12-11 Martin Quinsonmake an error message informative tree | commitdiff
2012-12-07 Martin QuinsonI'm so glad that this line is useless tree | commitdiff
2012-11-30 shensheiNew simcalls work tree | commitdiff
2012-11-28 Cristian RosaStop making direct calls to SIMIX for host handling... tree | commitdiff
2012-11-27 Jonathan Rouzaud... update tree | commitdiff
2012-11-27 Jonathan Rouzaud... Merge branch 'master' of git+ssh://scm.gforge.inria... tree | commitdiff
2012-11-26 Arnaud GierschRemove needless volatile qualifier. tree | commitdiff
2012-11-18 Marion Guthmullermodel-checker : ignore some variables enabled with... tree | commitdiff
2012-11-16 Marion Guthmullermodel-checker : ignore new local variable tree | commitdiff
2012-11-14 Martin QuinsonNew function: MSG_get_process_number() tree | commitdiff
2012-11-12 Augustin DegommeMerge branch 'master' of git+ssh://scm.gforge.inria... tree | commitdiff
2012-11-12 Augustin Degommeupdate doc for asynchronous send tree | commitdiff
2012-11-12 Augustin DegommeMerge branch 'master' of git+ssh://scm.gforge.inria... tree | commitdiff
2012-11-07 Marion Guthmullermodel-checker : add local variables from xbt/ex.h in... tree | commitdiff
2012-11-07 Marion Guthmullermodel-checker : add ignore mechanism for comparison... tree | commitdiff
2012-10-27 Arnaud GierschMerge branch 'v3_8_x' tree | commitdiff
2012-10-27 Arnaud GierschMerge branch 'v3_8_x' tree | commitdiff
2012-10-25 Martin Quinsondocumentation improvement [thx Sylvain for pointing... tree | commitdiff
2012-10-25 navarroFix documentation warnings tree | commitdiff
2012-10-25 navarroDelete some warning during the ref_guide build tree | commitdiff
2012-10-24 alebreMerge branch 'master' into vmtrace tree | commitdiff
2012-10-19 Maximiliano GeierMerge branch 'master' of git+ssh://scm.gforge.inria... tree | commitdiff
2012-10-17 Arnaud GierschFunction MSG_get_host_number() is not deprecated anymore. tree | commitdiff
2012-10-16 Martin Quinsons/MC_IS_ENABLED/MC_is_active()/ to remove an unfriendly... tree | commitdiff
2012-10-12 navarroFirst steps for making a tutorial on How to create... tree | commitdiff
2012-10-05 Marion Guthmullermodel-checker : extend MC_ignore mechanism for global... tree | commitdiff
2012-10-04 Martin QuinsonMerge branch 'master' of scm.gforge.inria.fr:/gitroot... tree | commitdiff
2012-10-03 Arnaud GierschUse xbt_abort instead of abort. tree | commitdiff
2012-10-03 jean-noel quintinMerge remote-tracking branch 'origin/master' tree | commitdiff
2012-10-02 Jonathan Rouzaud... Merge branch 'master' of git+ssh://scm.gforge.inria... tree | commitdiff
2012-10-02 Martin QuinsonDo not kill all processes when MSG shuts down: simix... tree | commitdiff
2012-10-02 Martin QuinsonDeprecate MSG_clean tree | commitdiff
2012-10-02 Martin QuinsonEnsures that SIMIX_clean is called automatically tree | commitdiff
2012-10-01 Jonathan Rouzaud... Merge branch 'master' of git+ssh://scm.gforge.inria... tree | commitdiff
2012-09-27 Jonathan Rouzaud... Merge branch 'master' of git+ssh://scm.gforge.inria... tree | commitdiff
2012-09-27 Martin QuinsonMerge branch 'master' of scm.gforge.inria.fr:/gitroot... tree | commitdiff
2012-09-27 Martin Quinsonimprove a tiny bit the doc tree | commitdiff
next
Clone of SimGrid repository with local patches