Logo AND Algorithmique Numérique Distribuée

Public GIT Repository
Fix lua platform script
[simgrid.git] / src / simix /
2013-01-02 Marion Guthmullermodel-checker : ignore some local variables from simix...
2012-12-26 Marion Guthmullermodel-checker : don't ignore simcall result in system...
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 GuthmullerRemove comm from src_proc->comms and dst_proc->comms...
2012-12-16 Marion Guthmullerremove comm from rdv if comm destroyed before being...
2012-12-04 Marion Guthmullermodel-checker : ignore simcall result in heap comparison
2012-12-04 bedarideDirty Fix to handle model checking with new simcalls
2012-12-03 shensheiFix debug message in simix
2012-12-03 Augustin Degommeremove sender's side data from mpi_send in the receiver...
2012-12-03 Augustin Degommehopefully remove leak in permanent receive mode
2012-12-03 Arnaud GierschRemove spurious semicolon.
2012-12-03 Arnaud GierschDefine inline functions in header file (again).
2012-12-03 Arnaud GierschRemove prototypes.
2012-12-03 Arnaud GierschDefine inline function in header file.
2012-11-30 shensheiMerge ../simgrid
2012-11-30 shensheiNew simcalls work
2012-11-28 shensheiChange simcall functions
2012-11-28 paul bedarideAdd macros to generate simcalls code
2012-11-28 Cristian RosaMake SimGrid compile again :)
2012-11-28 Cristian RosaWIP on simcalls: fd8c267 Stop making direct calls to...
2012-11-28 Cristian RosaKill unused macro.
2012-11-28 Cristian RosaMove Hosts related simcalls to the new API.
2012-11-28 Cristian RosaAdd new type of scalar value 'STRING' for const char*
2012-11-28 Cristian RosaExtend definition of simcalls to include a pointer...
2012-11-28 Cristian RosaMove SIMCALL_HOST_EXECUTE to the new simcall architectu...
2012-11-28 Cristian RosaAdd new simcall interface definitions.
2012-11-28 Cristian RosaExtend definition of simcalls to include a pointer...
2012-11-28 Cristian RosaMove SIMCALL_HOST_EXECUTE to the new simcall architectu...
2012-11-28 Cristian RosaAdd new simcall interface definitions.
2012-11-28 Marion Guthmullermodel-checker : init result of simcalls for snapshot...
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 GierschMove check at another place where it doesn't break...
2012-11-22 Martin Quinsoncomments, debugs and other minor glitches
2012-11-22 Martin Quinsonkill synchronized dynars: we don't need them and they...
2012-11-19 Martin Quinsonadd the TLA specification of the simix network layer...
2012-11-18 Marion Guthmullermodel-checker : ignore some variables enabled with...
2012-11-15 Marion Guthmullermodel-checker : factorize code for safety and liveness...
2012-11-12 Marion Guthmullermodel-checker : Add statistics about comparison times...
2012-11-12 Augustin Degommecosmetics and fix ugly bug in windows code
2012-11-12 Augustin DegommeMerge branch 'master' of git+ssh://scm.gforge.inria...
2012-11-12 Augustin Degommeavoid setting the value of the stack size for thread...
2012-11-12 Augustin DegommeMerge branch 'master' of git+ssh://scm.gforge.inria...
2012-11-11 Marion Guthmullermodel-checker : add ignore mechanism for global variabl...
2012-11-09 Marion Guthmullermodel-checker : add size of stack in parameter of the...
2012-11-09 Augustin Degommeadd a function in xbt to allow setting the stack size...
2012-11-07 Marion Guthmullermodel-checker : add local variables from xbt/ex.h in...
2012-11-07 Marion Guthmullermodel-checker : ignore some local variables from xbt...
2012-11-07 Marion Guthmullermodel-checker : add ignore mechanism for comparison...
2012-10-28 Arnaud GierschFix compilation without MC.
2012-10-27 Marion Guthmullermodel-checker : New public functions to take a snapshot...
2012-10-27 Arnaud GierschMerge branch 'v3_8_x'
2012-10-27 Arnaud GierschMerge branch 'v3_8_x'
2012-10-25 navarroMerge branch 'master' of git+ssh://scm.gforge.inria...
2012-10-25 navarroFix compilation and configuration since win commits
2012-10-25 navarroMerge branch 'master' of git+ssh://scm.gforge.inria...
2012-10-25 navarroTranform extern for XBT_PUBLIC
2012-10-25 navarroDelete some warning during the ref_guide build
2012-10-24 Maximiliano GeierPull changes to push BitTorrent fix
2012-10-19 navarroMerge branch 'master' of git+ssh://scm.gforge.inria...
2012-10-19 navarroCompil smpi on win32.
2012-10-19 Maximiliano GeierMerge branch 'master' of git+ssh://scm.gforge.inria...
2012-10-17 Martin QuinsonCancel the comms of leaving processes instead of destro...
2012-10-16 Martin Quinsons/MC_IS_ENABLED/MC_is_active()/ to remove an unfriendly...
2012-10-15 Martin Quinsonensures that runall is never called on empty set
2012-10-12 navarroCompilation with warning flags
2012-10-12 navarroOups rename function
2012-10-12 navarroAdd first steps to explain How to add a new model in...
2012-10-12 navarroFirst steps for making a tutorial on How to create...
2012-10-11 paul bedarideMerge branch 'master' of git+ssh://scm.gforge.inria...
2012-10-11 Arnaud GierschDefine _GNU_SOURCE in xbt/misc.h, so that it's defined...
2012-10-10 jean-noel quintinMerge remote-tracking branch 'origin/master'
2012-10-10 Arnaud GierschRemove unused function.
2012-10-10 Arnaud GierschReorder includes.
2012-10-08 Marion Guthmullermodel-checker : restore struct smx_ctx_sysv in smx_cont...
2012-10-07 Marion Guthmullermodel-checker : forget include ucontext.h for struct...
2012-10-06 Marion Guthmullermodel-checker : remove maestro stack from stack comparison
2012-10-05 Marion Guthmullermodel-checker : extend MC_ignore mechanism for global...
2012-10-05 Marion Guthmullermodel-checker : move struct s_smx_ctx_sysv in smx_priva...
2012-10-05 Marion Guthmullermodel-checker : ignore stack areas in heap comparison...
2012-10-04 Martin QuinsonMerge branch 'master' of scm.gforge.inria.fr:/gitroot...
2012-10-03 Arnaud GierschUse xbt_abort instead of abort.
2012-10-03 jean-noel quintinMerge remote-tracking branch 'origin/master'
2012-10-02 Martin QuinsonEnsures that SIMIX_clean is called automatically
2012-09-28 Augustin Degommevarious fixes for probing/testing
2012-09-27 Martin QuinsonMerge branch 'master' of scm.gforge.inria.fr:/gitroot...
2012-09-20 Augustin Degommeforgot a declaration, and two others were removed by...
2012-09-20 Augustin Degommeadd MPI_Probe and MPI_Iprobe support, and better handli...
2012-09-17 Arnaud GierschMove instruction at proper place.
2012-09-17 Arnaud GierschQ&D reindent.
2012-09-11 navarroAdd a function ls to storage
2012-09-06 navarroAdd a simcall for as and router property
2012-08-21 jean-noel quintinMerge remote-tracking branch 'origin/master'
2012-08-21 jean-noel quintin[smpi,simix-network] remove a useless function
2012-08-18 Marion Guthmullermodel-checker : init result of simcalls for snapshot...
2012-08-09 Cristian RosaAdd a new simcall to get/set the receiver of a rendez...
2012-08-09 Jean-Baptiste HervéMerge branch 'master' of git+ssh://scm.gforge.inria...
2012-08-08 Augustin Degommeadd getter/setter functions in simix to access more...
next