Logo AND Algorithmique Numérique Distribuée
Public GIT Repository
projects / simgrid.git / history
? search:
summary | shortlog | log | commit | commitdiff | tree
first ⋅ prev ⋅ next
Correctly restart all processes on VM reboot.
[simgrid.git] / src / simix /
2013-02-05 Arnaud GierschMerge branch 'v3_9_x' tree | commitdiff
2013-02-02 Arnaud GierschTypo. tree | commitdiff
2013-02-02 Martin QuinsonMerge branch 'master' of github.com:mquinson/simgrid tree | commitdiff
2013-01-31 Marion Guthmullermodel-checker : start heap comparison from local variables 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 Paul BédarideFix missing proto for PID functions 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-29 Paul BédarideMerge branch 'master' of 192.168.8.160:/git/simgrid tree | commitdiff
2013-01-28 Marion Guthmullerunnecessary loop for the reset of the simcall args tree | commitdiff
2013-01-28 Marion Guthmullermodel-checker : don't need to reset the result of simca... tree | commitdiff
2013-01-28 Marion Guthmullermodel-checker : reset args and result of simcalls in... 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-16 Jonathan Rouzaud... Merge with master tree | commitdiff
2013-01-08 Paul BédarideFix lua deploy tree | commitdiff
2013-01-02 Marion Guthmullermodel-checker : ignore some local variables from simix... tree | commitdiff
2012-12-26 Marion Guthmullermodel-checker : don't ignore simcall result in system... 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-16 Marion GuthmullerRemove comm from src_proc->comms and dst_proc->comms... tree | commitdiff
2012-12-16 Marion Guthmullerremove comm from rdv if comm destroyed before being... tree | commitdiff
2012-12-04 Marion Guthmullermodel-checker : ignore simcall result in heap comparison tree | commitdiff
2012-12-04 bedarideDirty Fix to handle model checking with new simcalls tree | commitdiff
2012-12-03 shensheiFix debug message in simix tree | commitdiff
2012-12-03 Augustin Degommeremove sender's side data from mpi_send in the receiver... tree | commitdiff
2012-12-03 Augustin Degommehopefully remove leak in permanent receive mode tree | commitdiff
2012-12-03 Arnaud GierschRemove spurious semicolon. tree | commitdiff
2012-12-03 Arnaud GierschDefine inline functions in header file (again). tree | commitdiff
2012-12-03 Arnaud GierschRemove prototypes. tree | commitdiff
2012-12-03 Arnaud GierschDefine inline function in header file. tree | commitdiff
2012-11-30 shensheiMerge ../simgrid tree | commitdiff
2012-11-30 shensheiNew simcalls work tree | commitdiff
2012-11-28 shensheiChange simcall functions tree | commitdiff
2012-11-28 paul bedarideAdd macros to generate simcalls code tree | commitdiff
2012-11-28 Cristian RosaMake SimGrid compile again :) tree | commitdiff
2012-11-28 Cristian RosaWIP on simcalls: fd8c267 Stop making direct calls to... tree | commitdiff
2012-11-28 Cristian RosaKill unused macro. tree | commitdiff
2012-11-28 Cristian RosaMove Hosts related simcalls to the new API. tree | commitdiff
2012-11-28 Cristian RosaAdd new type of scalar value 'STRING' for const char* tree | commitdiff
2012-11-28 Cristian RosaExtend definition of simcalls to include a pointer... tree | commitdiff
2012-11-28 Cristian RosaMove SIMCALL_HOST_EXECUTE to the new simcall architectu... tree | commitdiff
2012-11-28 Cristian RosaAdd new simcall interface definitions. tree | commitdiff
2012-11-28 Cristian RosaExtend definition of simcalls to include a pointer... tree | commitdiff
2012-11-28 Cristian RosaMove SIMCALL_HOST_EXECUTE to the new simcall architectu... tree | commitdiff
2012-11-28 Cristian RosaAdd new simcall interface definitions. tree | commitdiff
2012-11-28 Marion Guthmullermodel-checker : init result of simcalls for snapshot... 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-23 Arnaud GierschMerge branch 'killgraskill' tree | commitdiff
2012-11-23 Arnaud GierschKill more references to GRAS. tree | commitdiff
2012-11-23 Arnaud GierschRename gras_config to internal_config. tree | commitdiff
2012-11-23 Arnaud GierschMove check at another place where it doesn't break... tree | commitdiff
2012-11-22 Martin Quinsoncomments, debugs and other minor glitches tree | commitdiff
2012-11-22 Martin Quinsonkill synchronized dynars: we don't need them and they... tree | commitdiff
2012-11-19 Martin Quinsonadd the TLA specification of the simix network layer... tree | commitdiff
2012-11-18 Marion Guthmullermodel-checker : ignore some variables enabled with... tree | commitdiff
2012-11-15 Marion Guthmullermodel-checker : factorize code for safety and liveness... tree | commitdiff
2012-11-12 Marion Guthmullermodel-checker : Add statistics about comparison times... tree | commitdiff
2012-11-12 Augustin Degommecosmetics and fix ugly bug in windows code tree | commitdiff
2012-11-12 Augustin DegommeMerge branch 'master' of git+ssh://scm.gforge.inria... tree | commitdiff
2012-11-12 Augustin Degommeavoid setting the value of the stack size for thread... tree | commitdiff
2012-11-12 Augustin DegommeMerge branch 'master' of git+ssh://scm.gforge.inria... tree | commitdiff
2012-11-11 Marion Guthmullermodel-checker : add ignore mechanism for global variabl... tree | commitdiff
2012-11-09 Marion Guthmullermodel-checker : add size of stack in parameter of the... tree | commitdiff
2012-11-09 Augustin Degommeadd a function in xbt to allow setting the stack size... tree | commitdiff
2012-11-07 Marion Guthmullermodel-checker : add local variables from xbt/ex.h in... tree | commitdiff
2012-11-07 Marion Guthmullermodel-checker : ignore some local variables from xbt... tree | commitdiff
2012-11-07 Marion Guthmullermodel-checker : add ignore mechanism for comparison... tree | commitdiff
2012-10-28 Arnaud GierschFix compilation without MC. tree | commitdiff
2012-10-27 Marion Guthmullermodel-checker : New public functions to take a snapshot... 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 navarroMerge branch 'master' of git+ssh://scm.gforge.inria... tree | commitdiff
2012-10-25 navarroFix compilation and configuration since win commits tree | commitdiff
2012-10-25 navarroMerge branch 'master' of git+ssh://scm.gforge.inria... tree | commitdiff
2012-10-25 navarroTranform extern for XBT_PUBLIC tree | commitdiff
2012-10-25 navarroDelete some warning during the ref_guide build tree | commitdiff
2012-10-24 Maximiliano GeierPull changes to push BitTorrent fix tree | commitdiff
2012-10-24 alebreMerge branch 'master' into vmtrace tree | commitdiff
2012-10-19 navarroMerge branch 'master' of git+ssh://scm.gforge.inria... tree | commitdiff
2012-10-19 navarroCompil smpi on win32. tree | commitdiff
2012-10-19 Maximiliano GeierMerge branch 'master' of git+ssh://scm.gforge.inria... tree | commitdiff
2012-10-17 Martin QuinsonCancel the comms of leaving processes instead of destro... tree | commitdiff
2012-10-16 Martin Quinsons/MC_IS_ENABLED/MC_is_active()/ to remove an unfriendly... tree | commitdiff
2012-10-15 Martin Quinsonensures that runall is never called on empty set tree | commitdiff
2012-10-12 navarroCompilation with warning flags tree | commitdiff
2012-10-12 navarroOups rename function tree | commitdiff
2012-10-12 navarroAdd first steps to explain How to add a new model in... tree | commitdiff
2012-10-12 navarroFirst steps for making a tutorial on How to create... tree | commitdiff
2012-10-11 paul bedarideMerge branch 'master' of git+ssh://scm.gforge.inria... tree | commitdiff
2012-10-11 Arnaud GierschDefine _GNU_SOURCE in xbt/misc.h, so that it's defined... tree | commitdiff
2012-10-10 jean-noel quintinMerge remote-tracking branch 'origin/master' tree | commitdiff
2012-10-10 Arnaud GierschRemove unused function. tree | commitdiff
2012-10-10 Arnaud GierschReorder includes. tree | commitdiff
2012-10-08 Marion Guthmullermodel-checker : restore struct smx_ctx_sysv in smx_cont... tree | commitdiff
2012-10-07 Marion Guthmullermodel-checker : forget include ucontext.h for struct... tree | commitdiff
2012-10-06 Marion Guthmullermodel-checker : remove maestro stack from stack comparison tree | commitdiff
next
Clone of SimGrid repository with local patches